In the incoming Bunch-Davies vacuum, only contributes to the coincident vacuum expectation value. Thus
Replacing the box sum by gives
The 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 is
Its late-time value is independent of , producing a scale-invariant inflationary power spectrum. Each fixed Fourier mode freezes separately as .
Figure 1.
Vacuum redshifting and frozen power of massless scalar modes during de Sitter expansion
. Details.
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.
For a statistically homogeneous isotropic dimensionless field, write its two-point autocorrelation function of a random field as and
The 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 yields
Thus 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 covariance
is 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.