Non semi-simple sl(2) quantum invariants, spin case

Invariants of 3-manifolds from a non semi-simple category of modules over a version of quantum sl(2) were obtained by the last three authors in [arXiv:1404.7289]. In their construction the quantum parameter $q$ is a root of unity of order $2r$ where $r>1$ is odd or congruent to $2$ modulo $4$. In this paper we consider the remaining cases where $r$ is congruent to zero modulo $4$ and produce invariants of $3$-manifolds with colored links, equipped with generalized spin structure. For a given $3$-manifold $M$, the relevant generalized spin structures are (non canonically) parametrized by $H^1(M;\mathbb C/2\mathbb Z)$.Comment: 13 pages, 16 figure

Dirac phase leptogenesis

I present here a concise summary of the preprint arXiv:0707.3024, written in collaboration with A. Anisimov and P. Di Bari. There we discuss leptogenesis when {\em CP} violation stems exlusively from the Dirac phase in the PMNS mixing matrix. Under this assumption it turns out that the situation is very constrained when a hierarchical heavy right-handed (RH) neutrino spectrum is considered: the allowed regions are small and the final asymmetry depends on the initial conditions. On the other hand, for a quasi-degenerate spectrum of RH neutrinos, the {\em CP} asymmetry can be enhanced and the situation becomes much more favorable, with no dependence on the initial conditions. Interestingly, in the extreme case of resonant leptogenesis, in order to match the observed baryon asymmetry of the Universe, we obtain a lower bound on \sin \q_{13} which depends on the lightest active neutrino mass m_1.Comment: 3 pages, 2 figures, contribution to the proceedings of the TAUP 07 conference, Sep. 11-15, Sendai, Japa

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

Localizing coalescing massive black hole binaries with gravitational waves

Massive black hole binary coalescences are prime targets for space-based gravitational wave (GW) observatories such as {\it LISA}. GW measurements can localize the position of a coalescing binary on the sky to an ellipse with a major axis of a few tens of arcminutes to a few degrees, depending on source redshift, and a minor axis which is $2 - 4$ times smaller. Neglecting weak gravitational lensing, the GWs would also determine the source's luminosity distance to better than percent accuracy for close sources, degrading to several percent for more distant sources. Weak lensing cannot, in fact, be neglected and is expected to limit the accuracy with which distances can be fixed to errors no less than a few percent. Assuming a well-measured cosmology, the source's redshift could be inferred with similar accuracy. GWs alone can thus pinpoint a binary to a three-dimensional ``pixel'' which can help guide searches for the hosts of these events. We examine the time evolution of this pixel, studying it at merger and at several intervals before merger. One day before merger, the major axis of the error ellipse is typically larger than its final value by a factor of $\sim 1.5-6$. The minor axis is larger by a factor of $\sim 2-9$, and, neglecting lensing, the error in the luminosity distance is larger by a factor of $\sim 1.5-7$. This large change over a short period of time is due to spin-induced precession, which is strongest in the final days before merger. The evolution is slower as we go back further in time. For $z = 1$, we find that GWs will localize a coalescing binary to within $\sim 10\ \mathrm{deg}^2$ as early as a month prior to merger and determine distance (and hence redshift) to several percent.Comment: 30 pages, 10 figures, 5 tables. Version published in Ap

On formal verification of arithmetic-based cryptographic primitives

Cryptographic primitives are fundamental for information security: they are used as basic components for cryptographic protocols or public-key cryptosystems. In many cases, their security proofs consist in showing that they are reducible to computationally hard problems. Those reductions can be subtle and tedious, and thus not easily checkable. On top of the proof assistant Coq, we had implemented in previous work a toolbox for writing and checking game-based security proofs of cryptographic primitives. In this paper we describe its extension with number-theoretic capabilities so that it is now possible to write and check arithmetic-based cryptographic primitives in our toolbox. We illustrate our work by machine checking the game-based proofs of unpredictability of the pseudo-random bit generator of Blum, Blum and Shub, and semantic security of the public-key cryptographic scheme of Goldwasser and Micali.Comment: 13 page

Orbital evolution of a test particle around a black hole: Indirect determination of the self force in the post Newtonian approximation

Comparing the corrections to Kepler's law with orbital evolution under a self force, we extract the finite, already regularized part of the latter in a specific gauge. We apply this method to a quasi-circular orbit around a Schwarzschild black hole of an extreme mass ratio binary, and determine the first- and second-order conservative gravitational self force in a post Newtonian expansion. We use these results in the construction of the gravitational waveform, and revisit the question of the relative contribution of the self force and spin-orbit coupling.Comment: 5 pages, 2 figure

Gravitational Radiation from Post-Newtonian Sources and Inspiralling Compact Binaries

The article reviews the current status of a theoretical approach to the problem of the emission of gravitational waves by isolated systems in the context of general relativity. Part A of the article deals with general post-Newtonian sources. The exterior field of the source is investigated by means of a combination of analytic post-Minkowskian and multipolar approximations. The physical observables in the far-zone of the source are described by a specific set of radiative multipole moments. By matching the exterior solution to the metric of the post-Newtonian source in the near-zone we obtain the explicit expressions of the source multipole moments. The relationships between the radiative and source moments involve many non-linear multipole interactions, among them those associated with the tails (and tails-of-tails) of gravitational waves. Part B of the article is devoted to the application to compact binary systems. We present the equations of binary motion, and the associated Lagrangian and Hamiltonian, at the third post-Newtonian (3PN) order beyond the Newtonian acceleration. The gravitational-wave energy flux, taking consistently into account the relativistic corrections in the binary moments as well as the various tail effects, is derived through 3.5PN order with respect to the quadrupole formalism. The binary's orbital phase, whose prior knowledge is crucial for searching and analyzing the signals from inspiralling compact binaries, is deduced from an energy balance argument.Comment: 109 pages, 1 figure; this version is an update of the Living Review article originally published in 2002; available on-line at http://www.livingreviews.org