Adiabatic initial conditions Created 2026-09-24 Updated 2026-10-03
Adiabatic initial conditions perturb every species by the same local time shift, so their relative number-density ratios are initially unperturbed. Photon acoustic modes then begin predominantly as displacement modes with cosine phase.
Equivalently, is independent of the component . The non-adiabatic pressure perturbation then vanishes, and the comoving curvature perturbation is conserved on superhorizon scales when anisotropic stress and gradient terms can be neglected.
For separately conserved barotropic components, an adiabatic cosmological perturbation has equal . Pressureless matter and a string component therefore have on superhorizon scales. In the supplied perfect-fluid synchronous equations, neglecting spatial gradients gives for . Both and its independent decaying-mode amplitude must vanish to select the growing adiabatic solution. At finite wavenumber, pressure gradients generate departures from this leading long-wavelength relation.
In Synchronous gauge in cosmology with coordinates comoving with cold dark matter, the linearized Einstein field equations and matter conservation give the displayed density equation. Primes denote conformal time derivatives. The radiation term contains its pressure contribution and cannot be dropped on superhorizon scales merely because radiation oscillates after cosmological horizon entry.
Neglecting metric perturbations, the rescaling removes the expansion friction from the scalar perturbation action after a boundary term is discarded. Its canonical momentum is , and each real Fourier oscillator has time-dependent squared frequency . The oscillator can become inverted on superhorizon scales; the canonical commutation relations still apply.
During a decelerating expansion the comoving Hubble radius grows. A fixed comoving wavenumber then passes from a superhorizon scale to a shorter scale when . In radiation domination, , so this occurs at . Here horizon entry refers to Hubble radius crossing; a true causal horizon instead depends on a conformal-time integral.
Equal-time two-point function of a de Sitter scalar Created 2026-10-05 Updated 2026-10-07
For a light scalar in the Bunch-Davies vacuum with metric perturbations neglected, the mode gives the displayed equal-time spectrum. The dimensionless power tends to on superhorizon scales. The exact massless infinite-volume correlation has an infrared divergence; a finite-volume or finite-duration infrared regulator, and smearing for coincident products, makes the correlators well defined.
For the regular growing mode in a purely matter-dominated flat background, and . The synchronous Einstein constraint with gives . Hence , conserved to leading order on superhorizon scales. Identifying its early constant value gives the displayed density transfer; it includes a factor that is factored out of the conventionally normalized matter transfer function.
Non-adiabatic pressure perturbation Created 2026-09-28 Updated 2026-10-06
The non-adiabatic pressure perturbation is
On superhorizon scales it sources the evolution of the comoving curvature perturbation through a convention-dependent signed relation proportional to .
In deep radiation domination, and . Neglect against the radiation gravity source, so the supplied CDM density equation in a matter-radiation universe becomes
On superhorizon scales omit the pressure-gradient term. Under adiabatic initial conditions, then gives
The Euler-Cauchy equation characteristic polynomial is , so
These are the general growing and decaying adiabatic solutions in this approximation. A regular primordial growing mode discards the divergent solution. Although its conformal-time growth is again quadratic, now , rather than in matter domination.
If “general” is taken without imposing adiabaticity, both independent relative-entropy integration constants must also be retained. The gradient-free radiation equation gives
Substitution into the matter equation produces
This is the general solution of the leading supplied coupled system, described by the superhorizon radiation-era entropy integration constants. Setting both and to zero recovers the adiabatic result. Regularity and the full initial Einstein field equations constraints can further restrict which of these leading solutions represents a prescribed physical initial mode.
On scales well inside the horizon, radiation pressure drives oscillations at frequency approximately . Their amplitude is bounded at leading order, and their gravitational forcing of a slowly varying matter contrast can be averaged away. With this approximation, as well as negligible matter self-gravity,
hence the logarithmic CDM growth after radiation-era horizon entry is
This is the Mészáros effect. It does not mean that itself vanishes. For a rapidly oscillating source , the matter equation has a particular response
Its leading second derivative reproduces ; the remaining terms are smaller by powers of . Thus the suppressed cold-matter forcing by rapid radiation oscillations is only order and does not change the secular logarithm. Radiation forcing near horizon entry determines and cannot be averaged away there. Neither this smoothing approximation nor the neglect of matter gravity remains uniformly valid near equality.
The perturbations are density contrasts, and , evaluated in the common comoving synchronous gauge. For nonrelativistic cold dark matter of fixed particle mass, , hence . Thermal photons have photon number density and energy density . A small local temperature perturbation therefore gives
For adiabatic initial conditions, the ratio is unperturbed, so . Combining these equations proves
Equivalently , with and . The relation applies before causal pressure gradients can separate the two species on superhorizon scales; it need not remain true after cosmological horizon crossing.
A superhorizon density contrast is gauge dependent. The stated growth laws describe the growing adiabatic mode in the comoving-gauge density contrast (and the corresponding usual synchronous growing mode), not an arbitrary coordinate density perturbation. Work with a flat, single-fluid background with constant , negligible anisotropic stress, , and a comoving Fourier wavenumber .
Here is a derivation from the linear gravitational constraints and evolution equation. For an adiabatic mode, the scalar gravitational potential obeys
Primes denote conformal time derivatives. The Friedmann equation gives and , so the bracket vanishes. On superhorizon scales, , the leading solutions are a constant potential and a decaying solution proportional to . Keeping the growing adiabatic branch therefore makes time independent to leading order.
Combining the time-time and time-space linear Einstein constraints eliminates the coordinate velocity and gives the comoving density constraint
This is the relativistic comoving constraint, not a subhorizon Newtonian approximation. Since , it implies . Also in cosmic time, whence
Both epochs here mean their respective leading growing solution; matching through matter-radiation equality requires the full two-component evolution. The constant superhorizon curvature or potential is consistent with this growth because the comoving density perturbation carries the additional factor .
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.
Use the spatial-potential convention of this paper and assume . A passive time displacement changes the spatial scalar by and changes the energy density by
The two contributions to the uniform-density curvature perturbation therefore cancel:
A spatial scalar displacement changes but not this combination. Hence is gauge invariant at linear order. Pure cosmological-constant matter, for which , does not supply a energy density clock and this formula is not defined for that component alone.
Now take the definite constant- barotropic equation of state and use physical-time differentiation . Put . Background stress-energy conservation gives . Differentiating , then substituting the two supplied perturbation equations, gives
Thus the lapse and expansion perturbations cancel without imposing a gauge. In terms of the non-adiabatic pressure perturbation ,
For the stipulated barotropic equation of state, , so the first term vanishes. For a Fourier mode, . For regular long-wavelength solutions the remaining gradients are suppressed when . Consequently on superhorizon scales, with exact conservation in the leading zero-gradient limit. It is not an exact finite- identity. Entropy perturbations or a singular gradient expansion can invalidate that conclusion; the supplied adiabatic assumption is what removes the unsuppressed pressure source.
This superhorizon conservation of uniform-density curvature is useful because inflationary fluctuations leave the horizon during cosmic inflation and may re-enter only much later. In an adiabatic single-clock evolution, the conserved uniform-density curvature perturbation transports their initial amplitude through reheating and the later radiation in cosmology and matter eras without solving every short-distance process. It then determines the initial conditions for large-scale structure and Cosmic microwave background anisotropy. Extra fluctuating fields or fluids can introduce isocurvature perturbations and convert them into curvature, so conservation must be checked rather than assumed during such transitions.
Take the regular growing matter mode and . With , the constraint gives
Consequently
Here is its early, superhorizon constant value. The fractional time variation is of second gradient order, and
Thus the primordial curvature is conserved to leading order on superhorizon scales. This is the matter-era density transfer from primordial curvature.
A mode entering after equality evolves in the growing matter solution, giving
This assumes matter-dominated growth to , as in the model. A subsequent dark-energy era would multiply by the appropriate late-time growth suppression. The initial radiation-era adiabatic curvature passes through equality unchanged at leading superhorizon order, so the same is the primordial input.
For , entry occurs in radiation domination at . The entry contrast is of order because its superhorizon value scales as . In the question's stagnation approximation it stays of this order until equality, then grows by . Thus
independent of to that approximation. The precise coefficient needs matching through the equality transition; the horizon convention, including the use of wavelength , also changes the matching definition of by a fixed factor.
One continuous sharp-equality model, normalizing the plateau by matching the low- branch at , is the sharp-equality cold-dark-matter transfer approximation
This is a matching approximation, not an exact solution through equality. The function requested here transfers curvature directly to density. It differs from the conventional normalized matter transfer , where one factors out : that normalized function tends to one at low and to in the stagnation model at high .
For the dimensional primordial spectrum , linear deterministic transfer gives . Hence this sharp model yields
The spectrum turns over near equality. Retaining the slow radiation-era logarithmic growth refines the high- transfer to , up to constants in the logarithm and matching factors, and therefore refines the small-scale spectrum to . This is the logarithmic small-scale matter transfer correction to the question's constant-growth idealization. Multiplication by would give dimensionless power, whose large-scale slope is rather than the dimensional spectrum's .
For a fixed coordinate cell, the spatial volume element is
Thus its perturbation relative to the background expansion, or its perturbed comoving volume, is . In the cold-matter rest frame each such cell contains a fixed amount of matter. Since density is mass divided by physical volume,
Equivalently, stress-energy conservation gives ; the stated relation fixes the spatially dependent integration constant by the initial mass-coordinate convention. A contraction of comoving volume gives a positive density contrast.
In the matter era , so and the matter density fraction is approximately one. The evolution equation reduces to
For , the indicial equation is . Therefore
The growing mode is proportional to , and the decaying mode to . These are the density solutions after the comoving coordinate choice; the residual time mode found in part (i) explains why a similar power in an unfixed density variable cannot be interpreted in isolation.
There is a normalization omission in the printed density parameter if denotes physical density. Its usual definition in conformal time is
The printed expression lacks , unless its density is already rescaled by that factor. The matter-era statement and the growth equation use the physical density fraction above.
On superhorizon scales during radiation domination, the regular adiabatic cosmological perturbation has approximately constant primordial curvature. The comoving density perturbation is gradient-suppressed, of order times that curvature. Since , it grows as for fixed mode amplitude. This is the regular superhorizon solution in the specified slicing, not causal collapse driven by communication across the entire wavelength.
After radiation-era horizon entry, the dominant radiation develops pressure-supported acoustic oscillations. Its potential no longer provides a steady growing gravitational source, while cold matter is too small a fraction of the total density to produce rapid self-gravitating growth. The result is the Mészáros effect: growth is strongly suppressed until equality. The supplied stagnation approximation replaces that slow evolution by a constant. More accurately, ignoring the rapidly oscillating source at leading order gives , with a constant and a logarithmic solution. Thus radiation-era subhorizon growth is at most slow logarithmic growth, rather than the matter-era power law; treating it as constant is the explicit approximation used for the simple transfer estimate below.
For , the conserved uniform-density curvature in the spatial-metric convention is
The source's plus sign in front of both terms is not gauge invariant and cannot yield the claimed conservation. Choosing the opposite overall sign, , is equally valid, but changing only one term is necessary. A passive time displacement gives and , so their combination above is unchanged. This is the uniform-density curvature sign test.
The lapse perturbation in the perturbed energy-conservation source is , not the spatial-curvature perturbation . Indeed the perturbation of the proper-time density derivative is , while the normal expansion changes by . The consistent equation is
For a constant barotropic equation of state, and . Differentiate and cancel the density terms:
More generally, gives
Regular scalar modes have gradient terms suppressed by . Thus adiabatic uniform-density curvature is conserved to leading order on superhorizon scales, . This is a long-wavelength limit, not exact finite-wavenumber conservation; it assumes a regular gradient expansion and excludes , where this variable is undefined. In contrast the literal printed variable obeys even after repairing the energy equation, and generally evolves across changes of the background equation of state.
There are three practical benefits. First, uniform-density curvature is gauge invariant, so matching it does not depend on coordinate slicing. Second, superhorizon conservation of uniform-density curvature transports primordial amplitudes through changes in the expansion history without solving each short-scale dynamical equation. Third, when a mode re-enters the horizon it supplies initial conditions for density growth and Cosmic microwave background anisotropy; non-adiabatic pressure is also an explicit diagnostic of when that simple transport fails.
For the growing adiabatic mode in an epoch of constant , the superhorizon potential is constant. The Friedmann equation gives , so the given relation implies
Thus and . Photon continuity, neglecting its gradient term on superhorizon scales, gives . The radiation-era initial condition fixes . Through the matter-radiation transition it follows that . Since , the matched large-scale emission perturbation is
Keeping the radiation value of unchanged across the transition would give the wrong coefficient. This is the Sachs-Wolfe radiation-to-matter matching for the paper's sign convention for comoving curvature perturbation.
Neglect the Integrated Sachs-Wolfe effect, the superhorizon-suppressed Doppler term, observer monopole, and any observer kinematic dipole. Put by statistical homogeneity, and define
The plane-wave expansion on gives angular multipoles
Statistical isotropy and orthonormal spherical harmonics then imply . Radial integration supplies , giving the large-angle angular power spectrum
This assumes adiabatic growing modes, matter domination at emission, negligible anisotropic stress, and wavenumbers that are outside the Hubble radius then. It treats recombination as instantaneous, omits late potential evolution and rescattering, and omits lensing at this linear order. The formal primordial contribution is defined for ; the observed dipole has a large additional kinematic contribution, so the clean large-angle primordial comparison is usually . A scale-invariant spectrum also yields the Sachs-Wolfe plateau for .
Because density is a scalar field, . Write both sides as background plus perturbation and expand the background time shift:
The coordinate shift acting on an already first-order perturbation contributes only at second order. Thus the density perturbation gauge transformation is
The uniform-density curvature perturbation in the paper's sign convention is
The derivative on is essential and is present in the PDF; the TeX transcription drops it. The scalar-curvature combination transforms as
while the density term changes by . Hence the two time-slicing changes cancel:
On a uniform-density slice, and this variable is the signed spatial-curvature perturbation. The construction assumes ; a pure constant-density cosmological constant does not define such a time slicing.
In Newtonian gauge in cosmology, and . The background cosmological perfect-fluid continuity equation gives , so, writing ,
Set the cosmological adiabatic sound speed . Then . Differentiate the previous expression and insert the perturbed energy-conservation equation:
Consequently the curvature evolution equation in this sign convention is
The last equality defines the total energy-frame velocity by . For adiabatic cosmological perturbations, the non-adiabatic pressure perturbation vanishes. On superhorizon scales, the stated suppression of the velocity divergence makes the remaining gradient term negligible. Thus is conserved to leading order in . The positive sign of the pressure source follows from the paper's definition of and must not be replaced by a formula using the opposite curvature convention.
Superhorizon conservation of uniform-density curvature lets one carry a primordial perturbation from its inflationary generation through otherwise complicated eras and predict the initial conditions for later Cosmic microwave background anisotropy and structure growth. It relies on adiabaticity: an isocurvature perturbation can source curvature evolution, so the same conclusion is not automatic in an arbitrary multifield model.
In the constant- de Sitter approximation, with , so . The massive rescaled mode obeys
For a fixed mass in the specified open interval, at sufficiently late superhorizon scales with , the term is negligible compared with the inverse-square term in the limiting equation. Try . The indicial equation is , giving
Thus both independent branches of the massive de Sitter superhorizon scalar mode are present in
The coefficients are constant in time and fixed by initial conditions. Writing avoids ambiguous fractional powers of the negative number ; a chosen complex phase in the printed notation can be absorbed into the coefficients.
For the specified mass range, . The physical fluctuation is , so its two branches behave as and . Both exponents are strictly positive. Therefore both physical-field branches decay as :
The slower branch of itself grows because , but the expanding scale factor more than cancels that growth. A spatially homogeneous background field of this mass satisfies the corresponding equation and also has these decaying powers.