The broad turnover near marks the matter-radiation equality scale. Modes entering the Hubble radius after matter-radiation equality grow efficiently during matter domination. Modes entering earlier have their cold-matter growth delayed by radiation domination: their subhorizon growth is logarithmic rather than proportional to . This is the Mészáros effect. The smaller undulations on the declining side are baryon acoustic oscillations inherited from the photon-baryon fluid, with an oscillatory wavenumber spacing set approximately by divided by the sound horizon. They are damped at sufficiently short scales by photon diffusion and the transfer of the baryon perturbation into the total matter field. The plotted spectrum is a linear prediction; nonlinear evolution changes the actual sufficiently small-scale spectrum at redshift zero.
For an adiabatic growing mode, the comoving curvature perturbation transfers to the matter overdensity as
up to an irrelevant overall sign convention for . Normalize the cosmological transfer function by at small and the linear growth factor by in matter domination. The relation distinguishes a dimensional matter power spectrum from a dimensionless cosmological power spectrum: the dimensional curvature spectrum is proportional to . Therefore
For locally constant scalar spectral index , the asymptotic cold-dark-matter power spectrum is
because the cold-dark-matter transfer function tends to one at small and scales as at large . The asymptotes refer to the smooth envelope, not the individual baryonic wiggles. The large- local logarithmic slope is . For the quadratic potential at , derived below, , so the limiting powers are approximately and . Multiplying by to form dimensionless matter power would change both exponents by three; that is not the plotted quantity.
Change independent variable from proper time to the scale factor. Then and . Under radiation domination, and . Since , the linear matter perturbation growth equation becomes
Putting gives
This keeps the matter self-gravity term in a radiation-dominated background. It is not an exact background equation through radiation-matter equality.
At , neglecting that small term gives . Integration yields
Thus matter has at most logarithmic growth during this leading radiation approximation, together with a constant independent mode. The constant is non-growing, not a mode that literally falls as ; that power belongs to rather than .
For an increasing/decreasing basis of the displayed equation with matter self-gravity retained, put . Its equation becomes . Hence
The Modified Bessel function of the first kind gives , which increases slowly. The Modified Bessel function of the second kind gives , where is Euler's constant; this mode decreases as increases. Their leading span is precisely the constant/logarithmic pair above. Mode labels depend on the chosen basis and normalization; no rapid matter-era growth occurs here. Neglected background corrections can change subleading terms, so the Bessel basis should not be extrapolated through equality.
The cosmological perfect-fluid continuity equation gives and . In conformal time, and . Thus the flat Friedmann equation is
Choose the expanding branch and put the Big Bang at . Integration gives
Inverting it supplies the radiation-matter scale factor in conformal time:
The early linear term gives radiation domination, while the late quadratic term gives matter domination. The solution presumes the stated radiation-plus-matter model, without a cosmological constant.
At matter-radiation equality, . Since ,
In units , the comoving particle horizon at equality is ; its physical size is . The angular diameter distance to the equality surface is . Therefore the horizon angle at matter-radiation equality corresponding to one horizon length is
For , this is radians, or , about arcminutes. If quoting the full diameter of a horizon-sized patch, the result is twice this, . The small-angle approximation is excellent. Expanding in would give radians; retaining both cosmic components near equality avoids an inaccurate pure-matter extrapolation there. The scale factor cancels between physical size and angular diameter distance, and cancels from the ratio.
If cosmological recombination occurs only a modest expansion after equality, its causal patch still subtends a small part of the sky. Widely separated regions of the observed Cosmic microwave background have nearly the same temperature even though their past particle horizons did not overlap in the ordinary decelerating history. Local thermalization after the Big Bang therefore cannot explain this large-angle uniformity. This is the Horizon problem; inflation supplies an earlier connected region that can grow to encompass the observed sky.
Take a fixed comoving volume, whose physical volume is . For adiabatic cosmic expansion, the first law of thermodynamics gives . Therefore
Spatial curvature does not change the scaling of a fixed comoving volume. With and , the Friedmann equation becomes
Differentiating this expression, rather than dividing by at a fixed point, yields the cosmological density parameter flow
This holds on an expanding branch with . The spatially flat solution is a fixed point. For , . Consequently curvature deviations grow as during radiation domination and as during matter domination. A small present curvature therefore requires a much smaller initial deviation: this is the Flatness problem of a decelerating Big Bang. The issue applies to either sign of curvature, not just an open universe. Conversely, accelerated expansion with suppresses small deviations, which is the inflationary solution of the flatness problem.
A scale-invariant primordial potential has . On subhorizon linear scales, the cosmological Poisson equation and the cold-dark-matter transfer function give , where during matter domination. Consequently
Large scales enter only after equality and have . Small scales enter during radiation domination; their approximately logarithmic growth up to equality gives . Therefore
If the slow logarithm is suppressed in a rough sketch, the slopes are and , with a turnover near . The logarithmic correction is real and should not be mistaken for a different primordial spectral index. In the matter-only late-time approximation with , the cosmological redshift means and ; it changes the amplitude, not these asymptotic shapes. Neither the initial normalization nor cosmological parameters needed for an absolute power are supplied.
Figure 1.
Linear cold-dark-matter power at redshift one with the equality turnover and its large- and small-wavenumber asymptotes
.
This is a schematic smooth interpolation with the derived asymptotes, not a precision transfer-function fit. The linear ideal-fluid model excludes baryonic acoustic structure and small-scale nonlinear evolution.
There is also a gauge and horizon qualification. For a mode still outside the Hubble radius at , the printed Newtonian-gauge density has , and its formal dimensional spectrum is instead proportional to . The conventional large-scale branch describes modes that are large relative to the equality scale but already subhorizon at the observation time. Alternatively, the comoving matter density, with , removes that constant gauge term and obeys in the growing matter solution. The usual matter-spectrum sketch can be continued to small in this comoving-density convention. The dimensional spectrum requested here is , rather than the dimensionless cosmological power spectrum , whose slopes would differ by three.
In matter domination, the Einstein field equations with constant give the Newtonian-gauge matter density from a constant gravitational potential
Well inside the Hubble radius, the first term is negligible. Since and is constant,
Equivalently, the matter-era growing and decaying density modes follow from : they are and .
The lower panel of the preceding figure gives the three requested density contrast sketches in Newtonian gauge in cosmology. Their early superhorizon density is nearly constant, rather than proportional to in this gauge. A large- mode enters first and grows only approximately logarithmically during radiation domination. Once the rapid radiation forcing has subsided, with , so . This is the Mészáros effect; forcing around entry determines the coefficients. After equality its growing part becomes proportional to .
A mode near begins substantial growth around equality. A small- mode keeps its superhorizon constant term until entering during matter domination, then follows the same growth law. Their entry scale factors satisfy during radiation domination and during matter domination. At a common late time, the scaled amplitudes are therefore of order
up to common dimensional constants and order-one matching terms. Thus the three late growth curves have the same logarithmic slope one as functions of , but different amplitudes. These amplitude statements require the modes to have entered the Hubble radius; the full Newtonian-gauge formula above remains available for modes that have not.
Take regular adiabatic initial conditions and a common scale-invariant primordial amplitude, . Let . The three histories are distinguished by their time of cosmological horizon crossing:
The factor follows from conserving the large-scale adiabatic curvature: the constant potential is proportional to , whose matter-to-radiation ratio is . Define the cold-dark-matter transfer function by . Then on large scales, while far below the equality length, as explained by the density growth below.
Late amplitudes are , with for and for .
The upper panel sketches for the three modes. The lower panel provides the corresponding density contrast histories used in the next part. A negative common primordial potential was chosen so the growing density is positive; this arbitrary phase has no effect on a cosmological density power spectrum.
Figure 1.
Evolution of scale-invariant gravitational-potential and cold-dark-matter density modes across radiation–matter equality
.
The curves integrate the ideal coupled radiation-fluid and pressureless-matter equations, rather than patching a pure-radiation solution onto a matter solution. They neglect baryons, free-streaming anisotropic stress, dark energy and nonlinear evolution, consistently with the stated mixture. Dots mark ; equality is the dashed vertical line.
For a single barotropic perfect fluid in general relativity, the perturbations obey . This adiabatic closure is needed: constant background alone would not eliminate an independent entropy perturbation. The absence of scalar anisotropic stress allows the common potential used in Newtonian gauge in cosmology.
Substituting the density constraint into the pressure equation gives the gravitational potential evolution of a barotropic fluid
Since , the conformal Hubble parameter is . The bracket cancels identically, leaving
For a Fourier transform mode, becomes .
During radiation domination, and . Set and write . The resulting equation is , so the two Spherical Bessel functions in the hint give
At , the two solutions approach a constant and a mode proportional to . The regular adiabatic mode, normalized to its primordial potential, is
After entry into the sound horizon, , the potential oscillates at cosmological sound speed with envelope . The Hubble radius and sound horizon differ by the sound-speed factor; outside the Hubble radius the regular potential is constant, while well inside it radiation supports acoustic oscillations.
During matter domination, gives at every wavenumber. Hence
The growing density mode has a constant potential both outside and inside the Hubble radius; the other potential mode decays. Pressureless matter has zero cosmological sound speed, so horizon entry does not produce the radiation acoustic decay. These formulas cover both independent solutions, while the subsequent sketches select the regular adiabatic growing mode.
Once a mode is well inside the horizon, radiation pressure opposes gravitational collapse. For an ideal radiation fluid its cosmological sound speed is , and its density perturbation undergoes subhorizon radiation acoustic oscillations with frequency approximately . Unlike the superhorizon growing mode, its amplitude does not acquire sustained gravitational growth. Free-streaming relativistic components can additionally phase-mix the perturbation; the acoustic-fluid description is the appropriate idealization for the stated system.
During deep radiation domination, the radiation source in the dark-matter equation oscillates rapidly compared with a Hubble time. Its accumulated late-time effect averages away. More quantitatively, an oscillatory source of magnitude gives a rapidly varying particular solution of order when . It can therefore be neglected in computing the slowly varying homogeneous dark-matter growth, although its forcing near horizon entry fixes the integration constants.
The dark-matter self-gravity term is also subleading while . Keeping the leading expansion drag and averaging the radiation source yields
Consequently
This logarithmic growth of matter perturbations during radiation domination is the Mészáros effect. It is the leading behavior well after horizon entry but before equality; close to equality the neglected self-gravity matters. The radiation perturbation is not small simply because it is radiation: its rapid oscillations, rather than a small radiation background density, justify dropping its source for this slow mode.
An adiabatic mode corresponds locally to a common displacement along the background history. Its density changes obey for every component. The cosmological perfect-fluid continuity equation then implies that is common to all fluids. Thus, in the common comoving gauge in cosmology relevant to the growing superhorizon mode,
Equivalently, the relative entropy perturbation vanishes. A common time-slicing shift preserves this relation because it changes both normalized density perturbations by the same amount.
The flat background Friedmann equation gives . During radiation domination, and the matter background is negligible. Substituting the adiabatic relation into the density equation therefore gives
With , the indicial equation is , so the modes are and .
During matter domination, and the radiation background is negligible. The same calculation gives
whose indicial equation is . Its modes are and . Thus the superhorizon growing density mode of adiabatic matter and radiation satisfies in both eras. The common conformal-time exponent does not imply the same scale-factor dependence: it is in the radiation era and in the matter era.
Write for the dimensionless power spectrum. A radiation-era mode enters the horizon at . The early superhorizon law gives : the and factors cancel.
For , the mode remains outside the horizon throughout the radiation era. Its amplitude grows as both before and after equality, and continues with the same scale-independent growing factor even if it later enters during matter domination. Hence the low-wavenumber shape is preserved:
For , horizon entry occurs during radiation domination. Its subsequent logarithmic amplitude growth supplies a factor by equality. During the matter era the amplitude grows by . Squaring gives the logarithmic high-wavenumber density-spectrum transfer:
The horizon-entry and equality matching fixes order-one coefficients and additive constants inside the logarithm. The displayed branches capture the requested leading spectrum and share its schematic normalization; their asymptotic forms must not be joined literally at , where the high- logarithm alone vanishes.
Thus the present dimensionless power spectrum rises as on large scales and only as on small scales, with a smooth bend near the matter-radiation equality scale, . The ordinary dimensional cosmological density power spectrum instead satisfies
It has a turnover near equality; the dimensionless spectrum does not. The following comparison of dimensional and dimensionless matter spectra across equality uses a smooth guide with the correct asymptotes, not an exact solution through the transition. Overall vertical normalization and the later scale-independent growth factor are suppressed.
Figure 1.
Present matter spectrum across equality: dimensionless power bends from k to the fourth power to logarithmic growth, while dimensional power turns over
.
Let be the dimensional cosmological density power spectrum and its dimensionless power spectrum. In linear theory,
where is the linear growth factor and is the cosmological transfer function. An approximately scale-invariant primordial curvature spectrum corresponds, with the conventional matter-spectrum normalization, to with . This does not say that the dimensional density spectrum is white noise or that the early curvature and density perturbations are the same variable.
The crucial scale dependence develops around horizon entry and matter-radiation equality. Modes entering during radiation domination undergo only logarithmic cold-matter growth, whereas modes entering later avoid that suppression. For cold dark matter, the large-scale transfer tends to a constant and the small-scale transfer behaves schematically as . Thus
For , the dimensional spectrum turns from an approximately rise to an approximately decline. Multiplying by shows that the dimensionless small-scale power still increases slowly. The resulting variance of density fluctuations smoothed on mass generally increases as decreases, over the scales relevant to galaxy assembly.
After equality, and over scales where linear growth is scale-independent, the transfer shape is approximately preserved while the amplitude grows. During matter domination, ; late accelerated expansion slows that growth. A region collapses when its linearly evolved density contrast reaches the linear spherical-collapse threshold. Smaller mass scales, having larger variance, typically reach this threshold earlier. Small haloes form first, then accrete matter and merge into larger haloes; galaxies form from cooling baryons in those wells and themselves merge. This small-to-large assembly is hierarchical galaxy formation. It is a statistical trend: rare high peaks can produce unusually massive early objects, and gas cooling and feedback prevent a one-to-one identification of halo collapse with star formation.
For cold dark matter, random particle velocities are small enough that collisionless free streaming erases little power on galactic scales. Warm dark matter retains a larger early velocity dispersion and a larger free-streaming length, suppressing power below a finite scale. There are consequently fewer low-mass haloes, delayed formation of the smallest galaxies, and a lower limit to the hierarchy that can develop. Above the cutoff, warm-matter structure can still assemble hierarchically. The distinction concerns the particles' velocity history and transfer function, not the thermal temperature of gas in a galaxy today. The broad late-time shape was largely established by early horizon-entry physics, with subsequent nonlinear collapse and merging altering the spectrum at high wavenumber.
Match the cutoff exponent to get , so . Independently, the low-mass exponent is then , as required. Consequently
Matching the coefficient of the power-law Press-Schechter stellar mass function gives
Thus
About of the halo baryons form stars in this model, corresponding to of total halo mass. The independent stellar-density integral gives , checking the mass-function normalization.
The index is an effective slope of the processed matter spectrum on these mass scales, not the primordial index. The cosmological transfer function suppresses modes that enter the horizon during radiation domination, altering the approximately primordial law. Around and below galaxy scales the dimensional matter spectrum has a much more negative local slope, eventually tending toward the approximately small-scale limit. A local power law with is a useful idealization over a limited interval; there is no reason for it to equal the large-scale primordial value or to hold on every scale.
The terms in the Boltzmann equation respectively describe dilution by expansion, pair annihilation, and pair production from the thermal bath. The annihilation rate per volume is ; is the corresponding production rate. Antiparticles satisfy the same equation with replaced by . Subtracting gives
Initial particle-antiparticle symmetry therefore persists. Detailed balance in the thermal bath gives , so
During radiation domination, with fixed effective relativistic degrees of freedom, and . Thus and the dilution terms cancel in :
After cosmological particle freeze-out, neglect . For constant the exact reduced solution is
For the post-freeze-out relic abundance, the familiar answer additionally neglects compared with . It is an approximation, not an exact consequence of the post-freeze-out equation without initial data. A smaller annihilation cross-section means smaller , earlier decoupling and less depletion, so weakly interacting particles normally have a larger relic abundance.
Insert the component-density laws into the Friedmann equation, using and . Multiplying by gives
The radiation in cosmology and pressureless matter contributions add; the printed first formula has lost the plus sign between them. In the Friedmann acceleration equation, , so
Evaluating the first equation today gives .
Now remove dark energy and assume a positive pressureless matter or radiation in cosmology density, starting on an expanding branch. Let . It decreases from infinity to zero, and , while . This immediately distinguishes all three cases of spatial curvature of an FLRW universe.
The early small- solution has if radiation in cosmology is present, and for pressureless matter alone. The figure isolates the effect of curvature in three matter-only examples, rather than comparing models with the same present density parameters.
Figure 1.
Matter-only scale-factor evolution: closed recollapse, flat power-law expansion, and open expansion tending to a constant speed.
Relativistic pressure gives the radiation fluid a sound speed . Well inside the sound horizon, , radiation linear cosmological density perturbations undergo rapid pressure-supported oscillations instead of sustained gravitational growth. Their potential decays. For an ideal radiation fluid with negligible scalar anisotropic stress, the regular Newtonian gauge in cosmology solution during radiation domination illustrates this explicitly:
For its amplitude is . Thus radiation in cosmology remains essential to the background Friedmann equation, while its rapidly oscillating gravitational forcing can be smoothed out when following the slowly varying cold dark matter density mode. This is the approximation behind the Mészáros equation.
The important limitation is that “subhorizon” alone is not a pointwise theorem that . Radiation can dominate the instantaneous potential during early radiation domination, and the forcing near horizon entry seeds the later logarithmic matter mode. We neglect that transient and rapidly oscillating forcing in the subsequent coarse-grained growth equation, not radiation's contribution to the expansion rate. Close to horizon entry, or for accurate oscillatory evolution, the coupled radiation and matter perturbation equations must be retained. For the slow matter potential, the metric time derivatives in part (a) are also suppressed relative to its spatial Laplacian by . The approximation smooths radiation perturbations while retaining radiation in cosmology in the background cosmic expansion.