Primordial Perturbations and the Power Spectrum
Every galaxy, every cluster, every warm and cold speck on the cosmic microwave background is the descendant of a fluctuation that was present when the observable universe was smaller than a proton. The hot Big Bang, built on the FLRW metric and the Friedmann equations of the preceding articles, is silent about where those seeds came from: a perfectly homogeneous universe stays homogeneous forever. Inflation supplies the missing ingredient. A transient epoch of nearly de Sitter expansion shrinks the comoving Hubble radius , so a single causal patch inflates to engulf everything we can see, and — the miracle — the quantum vacuum fluctuations of the field driving the expansion are stretched to cosmological wavelengths and frozen in as classical density variations. This article is the synthesis where quantum field theory, general relativity, and observational cosmology meet in a single number. The central object is the gauge-invariant comoving curvature perturbation ; its dynamics collapse, in conformal time, onto a canonically normalized Mukhanov-Sasaki variable obeying a harmonic-oscillator equation with a time-dependent mass. Quantize it in the Bunch-Davies vacuum, follow each Fourier mode from sub-horizon out through horizon crossing where it freezes, and the two-point function hands you the power spectrum. The answer is almost, but not exactly, scale invariant, the small departure set by the slow-roll parameters that measure how gently drifts. The same mechanism applied to the two polarizations of the metric yields a background of primordial gravitational waves, whose amplitude relative to the scalars — the ratio — weighs the energy scale of inflation directly. These are not soft predictions: Planck fixes the tilt to percent precision, and the hunt for the tensor signal is now the sharpest probe of physics at GeV.
- Inflation stretches quantum vacuum fluctuations of the inflaton until their physical wavelength exceeds the Hubble radius, where they freeze into classical, super-horizon curvature perturbations.
- The comoving curvature perturbation is conserved on super-horizon scales for adiabatic modes, so the prediction is insensitive to the unknown physics of reheating.
- Single-field slow-roll inflation predicts a nearly scale-invariant scalar spectrum with tilt , slightly red ().
- Tensor modes (primordial gravitational waves) come free from the metric with amplitude set by ; the tensor-to-scalar ratio is , obeying the consistency relation .
- Planck measures and at , with — favouring slow roll over exact scale invariance at high significance.
- Key idea: a quantum field in a quasi-de Sitter background fluctuates by at horizon crossing; converting to curvature via and freezing it super-horizon gives evaluated at exit, whose mild scale dependence is the tilt.
A quantum field in a quasi-de Sitter background has fluctuations of order at horizon crossing; converting these to curvature perturbations via and using conservation of on super-horizon scales yields a power spectrum evaluated at horizon exit, whose mild scale dependence is the spectral tilt.
Where this lives today
The primordial power spectrum is the working input of every precision cosmology pipeline. The frozen curvature perturbations re-enter the horizon and drive the acoustic oscillations whose snapshot at recombination is the CMB angular power spectrum — a transfer-function-weighted projection of . Fitting Planck gives and , an detection that the spectrum is tilted, exactly as slow roll demands. The tensor sector is the live frontier: BICEP/Keck and Planck jointly bound , and next-generation experiments — the Simons Observatory, CMB-S4, and LiteBIRD — target , deep enough to detect the of plateau models. On the low-redshift side, DESI, Euclid, and Rubin/LSST measure the matter power spectrum , cross-checking the CMB tilt with different systematics. The open problems are sharp: does run with scale; are the fluctuations exactly Gaussian; and will a primordial gravitational-wave background ever be seen, giving the first direct evidence for the quantum nature of gravity?
The physical picture
The engine of the whole story is one geometric fact: during inflation the comoving Hubble radius shrinks. A comoving scale that starts inside the horizon is overtaken as the horizon retreats past it, exits, and stays frozen; long after inflation ends the Hubble radius grows again and the scale re-enters to become observable structure. The first figure is that valley.
Now zoom into a single mode. Picture each Fourier component as a harmonic oscillator whose frequency is the physical wavenumber . Deep inside the horizon, , it oscillates as an ordinary vacuum mode; once the Hubble friction overdamps it, the amplitude stops evolving, and the fluctuation is now a classical, super-horizon perturbation. The freeze-out amplitude is universal — a massless field in de Sitter picks up fluctuations of size per Hubble time, because is the only scale around. Since barely changes during slow roll, every mode freezes at nearly the same amplitude regardless of when it exits: that is the origin of near scale-invariance, and the tiny drift of and is the whole of the tilt. The payoff is a prediction in the plane of the two observables — the scalar tilt and the ratio — where different inflaton potentials trace different points and the data draw a bullseye. The second figure is that plane, the chart a model-builder actually lives in.
Tensor modes need no field at all: gravitational waves are the spin-2 fluctuations of the metric itself, populated even in empty de Sitter with amplitude . Their power reads off directly, and through the energy density — so a detection of primordial B-modes would measure physics no accelerator will ever reach.
The core equations
We work in the perturbed FLRW metric in conformal-Newtonian gauge, which splits it into two scalar Bardeen potentials and the transverse-traceless gravitational-wave field .
where: — scale factor in conformal time , with ; — scalar Bardeen potentials, equal () when anisotropic stress is negligible; — transverse-traceless tensor perturbation (gravitational waves), . Reading: scalars source density perturbations, tensors are the two graviton polarizations, and the sectors decouple at linear order. The dynamics are governed by how slowly the expansion changes, captured by two dimensionless slow-roll parameters: the fractional change of per Hubble time, and the curvature of the potential.
where: — Hubble rate, dot is a cosmic-time derivative; — inflaton potential, prime denotes ; — reduced Planck mass, , so ; during inflation. Reading: accelerated expansion requires , and inflation ends when . The physical seed of structure is not the gauge-dependent but the comoving curvature perturbation — a gauge-invariant combination of metric and field measuring the local time-lag of inflation's end.
where: — gauge-invariant curvature perturbation on comoving slices; — inflaton fluctuation; — background field velocity. Reading: is conserved once ; a region where the field lagged inflates longer and ends up overdense. Substituting the perturbed Einstein equations into the second-order action collapses the coupled field-metric system onto a single canonically normalized variable obeying a flat-space oscillator equation with a time-varying mass — the Mukhanov-Sasaki equation.
where: — canonically normalized Mukhanov-Sasaki variable; — comoving wavenumber; prime is ; — effective time-dependent mass, in de Sitter. Reading: for the mass is negligible and oscillates; for it dominates and drives the growing (freezing) solution. Imposing the Bunch-Davies condition — every mode starts in the flat-space vacuum deep inside the horizon — selects a unique exact de Sitter solution.
where: — conformal time, in de Sitter, at late times; — positive-frequency Minkowski vacuum, recovered as . Reading: the factor is the imprint of curved space, making grow as the mode exits. Squaring the frozen amplitude as the dimensionless variance per logarithmic interval in gives the scalar power spectrum, the theory's headline result.
where: — dimensionless curvature power spectrum; — evaluated at horizon crossing of the mode ; the second form uses . Reading: the measured normalization is at the pivot . The same de Sitter computation applied to the two metric polarizations gives the tensor spectrum, and the ratio of the two is the single most coveted number in the field.
where: — power summed over both graviton polarizations; — tensor-to-scalar ratio. Reading: the scalar carries an extra enhancement (from dividing by the small ), so is small; measuring it fixes and the inflationary energy scale. Finally, because and drift slightly over the modes that exit at different times, the spectra tilt. The logarithmic derivatives define the spectral indices.
where: — scalar spectral index, is exact scale invariance; — tensor index, always negative in standard inflation. Reading: eliminating between and gives the consistency relation .
The goal is to show why the coupled system of a scalar field and the metric it perturbs — apparently a mess of constrained, gauge-redundant degrees of freedom — reduces to a single free field obeying a simple oscillator equation. We start from the second-order action for , absorb the background into one function , rescale to a canonical variable, and read off the Fourier-space equation of motion — so all of inflationary phenomenology becomes the physics of one oscillator.
Step 1. Expanding the Einstein-Hilbert plus scalar-field action to second order in perturbations, after using the constraint equations to eliminate the non-dynamical metric pieces, yields with . Why: one function packages the whole background, so the perturbation dynamics decouple from the expansion history.
Step 2. Define the canonically normalized field . The kinetic term becomes standard and the action turns into , i.e. a free field with a time-dependent mass . Why: canonical normalization lets us quantize with ordinary flat-space commutators; the price is the tachyonic-looking mass that drives the growth.
Step 3. Varying gives the Euler-Lagrange equation, and Fourier transforming in space produces . In de Sitter , so and the equation is exactly solvable. Why: a harmonic oscillator whose frequency is real for (oscillation) and imaginary for (freezing) — the mathematical face of horizon exit. *In de Sitter the equation reduces to the exactly solvable form .*
Go deeper · Derivation B · 1 minFrom the quantum vacuum to the scalar power spectrum
The goal is to turn the classical mode equation into a prediction for a measurable variance, by treating as a quantum field, choosing its vacuum, evolving each mode through horizon crossing, and reading off the frozen amplitude of . The answer depends only on and at the instant the mode crosses the horizon — all later evolution drops out, which is what makes inflation predictive despite our ignorance of reheating.
Step 1. Promote to an operator, , with . Why: the mode function carries the dynamics, the operators the quantum statistics — the vacuum two-point function is simply .
Step 2. Fix the state by the Bunch-Davies condition as . Why: deep inside the horizon spacetime curvature is irrelevant and the mode cannot know it lives in an expanding universe, so the unique adiabatic choice is the flat-space vacuum.
Step 3. The exact de Sitter solution matching this is , whose modulus in the super-horizon limit becomes . Why: the amplitude no longer oscillates but grows and locks — a frozen classical number, the seed we observe.
Step 4. Convert to curvature with and : , and using the combination cancels the scale factor. Why: the explicit -dependence vanishes — the technical statement that has frozen.
Step 5. Form the dimensionless spectrum , evaluated at . Why: evaluating and at horizon crossing captures the leading scale dependence — the near-flat spectrum with its small tilt. *As a numerical check, for GeV and this gives , consistent with the observed amplitude.*
Go deeper · Derivation C · 1 minThe tensor spectrum and the single-field consistency relation
The goal is to obtain the gravitational-wave spectrum and the relation from essentially the scalar computation done twice — once per polarization — and to see why the tensor amplitude is not enhanced by . The consistency relation is the cleanest test of the single-field hypothesis: a measurement of both and that violated it would rule out the simplest inflation in one stroke.
Step 1. Expanding to second order in the transverse-traceless perturbation gives , and carries two independent polarizations . Why: gravity alone contains propagating wave degrees of freedom, so the tensor spectrum is a pure prediction of general relativity in de Sitter.
Step 2. Each polarization maps onto a canonical field obeying the Mukhanov-Sasaki equation with — a massless scalar, with no factor of . Why: the tensor "" lacks the of the scalar case — the missing factor that makes small.
Step 3. The per-polarization spectrum is therefore , and summing the two gives . Why: the tensor amplitude depends on alone, so directly measures the inflationary energy scale.
Step 4. Forming the ratio, the common cancels and the scalar's survives: , and with this gives . Why: two observables are fixed by the one parameter , so they are not independent — the falsifiable signature of single-field slow roll.
Limiting cases
The framework is anchored by several physical regimes and consistency limits:
| Case | Result | Meaning |
|---|---|---|
| Exact de Sitter () | perfectly scale-invariant Harrison-Zel'dovich spectrum; excluded by the measured | |
| Sub-horizon () | modes are Minkowski-vacuum oscillators; this fixes the Bunch-Davies initial condition | |
| Super-horizon () | adiabatic curvature freezes; decaying mode dies, growing mode is conserved | |
| Consistency relation | single-field slow roll ties tensor amplitude to tensor tilt — a key falsifiable test | |
| Lyth bound | detectable tensors demand trans-Planckian field excursions, sharply constraining models |
Worked examples
1 · The energy scale of inflation from a tensor detection (fully worked)
Suppose a future experiment detects primordial B-modes at , with the scalar amplitude fixed at . Find the slow-roll parameter , the inflationary Hubble rate , and the energy scale . Take GeV.
Step 1. From , — the inflaton rolling extremely slowly, the smallness that makes the scalar spectrum times the tensor one.
Step 2. The tensor spectrum is . Setting this equal to gives , so (the same the scalar formula returns with ).
Step 3. The energy scale follows from , so — within a factor of a few of the grand-unification scale, the deepest energy probe in physics. Scaling as , the current bound gives GeV and GeV. ε = 6.25×10⁻⁴, H = 2.5×10¹³ GeV, V¹ᐟ⁴ = 1.0×10¹⁶ GeV.
2 · Discriminating models in the (n_s, r) plane
Compare two classic potentials at e-folds before the end of inflation: the plateau Starobinsky model, which predicts and , and monomial chaotic inflation, which predicts and . Which survives the data , ?
Step 1. Starobinsky at : and . Both land inside the Planck box; at the tilt shifts to , still within of the central value.
Step 2. at : the same , but — nearly forty times the observational ceiling, so the predicted B-mode signal is simply not there.
Step 3. Verdict: the tilt alone cannot separate these models — both give — but is decisive. Starobinsky (green in the second figure) sits in the bullseye; (red) is excluded from the top. This is why , not the tilt, is the frontier: it is the axis on which surviving models still differ. As a check, the Sachs-Wolfe relation recovers the one-part-in- CMB anisotropy COBE measured in 1992. Starobinsky survives (r ≈ 0.003); φ² is excluded (r ≈ 0.13 ≫ 0.036).
Physics of the portrait
The primordial power spectrum is where quantum mechanics wrote its signature across the sky — and the person who first read it off a de Sitter phase, before inflation had a name in the West, is Viatcheslav Mukhanov.
Origins · 1 minViatcheslav Mukhanov and how this was discovered
Viatcheslav Mukhanov, a Soviet-born physicist trained at the Moscow Physical-Technical Institute, did the decisive calculation as a graduate student. In 1981, with Gennady Chibisov at the Lebedev Institute, he studied quantum fluctuations in Alexei Starobinsky's model of a de Sitter stage and found they emerge with a nearly scale-invariant spectrum of density perturbations — the first prediction of the spectrum we now measure, preceding the same conclusion reached at the 1982 Nuffield workshop by Guth, Hawking, Starobinsky, and Bardeen-Steinhardt-Turner. Through the 1980s Mukhanov built the systematic gauge-invariant theory of cosmological perturbations — the variable now written , the equation now called Mukhanov-Sasaki (independently obtained by Misao Sasaki), and the conserved curvature — collected in the landmark 1992 review with Feldman and Brandenberger. Drawing on Lifshitz's 1946 perturbation theory and Bardeen's 1980 gauge-invariant potentials, he turned a philosophical question about the origin of structure into a calculation with a definite, testable answer that every Planck constraint on now measures.
Going further
Texts. Baumann, TASI Lectures on Inflation (arXiv:0907.5424) · Mukhanov, Feldman & Brandenberger, Theory of Cosmological Perturbations, Phys. Rep. 215 (1992) 203 · Weinberg, Cosmology (2008), ch. 10 · Dodelson & Schmidt, Modern Cosmology, 2nd ed. (2020) · Liddle & Lyth, Cosmological Inflation and Large-Scale Structure (2000) · Carroll, Spacetime and Geometry (2004), ch. 8 · Mukhanov, Physical Foundations of Cosmology (2005). The key relations are , , , , and . The observational anchors are , at , and . At the worked example gives , GeV, and GeV; the Starobinsky and predictions at are as computed above.
Prerequisites. The FLRW Metric · The Scale Factor and Hubble Parameter · The Friedmann Equations · The Cosmological Fluid and Equation of State · Comoving and Proper Coordinates. Leads to. Cosmological Redshift · The Radiation-Dominated Era · The Matter-Dominated Era.
Ask the tutor: Want to work through how a specific inflaton potential lands as a point in the plane, or how the frozen becomes the acoustic peaks of the CMB?
Why is the curvature perturbation ℛ, and not δφ, the right variable?
Because is gauge-dependent — its value changes if you shift your time slicing — while the physics of structure cannot. The combination is gauge-invariant: the intrinsic spatial curvature of comoving slices, with a clean meaning as the local time-lag of the end of inflation, so a patch where the inflaton lagged inflates longer and ends up overdense. Crucially, is conserved super-horizon for adiabatic modes, so its value at exit is exactly what re-enters to seed the CMB — which is why we can compute during inflation and compare to data, skipping everything in between.
What does "horizon exit" actually mean if space itself is expanding?
It means the comoving Hubble radius shrinks below the mode's fixed comoving wavelength . The Hubble radius is the distance over which causal processes act in one expansion time; during inflation is nearly constant while wavelengths grow like , so a fluctuation quickly becomes larger than any causal patch. Once super-horizon, the two ends of a wave can no longer communicate, the mode stops evolving, and its amplitude freezes. This is the Hubble horizon, not the much larger particle horizon of the Big Bang; the mechanism is that it retreats past scale after scale, freezing a fluctuation at each.
Where does the famous δφ ∼ H/2π come from?
It is the amplitude of vacuum fluctuations of a light field in de Sitter space. Since is the only scale there, a nearly massless field must fluctuate by an amount set by ; the coefficient comes from evaluating at horizon crossing with the Bunch-Davies mode function. Intuitively, each Hubble time the expansion stretches sub-horizon jitters out past the horizon, depositing a fresh classical increment of size — a random walk that is the microscopic origin of the spectrum, which through becomes .
Why does the scalar spectrum carry a factor 1/ε but the tensor spectrum does not?
Tensor modes are fluctuations of the metric itself, normalized with , so their spectrum depends on alone: . The scalar mode is a fluctuation of the inflaton, converted to curvature via , and that division by the small velocity amplifies it. Since , the conversion inserts a factor , giving and hence : slow roll (small ) makes the scalar spectrum much larger than the tensor one, so is small.
Is a superluminal issue involved when modes leave the horizon?
No causal law is broken. Horizon exit is not anything moving faster than light through space; it is the comoving Hubble radius shrinking because grows quasi-exponentially while stays nearly fixed. The proper distance between two comoving points does grow faster than once their separation exceeds , but that is the expansion of space permitted by general relativity, not signal propagation. The fluctuation carries no information across the horizon at exit — it simply ceases to evolve as its two ends fall out of causal contact.
How would a measurement of r overturn or confirm the theory?
A detection of at the plateau-model level () would directly measure the inflationary energy scale, GeV, and — because tensors come from quantizing the metric — arguably be the first observation of a quantum-gravitational effect. Measuring the tensor tilt would then test the consistency relation : agreement favours single-field slow roll, a violation demands extra fields. Conversely, pushing the bound to with no detection excludes every large-field model via the Lyth bound. Either way, is the discriminating axis of modern cosmology.