45 research outputs found
Post-Newtonian Gravitational Radiation
1 Introduction 2 Multipole Decomposition 3 Source Multipole Moments 4
Post-Minkowskian Approximation 5 Radiative Multipole Moments 6 Post-Newtonian
Approximation 7 Point-Particles 8 ConclusionComment: 46 pages, in Einstein's Field Equations and Their Physical
Implications, B. Schmidt (Ed.), Lecture Notes in Physics, Springe
Importance Sampling for multi-constraints rare event probability
Improving Importance Sampling estimators for rare event probabilities
requires sharp approx- imations of the optimal density leading to a nearly
zero-variance estimator. This paper presents a new way to handle the estimation
of the probability of a rare event defined as a finite intersection of subset.
We provide a sharp approximation of the density of long runs of a random walk
condi- tioned by multiples constraints, each of them defined by an average of a
function of its summands as their number tends to infinity.Comment: Conference pape
Semi-supervised Learning based on Distributionally Robust Optimization
We propose a novel method for semi-supervised learning (SSL) based on
data-driven distributionally robust optimization (DRO) using optimal transport
metrics. Our proposed method enhances generalization error by using the
unlabeled data to restrict the support of the worst case distribution in our
DRO formulation. We enable the implementation of our DRO formulation by
proposing a stochastic gradient descent algorithm which allows to easily
implement the training procedure. We demonstrate that our Semi-supervised DRO
method is able to improve the generalization error over natural supervised
procedures and state-of-the-art SSL estimators. Finally, we include a
discussion on the large sample behavior of the optimal uncertainty region in
the DRO formulation. Our discussion exposes important aspects such as the role
of dimension reduction in SSL
Gravitational Radiation Theory and Light Propagation
The paper gives an introduction to the gravitational radiation theory of isolated sources and to the propagation properties of light rays in radiative gravitational fields. It presents a theoretical study of the generation, propagation, back-reaction, and detection of gravitational waves from astrophysical sources. After reviewing the various quadrupole-moment laws for gravitational radiation in the Newtonian approximation, we show how to incorporate post-Newtonian corrections into the source multipole moments, the radiative multipole moments at infinity, and the back-reaction potentials. We further treat the light propagation in the linearized gravitational field outside a gravitational wave emitting source. The effects of time delay, bending of light, and moving source frequency shift are presented in terms of the gravitational lens potential. Time delay results are applied in the description of the procedure of the detection of gravitational waves
Various features of quasiequilibrium sequences of binary neutron stars in general relativity
Quasiequilibrium sequences of binary neutron stars are numerically calculated
in the framework of the Isenberg-Wilson-Mathews (IWM) approximation of general
relativity. The results are presented for both rotation states of synchronized
spins and irrotational motion, the latter being considered as the realistic one
for binary neutron stars just prior to the merger. We assume a polytropic
equation of state and compute several evolutionary sequences of binary systems
composed of different-mass stars as well as identical-mass stars with adiabatic
indices gamma=2.5, 2.25, 2, and 1.8. From our results, we propose as a
conjecture that if the turning point of binding energy (and total angular
momentum) locating the innermost stable circular orbit (ISCO) is found in
Newtonian gravity for some value of the adiabatic index gamma_0, that of the
ADM mass (and total angular momentum) should exist in the IWM approximation of
general relativity for the same value of the adiabatic index.Comment: Text improved, some figures changed or deleted, new table, 38 pages,
31 figures, accepted for publication in Phys. Rev.
An -frequency dynamics algorithm for gravitational waves
Coalescence of low mass compact binaries of neutron stars and black holes are
primary burst sources for LIGO and VIRGO.Of importance in the early stages of
observations will be the classification of candidate detections by source-type.
The diversity in source parameters and serendipity in any new window of
observations suggest to consider model-independent detection algorithms. Here a
frequency dynamics algorithm is described which extracts a trajectory in the
-plane from the noisy signal. The algorithm is studied in simulated
binary coalescence. Robust results are obtained with experimental noise data.
Experiments show the method to be superior to matched filtering in the presence
of model imperfections.Comment: to appear in Rapid Commun, Phys Rev
Gravitomagnetic Effects in the Propagation of Electromagnetic Waves in Variable Gravitational Fields of Arbitrary-Moving and Spinning Bodies
Propagation of light in the gravitational field of self-gravitating spinning
bodies moving with arbitrary velocities is discussed. The gravitational field
is assumed to be "weak" everywhere. Equations of motion of a light ray are
solved in the first post-Minkowskian approximation that is linear with respect
to the universal gravitational constant . We do not restrict ourselves with
the approximation of gravitational lens so that the solution of light geodesics
is applicable for arbitrary locations of source of light and observer. This
formalism is applied for studying corrections to the Shapiro time delay in
binary pulsars caused by the rotation of pulsar and its companion. We also
derive the correction to the light deflection angle caused by rotation of
gravitating bodies in the solar system (Sun, planets) or a gravitational lens.
The gravitational shift of frequency due to the combined translational and
rotational motions of light-ray-deflecting bodies is analyzed as well. We give
a general derivation of the formula describing the relativistic rotation of the
plane of polarization of electromagnetic waves (Skrotskii effect). This formula
is valid for arbitrary translational and rotational motion of gravitating
bodies and greatly extends the results of previous researchers. Finally, we
discuss the Skrotskii effect for gravitational waves emitted by localized
sources such as a binary system. The theoretical results of this paper can be
applied for studying various relativistic effects in microarcsecond space
astrometry and developing corresponding algorithms for data processing in space
astrometric missions such as FAME, SIM, and GAIA.Comment: 36 pages, 1 figure, submitted to Phys. Rev.
Post-Newtonian SPH calculations of binary neutron star coalescence. I. Method and first results
We present the first results from our Post-Newtonian (PN) Smoothed Particle
Hydrodynamics (SPH) code, which has been used to study the coalescence of
binary neutron star (NS) systems. The Lagrangian particle-based code
incorporates consistently all lowest-order (1PN) relativistic effects, as well
as gravitational radiation reaction, the lowest-order dissipative term in
general relativity. We test our code on sequences of single NS models of
varying compactness, and we discuss ways to make PN simulations more relevant
to realistic NS models. We also present a PN SPH relaxation procedure for
constructing equilibrium models of synchronized binaries, and we use these
equilibrium models as initial conditions for our dynamical calculations of
binary coalescence. Though unphysical, since tidal synchronization is not
expected in NS binaries, these initial conditions allow us to compare our PN
work with previous Newtonian results.
We compare calculations with and without 1PN effects, for NS with stiff
equations of state, modeled as polytropes with . We find that 1PN
effects can play a major role in the coalescence, accelerating the final
inspiral and causing a significant misalignment in the binary just prior to
final merging. In addition, the character of the gravitational wave signal is
altered dramatically, showing strong modulation of the exponentially decaying
waveform near the end of the merger. We also discuss briefly the implications
of our results for models of gamma-ray bursts at cosmological distances.Comment: RevTeX, 37 pages, 17 figures, to appear in Phys. Rev. D, minor
corrections onl
Post-Newtonian SPH calculations of binary neutron star coalescence. II. Binary mass ratio, equation of state, and spin dependence
Using our new Post-Newtonian SPH (smoothed particle hydrodynamics) code, we
study the final coalescence and merging of neutron star (NS) binaries. We vary
the stiffness of the equation of state (EOS) as well as the initial binary mass
ratio and stellar spins. Results are compared to those of Newtonian
calculations, with and without the inclusion of the gravitational radiation
reaction. We find a much steeper decrease in the gravity wave peak strain and
luminosity with decreasing mass ratio than would be predicted by simple
point-mass formulae. For NS with softer EOS (which we model as simple
polytropes) we find a stronger gravity wave emission, with a
different morphology than for stiffer EOS (modeled as polytropes as
in our previous work). We also calculate the coalescence of NS binaries with an
irrotational initial condition, and find that the gravity wave signal is
relatively suppressed compared to the synchronized case, but shows a very
significant second peak of emission. Mass shedding is also greatly reduced, and
occurs via a different mechanism than in the synchronized case. We discuss the
implications of our results for gravity wave astronomy with laser
interferometers such as LIGO, and for theoretical models of gamma-ray bursts
(GRBs) based on NS mergers.Comment: RevTeX, 38 pages, 24 figures, Minor Corrections, to appear in Phys.
Rev.
Inferring Loop Invariants using Postconditions
One of the obstacles in automatic program proving is to obtain suitable loop
invariants.
The invariant of a loop is a weakened form of its postcondition (the loop's
goal, also known as its contract); the present work takes advantage of this
observation by using the postcondition as the basis for invariant inference,
using various heuristics such as "uncoupling" which prove useful in many
important algorithms.
Thanks to these heuristics, the technique is able to infer invariants for a
large variety of loop examples.
We present the theory behind the technique, its implementation (freely
available for download and currently relying on Microsoft Research's Boogie
tool), and the results obtained.Comment: Slightly revised versio