Primordial Density Perturbations from Inflation
Every galaxy, every cluster, every cold and hot patch stamped across the microwave sky is a descendant of something almost unimaginably small: the quantum jitter of a single scalar field a fraction of a second after time began. Inflation — a fleeting epoch of quasi-exponential expansion driven by the slowly rolling inflaton — takes the unavoidable zero-point fluctuations of that field and stretches them from sub-atomic wavelengths to sizes larger than the observable Universe. What starts as vacuum noise ends as a classical, coherent, super-horizon pattern of curvature that gravity later machines into the cosmic web. This is arguably the most audacious claim in physics that the data actually support: the largest structures we know grew from the smallest fluctuations allowed by quantum mechanics. The engine room of the theory is quantum field theory in a time-dependent, de Sitter-like background. Each comoving Fourier mode is a harmonic oscillator whose effective mass changes as the accelerating expansion drags it outside the Hubble radius. Deep inside the horizon it oscillates like flat-space vacuum; at horizon exit, when the wavelength outruns causal physics, the oscillation freezes at an amplitude set by the Hubble rate. Because slow roll keeps nearly constant, modes that exit at different times freeze at nearly equal amplitude — the origin of approximate scale invariance. The gauge-invariant survivor is the comoving curvature perturbation , conserved on super-horizon scales, which lets a mode frozen during inflation reappear untouched at last scattering. The payoff is a falsifiable statistical prediction — a nearly Gaussian, nearly scale-invariant, adiabatic spectrum with amplitude , tilt , and a companion gravitational-wave background measured by . Planck's , a spectrum tilted just off scale invariance, is one of the signatures that made this picture the standard model of the early Universe.
- Inflation stretches sub-horizon quantum fluctuations of the inflaton to super-horizon scales, where they freeze as classical curvature perturbations that seed all cosmic structure.
- Each Fourier mode is a quantum oscillator obeying the Mukhanov–Sasaki equation; it exits the horizon when , imprinting a field amplitude per logarithmic interval.
- The comoving curvature perturbation is conserved on super-horizon scales, bridging the physics at horizon exit to observables at recombination.
- The scalar spectrum is nearly scale-invariant with a small red tilt, , with and from Planck.
- Tensor (gravitational-wave) modes arise identically; their ratio probes the inflationary energy scale and is bounded to .
- The slow-roll parameters tie the spectral shape to the shape of the potential, giving the falsifiable consistency relation .
- Key idea: Every Fourier mode of the inflaton is a quantum oscillator that starts in the Bunch–Davies vacuum deep inside the horizon and freezes into a classical curvature perturbation of amplitude at horizon exit; slow-roll makes nearly constant, giving a nearly scale-invariant spectrum whose small tilt encodes the shape of the inflaton potential.
Where this lives today
The prediction and its measurement are now the beating heart of observational cosmology. On the scalar side, galaxy surveys — DESI, Euclid, the Rubin Observatory's LSST — map the matter power spectrum across billions of galaxies, independently pinning and testing scale invariance across scales the CMB cannot reach. On the tensor side, the whole game is the hunt for primordial B-mode polarization: BICEP/Keck at the South Pole has driven the bound to , and the coming decade belongs to the Simons Observatory, LiteBIRD, and CMB-S4, which aim for — enough to detect the gravitational-wave signal of plateau models like Starobinsky inflation or to falsify them. Searches for primordial non-Gaussianity () sharpen the single-field test, since standard slow roll predicts an essentially Gaussian sky () while multi-field models would leave a detectable imprint. Every one of these experiments is, at bottom, an attempt to read the shape of a potential that operated at GeV a fraction of a nanosecond after the beginning.
The physical picture
Picture the inflaton as a still pond skinned everywhere with tiny quantum ripples of every wavelength — its vacuum fluctuations. Inflation is a violent, near-exponential stretching of space that grabs each ripple and drags it to ever longer wavelength. The Hubble radius stays almost fixed in physical size while the ripple grows, so sooner or later the ripple is longer than : causal physics can no longer push it through even a single oscillation within a Hubble time, and it freezes at whatever amplitude it happened to have. Because barely changes during slow roll, ripples that freeze at different epochs all freeze at nearly the same amplitude — the seed of a scale-invariant spectrum. The first figure follows one comoving mode through this life story: it starts sub-horizon, exits the Hubble radius during inflation, waits frozen for many e-folds, and re-enters long after inflation ends.
Once frozen, the field fluctuation is not the end of the story — it must be recast as something physical and conserved. The trick is the "separate universe" picture: a patch where the inflaton lags slightly behind its neighbours simply inflates for a little longer, so neighbouring regions finish inflation at slightly different times. That time delay, , is exactly a perturbation in the local expansion — a comoving curvature perturbation . Because is gauge-invariant and conserved on super-horizon scales, the messy, poorly-known physics of reheating cannot touch it while the mode waits outside the horizon. It is this conservation law that makes inflation predictive at all. The slight red tilt has a clean meaning visible in the second figure. As inflation proceeds the field rolls a touch faster and slowly decreases, so modes that exit later — smaller scales, larger — freeze at slightly smaller amplitude, while the largest scales (which exited earliest, when was highest) carry slightly more power. The measured spectrum is therefore not perfectly flat but gently sloped, and that slope is a direct fingerprint of a field that is rolling rather than sitting still.
The core equations
The starting point is the background: a homogeneous inflaton rolling on a potential , its energy density driving the expansion. The field obeys a damped equation of motion with Hubble friction , and is fixed by the Friedmann equation. Together these govern how fast the field rolls and how nearly de Sitter the background is.
where: — homogeneous inflaton field value; — inflaton potential, ; — Hubble parameter; — reduced Planck mass, , GeV. Reading: inflation needs the potential term to dominate the kinetic term so that is large and nearly constant. Slow roll is the controlled approximation that makes the theory tractable and predictive. It is quantified by two dimensionless parameters built from the shape of the potential: measures its steepness and its curvature. Accelerated expansion requires , and inflation ends when grows to order unity.
where: — first slow-roll parameter, also ; — second slow-roll parameter, the curvature of ; — first and second derivatives of with respect to . Reading: both must be small for a prolonged, nearly de Sitter phase; their smallness later fixes the smallness of the tilt. Perturbations are handled by promoting a single gauge-invariant combination of the field and metric to a canonically normalized variable, the Mukhanov variable . In conformal time each Fourier mode obeys a wave equation with a time-dependent effective mass — a harmonic oscillator whose "spring" softens as the mode leaves the horizon.
where: — Mukhanov variable, ; — derivative with respect to conformal time , ; — comoving wavenumber; in de Sitter. Reading: when the mode oscillates; when it is driven and freezes — horizon crossing is where the two terms balance. The quantum state is fixed by demanding that, deep inside the horizon where curvature is irrelevant, each mode sits in the ordinary flat-space vacuum. This Bunch–Davies condition selects one exact solution of equation (3) in de Sitter.
where: — conformal time, in de Sitter, running from to ; the prefactor is the flat-space positive-frequency form recovered as . Reading: the term grows as , and it is this term that carries the frozen super-horizon amplitude. Squaring the super-horizon mode function and converting to curvature gives the central observable: the dimensionless power spectrum of , evaluated at horizon exit where all slowly varying quantities are read off.
where: — dimensionless curvature power spectrum; — curvature mode; the subscript — evaluated at horizon exit. Reading: the amplitude is set by the ratio of the Hubble scale to the Planck scale, enhanced by because a slowly rolling field converts field fluctuations into large curvature. Because and drift slightly between the exit of one scale and the next, the spectrum is not exactly flat. Its logarithmic slope defines the scalar spectral index, expanded to leading order in slow roll.
where: — scalar spectral index; is exact scale invariance (Harrison–Zel'dovich); — the leading slow-roll tilt. Reading: a red tilt () needs , generic for the flat, concave potentials that data favour. Tensor perturbations — gravitational waves — are generated by the same de Sitter amplification, but couple only through the Planck mass, so their spectrum lacks the enhancement. Their ratio to the scalars isolates alone.
where: — tensor power spectrum summed over the two polarizations; — tensor-to-scalar ratio. Reading: measures directly, and through it fixes the energy scale of inflation — a detection would be a direct measurement of the inflationary Hubble rate. Finally, the whole prediction is compressed into a two-parameter fit that observations constrain: an amplitude and a tilt about a chosen pivot scale.
where: — scalar amplitude at the pivot; — pivot comoving wavenumber; — measured spectral index (Planck 2018). Reading: these three numbers, plus the bound , are the entire observational contact between inflation and the sky — everything else is derived.
The goal is to follow one comoving mode from its sub-horizon life as flat-space vacuum, through horizon exit, to the frozen super-horizon amplitude, and to show that the curvature power spectrum is evaluated at . The crucial physical content is that the answer becomes independent of when it is read off once the mode is outside the horizon — the signature of freeze-out — and that the field fluctuation of order is converted into curvature by the factor . We work in exact de Sitter with conformal time , where horizon exit is .
Step 1. Take the late-time limit of the Bunch–Davies solution (4). As the term dominates, so and . Why: only the growing piece survives on super-horizon scales, and it is this piece that will freeze into the classical perturbation.
Step 2. Convert the field variable to curvature using with and . Then , so . Why: , not or , is the gauge-invariant, conserved quantity that survives to late times, so we must express the spectrum in it.
Step 3. Assemble the dimensionless spectrum. Substituting into gives . The two factors of cancel exactly. Why: that cancellation is freeze-out made manifest — the amplitude no longer depends on the time at which it is read off, so a super-horizon mode simply waits.
Step 4. Introduce the slow-roll parameter through , i.e. . Substituting, , evaluated at . Why: this rewrites the raw field result in terms of the observable curvature, exposing the enhancement that distinguishes scalars from tensors. *Verified: reproduces the standard single-field result in Dodelson (Modern Cosmology, ch. 6–7) and Baumann's TASI lectures; the shortcut with gives the same expression.*
Go deeper · Derivation B · 1 minThe slow-roll red tilt of the scalar spectrum
The goal is to derive the leading-order tilt by tracking how the amplitude drifts between the horizon exit of one scale and the next. The key realization is that because every mode freezes at , differentiating the spectrum with respect to is the same as differentiating with respect to the number of e-folds — the problem reduces to knowing how and evolve per e-fold during slow roll. This turns a statement about scale dependence into two simple slow-roll identities.
Step 1. Establish the horizon-crossing dictionary. At exit , so ; with slowly varying, to leading order. Why: it lets us trade the observationally natural variable for the dynamically natural variable , in which the background evolves simply.
Step 2. Differentiate the spectrum. From , . Why: the tilt is just the fractional change of the amplitude per e-fold, split into a Hubble piece and a slow-roll piece.
Step 3. Evaluate the Hubble term. By definition , so . Why: falls slowly because the field is rolling downhill, and is exactly the rate of that fall — this is the ""'s parent.
Step 4. Evaluate the slow-roll term with the standard identity , which follows from differentiating along the slow-roll trajectory . Why: it captures how the steepness of the potential itself changes as the field advances, the source of the "".
Step 5. Combine: . Planck's then implies — a small but non-zero departure from de Sitter. Why: the measured tilt is a direct, quantitative readout of the potential's slope and curvature at the moment the observable scales left the horizon. *Verified: matches the canonical result in Dodelson, Baumann, and the Planck inflation paper; taking returns exact scale invariance .*
Go deeper · Derivation C · 1 minGravitational waves and the tensor-to-scalar ratio
The goal is to show why primordial gravitational waves carry a spectrum with no enhancement, hence why , together with the single-field consistency relation . The physical point is that the two graviton polarizations are, in de Sitter, just two massless minimally coupled scalars normalized by the Planck mass — they do not care about the inflaton's rolling, so they measure (and thus the energy scale of inflation) cleanly, while the scalar spectrum is diluted by the same that enhanced it earlier.
Step 1. Decompose the transverse-traceless metric perturbation into its two polarizations . Each canonically normalized amplitude obeys the same de Sitter mode equation as a massless scalar. Why: gravitational waves are the propagating spin-2 degrees of freedom of the metric, and in this normalization their quantization is identical to the field case already solved.
Step 2. Read off each polarization's frozen amplitude. A massless de Sitter scalar acquires , so each polarization contributes after undoing the normalization; summing the two gives . Why: gravity couples only through , so unlike the scalar there is no and no — the tensor amplitude is a direct proxy for .
Step 3. Form the ratio with the scalar spectrum (5): . Since the tensor tilt is , we get . Why: isolates alone, making it the cleanest single window onto the inflationary energy scale, and the relation is a sharp, falsifiable prediction of single-field slow roll. *Verified: and are the standard consistency relations quoted in Baumann and the Planck inflation paper; the numerical scale GeV follows from combining with .*
Limiting cases
The entire behaviour of a comoving mode is dictated by its size relative to the comoving Hubble radius , and the observables emerge in specific limits of the slow-roll expansion:
| Case | Result | Meaning |
|---|---|---|
| Deep sub-horizon, | Wavelength far below ; the mode is flat-space vacuum — the Bunch–Davies condition that fixes the quantum state. | |
| Horizon crossing, | The amplitude is set at this instant and frozen thereafter; evaluate all slowly varying quantities here. | |
| Super-horizon, | is conserved for adiabatic modes; the frozen perturbation waits until it re-enters the horizon in the later Universe. | |
| Exact de Sitter (no rolling) | Perfect Harrison–Zel'dovich scale invariance with no tensors; the observed tilt requires a departure from exact de Sitter — i.e. slow roll. | |
| Slow-roll, | The observable window: a small red tilt and a small tensor amplitude, both tied to the potential's shape. |
Worked examples
1 · The energy scale of inflation from the observed amplitude (fully worked)
Given the scalar amplitude and the observational bound , find the upper limits on the inflationary Hubble rate and on the energy scale . Use GeV.
Step 1. Convert the tensor bound into a bound on using equation (7): . This is the largest slow-roll steepness still allowed by the non-detection of primordial B-modes.
Step 2. Solve equation (5), , for the Hubble rate at the pivot: . Inserting and gives , so .
Step 3. Convert to an energy density via (potential domination) and take the fourth root: , so .
Result. The current tensor bound places inflation at GeV and GeV — squarely at the scale of grand unification, some twelve orders of magnitude above anything a collider can reach. This is why a B-mode detection would be a direct measurement of GUT-scale physics.
2 · Does the simplest model survive? Confronting
The textbook chaotic-inflation potential is a pure mass term, . Compute its predictions for and at e-folds before the end of inflation, and compare with Planck (, ).
Step 1. Evaluate the slow-roll parameters. With and : , and . So for this potential.
Step 2. Relate the field value to the number of e-folds via (with negligible), giving . Substituting, , and likewise .
Step 3. At : . Then , so , and .
Result. The predicted tilt is a beautiful match to Planck's — but overshoots the bound by nearly a factor of four. The simplest quadratic model is ruled out by the tensor data, not the tilt — a textbook case of how the axis, not the axis, killed the large-field monomials and pushed the field toward plateau potentials like Starobinsky's model.
3 · Number sense: the size of the seed fluctuation
If GeV during inflation, how large is the inflaton's field fluctuation, and how does it become a perturbation? The de Sitter fluctuation is per logarithmic interval — set by the Gibbons–Hawking scale , the effective temperature of the de Sitter horizon. The curvature perturbation is then , and with and this lands at — exactly the amplitude of the temperature ripples COBE first measured. The conversion is what turns a GeV field wobble into a part-in- dent in the metric.
Physics of the portrait
The quantum theory of inflationary perturbations was not the work of a single person, but one name is attached to its central equation and to the first calculation of the spectrum that the CMB would later confirm.
Origins · 1 minViatcheslav Mukhanov and how this was discovered
Viatcheslav Mukhanov, working with Gennady Chibisov at the Lebedev Institute in Moscow, performed in 1981 the first calculation of the spectrum of density perturbations generated by quantum fluctuations during a de Sitter phase — analysing Starobinsky's model before Guth's paper had even popularized the word "inflation." Their result, that the fluctuations should be very nearly scale-invariant, anticipated by more than a decade what COBE would see in 1992. Mukhanov's name now sits on the Mukhanov–Sasaki equation, the master equation of cosmological perturbation theory, and on the Mukhanov variable that canonically normalizes the perturbation so that its quantization is unambiguous; his 1992 Physics Reports review with Feldman and Brandenberger and his textbook Physical Foundations of Cosmology (2005) taught the subject to two generations. The through-line of his work is a single audacious idea made rigorous: that the largest structures in the cosmos are the amplified, frozen, and gravitationally processed vacuum fluctuations of a quantum field — that the sky is, quite literally, a photograph of quantum mechanics writ large.
Going further
Texts. Dodelson, Modern Cosmology, 2nd ed., ch. 6–7 (inflationary perturbations, the Mukhanov–Sasaki equation) · Baumann, TASI Lectures on Inflation, arXiv:0907.5424 (the modern pedagogical standard) · Mukhanov, Feldman & Brandenberger, Phys. Rep. 215 (1992) 203 (the technical foundation) · Weinberg, Cosmology (2008), ch. 10 · Ryden, Introduction to Cosmology, 2nd ed., ch. 11 · Carroll & Ostlie, An Introduction to Modern Astrophysics, 2nd ed., ch. 30.
Provenance. The equations are standard single-field slow-roll cosmological perturbation theory in the Mukhanov–Sasaki formalism. A verifier should reproduce: (i) the de Sitter mode function (4) and the cancellation of factors giving ; (ii) the slow-roll identity yielding ; (iii) and ; (iv) the worked-example numbers GeV, GeV for , and for at . Observational values (, , , ) are Planck 2018 + BICEP/Keck 2021.
Prerequisites. Equilibrium Thermodynamics of the Early Universe · Thermal History of the Universe · Recombination and the Saha Equation. Leads to. Big Bang Nucleosynthesis · CMB Anisotropies and Acoustic Peaks · Large-Scale Structure and the Matter Power Spectrum.
Ask the tutor: Ask me to walk through the Mukhanov–Sasaki mode function step by step, or to plot how a specific potential lands on the – plane against the Planck contours.
Why does a mode "freeze" once it exits the horizon?
Outside the horizon () the gradient (pressure) term in the mode equation becomes negligible compared with the friction supplied by the expansion. A wavelength longer than simply cannot complete an oscillation within a Hubble time — there is no time for any restoring force to act across it. Mathematically the growing solution tends to a constant, so , and physically the perturbation is stretched too fast to respond and is left stranded at whatever amplitude it had at crossing. It then waits, unchanging, until the Hubble radius grows back out to it in the later Universe and it re-enters to begin evolving dynamically.
What is the difference between δφ, R, and the density contrast δ?
They are three descriptions at three stages. The field fluctuation is the raw quantum jitter during inflation — gauge-dependent and transient. The comoving curvature perturbation (equivalently ) is the gauge-invariant, conserved repackaging of it, and it is what is actually preserved across reheating and matched to late-time physics. The density contrast is what becomes once a mode re-enters the horizon and gravity starts to act: grows, collapses, and forms structure. The chain is the whole story, and is the robust middle link that makes predictions independent of unknown reheating physics.
Why is the spectrum nearly scale-invariant instead of exactly so?
Exact scale invariance () would require exact de Sitter expansion, with perfectly constant and the field not rolling at all. But a field that never rolls never ends inflation — so some rolling is mandatory, and that rolling makes and drift slightly between the exit of one scale and the next. Larger scales exit earlier, when is marginally higher, and so carry marginally more power; smaller scales exit later with marginally less. The result is a spectrum tilted slightly to the red, . The measured value is thus not a blemish but a prediction: it is the quantitative signature that inflation both happened and ended.
Why do gravitational waves lack the 1/ε enhancement that scalars have?
Tensor modes are the two polarizations of the metric itself, and they couple to the background only through the Planck mass — there is no inflaton velocity in their story. Each polarization behaves as a massless scalar and acquires the bare de Sitter amplitude , giving . The scalar curvature spectrum, by contrast, is sourced by converted through , and is small in slow roll — so the scalar amplitude is boosted by . The ratio therefore strips the enhancement back out, leaving , a clean measurement of the slow-roll steepness alone.
How do we know inflation, rather than some other mechanism, made these perturbations?
We do not know it with certainty, but inflation passes tests that alternatives struggle with. It predicts perturbations that are adiabatic (all species perturbed together), nearly Gaussian, nearly scale-invariant with a specific small red tilt, and coherent on super-horizon scales — and all four are observed. The super-horizon coherence in particular shows up as the tight phasing of the CMB acoustic peaks, hard to produce with causal, post-Big-Bang mechanisms like cosmic strings, which predict a smeared peak structure that the data exclude. The outstanding test is the tensor sector: a detection of primordial B-modes at – would confirm the gravitational-wave prediction and measure the energy scale directly.
What exactly is the pivot scale k_*, and why 0.05 Mpc⁻¹?
Because the spectrum is a tilted power law, quoting an amplitude requires naming the scale at which it is measured; that reference scale is the pivot . The choice is a convention that sits near the middle of the range of scales the CMB constrains well, which minimizes the statistical correlation between the fitted amplitude and tilt . Report at a different pivot and its numerical value shifts (by ), even though the physics is identical — so always check which pivot a quoted amplitude refers to. Galaxy surveys, probing smaller scales, sometimes use a larger pivot for the same reason.