Evolution of circular, non-equatorial orbits of Kerr black holes due to gravitational-wave emission: II. Inspiral trajectories and gravitational waveforms

The inspiral of a ``small'' ($\mu \sim 1-100 M_\odot$) compact body into a ``large'' ($M \sim 10^{5-7} M_\odot$) black hole is a key source of gravitational radiation for the space-based gravitational-wave observatory LISA. The waves from such inspirals will probe the extreme strong-field nature of the Kerr metric. In this paper, I investigate the properties of a restricted family of such inspirals (the inspiral of circular, inclined orbits) with an eye toward understanding observable properties of the gravitational waves that they generate. Using results previously presented to calculate the effects of radiation reaction, I assemble the inspiral trajectories (assuming that radiation reacts adiabatically, so that over short timescales the trajectory is approximately geodesic) and calculate the wave generated as the compact body spirals in. I do this analysis for several black hole spins, sampling a range that should be indicative of what spins we will encounter in nature. The spin has a very strong impact on the waveform. In particular, when the hole rotates very rapidly, tidal coupling between the inspiraling body and the event horizon has a very strong influence on the inspiral time scale, which in turn has a big impact on the gravitational wave phasing. The gravitational waves themselves are very usefully described as ``multi-voice chirps'': the wave is a sum of ``voices'', each corresponding to a different harmonic of the fundamental orbital frequencies. Each voice has a rather simple phase evolution. Searching for extreme mass ratio inspirals voice-by-voice may be more effective than searching for the summed waveform all at once.Comment: 15 pages, 11 figures, accepted for publication in PRD. This version incorporates referee's comments, and is much less verbos

Linear Response, Validity of Semi-Classical Gravity, and the Stability of Flat Space

A quantitative test for the validity of the semi-classical approximation in gravity is given. The criterion proposed is that solutions to the semi-classical Einstein equations should be stable to linearized perturbations, in the sense that no gauge invariant perturbation should become unbounded in time. A self-consistent linear response analysis of these perturbations, based upon an invariant effective action principle, necessarily involves metric fluctuations about the mean semi-classical geometry, and brings in the two-point correlation function of the quantum energy-momentum tensor in a natural way. This linear response equation contains no state dependent divergences and requires no new renormalization counterterms beyond those required in the leading order semi-classical approximation. The general linear response criterion is applied to the specific example of a scalar field with arbitrary mass and curvature coupling in the vacuum state of Minkowski spacetime. The spectral representation of the vacuum polarization function is computed in n dimensional Minkowski spacetime, and used to show that the flat space solution to the semi-classical Einstein equations for n=4 is stable to all perturbations on distance scales much larger than the Planck length.Comment: 22 pages: This is a significantly expanded version of gr-qc/0204083, with two additional sections and two new appendices giving a complete, explicit example of the semi-classical stability criterion proposed in the previous pape

Birkhoff's theorem in the f(T) gravity

Generalized from the so-called teleparallel gravity which is exactly equivalent to general relativity, the $f(T)$ gravity has been proposed as an alternative gravity model to account for the dark energy phenomena. In this letter we prove that the external vacuum gravitational field for a spherically symmetric distribution of source matter in the $f(T)$ gravity framework must be static and the conclusion is independent of the radial distribution and spherically symmetric motion of the source matter that is, whether it is in motion or static. As a consequence, the Birkhoff's theorem is valid in the general $f(T)$ theory. We also discuss its application in the de Sitter space-time evolution phase as preferred to by the nowadays dark energy observations.Comment: 5p

Inductive Proof Outlines for Monitors in Java

Abstract. The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based object-oriented language with the notion of multi-threading, where multiple threads can concurrently execute and exchange information via shared instance variables. Furthermore, each object can act as a monitor to assure mutual exclusion or to coordinate between threads. In this paper we present a sound and relatively complete assertional proof system for Java’s monitor concept, which generates verification conditions for a concurrent sublanguage JavaMT of Java. This work extends previous results by incorporating Java’s monitor methods

Hamiltonian dynamics and Noether symmetries in Extended Gravity Cosmology

We discuss the Hamiltonian dynamics for cosmologies coming from Extended Theories of Gravity. In particular, minisuperspace models are taken into account searching for Noether symmetries. The existence of conserved quantities gives selection rule to recover classical behaviors in cosmic evolution according to the so called Hartle criterion, that allows to select correlated regions in the configuration space of dynamical variables. We show that such a statement works for general classes of Extended Theories of Gravity and is conformally preserved. Furthermore, the presence of Noether symmetries allows a straightforward classification of singularities that represent the points where the symmetry is broken. Examples of nonminimally coupled and higher-order models are discussed.Comment: 20 pages, Review paper to appear in EPJ

Extended Birkhoff's Theorem in the f(T) Gravity

The f(T) theory, a generally modified teleparallel gravity, has been proposed as an alternative gravity model to account for the dark energy phenomena. Following our previous work [Xin-he Meng and Ying-bin Wang, EPJC(2011), arXiv:1107.0629v1], we prove that the Birkhoff's theorem holds in a more general context, specifically with the off diagonal tetrad case, in this communication letter. Then, we discuss respectively the results of the external vacuum and internal gravitational field in the f(T) gravity framework, as well as the extended meaning of this theorem. We also investigate the validity of the Birkhoff's theorem in the frame of f(T) gravity via conformal transformation by regarding the Brans-Dicke-like scalar as effective matter, and study the equivalence between both Einstein frame and Jordan frame.Comment: 7 pages, 1 figure, submitted to EPJ-C. arXiv admin note: substantial text overlap with arXiv:1107.062

Birkhoff's Theorem in f(T) Gravity up to the Perturbative Order

f(T) gravity, a generally modified teleparallel gravity, has become very popular in recent times as it is able to reproduce the unification of inflation and late-time acceleration without the need of a dark energy component or an inflation field. In this present work, we investigate specifically the range of validity of Birkhoff's theorem with the general tetrad field via perturbative approach. At zero order, Birkhoff's theorem is valid and the solution is the well known Schwarzschild-(A)dS metric. Then considering the special case of the diagonal tetrad field, we present a new spherically symmetric solution in the frame of f(T) gravity up to the perturbative order. The results with the diagonal tetrad field satisfy the physical equivalence between the Jordan and the so-called Einstein frames, which are realized via conformal transformation, at least up to the first perturbative order.Comment: 8 pages, no figure. Final version, accepted for publication in EPJ

Noise induced transitions in semiclassical cosmology

A semiclassical cosmological model is considered which consists of a closed Friedmann-Robertson-Walker in the presence of a cosmological constant, which mimics the effect of an inflaton field, and a massless, non-conformally coupled quantum scalar field. We show that the back-reaction of the quantum field, which consists basically of a non local term due to gravitational particle creation and a noise term induced by the quantum fluctuations of the field, are able to drive the cosmological scale factor over the barrier of the classical potential so that if the universe starts near zero scale factor (initial singularity) it can make the transition to an exponentially expanding de Sitter phase. We compute the probability of this transition and it turns out to be comparable with the probability that the universe tunnels from "nothing" into an inflationary stage in quantum cosmology. This suggests that in the presence of matter fields the back-reaction on the spacetime should not be neglected in quantum cosmology.Comment: LaTex, 33.tex pages, no figure

Dataflow Analysis for Datarace-Free Programs

Memory models for shared-memory concurrent programming languages typically guarantee sequential consistency (SC) semantics for datarace-free (DRF) programs, while providing very weak or no guarantees for non-DRF programs. In effect programmers are expected to write only DRF programs, which are then executed with SC semantics. With this in mind, we propose a novel scalable solution for dataflow analysis of concurrent programs, which is proved to be sound for DRF programs with SC semantics. We use the synchronization structure of the program to propagate dataflow information among threads without requiring to consider all interleavings explicitly. Given a dataflow analysis that is sound for sequential programs and meets certain criteria, our technique automatically converts it to an analysis for concurrent programs

Does backreaction enforce the averaged null energy condition in semiclassical gravity?

The expected stress-energy tensor of quantum fields generically violates the local positive energy conditions of general relativity. However, may satisfy some nonlocal conditions such as the averaged null energy condition (ANEC), which would rule out traversable wormholes. Although ANEC holds in Minkowski spacetime, it can be violated in curved spacetimes if one is allowed to choose the spacetime and quantum state arbitrarily, without imposition of the semiclassical Einstein equation G_{ab} = 8 \pi . In this paper we investigate whether ANEC holds for solutions to this equation, by studying a free, massless scalar field with arbitrary curvature coupling in perturbation theory to second order about the flat spacetime/vacuum solution. We "reduce the order" of the perturbation equations to eliminate spurious solutions, and consider the limit in which the lengthscales determined by the incoming state are much larger than the Planck length. We also need to assume that incoming classical gravitational radiation does not dominate the first order metric perturbation. We find that although the ANEC integral can be negative, if we average the ANEC integral transverse to the geodesic with a suitable Planck scale smearing function, then a strictly positive result is obtained in all cases except for the flat spacetime/vacuum solution. This result suggests --- in agreement with conclusions drawn by Ford and Roman from entirely independent arguments --- that if traversable wormholes do exist as solutions to the semiclassical equations, they cannot be macroscopic but must be ``Planck scale''. A large portion of our paper is devoted to the analysis of general issues concerning the nature of the semiclassical Einstein equation and of prescriptions for extracting physically relevant solutions.Comment: 54 pages, 3 figures, uses revtex macros and epsf.tex, to appear in Phys Rev D. A new appendix has been added showing consistency of our results with recent results of Visser [gr-qc/9604008]. Some corrections were made to Appendix A, and several other minor changes to the body of the paper also were mad