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.

Assumes Inflation and Inflation.

The spectral index measures a potential’s shape: a combination of its slope and its curvature, with the height divided out. Two very different potentials — a parabola and a plateau — reproduce it to a thousandth, one by spending its tilt on slope and the other on curvature. Separating them needs a measurement that sees the slope on its own, and there is exactly one.

During inflation the quantum fluctuations were not confined to the inflaton. Space-time itself fluctuated, and the fluctuations that crossed out of the Hubble radius were frozen in as gravitational waves, just as the field’s were frozen in as curvature. The ratio of the two amplitudes is the tensor-to-scalar ratio, rr. It is the most sought-after number in cosmology, it has not been detected, and the upper limit already set on it has removed the simplest potential anybody ever wrote down.

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.
Fig. 1 Six potentials in the plane of spectral index and tensor ratio, each drawn as a short track from 50 to 60 e-folds before the end of inflation. The vertical band is the measured index, 0.9649 ± 0.0042, with its two-sigma extent; the shaded region above r = 0.036 is excluded at 95 per cent. The quartic sits at r = 0.26–0.31, the mass term at 0.13–0.16, a linear potential at 0.066–0.080, φ^⅔ at 0.044–0.053 and natural inflation with f = 7 at 0.067–0.091, all above the bound. Only the Starobinsky plateau, at r = 0.003–0.004, is inside both limits.

Gravitational waves with nothing to source them

The tensor fluctuations are the part of the story that needs no inflaton at all. Any quantum field in an expanding space has zero-point fluctuations, and the metric of space-time is such a field. A mode whose wavelength is stretched past the Hubble radius stops oscillating and keeps its amplitude, and the amplitude it keeps is set by the only scale around at the moment of crossing, the expansion rate:

Pt=2H2π2M2,\mathcal{P}_t = \frac{2H^2}{\pi^2 M^2},

with MM the reduced Planck mass. Nothing about the potential’s shape enters, only how fast space was expanding. The curvature fluctuations, by contrast, carry the factor 1/ε1/\varepsilon that makes a flat potential produce large fluctuations from a low height. Dividing one by the other, and using the slow-roll relation between HH, VV and ε,

r=PtPζ=16ε.r = \frac{\mathcal{P}_t}{\mathcal{P}_\zeta} = 16\,\varepsilon.

That is the slope parameter alone, which is what the tilt could not supply. It is also sixteen times a number that the plateau puts at two parts in ten thousand and the mass term at nine parts in a thousand, so the two potentials that agreed on the tilt disagree on rr by a factor of forty.

The waves themselves are the same kind of object as the chirp from a merging pair of black holes, stretched beyond recognition. The modes that matter for the microwave background have wavelengths comparable to the observable universe and frequencies of order 101810^{-18} hertz. The same spectrum extends, nearly flat, to every frequency, and it passes through the nanohertz band where pulsar timing arrays have found a background — but at an energy density of order 101710^{-17} of the critical density for r=0.01r = 0.01, many orders of magnitude below that signal, whose most likely source is pairs of supermassive black holes. The primordial waves are invisible everywhere except in the one place they have had fourteen billion years to leave a mark: the polarisation of the microwave background.

What would be seen, if they were, is worth stating plainly. A primordial tensor mode is a quantum fluctuation of the gravitational field, amplified and frozen. No experiment has ever observed a fluctuation of that kind, and a detection of rr would be the first direct evidence that gravity is quantised at all — obtained not from a laboratory but from a pattern in the polarisation of light emitted when the universe was four hundred thousand years old.

A fourth root

Because the tensor amplitude depends only on HH, and H2=V/3M2H^2 = V/3M^2, the ratio is a measurement of the potential’s height. With the measured scalar amplitude, 2.1×1092.1\times10^{-9},

V1/4=(3π22Pζr)1/4M1.0×1016 GeV(r0.01)1/4.V^{1/4} = \left(\frac{3\pi^2}{2}\,\mathcal{P}_\zeta\, r\right)^{1/4} M \approx 1.0\times10^{16}\ {\rm GeV}\,\left(\frac{r}{0.01}\right)^{1/4}.

The energy scale of inflation, against the tensor ratio. The energy scale of inflation, V^¼, against the tensor-to-scalar ratio r, both logarithmic. The tensor amplitude depends on the expansion rate during inflation and on nothing else, and the scalar amplitude is measured, so their ratio fixes the height of the potential: V^¼ = (3π²Aₛ r/2)^¼ M, which is 1.0 × 10¹⁶ GeV at r = 0.01. The fourth root is why the line is so flat. Four decades of r are one decade of energy, so the present bound of 0.036 caps the scale at 1.4 × 10¹⁶ GeV, a Starobinsky-type plateau at r = 0.0035 would put it at 7.9 × 10¹⁵ GeV, and even a ratio at the planned sensitivity of 0.001 would still mean 5.7 × 10¹⁵ GeV. The dashed line near 2 × 10¹⁶ GeV marks roughly where the strengths of the three non-gravitational forces extrapolate to meet, which is a coincidence of scale and not a prediction of either theory. A detection anywhere on this line would be the first measurement of physics at an energy a trillion times beyond any accelerator; a non-detection moves the bound along a line that barely descends.
Fig. 2 The energy scale of inflation, V^¼, against the tensor ratio on logarithmic axes. The line is 1.0 × 10¹⁶ GeV at r = 0.01, and four decades of r move it by exactly one decade of energy. The present bound, r < 0.036, caps the scale at 1.4 × 10¹⁶ GeV; the plateau’s r = 0.0035 puts it at 7.9 × 10¹⁵ GeV; a ratio at the planned sensitivity of 0.001 would still mean 5.7 × 10¹⁵ GeV. The dashed line near 2 × 10¹⁶ GeV marks roughly where the strengths of the three non-gravitational forces extrapolate to meet.

The fourth root is what makes the line so flat, and it cuts both ways. A detection at any ratio the planned experiments can reach would place inflation within a factor of three of 101610^{16} GeV, which is a trillion times the collision energy of the Large Hadron Collider. A non-detection moves the upper bound on the energy down only by the fourth root of the improvement: a hundredfold better limit on rr lowers the ceiling by a factor of three. The expansion rate at the bound is about 5×10135\times10^{13} GeV, which as a time is a Hubble time of 103810^{-38} seconds.

The coincidence with the scale at which the forces’ strengths converge is striking and should be held at arm’s length. It says that inflation, if the tensors are there to be found, happened at energies where a grand unified theory would be relevant; it does not say that one caused the other, and neither theory predicts the other’s number.

It does have an independent check, and the check has nothing to do with the sky. A grand unified theory lets quarks turn into leptons through particles with masses near the unification scale, so the proton decays, with a lifetime that rises as the fourth power of that mass. The largest underground water detector has watched some 103410^{34} protons for two decades without seeing one decay into a positron and a pion, which puts the lifetime for that channel above 2×10342\times10^{34} years and rules out the simplest unified theories outright. A tank of water under a mountain in Japan and a polarimeter at the South Pole are constraining physics near the same energy, one by waiting for a proton to disappear and the other by looking for a curl in the oldest light there is.

The plane that has been emptied

The opening figure is the most compressed summary of what the data have done to inflationary models, and it repays being read slowly. Each potential is a short track rather than a point because the number of e-folds between the pivot scale’s exit and the end of inflation is uncertain by a few, and each potential’s prediction moves along its own track as that number changes.

The mass term is the case that settles an argument. Its tilt fits: 0.9604 at 50 e-folds, 0.9669 at 60, bracketing the measurement. Its tensor ratio does not: 0.158 at 50 e-folds and 0.132 at 60, four times the bound at the nearer end. There is no number of e-folds in the plausible range that brings it inside, so the simplest potential there is has been excluded, and not by the tilt it predicted correctly — by the gravitational waves it predicted and that are not there. Every power law with an exponent of one or more shares the fate, and so does natural inflation at the width drawn.

The exclusion took about a decade of tightening, and the sequence is worth recording because at each stage the mass term was the model the limit was compared with. The bound stood above 0.2 after WMAP’s five-year data, at 0.11 after Planck’s first release in 2013, at 0.07 in 2016 once the BICEP2 and Keck Array maps were analysed jointly with Planck’s, and at 0.036 in 2021. The mass term went from comfortable to marginal to excluded without its prediction changing at all.

5 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. m²φ²: nₛ 0.9604, r 0.1584 at 50 e-folds; 0.9669, 0.1322 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; hilltop, μ = 10: nₛ 0.9509, r 0.0185 at 50 e-folds; 0.9542, 0.0117 at 60 — outside. 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.
Fig. 3 The same plane with the tensor ratio on a logarithmic axis, which is the only way to see the models that survive. The plateau sits at r = 0.0030–0.0042 with nsn_s = 0.9616–0.9678, inside both limits. A hilltop with μ = 10 has a small ratio, 0.012–0.019, and is excluded instead by its tilt, 0.951–0.954. φ^⅔ and natural inflation are excluded by the ratio, and the mass term by a factor of four that no track length rescues.

On a logarithmic axis the region below the bound turns out to be large, and the models that live in it have something in common. They are flat where the observed scales left: either plateaus, whose slope falls exponentially with the field, or hilltops, whose slope vanishes at the summit. The Starobinsky potential, which arises from adding a term quadratic in curvature to the gravitational action, is the best known of the first kind and makes a prediction, r12/N2r \approx 12/N^2, that is small but not hopelessly so: three to four thousandths, within reach of the experiments now being designed.

That small prediction is also unusually sensitive to the one thing the plateau leaves open. Because rr falls as the inverse square of the e-fold count, the plateau’s own track runs from 0.0042 at 50 e-folds to 0.0030 at 60 — a forty per cent spread from a range of e-folds that is itself a proxy for how the energy of inflation was turned into heat. A detection at that level would therefore measure two things at once: that the potential is flat, and roughly how long the universe took to reheat afterwards.

The tensor ratio’s relation to the slope has a direct reading on the chart from the essay on the tilt. The slope’s share of the tilt is 6ε6\varepsilon, and r=16εr = 16\varepsilon, so every slope bar in that chart is the tensor ratio multiplied by three eighths.

One tilt, shared out differently by 4 potentials. The departure of the spectral index from one, 1 − nₛ = 6ε − 2η, split into its two parts for 4 potentials at 60 e-folds before the end of inflation. The upper bar in each row is the slope's share, 6ε; the lower bar is the curvature's, −2η, drawn from where the slope's share ends, running on when η is negative and back when it is positive; the dot is the sum. The shaded band is the measured value, 0.0351 ± 0.0042. linear φ: 0.0249 from the slope and 0.0000 from the curvature, total 0.0249; φ^⅔: 0.0166 from the slope and 0.0055 from the curvature, total 0.0222; natural, f = 7: 0.0251 from the slope and 0.0120 from the curvature, total 0.0372; Starobinsky: 0.0011 from the slope and 0.0311 from the curvature, total 0.0322. Potentials that look nothing alike arrive at nearly the same tilt by giving the work to different terms — which is why the tilt alone cannot say which one is right, and why the tensor ratio, which is the slope's share on its own, is the measurement that separates them.
Fig. 4 The tilt split into slope and curvature at 60 e-folds for four potentials, where the slope’s bar is three eighths of the tensor ratio. The linear potential’s tilt is all slope, 0.025, which is r = 0.066; φ^⅔ spends 0.017 on its slope, r = 0.044, and has a small curvature share of 0.006 on top; natural inflation spends 0.025 on its slope, r = 0.067; the plateau spends 0.001, which is r = 0.003, and takes 0.031 from curvature. A bound of r < 0.036 is a ceiling of 0.0135 on the slope bar, and three of the four rows are over it.

How a ratio becomes a distance

The ratio fixes a speed as well as a height. In slow roll the field moves through Δϕ\Delta\phi per e-fold of expansion at

dϕdN=M2ε=Mr/8,\frac{d\phi}{dN} = M\sqrt{2\varepsilon} = M\sqrt{r/8},

so a tensor ratio sets how many Planck masses the field crosses in each e-fold. Over the seven or eight e-folds during which the observed scales left, the field must have moved at least ΔNr/8\Delta N\sqrt{r/8} Planck masses, and if ε only grows towards the end — as it does in every potential drawn here — the whole remaining roll to the end covers at least Nr/8N\sqrt{r/8}. David Lyth pointed this out in 1997, and the inequality carries his name.

How far the field has to travel for tensors to be seen. The distance the inflaton travels in field space, in reduced Planck masses, against the tensor-to-scalar ratio, both logarithmic. The field moves by dφ/dN = √(r/8) per e-fold, so a ratio sets a speed and a number of e-folds sets a distance. The solid line is the bound over the 8 or so e-folds during which the scales now observed left the Hubble radius; the dashed line is the same speed held over all 55 e-folds to the end, which is a bound whenever ε only grows as inflation proceeds, as it does in every model drawn. The horizontal line is one Planck mass. The dots are each potential's actual journey from 55 e-folds before the end to the end: m²φ² 13.49 (r = 1.4e-1), linear φ 9.80 (r = 7.2e-2), φ^⅔ 8.11 (r = 4.8e-2), natural, f = 7 12.13 (r = 7.8e-2), Starobinsky 4.41 (r = 3.5e-3), hilltop, μ = 10 7.27 (r = 1.5e-2). A ratio anywhere near the present bound requires the field to cross several Planck masses, a distance over which an effective description of the potential has no particular reason to hold — so a detection would be a statement about quantum gravity as well as about inflation, and a potential that stays below a Planck mass is committing to tensors too small to see.
Fig. 5 The distance the inflaton travels, in reduced Planck masses, against the tensor ratio on logarithmic axes. The solid line is the minimum over the eight e-folds in which the observed scales left, 8r/88\sqrt{r/8}; the dashed line is the same speed held over the 55 e-folds to the end; the horizontal line is one Planck mass. Each dot is a potential’s actual journey from 55 e-folds before the end: the mass term 13.5 Planck masses at r = 0.14, natural inflation 12.1, a linear potential 9.8, φ^⅔ 8.1, the hilltop 7.3 and the plateau 4.4 at r = 0.0035. Every model drawn lies above both bounds.

The arithmetic is short. At the present bound, r=0.036r = 0.036, the observed window alone requires 80.0045=0.548\sqrt{0.0045} = 0.54 Planck masses; the roll to the end, at the same minimum speed, requires 3.7. At r=0.01r = 0.01 the window requires 0.28 and the whole roll 1.9. Only below r0.003r \approx 0.003 does the whole roll fit inside a single Planck mass. Every potential that has ever been taken seriously as a source of detectable tensors travels further than that, and even the plateau, with a ratio ten times below the present bound, crosses four and a half Planck masses on its way to the end.

The bound runs one way only, and the figure shows it. A small tensor ratio does not imply a short journey: the hilltop has r=0.015r = 0.015 and crosses 7.3 Planck masses, and the plateau crosses 4.4 at r=0.0035r = 0.0035, because both do most of their travelling in the last few e-folds, where the slope has steepened far beyond its value in the observed window. What the inequality forbids is the other combination — a large ratio from a field that stayed nearly still — and that is exactly the combination a detection near the present bound would demand of any potential.

The reason that matters is not the size of the number but what the number is compared with. A potential is an effective description, written as a polynomial in the field valid below some scale at which unknown physics — quantum gravity, at the latest — would add terms of its own. Each such term is suppressed by a power of ϕ/Λ\phi/\Lambda, with Λ\Lambda at or below the Planck mass, and over a field range larger than Λ\Lambda that suppression becomes an enhancement. A potential that stays smooth across ten Planck masses is a potential in which an infinite series of corrections has been assumed to be absent, and that assumption is exactly what the effective description cannot justify. Symmetries can protect such a potential, which is why the natural and monodromy models were built around approximate shift symmetries of axion-like fields; conjectures from string theory that forbid large excursions outright exist, are actively argued about, and are unproved.

So the tensor ratio is a statement about the ultraviolet completion of gravity as well as about inflation. A detection near the present bound would say the field travelled super-Planckian distances on a smooth potential, which some theory of quantum gravity must permit. A ratio below a thousandth would be comfortable for every theory and would leave the energy scale of inflation within a factor of a few of where it already is.

What is actually measured

Nothing in the plane measures a gravitational wave directly. It measures a pattern in the polarisation of the microwave background, and the pattern is separable because of geometry.

Thomson scattering of radiation with a quadrupole anisotropy polarises it, and a polarisation field on the sky can be split, like any field of headless vectors, into a part with no handedness and a part with it — E-modes and B-modes. Density perturbations produce only E-modes at linear order, because a compression has no handedness. Gravitational waves stretch space in one direction and squeeze it in another, and they produce both. A primordial B-mode on degree scales is therefore a signature that no density perturbation can mimic, and that is why the whole effort is organised around it. The tensor signal peaks near multipole 80, on scales a little larger than the patches of the first acoustic peak, where the modes that were entering the Hubble radius at last scattering left their mark, with a second bump at the largest scales from the ionised gas at the end of reionisation.

The measurement is the one an optical polarimeter makes of starlight — recovering the direction a photon count throws away — carried out on a signal of a few tenths of a microkelvin at most, where the telescope’s own polarisation is far larger than the sky’s. An instrument more polarised than the sky is the whole engineering problem of a B-mode experiment, and the answer is the same as for a stellar polarimeter: modulate the sky’s signal and not the instrument’s, with a spinning half-wave plate in front of the detectors or with detector pairs rotated through a set of angles, so that only a component tied to the sky survives the demodulation.

Two things produce B-modes that are not primordial. Gravitational lensing by intervening structure shears the E-mode pattern — the same shear that a million galaxies are averaged to see — and converts part of it into B, and at a tensor ratio below about 0.01 the lensing signal is larger than the primordial one at every scale; removing it requires reconstructing the lensing from the same maps. The second is dust in the Milky Way, whose grains are aligned by the Galaxy’s magnetic field — the alignment that polarises starlight in the first place — and emit polarised light with a different spectrum, which the retracted 2014 detection mistook for the signal. The present limit, r<0.036r < 0.036 at 95 per cent from the BICEP and Keck experiments with Planck and WMAP data for the foregrounds, is a limit set by that separation as much as by sensitivity; adding the baryon acoustic scale and Planck’s own lensing tightens it to 0.032.

What the plane leaves out

The limits are drawn as a box. The published constraint is a two-dimensional likelihood in which the index and the ratio are correlated, and it is somewhat tighter than a vertical band crossed with a horizontal ceiling in the corner where the tilt is high and the ratio is near its bound.

The tracks assume a range of e-folds. The span from 50 to 60 is a convention standing in for an unobserved thermal history after inflation, and a history outside it would stretch each track further.

The ratio is quoted at a scale. Both the index and the ratio are defined at a pivot wavenumber, and with a tilted tensor spectrum the numerical value of rr depends slightly on which pivot is chosen. The bound here is at 0.05 Mpc⁻¹.

The planned sensitivity is set by lensing, not by detectors. Below a ratio of about 0.01 the lensing B-modes behave as an irreducible noise at every scale, and adding detectors only measures that noise better. What pushes the limit further is subtracting the lensing itself, reconstructed from the small-scale distortion of the E-mode pattern in high-resolution maps; how completely that subtraction can be done is what puts the designed uncertainty near a thousandth rather than at any lower number.

And the relation r = 16ε is itself a prediction. Single-field slow roll also fixes the tilt of the tensor spectrum, nt=r/8n_t = -r/8, a second consistency condition that would test the whole framework and that cannot be measured until rr has been detected well above the planned sensitivity.

Still open: whether a plateau is a prediction or the place left over

The potentials that survive are the flat ones, and there are two ways to read that. One is that the data have selected a class of models that were motivated independently, from corrections to gravity or from the geometry of field space, and have confirmed that class. The other is that flat potentials are simply what remains after everything with a large tensor signal has been removed, and would have been declared the favourite whatever they were. The plateau’s own prediction, three to four thousandths, is the measurement that decides between the readings, and it sits just above the sensitivity the next generation of polarisation experiments has been designed for — close enough that a non-detection there would be the first result to put pressure on the survivors rather than on the models already gone.

What this makes readable

Essays that name this one as a prerequisite.

What links here

Essays that link to this one from their own argument.

The objects this essay names

Each one links to every other essay that touches it.

B modesE-foldsEnergy scale of inflationInflatonLyth boundPlanck massPrimordial gravitational wavesReheatingScalar spectral indexSlow-rollTensor to scalar ratio