The second term in the equal-time two-point function of a de Sitter scalar is independent of time for constant . It dominates on superhorizon scales and has constant dimensionless power spectrum, giving a scale-invariant inflationary power spectrum. The infrared qualification of a scale-invariant covariance still applies to the formally infinite-volume coincident variance.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 62 3 d Solution Created 2026-10-03 Updated 2026-10-14
In the incoming Bunch-Davies vacuum, only contributes to the coincident vacuum expectation value. ThusReplacing the box sum by givesThe subhorizon vacuum contribution is the flat-space zero-point term; at fixed comoving it redshifts as . The other term gives frozen scalar power on superhorizon scales. Specifically, the dimensionless cosmological power spectrum per logarithmic interval isIts late-time value is independent of , producing a scale-invariant inflationary power spectrum. Each fixed Fourier mode freezes separately as .
The coincident integral is formal: the vacuum part diverges at large , and an unlimited scale-invariant part diverges at small . The conclusion concerns the power in each finite logarithmic band. A finite inflationary history supplies a largest generated wavelength, as described by the infrared qualification of a scale-invariant covariance; taking the late-time limit inside an unregulated integral would not be justified.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 57 3 b Solution Created 2026-10-03 Updated 2026-10-07
For a statistically homogeneous isotropic dimensionless field, write its two-point autocorrelation function of a random field as andThe formal real-space scale invariance condition is for all . Changing variable in the first expression and equating the nonzero-mode Fourier transforms gives , equivalently . Taking yieldsThus a scale-invariant inflationary power spectrum has equal variance per logarithmic wavenumber interval, rather than equal power per Fourier volume.
There is an important mathematical qualification to the literal covariance condition. A nonzero power spectrum over all scales has , divergent at both endpoints; it is not the covariance of a finite-variance ordinary field. Moreover, exact dilation invariance of a continuous isotropic makes it constant for and, by continuity, at zero: its spectrum can then consist only of a zero-mode delta measure. The nontrivial cosmological statement consequently concerns nonzero modes, with cutoffs or subtraction of an unobservable constant. For example the finite subtracted covarianceis invariant under simultaneous rescaling of . This is the precise infrared qualification of a scale-invariant covariance; a regulated unsubtracted generally shifts by an additive constant under dilation. The formal derivation above gives the intended nonzero-mode scaling, with this qualification rather than an impossible finite-variance premise.
