Astronomy & Celestial Mechanics
the sky, computed
Generator

The horizon-diagram generator

Three horizons, and a light cone that bulges
Three horizons, and a light cone that bulges. Cosmic time upwards, comoving distance sideways, for the Planck 2018 cosmology. Galaxies sit still in these coordinates, so their worldlines are the vertical grey lines: comoving distance is defined to take the expansion out. The solid inner curve is the past light cone — the set of events whose light reaches here and now — and it reaches out to the particle horizon at 46.1 billion light years, which is the diagram's central number and the one that sounds impossible. The universe is 13.80 billion years old and light has travelled for 13.80 billion years, and yet the material that emitted the oldest light is now 46 billion light years away. Nothing has outrun light: the comoving distance covered is ∫c dt/a, and dividing by a scale factor that was small early on makes the integral three times ct. The dashed curve is the Hubble sphere, where the recession speed equals c, at 14.5 Gly today — and the light cone lies outside it for most of its length, which is exactly why a galaxy can be observed while receding faster than light. The outer dot-dash curve is the event horizon, at 16.7 Gly: a signal sent from here today never reaches anything beyond it.

Cosmic time upwards, comoving distance sideways, for the Planck 2018 cosmology. Galaxies sit still in these coordinates, so their worldlines are the vertical grey lines: comoving distance is defined to take the expansion out. The solid inner curve is the past light cone — the set of events whose light reaches here and now — and it reaches out to the particle horizon at 46.1 billion light years, which is the diagram's central number and the one that sounds impossible. The universe is 13.80 billion years old and light has travelled for 13.80 billion years, and yet the material that emitted the oldest light is now 46 billion light years away. Nothing has outrun light: the comoving distance covered is ∫c dt/a, and dividing by a scale factor that was small early on makes the integral three times ct. The dashed curve is the Hubble sphere, where the recession speed equals c, at 14.5 Gly today — and the light cone lies outside it for most of its length, which is exactly why a galaxy can be observed while receding faster than light. The outer dot-dash curve is the event horizon, at 16.7 Gly: a signal sent from here today never reaches anything beyond it.

11 essays call horizon-diagram. The drawing above is what it returns with no arguments at all; every call below passes it something, because a placement that passes nothing draws whichever member of the family the generator happens to default to rather than the one its essay argues about.

Where it is called

Every figure listed here is the same construction drawn at different numbers, so a correction to one is a correction to all of them.

Four expansion histories that agree exactly today. The scale factor against time, with the present at zero and every model normalised to a = 1 and an expansion rate of 67.36 km/s/Mpc there. That normalisation is the figure: four universes that are indistinguishable from a measurement made now, separated entirely by what is behind and ahead of them. Each curve is integrated from da/dt = aH₀E(a) rather than from its own closed form, so the four are compared through one routine. The age each implies is where its curve meets zero: empty (Ω = 0) 14.52 Gyr, matter only (Ω = 1) 9.68 Gyr, ΛCDM (Planck 2018) 13.80 Gyr, closed (Ω = 2) 8.29 Gyr. The empty universe's 14.52 Gyr is the Hubble time 1/H₀ exactly, which is what makes it the natural thing to measure an acceleration against. The closed model turns over and is stopped at its turnaround. Cosmology

One number that is an age, a size and a density

The slope of the velocity–distance relation has units of inverse time, so it can be read as an age, multiplied by c to give a length, or squared to give a density. All three readings are natural, all three are quoted, and not one of them is the quantity it appears to be.

 Three horizons, and a light cone that bulges. Cosmic time upwards, comoving distance sideways, for the Planck 2018 cosmology. Galaxies sit still in these coordinates, so their worldlines are the vertical grey lines: comoving distance is defined to take the expansion out. The solid inner curve is the past light cone — the set of events whose light reaches here and now — and it reaches out to the particle horizon at 46.1 billion light years, which is the diagram's central number and the one that sounds impossible. The universe is 13.80 billion years old and light has travelled for 13.80 billion years, and yet the material that emitted the oldest light is now 46 billion light years away. Nothing has outrun light: the comoving distance covered is ∫c dt/a, and dividing by a scale factor that was small early on makes the integral three times ct. The dashed curve is the Hubble sphere, where the recession speed equals c, at 14.5 Gly today — and the light cone lies outside it for most of its length, which is exactly why a galaxy can be observed while receding faster than light. The outer dot-dash curve is the event horizon, at 16.7 Gly: a signal sent from here today never reaches anything beyond it. Cosmology

A horizon three times larger than the age allows

The universe is 13.8 billion years old and light travels one light year a year, so the observable universe should be 13.8 billion light years across. It is 46.1, nothing has outrun light, and the discrepancy is a piece of arithmetic rather than a paradox.

 One length, leaving and returning. The comoving Hubble radius c/aH against the scale factor, both logarithmic. Everything to the right of the kink is exact and is the same cosmology as every other figure here: after inflation the comoving Hubble radius grows, as a in the radiation era and as √a in the matter era, then turns over once Λ takes hold. Everything to the left is a schematic — the energy scale of inflation is unmeasured, so neither the height of the plateau nor the 62 e-folds drawn is a number anybody has — but the shape is not negotiable: in any accelerated expansion H is nearly constant, so c/aH falls as 1/a. The consequence is the mechanism. The solid horizontal line is a fixed comoving length of 209 Mpc: it starts inside the Hubble radius, is carried outside during inflation, sits frozen while nothing can act across it, and re-enters at z = 1090, which is last scattering — it is the scale the first acoustic peak is made of. The dashed line above it is the comoving size of the whole observable universe, 14148 Mpc, and the figure's quiet second finding is that it is still outside the Hubble radius: the very largest angular scales in the microwave background have never re-entered, which is why they show the primordial spectrum with no acoustic processing on it at all. One crossing does two jobs: it makes the sky uniform, because everything now visible was once in causal contact, and it makes it not quite uniform, because a quantum fluctuation stretched beyond the horizon has nothing left that can smooth it out. Cosmology

Two coincidences with one mechanism

Opposite sides of the microwave sky were never in causal contact and have the same temperature to one part in a hundred thousand. The total density sits on the knife edge of flatness, which is an unstable equilibrium. Two fine-tunings of quite different kinds, and one epoch of accelerated expansion removes both.

 Beyond redshift 1.87, what a galaxy does today will never be seen. For a galaxy at each redshift, the cosmic time of the last event on it that will ever be visible from here — not the last that has arrived, but the last that ever arrives, integrated to infinite future time. The horizontal line is the present, 13.8 billion years. A galaxy below redshift 1.87 has its curve above that line: its entire future will be seen from here, arriving ever more slowly and ever more redshifted, so it never quite disappears. A galaxy above redshift 1.87 has its curve below the line, and that is the whole content of an event horizon: what such a galaxy is doing today will never be seen, ever, by anybody here. Only a finite slice of its history is coming, and when the last of that light arrives the object stops changing. The redshift at which the curve crosses is 1.87, the comoving distance there is 16.7 billion light years against a particle horizon of 46.1, and the ratio of the volumes says that 95 per cent of the galaxies now observable are already beyond reach. Superluminal recession is not what does this. Everything past about redshift 1.5 has always been receding faster than light and is seen perfectly well, because the Hubble sphere grows to meet the photon; what closes the horizon is that with a cosmological constant the comoving Hubble radius stops growing and begins to shrink, so a photon that has not already been overtaken never will be. Cosmology

The galaxies that are already out of reach

With a cosmological constant the comoving distance a photon can ever cover converges, so there is a redshift beyond which light leaving today never arrives. It is 1.87, and about ninety-five per cent of the galaxies now visible are past it — which superluminal recession has nothing to do with.

 The same history, on the clock that straightens light. Conformal time upward against comoving distance sideways, for the Planck 2018 cosmology. Conformal time is ∫dt/a, which is exactly the comoving distance light covers, so on these axes every photon moves at forty-five degrees — at every epoch, whatever the expansion is doing. That single property turns every curved thing in the ordinary space-time diagram into a straight one. The universe began at η = 0 and is now at η = 46.1 Gly of conformal time; it will ever accumulate only 62.8, because the integral ∫dt/a converges once Λ dominates, and that finite ceiling is the whole reason an event horizon exists. The particle horizon is the 45° line from the origin and the event horizon is the 45° line back from the ceiling, so the two horizons that were curves are now the two edges of one light cone drawn twice. The shaded wedges are the past light cones of two points on the last scattering surface, at conformal time 0.914 Gly and comoving distance 45.2 Gly from here. They do not overlap. Two points on that surface separated by more than 2η_rec were never in causal contact, which subtends 2.31° on the sky, and the microwave sky therefore contains about 9,805 patches that have no common past and the same temperature to one part in a hundred thousand. That is the horizon problem, and in these coordinates it is a statement about whether two triangles intersect. Cosmology

The clock on which light travels in straight lines

Cosmic time makes light cones bulge and horizons curve. There is another time coordinate on which a photon's worldline is a forty-five degree line at every epoch, and on it the horizon problem stops being a piece of arithmetic and becomes a question about whether two triangles overlap.

 Whether an event horizon exists at all, against one number. The comoving event horizon today — the distance a signal sent now will ever cover — against the equation of state of the dark energy, for a flat universe with the measured matter density. The curve runs away at w = −1/3 and does not exist above it: that is where the expansion stops accelerating, and in a universe that does not accelerate the integral ∫da/a²E diverges and every galaxy is eventually reachable, however far away. Below −1/3 the horizon is finite and shrinks as w falls, because a more negative equation of state makes the dark energy density grow with time rather than stay constant. At the cosmological constant's w = −1 the horizon is 16.7 billion light years against a particle horizon of 46.1, so 4.7 per cent of the volume now observable is still reachable. The band is the measured −1.03 ± 0.03. What the figure is for is the asymmetry in what the measurement still allows: two sigma toward zero puts the horizon at 17.5 Gly and two sigma the other way at 14.7, and the shape of the curve means that the closer the true value sits to −1/3 the more violently the answer moves. The reachable fraction is not a robust number in the way the particle horizon is. Cosmology

Whether there is a horizon at all

An event horizon exists precisely when the expansion accelerates, and its size is not a smooth function of how much. The integral that defines it runs away as the equation of state approaches minus a third, so two sigma either way on a measured number are two very different futures.

 Two horizons, one formula, and a factor of two. Horizon temperature against horizon radius, on logarithmic axes, for the two kinds of horizon this collection has. The upper line is a de Sitter horizon at T = ħc/2πk_BR and the lower is a Schwarzschild horizon at T = ħc/4πk_BR — the same expression with the same constants, differing by exactly two, and both falling as one over the radius so that a bigger horizon is a colder one. The cosmological horizon today has a radius of 4,451 megaparsecs and a temperature of 2.65e-30 K, which is thirty orders of magnitude below the microwave background and will never be measured by anything. A solar-mass black hole sits at 6.2e-8 K, and a black hole as cold as the sky would weigh 2.32e+22 solar masses — of the order of the mass inside the observable universe, which is not a coincidence, since both numbers are c³/GH up to factors of order one. The factor of two between the two lines is the one place the analogy is not exact, and it is not a convention: it comes from the periodicity of the Euclidean time coordinate, which is 8πGM/c³ for a black hole and 2π/H for de Sitter space. The entropies, by contrast, agree exactly. Cosmology

Two horizons that differ only in who is inside

A black hole's horizon and the cosmological one share an entropy formula exactly and differ in temperature by precisely a factor of two. The factor of two is the whole of the difference, and what it encodes is which side of the surface the observer stands on.

 m²φ²: where the observed scales left, and where inflation ends. The m²φ² potential, drawn as a shape with its height divided out, against the field in reduced Planck masses. The field rolls downhill towards zero and inflation ends where the slow-roll parameter ε reaches one, at φ = 1.41. The shaded band is the stretch of field the scales now seen on the sky left the Hubble radius from: 60 e-folds before the end at φ = 15.56 and 50 before it at φ = 14.21. Nothing about the sky depends on the rest of the curve. Across that band the two numbers the tilt is made of are ε = 9.01e-3 and η = 0.0090, which give a spectral index of 0.9640 and a tensor-to-scalar ratio of 0.1441 at 55 e-folds. The height is not in either: it is fixed separately by the amplitude of the fluctuations, which puts the potential at (2.0 × 10¹⁶ GeV)⁴ there — and multiplying the whole curve by any constant leaves the band, the tilt and the ratio exactly where they are, because every slow-roll quantity is a ratio of the potential to its own derivatives. The field travels 13.49 Planck masses from the middle of the band to the end. Cosmology

The tilt knows the slope and not the height

The measured spectral index, 0.965, is quoted as the strongest evidence for inflation, and it is a statement about two dimensionless numbers — how steeply the potential fell and how sharply that slope was changing, over the few e-folds the sky can see. The height of the potential is not in it at all, which is why potentials that look nothing alike reproduce it.

 6 potentials against the tilt and the tensor bound. Predictions in the plane of spectral index and tensor-to-scalar ratio, each drawn as a short track from 50 e-folds to 60, the range usually allowed for the pivot scale to have left before the end of inflation. The vertical band is the measured index, 0.9649 ± 0.0042 with its two-sigma extent, and the shaded region above 0.036 is excluded at 95 per cent by the B-mode polarisation limit — drawn as two independent limits, which the published constraint is not quite: the real likelihood is a correlated contour, and it is somewhat tighter than this box in the corner where the tilt is high. λφ⁴: nₛ 0.9412, r 0.3137 at 50 e-folds; 0.9508, 0.2623 at 60 — outside; m²φ²: nₛ 0.9604, r 0.1584 at 50 e-folds; 0.9669, 0.1322 at 60 — outside; linear φ: nₛ 0.9701, r 0.0796 at 50 e-folds; 0.9751, 0.0664 at 60 — outside; φ^⅔: nₛ 0.9734, r 0.0532 at 50 e-folds; 0.9778, 0.0443 at 60 — outside; natural, f = 7: nₛ 0.9569, r 0.0906 at 50 e-folds; 0.9628, 0.0670 at 60 — outside; Starobinsky: nₛ 0.9616, r 0.0042 at 50 e-folds; 0.9678, 0.0030 at 60 — inside. The simplest potential of all, a mass term, is excluded over its whole range of e-folds, and not by the tilt, which it matches — by the tensors. Cosmology

A ratio that is an energy and a distance

The tensor-to-scalar ratio is the one inflationary observable that measures the height of the potential rather than its shape, and the quantity it fixes is an energy — a ratio of 0.01 means inflation happened at 10¹⁶ GeV. It fixes a second thing as well, how far the field travelled, and near the present bound that distance is several Planck masses, which is where the theory stops being able to vouch for itself.

 Starobinsky: e-folds before the end, against how reheating went. N, the number of e-folds between the pivot scale leaving the Hubble radius and the end of inflation, for the Starobinsky potential, against the temperature at which reheating finished, for 3 equations of state during it. All the lines meet on the right at instant reheating, 2.6 × 10¹⁵ GeV, where N = 55.6. The left edge is 5 MeV, below which nucleosynthesis would not have happened. w = 0, oscillating field: 42.0 at 5 MeV; w = ⅓, like radiation: 55.6 at 5 MeV; w = 1, kination: 69.0 at 5 MeV. The reason is how far the universe stretches while the energy density falls: an oscillating field dilutes like matter, as a⁻³, so for the same fall in density it expands further than radiation would, more of the growth of today's scales happens after inflation, and fewer e-folds of inflation are needed to put them where they are. A stiff epoch with w = 1 dilutes as a⁻⁶, stretches less, and needs more. A radiation-like epoch changes nothing. None of this epoch has been observed; the lines are the arithmetic of energy and entropy, and the spread between them is how much an unobserved history moves a quantity the spectral index depends on. Cosmology

The epoch nobody saw moves the tilt

Between the end of inflation and the hot universe that made the light elements lies an interval nothing has observed, in which the energy of the inflaton became radiation. How long that took changes how many e-folds before the end the observed scales left — by as many as fourteen — and that moves every model's predicted spectral index by more than the measurement's uncertainty. A potential is never tested by the tilt alone; a potential and a reheating history are tested together.

 One sky with and without a local non-Gaussianity of fNL·σ = 0.3. The same scale-invariant random field drawn twice, from one seed: on the left as it is, Gaussian, and on the right after the local transformation Φ → Φ + fNL(Φ² − ⟨Φ²⟩) with fNL·σ = 0.3. Solid contours are one and two standard deviations above the mean, dashed ones below, and each map is measured against its own mean and spread. The transformation adds to every value in proportion to its square, so peaks are pushed up and troughs are pulled back towards the mean: the area above +2σ goes from 1.8 to 4.7 per cent of the map and the area below −2σ from 2.4 to 0.0, and the skewness of the values rises from −0.073 to 1.484. This is exaggerated by a factor of about 2200. The primordial potential varies by about 3 × 10⁻⁵, so even fNL = 5 — the size of the current uncertainty — makes fNL·σ about 10⁻⁴. Cosmology

A test that can only fail one way

Single-field inflation predicts a local non-Gaussianity of 0.015, a skewness in the primordial potential of a few parts in a million. The measurement is −0.9 ± 5.1. A detection at the level of one would eliminate every model with a single clock at once; a null result at any reachable precision confirms nothing, because the prediction lies below anything the sky has enough independent modes to measure.

The whole library · All essays