Third post-Newtonian dynamics of compact binaries: Equations of motion in the center-of-mass frame

The equations of motion of compact binary systems and their associated Lagrangian formulation have been derived in previous works at the third post-Newtonian (3PN) approximation of general relativity in harmonic coordinates. In the present work we investigate the binary's relative dynamics in the center-of-mass frame (center of mass located at the origin of the coordinates). We obtain the 3PN-accurate expressions of the center-of-mass positions and equations of the relative binary motion. We show that the equations derive from a Lagrangian (neglecting the radiation reaction), from which we deduce the conserved center-of-mass energy and angular momentum at the 3PN order. The harmonic-coordinates center-of-mass Lagrangian is equivalent, {\it via} a contact transformation of the particles' variables, to the center-of-mass Hamiltonian in ADM coordinates that is known from the post-Newtonian ADM-Hamiltonian formalism. As an application we investigate the dynamical stability of circular binary orbits at the 3PN order.Comment: 31 pages, to appear in Classical and Quantum Gravit

Testing post-Newtonian theory with gravitational wave observations

The Laser Interferometric Space Antenna (LISA) will observe supermassive black hole binary mergers with amplitude signal-to-noise ratio of several thousands. We investigate the extent to which such observations afford high-precision tests of Einstein's gravity. We show that LISA provides a unique opportunity to probe the non-linear structure of post-Newtonian theory both in the context of general relativity and its alternatives.Comment: 9 pages, 2 figure

Post-Newtonian approximation for isolated systems calculated by matched asymptotic expansions

Two long-standing problems with the post-Newtonian approximation for isolated slowly-moving systems in general relativity are: (i) the appearance at high post-Newtonian orders of divergent Poisson integrals, casting a doubt on the soundness of the post-Newtonian series; (ii) the domain of validity of the approximation which is limited to the near-zone of the source, and prevents one, a priori, from incorporating the condition of no-incoming radiation, to be imposed at past null infinity. In this article, we resolve the problem (i) by iterating the post-Newtonian hierarchy of equations by means of a new (Poisson-type) integral operator that is free of divergencies, and the problem (ii) by matching the post-Newtonian near-zone field to the exterior field of the source, known from previous work as a multipolar-post-Minkowskian expansion satisfying the relevant boundary conditions at infinity. As a result, we obtain an algorithm for iterating the post-Newtonian series up to any order, and we determine the terms, present in the post-Newtonian field, that are associated with the gravitational-radiation reaction onto an isolated slowly-moving matter system.Comment: 61 pages, to appear in Phys. Rev.

Gravitational-Wave Inspiral of Compact Binary Systems to 7/2 Post-Newtonian Order

The inspiral of compact binaries, driven by gravitational-radiation reaction, is investigated through 7/2 post-Newtonian (3.5PN) order beyond the quadrupole radiation. We outline the derivation of the 3.5PN-accurate binary's center-of-mass energy and emitted gravitational flux. The analysis consistently includes the relativistic effects in the binary's equations of motion and multipole moments, as well as the contributions of tails, and tails of tails, in the wave zone. However the result is not fully determined because of some physical incompleteness, present at the 3PN order, of the model of point-particle and the associated Hadamard-type self-field regularization. The orbital phase, whose prior knowledge is crucial for searching and analyzing the inspiral signal, is computed from the standard energy balance argument.Comment: 12 pages, version which includes the correction of an Erratum to be published in Phys. Rev. D (2005

Dimensional regularization of the third post-Newtonian gravitational wave generation from two point masses

Dimensional regularization is applied to the computation of the gravitational wave field generated by compact binaries at the third post-Newtonian (3PN) approximation. We generalize the wave generation formalism from isolated post-Newtonian matter systems to d spatial dimensions, and apply it to point masses (without spins), modelled by delta-function singularities. We find that the quadrupole moment of point-particle binaries in harmonic coordinates contains a pole when epsilon = d-3 -> 0 at the 3PN order. It is proved that the pole can be renormalized away by means of the same shifts of the particle world-lines as in our recent derivation of the 3PN equations of motion. The resulting renormalized (finite when epsilon -> 0) quadrupole moment leads to unique values for the ambiguity parameters xi, kappa and zeta, which were introduced in previous computations using Hadamard's regularization. Several checks of these values are presented. These results complete the derivation of the gravitational waves emitted by inspiralling compact binaries up to the 3.5PN level of accuracy which is needed for detection and analysis of the signals in the gravitational-wave antennas LIGO/VIRGO and LISA.Comment: 60 pages, LaTeX 2e, REVTeX 4, 10 PostScript files (1 figure and 9 Young tableaux used in the text

Relating two standard notions of secrecy

Two styles of definitions are usually considered to express that a security protocol preserves the confidentiality of a data s. Reachability-based secrecy means that s should never be disclosed while equivalence-based secrecy states that two executions of a protocol with distinct instances for s should be indistinguishable to an attacker. Although the second formulation ensures a higher level of security and is closer to cryptographic notions of secrecy, decidability results and automatic tools have mainly focused on the first definition so far. This paper initiates a systematic investigation of the situations where syntactic secrecy entails strong secrecy. We show that in the passive case, reachability-based secrecy actually implies equivalence-based secrecy for digital signatures, symmetric and asymmetric encryption provided that the primitives are probabilistic. For active adversaries, we provide sufficient (and rather tight) conditions on the protocol for this implication to hold.Comment: 29 pages, published in LMC

Hadamard Regularization

Motivated by the problem of the dynamics of point-particles in high post-Newtonian (e.g. 3PN) approximations of general relativity, we consider a certain class of functions which are smooth except at some isolated points around which they admit a power-like singular expansion. We review the concepts of (i) Hadamard ``partie finie'' of such functions at the location of singular points, (ii) the partie finie of their divergent integral. We present and investigate different expressions, useful in applications, for the latter partie finie. To each singular function, we associate a partie-finie (Pf) pseudo-function. The multiplication of pseudo-functions is defined by the ordinary (pointwise) product. We construct a delta-pseudo-function on the class of singular functions, which reduces to the usual notion of Dirac distribution when applied on smooth functions with compact support. We introduce and analyse a new derivative operator acting on pseudo-functions, and generalizing, in this context, the Schwartz distributional derivative. This operator is uniquely defined up to an arbitrary numerical constant. Time derivatives and partial derivatives with respect to the singular points are also investigated. In the course of the paper, all the formulas needed in the application to the physical problem are derived.Comment: 50 pages, to appear in Journal of Mathematical Physic

Automating Security Analysis: Symbolic Equivalence of Constraint Systems

We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity or strong secrecy). Infinite sets of possible traces are symbolically represented using deducibility constraints. We give a new algorithm that decides the trace equivalence for the traces that are represented using such constraints, in the case of signatures, symmetric and asymmetric encryptions. Our algorithm is implemented and performs well on typical benchmarks. This is the first implemented algorithm, deciding symbolic trace equivalence

Gravitational radiation from compact binary systems: gravitational waveforms and energy loss to second post-Newtonian order

We derive the gravitational waveform and gravitational-wave energy flux generated by a binary star system of compact objects (neutron stars or black holes), accurate through second post-Newtonian order ($O[(v/c)^4] \sim O[(Gm/rc^2)^2]$) beyond the lowest-order quadrupole approximation. We cast the Einstein equations into the form of a flat-spacetime wave equation together with a harmonic gauge condition, and solve it formally as a retarded integral over the past null cone of the chosen field point. The part of this integral that involves the matter sources and the near-zone gravitational field is evaluated in terms of multipole moments using standard techniques; the remainder of the retarded integral, extending over the radiation zone, is evaluated in a novel way. The result is a manifestly convergent and finite procedure for calculating gravitational radiation to arbitrary orders in a post-Newtonian expansion. Through second post-Newtonian order, the radiation is also shown to propagate toward the observer along true null rays of the asymptotically Schwarzschild spacetime, despite having been derived using flat spacetime wave equations. The method cures defects that plagued previous ``brute- force'' slow-motion approaches to the generation of gravitational radiation, and yields results that agree perfectly with those recently obtained by a mixed post-Minkowskian post-Newtonian method. We display explicit formulae for the gravitational waveform and the energy flux for two-body systems, both in arbitrary orbits and in circular orbits. In an appendix, we extend the formalism to bodies with finite spatial extent, and derive the spin corrections to the waveform and energy loss.Comment: 59 pages ReVTeX; Physical Review D, in press; figures available on request to [email protected]

Hadamard regularization of the third post-Newtonian gravitational wave generation of two point masses

Continuing previous work on the 3PN-accurate gravitational wave generation from point particle binaries, we obtain the binary's 3PN mass-type quadrupole and dipole moments for general (not necessarily circular) orbits in harmonic coordinates. The final expressions are given in terms of their ``core'' parts, resulting from the application of the pure Hadamard-Schwartz (pHS) self-field regularization scheme, and augmented by an ``ambiguous'' part. In the case of the 3PN quadrupole we find three ambiguity parameters, xi, kappa and zeta, but only one for the 3PN dipole, in the form of the particular combination xi+kappa. Requiring that the dipole moment agree with the center-of-mass position deduced from the 3PN equations of motion in harmonic coordinates yields the relation xi+kappa=-9871/9240. Our results will form the basis of the complete calculation of the 3PN radiation field of compact binaries by means of dimensional regularization.Comment: 33 pages, to appear in Phys. Rev.