Past Null Cone Research Articles

The averaging problem on the past null cone in inhomogeneous dust cosmologies

Cosmological models typically neglect the complicated nature of the spacetime manifold at small scales in order to hypothesize idealized general relativistic solutions for describing the average dynamics of the Universe. Although these solutions are remarkably successful in accounting for data, they introduce a number of puzzles in cosmology, and their foundational assumptions are therefore important to test. In this paper, we go beyond the usual assumptions in cosmology and propose a formalism for averaging the local general relativistic spacetime on an observer's past null cone: we formulate average properties of light fronts as they propagate from a cosmological emitter to an observer. The energy-momentum tensor is composed of an irrotational dust source and a cosmological constant -- the same components as in the $\Lambda$CDM model for late cosmic times -- but the metric solution is not \emph{a priori}constrained to be locally homogeneous or isotropic. This generally makes the large-scale dynamics depart from that of a simple Friedmann--Lema\^\i tre--Robertson--Walker solution through \emph{backreaction} effects. Our formalism quantifies such departures through a fully covariant system of area-averaged equations on the light fronts propagating towards an observer, which can be directly applied to analytical and numerical investigations of cosmic observables. For this purpose, we formulate light front averages of observable quantities, including the effective angular diameter distance and the cosmological redshift drift and we also discuss the backreaction effects for these observables.

The transverse-traceless spin-2 gravitational wave cannot be a standalone observable because it is acausal

We show, through an explicit calculation of the relevant Green’s functions, that the transverse-traceless (TT) portion of the gravitational perturbations of Minkowski spacetime and of spatially flat cosmologies with a constant equation-of-state w receive contributions from their isolated matter source(s) outside the past null cone of the observer. This implies the TT gravitational wave (GW) cannot be a standalone observable—despite widespread (apparent) claims in the gravitational wave literature to the contrary. About a Minkowski background, all 4 of the gauge-invariant variables—the two scalars, one vector and tensor—play crucial roles to ensure the spatial tidal forces encoded within the gauge-invariant linearized Riemann tensor are causal. These gravitational tidal forces do not depend solely on the TT graviton but rather on the causal portion of its acceleration. However, in the far zone radiative limit, the flat spacetime ‘TT’ graviton Green’s function does reduce to the causal ‘tt’ ones, which are the ones commonly used to compute gravitational waveforms. Similar remarks apply to the spin-1 photon; for instance, the electric field does not depend solely on the photon, but is the causal part of its velocity. As is known within the quantum theory of photons and linearized gravitons, there are obstacles to the construction of simultaneously gauge-invariant and Lorentz-covariant descriptions of these massless spin-1 and spin-2 states. Our results transparently demonstrate that the quantum operators associated with the helicity-1 photon and helicity-2 linear graviton both violate micro-causality: namely, they do not commute outside the light cone in flat and cosmological spacetimes.

Calculating observables in inhomogeneous cosmologies. Part I: general framework

We lay out a general framework for calculating the variation of a set of cosmological observables, down the past null cone of an arbitrarily placed observer, in a given arbitrary inhomogeneous metric. The observables include redshift, proper motions, area distance and redshift-space density. Of particular interest are observables that are zero in the spherically symmetric case, such as proper motions. The algorithm is based on the null geodesic equation and the geodesic deviation equation, and it is tailored to creating a practical numerical implementation. The algorithm provides a method for tracking which light rays connect moving objects to the observer at successive times. Our algorithm is applied to the particular case of the Szekeres metric. A numerical implementation has been created and some results will be presented in a subsequent paper. Future work will explore the range of possibilities.

Linear perturbations in spherically symmetric dust cosmologies including a cosmological constant

We study the dynamical behaviour of gauge-invariant linear perturbations in spherically symmetric dust cosmologies including a cosmological constant. In contrast to spatially homogeneous FLRW models, the reduced degree of spatial symmetry causes a non-trivial dynamical coupling of gauge-invariant quantities already at first order perturbation theory and the strength and influence of this coupling on the spacetime evolution is investigated here. We present results on the underlying dynamical equations augmented by a cosmological constant and integrate them numerically. We also present a method to derive cosmologically relevant initial variables for this setup. Estimates of angular power spectra for each metric variable are computed and evaluated on the central observer's past null cone. By comparing the full evolution to the freely evolved initial profiles, the coupling strength will be determined for a best fit radially inhomogeneous patch obtained in previous works (see [1]). We find that coupling effects are not noticeable within the cosmic variance limit and can therefore safely be neglected for a relevant cosmological scenario. On the contrary, we find very strong coupling effects in a best fit spherical void model matching the distance redshift relation of SNe which is in accordance with previous findings using parametric void models.

Collapse of a self-similar cylindrical scalar field with non-minimal coupling II: strong cosmic censorship

We investigate self-similar scalar field solutions to the Einstein equations in whole cylinder symmetry. Imposing self-similarity on the spacetime gives rise to a set of single variable functions describing the metric. Furthermore, it is shown that the scalar field is dependent on a single unknown function of the same variable and that the scalar field potential has exponential form. The Einstein equations then take the form of a set of ODEs. Self-similarity also gives rise to a singularity at the scaling origin. We extend the work of Condron and Nolan (2014 Class. Quantum Grav. 31 015015), which determined the global structure of all solutions with a regular axis in the causal past of the singularity. We identified a class of solutions that evolves through the past null cone of the singularity. We give the global structure of these solutions and show that the singularity is censored in all cases.

Null injectivity estimate under an upper bound on the curvature

We establish a uniform estimate for the injectivity radius of the past null cone of a point in a general Lorentzian manifold foliated by space-like hypersurfaces and satisfying an upper curvature bound. Precisely, our main assumptions are, on one hand, upper bounds on the null curvature of the spacetime and the lapse function of the foliation and sup-norm bounds on the deformation tensors of the foliation. Our proof is inspired by techniques from Riemannian geometry, and it should be noted that we impose no restriction on the size of the bound satisfied by the curvature or deformation tensors, and allow for metrics that are “far” from the Minkowski one. The relevance of our estimate is illustrated with a class of plane-symmetric spacetimes which satisfy our assumptions but admit no uniform lower bound on the curvature not even in the L2 norm. The conditions we put forward, therefore, lead to a uniform control of the spacetime geometry and should be useful in the context of general relativity.

Geometry of Normal Graphs in Euclidean Space and Applications to the Penrose Inequality in Minkowski

The Penrose inequality in Minkowski is a geometric inequality relating the total outer null expansion and the area of closed, connected and spacelike codimension-two surfaces S in the Minkowski spacetime, subject to an additional convexity assumption. In a recent paper, Brendle and Wang find a sufficient condition for the validity of this Penrose inequality in terms of the geometry of the orthogonal projection of S onto a constant time hyperplane. In this work, we study the geometry of hypersurfaces in n-dimensional euclidean space which are normal graphs over other surfaces and relate the intrinsic and extrinsic geometry of the graph with that of the base hypersurface. These results are used to rewrite Brendle and Wang's condition explicitly in terms of the time height function of S over a hyperplane and the geometry of the projection of S along its past null cone onto this hyperplane. We also include, in an Appendix, a self-contained summary of known and new results on the geometry of projections along the Killing direction of codimension two-spacelike surfaces in a strictly static spacetime.

Collapse of a self-similar cylindrical scalar field with non-minimal coupling

We investigate self-similar scalar field solutions to the Einstein equations in whole cylinder symmetry. Imposing self-similarity on the spacetime gives rise to a set of single variable functions describing the metric. Furthermore, it is shown that the scalar field is dependent on a single unknown function of the same variable and that the scalar field potential has exponential form. The Einstein equations then take the form of a set of ODEs. Self-similarity also gives rise to a singularity at the scaling origin. We discuss the number of degrees of freedom at an arbitrary point and prove existence and uniqueness of a 2-parameter family of solutions with a regular axis. We discuss the evolution of these solutions away from the axis toward the past null cone of the singularity, determining the maximal interval of existence in each case.

On the Penrose inequality for dust null shells in the Minkowski spacetime of arbitrary dimension

A particular, yet relevant, case of the Penrose inequality involves null shells propagating in the Minkowski spacetime. Despite previous claims in the literature, the validity of this inequality remains open. In this paper, we rewrite this inequality in terms of the geometry of the surface obtained by intersecting the past null cone of the original surface S with a constant time hyperplane and the ‘time height’ function of S over this hyperplane. We also specialize to the case when S lies in the past null cone of a point and show the validity of the corresponding inequality in any dimension (in four dimensions this inequality was proved by Tod (1985 Class. Quantum Grav. 2 L65–8). Exploiting properties of convex hypersurfaces in the Euclidean space, we write down the Penrose inequality in the Minkowski spacetime of an arbitrary dimension n + 2 as an inequality for two smooth functions on the sphere . We finally obtain a sufficient condition for the validity of the Penrose inequality in the four-dimensional Minkowski spacetime and show that this condition is satisfied by a large class of surfaces.

Observational cosmology using characteristic numerical relativity

The characteristic formalism in numerical relativity, which has been developed to study gravitational waves, and the observer metric approach in observational cosmology both make use of coordinate systems based on null cones. In this paper, these coordinate systems are compared, and it is then demonstrated how characteristic numerical relativity can be used to investigate problems in observational cosmology. In a numerical experiment using the characteristic formalism, it is shown how the historical evolution of a Lema\^{\i}tre-Tolman-Bondi (LTB) universe compares to that of the $\ensuremath{\Lambda}$ cold dark matter ($\ensuremath{\Lambda}\mathrm{CDM}$) model given identical observational data on a local observer's past null cone. It is demonstrated that even though observations at the current epoch can be interpreted as either LTB or $\ensuremath{\Lambda}\mathrm{CDM}$, these models have distinctly different histories, and at an earlier epoch, the LTB model will not represent a $\ensuremath{\Lambda}\mathrm{CDM}$ model.

A (giant) void is not mandatory to explain away dark energy with a Lemaître-Tolman model

Lema\^itre - Tolman (L--T) toy models with a central observer have been used to study the effect of large scale inhomogeneities on the SN Ia dimming. Claims that a giant void is mandatory to explain away dark energy in this framework are currently dominating. Our aim is to show that L-T models exist that reproduce a few features of the $\Lambda$CDM model, but do not contain the giant cosmic void. We propose to use two sets of data - the angular diameter distance together with the redshift-space mass-density and the angular diameter distance together with the expansion rate - both defined on the past null cone as functions of the redshift. We assume that these functions are of the same form as in the $\Lambda$CDM model. Using the Mustapha-Hellaby-Ellis algorithm, we numerically transform these initial data into the usual two L-T arbitrary functions and solve the evolution equation to calculate the mass distribution in spacetime. For both models, we find that the current density profile does not exhibit a giant void, but rather a giant hump. However, this hump is not directly observable, since it is in a spacelike relation to a present observer. The alleged existence of the giant void was a consequence of the L-T models used earlier because their generality was limited a priori by needless simplifying assumptions, like, for example, the bang-time function being constant. Instead, one can feed any mass distribution or expansion rate history on the past light cone as initial data to the L-T evolution equation. When a fully general L-T metric is used, the giant void is not implied.

The Lemaître model and the generalisation of the cosmic mass

We consider the spherically symmetric metric with a comoving perfect fluid and non-zero pressure -- the Lemaitre metric -- and present it in the form of a calculational algorithm. We use it to review the definition of mass, and to look at the apparent horizon relations on the observer's past null cone. We show that the introduction of pressure makes it difficult to separate the mass from other physical parameters in an invariant way. Under the usual mass definition, the apparent horizon relation, that relates the diameter distance to the cosmic mass, remains the same as in the Lemaitre-Tolman case.

Gauge invariant perturbations of self-similar Lemaître-Tolman-Bondi spacetime: Even parity modes withl≥2

In this paper we consider gauge invariant linear perturbations of the metric and matter tensors describing the self-similar Lemaitre-Tolman-Bondi (timelike dust) spacetime containing a naked singularity. We decompose the angular part of the perturbation in terms of spherical harmonics and perform a Mellin transform to reduce the perturbation equations to a set of ordinary differential equations with singular points. We fix initial data so the perturbation is finite on the axis and the past null cone of the singularity, and follow the perturbation modes up to the Cauchy horizon. There we argue that certain scalars formed from the modes of the perturbation remain finite, indicating linear stability of the Cauchy horizon.

Solving the observer metric

The analysis of modern cosmological data is becoming an increasingly important task as the amount of data multiplies. An important goal is to extract geometric information, i.e. the metric of the cosmos, from observational data. The observer metric is adapted to the reality of observations: information received along the past null cone, and matter flowing along timelike lines. It provides a potentially very good candidate for developing a general numerical data reduction program. As a basis for this, we elucidate the spherically symmetric solution, for which there is to date no single presentation that is complete and correct. With future numerical implementation in mind, we give a clear presentation of the mathematical solution in terms of 4 arbitrary functions, the solution algorithm given observational data on the past null cone, and we argue that the evolution from one null cone to the next necessarily involves integrating down each null cone.

Injectivity Radius of Lorentzian Manifolds

Motivated by the application to general relativity we study the geometry and regularity of Lorentzian manifolds under natural curvature and volume bounds, and we establish several injectivity radius estimates at a point or on the past null cone of a point. Our estimates are entirely local and geometric, and are formulated via a reference Riemannian metric that we canonically associate with a given observer (p, T) –where p is a point of the manifold and T is a future-oriented time-like unit vector prescribed at p only. The proofs are based on a generalization of arguments from Riemannian geometry. We first establish estimates on the reference Riemannian metric, and then express them in terms of the Lorentzian metric. In the context of general relativity, our estimate on the injectivity radius of an observer should be useful to investigate the regularity of spacetimes satisfying Einstein field equations.

The mass of the cosmos

We point out that the mass of the cosmos on gigaparsec-scales can be measured, owing to the unique geometric role of the maximum in the areal radius. Unlike all other points on the past null cone, this maximum has an associated mass, which can be calculated with very few assumptions about the cosmological model, providing a measurable characteristic of our cosmos. In combination with luminosities and source counts, it gives the bulk mass to light ratio. The maximum is particularly sensitive to the values of the bulk cosmological parameters. In addition, it provides a key reference point in attempts to connect cosmic geometry with observations. We recommend the determination of the distance and redshift of this maximum be explicitly included in the scientific goals of the next generation of redshift surveys. The maximum in the redshift space density provides a secondary large-scale characteristic of the cosmos.

Perfect fluid models in noncomoving observational spherical coordinates

We use null spherical (observational) coordinates to describe a class of inhomogeneous cosmological models. The proposed cosmological construction is based on the observer past null cone. A known difficulty in using inhomogeneous models is that the null geodesic equation is not integrable in general. Our choice of null coordinates solves the radial ingoing null geodesic by construction. Furthermore, we use an approach where the velocity field is uniquely calculated from the metric rather than put in by hand. Conveniently, this allows us to explore models in a non-comoving frame of reference. In this frame, we find that the velocity field has shear, acceleration and expansion rate in general. We show that a comoving frame is not compatible with expanding perfect fluid models in the coordinates proposed and dust models are simply not possible. We describe the models in a non-comoving frame. We use the dust models in a non-comoving frame to outline a fitting procedure.

Post-Newtonian gravitational radiation and equations of motion via direct integration of the relaxed Einstein equations: Foundations

We present a self-contained framework called direct integration of the relaxed Einstein equations for calculating equations of motion and gravitational radiation emission for isolated gravitating systems based on the post-Newtonian approximation. We cast the Einstein equations into their ``relaxed'' form of a flat-spacetime wave equation together with a harmonic gauge condition, and solve the equations formally as a retarded integral over the past null cone of the field point (chosen to be within the near zone when calculating equations of motion and in the far zone when calculating gravitational radiation). The ``inner'' part of this integral (within a sphere of radius $\mathcal{R}\ensuremath{\sim}$ one gravitational wavelength) is approximated in a slow-motion expansion using standard techniques; the ``outer'' part, extending over the radiation zone, is evaluated using a null integration variable. We show generally and explicitly that all contributions to the inner integrals that depend on $\mathcal{R}$ cancel corresponding terms from the outer integrals, and that the outer integrals converge at infinity, subject only to reasonable assumptions about the past behavior of the source. The method cures defects that plagued previous ``brute-force'' slow-motion approaches to motion and gravitational radiation for isolated systems. We detail the procedure for iterating the solutions in a weak-field, slow-motion approximation, and derive expressions for the near-zone field through 3.5 post-Newtonian order in terms of Poisson-like potentials.

The distortion of the area distance-redshift relation in inhomogeneous isotropic universes

We show that areas corresponding to an observed solid angle can be quite different than would be estimated from the corresponding Friedmann-Lemaître model, even when averaged over large angular scales. This paper concentrates on the specific example of spherically symmetric but spatially inhomogeneous dust universes, the Lemaître-Tolman-Bondi models, and shows that `radial lensing' significantly distorts the area distance-redshift and density-redshift relations in these exact solutions compared with the standard ones for Friedmann-Lemaître models. Thus inhomogeneity may introduce significant errors into distance estimates based on the standard FL relations, even after averaging over large angular scales. Three examples show the area distance versus redshift graph can become multi-valued and form loops, and that the standard FL relations are not recovered even when the distant universe surrounding an inhomogeneity is exactly the background or average FL model. In addition, a useful new gauge choice is presented for these models, solving the problem of locating the past null cone exactly.

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.