Spherical Collapse and the Press-Schechter Formalism
Linear perturbation theory is exact only while the density contrast is small; the instant a fluctuation reaches its self-gravity takes over and the equations that carried structure from last scattering break down. Yet the objects we observe — galaxies, groups, clusters — have run to thousands. Spherical collapse is the bridge. It follows one idealized overdense sphere, a uniform 'top-hat', through its whole nonlinear history: because a homogeneous ball feels only its enclosed mass, each shell obeys the same Friedmann equation as a closed universe, and its radius traces a cycloid — expanding with the Hubble flow, decoupling, reaching a maximum (turnaround), then collapsing. The model is fully analytic, and its payoff is two pure numbers. The first is the linear collapse threshold : the value that linear theory, naively extrapolated, assigns to a perturbation at the moment the real object collapses. The second is the virial overdensity , the settled halo's density over the background. Press and Schechter (1974) saw that these constants turn a single-object model into a statistical theory: identify collapsed mass with the fraction of a Gaussian field exceeding when smoothed on the mass scale , and halo abundance falls out as an error function of the peak height . Differentiating gives the halo mass function — the comoving number of halos per unit mass — turning a primordial power spectrum into a prediction for cluster counts.
- A uniform overdense sphere collapses like a closed sub-universe; its radius follows a cycloid with turnaround at and collapse at , so .
- The model delivers two universal constants in an Einstein–de Sitter background: the collapse threshold and the virial overdensity .
- Press–Schechter equates the mass fraction in halos above with the Gaussian probability that the linearly-extrapolated smoothed density exceeds , so abundances follow from .
- The mass function has a universal shape: a near power-law at low mass and an exponential cutoff above the characteristic mass where , making cluster counts a sharp cosmological probe.
- The original argument counts only half the collapsed mass; the ad-hoc factor of 2 is derived by excursion-set first-crossing statistics and refined by Sheth–Tormen and N-body fits.
- Key idea: reduce nonlinear collapse to one number , then read halo abundances off the Gaussian statistics of the smoothed linear density field through .
Reduce nonlinear collapse to a single number , the linear density contrast at collapse, then read halo abundances off the Gaussian statistics of the smoothed linear field via the peak height .
Where this lives today
The mass function is now a precision cosmology tool. Cluster surveys count the most massive halos versus redshift and compare to using Tinker or Sheth–Tormen calibrations built on the spherical-collapse skeleton: Sunyaev–Zel'dovich catalogues from ACT, SPT and Planck; X-ray samples from eROSITA; optical-richness and weak-lensing samples from the Dark Energy Survey, Euclid and Rubin's LSST. Because the high-mass tail depends exponentially on and the growth history, cluster counts constrain the amplitude of structure and the dark-energy equation of state — and the mild tension with Planck's primary-CMB is a live puzzle. On the theory side, extended Press–Schechter supplies the merger trees behind semi-analytic galaxy formation, while the collapsed fraction above the atomic-cooling mass sets the timing of reionization now mapped by 21-cm experiments and JWST's earliest galaxies. A half-page 1974 ansatz remains the connective tissue between the primordial power spectrum and nearly every count of structure.
The physical picture
Take a slightly overdense ball in an expanding universe. It carries extra mass, so its self-gravity is a touch stronger than the background's: it expands, but always slightly slower than the Hubble flow around it. The lag accumulates until the ball halts at a maximum radius — turnaround — and then, gravity unopposed, falls back and collapses. Birkhoff's theorem guarantees the outside universe exerts no net force on a shell, so the sphere is dynamically a closed Friedmann universe and its radius versus time is a cycloid. The first figure traces that trajectory, whose clock is fixed: collapse takes exactly twice as long as turnaround.
The trajectory is only half the story: what matters is density. Instead of chasing the true nonlinear contrast — which runs to infinity as the sphere shrinks to a point — we ask a linear-theory question: what would a naive linear extrapolation of read at the moment the real sphere collapses? The answer is a fixed universal number, , independent of the sphere's mass or amplitude. That is the pivot: a region has collapsed by today if its linear density, smoothed on its mass scale, has reached this line — a criterion we evaluate with nothing but Gaussian statistics. The second figure contrasts the two densities and their hero numbers.
The Press–Schechter step is then a level-crossing count on the linear field. Smooth it on the scale enclosing mass ; the rms is , and the fraction above is collapsed. Shrink and rises, so more of the field clears the threshold — low-mass halos common, high-mass halos (where ) exponentially rare. That rarity, the Gaussian tail , is why counting the most massive clusters is one of cosmology's sharpest instruments.
The core equations
Because a uniform sphere feels only its enclosed mass , its outer shell obeys with conserved. Integrating gives , and for a bound sphere () the solution is a cycloid in a development angle .
where: — physical radius; — development angle running ; — constants set by the sphere's energy and mass; — enclosed (conserved) mass. Reading it: is the natural clock, set the scale. The special epochs sit at fixed : maximum radius at , formal collapse at , so collapse takes exactly twice as long as turnaround.
where: — turnaround radius, at ; — turnaround time; — formal collapse time, at . Reading it: the factor of two is exact and cosmology-independent. Comparing to the EdS background gives the true nonlinear overdensity at any ; at turnaround it is a pure number.
where: — true nonlinear density contrast at turnaround. Reading it: at maximum expansion the sphere is already times the background — well beyond linear theory, whose there reads only . Extrapolating instead the linear growing mode to the collapse time yields the central constant.
where: — linearly-extrapolated density contrast at collapse. Reading it: not a real density but a linear-theory bookmark, which is why it can be compared with the linear . Requiring the sphere to virialize at half its turnaround radius, then diluting the background, fixes the halo's overdensity.
where: — mean density of the virialized halo; — background density at collapse. Reading it: the physical overdensity defining a halo boundary — origin of the ' critical' radii used in simulations. To go statistical we need the linear field's amplitude on each mass scale; smoothing with a top-hat of radius (enclosing mass ) gives the variance.
where: — variance of the smoothed field; — linear matter power spectrum; — Fourier transform of the top-hat; — mean comoving matter density. Reading it: all cosmology enters the abundance through this one function . The ansatz identifies collapsed mass with the Gaussian tail beyond , giving the fraction in halos above .
where: — mass fraction in halos of mass ; — complementary error function; the factor is the famous correction. Reading it: as , and — the factor makes all mass end in halos. Differentiating and multiplying by gives the mass function.
where: — comoving number of halos per unit mass; — mean comoving matter density. Reading it: a mild power-law prefactor times a decisive exponential. All redshift dependence collapses into one self-similar variable, the peak height.
where: — dimensionless peak height; — linear growth factor with ; — present-day rms. Reading it: a fixed mass grows rarer at high as shrinks, driving up and the exponential down.
The goal is to extract the universal number without solving the full nonlinear problem: expand the parametric cycloid for small development angle to isolate the linearly growing mode, confirm it grows as as EdS linear theory demands, then extrapolate that mode to the collapse epoch . Although the true density diverges at collapse, the linear extrapolation is finite and universal — and this bookkeeping value is what the statistical theory needs.
Step 1. Write the exact overdensity as the sphere-to-background ratio, , using and . Why: casting both in removes and leaves a pure function.
Step 2. Taylor-expand for small : and , which combine to . Why: the term is the linearly growing mode; higher terms are the nonlinear ones we discard.
Step 3. Check the growth law: since , , so . Why: is exactly the EdS linear growth , so this is the genuine linear mode, extrapolable by linear rules.
Step 4. Extrapolate to collapse at , where , so and . Why: we feed the collapse time into the linear growing-mode expression, not the divergent exact one — the entire content of "linearly extrapolated to collapse". *Numerically, ; the same small- expansion evaluated at turnaround () gives , confirming that linear theory already underestimates the true contrast of at maximum expansion.*
Go deeper · Derivation B · 1 minThe virial overdensity of a collapsed halo
The goal is the second universal constant, , the density of a settled halo relative to the background at the moment its parent sphere would formally have collapsed to a point. The real sphere never reaches a singularity: violent relaxation converts infall energy into random motion, and the virial theorem pins the equilibrium radius at half the turnaround radius — a factor-of-eight density boost we combine with the fourfold dilution of the background.
Step 1. Apply the virial theorem with energy conservation (all energy is potential at turnaround, where ). With and , one finds . Why: halving the radius at fixed mass is the one input that makes the sphere a finite-density object.
Step 2. Halving the radius raises density by , so using equation (3). Why: density scales as radius at fixed mass, an exact factor of eight.
Step 3. Dilute the background: in EdS and , so . Why: the comparison must be at collapse, when the background has thinned by four.
Step 4. Assemble: . Why: turnaround overdensity , virial boost , and dilution multiply to the clean . *Numerically, ; the ΛCDM Bryan–Norman fit () gives times critical, i.e. times mean matter for today.*
Go deeper · Derivation C · 1 minThe Press–Schechter mass function and the factor of two
The goal is to turn the single-sphere threshold into a number density of halos, , and confront the notorious factor of two. The ansatz is a leap: identify the mass fraction bound in halos above with the probability that the linear field, smoothed on scale , exceeds . For a Gaussian field that is a tail; differentiating gives the abundance, but the naive normalization holds only half the mass — so we see where the factor of two enters and why excursion sets make it honest.
Step 1. Write the collapsed fraction as a Gaussian exceedance, , inserting the factor by hand. Why: without the , the integral gives as — absurdly, only half of all matter ever collapses; the factor forces on small scales.
Step 2. Convert mass fraction to number: each halo of mass holds mass , so . Why: is the mass per volume crossing into collapse in the bin; dividing by counts halos.
Step 3. Differentiate the erfc through with (and decreases with ): . Why: all mass dependence lives in , routed by the chain rule through .
Step 4. Repackage with into , i.e. with universal multiplicity . Why: in the cosmology-independence is manifest — cosmology enters only through and .
Step 5. Justify the factor of two: treat as a random walk in variance (sharp- filtering makes increments independent) with an absorbing barrier at . The first-crossing distribution integrates to — exactly twice the naive tail. Why: first crossings on all larger scales capture the cloud-in-cloud mass the tail misses, delivering the factor of two. *As a check, , confirming that the multiplicity function integrates to unity and all mass is accounted for in halos.*
Limiting cases
The two constants are exact only in Einstein–de Sitter, and the abundance splits into a common power-law regime and a rare exponential tail:
| Case | Result | Meaning |
|---|---|---|
| Einstein–de Sitter | Exact analytic constants; only weakly cosmology-dependent. | |
| ΛCDM correction | Bryan–Norman fit; times mean matter today for ; drifts only to . | |
| High-mass tail | Exponentially suppressed; sensitivity to and growth makes clusters a probe. | |
| Low-mass tail | Nearly scale-free; total mass dominated by small halos in hierarchical CDM. |
Worked examples
1 · The two universal constants, from scratch (confidence builder)
Find the linear collapse threshold, the turnaround overdensity, and the virial overdensity for an EdS sphere, then convert the last to a ΛCDM value for today.
Step 1. Linear threshold. With and , — the line every fluctuation must reach to count as collapsed.
Step 2. Turnaround overdensity. From equation (3) at , , so — already far beyond linear theory (which reads only here).
Step 3. Virial overdensity. Multiply turnaround overdensity by the virial boost and background dilution: — a halo times denser than the mean background at formation.
Step 4. ΛCDM correction. With , , the Bryan–Norman fit gives relative to critical density; dividing by gives the mean-matter reference — the familiar " mean, critical" of today's universe.
2 · Why massive clusters vanish at high redshift
A rich cluster corresponds to a mass scale with present-day rms . Using and growth factor , find the peak height and the abundance factor at and , and interpret the ratio.
Step 1. Present-day peak height. At , , so — a rare peak even today.
Step 2. Present-day suppression. The exponential factor is : rare, but rich clusters exist in appreciable numbers today.
Step 3. Peak height at . Growth has weakened to , so — the same mass is now a fluctuation, having had less time to grow.
Step 4. High- suppression and ratio. Now , so the abundance ratio is : rich clusters were roughly fifteen thousand times rarer at than today. A factor change in moving the count by four orders of magnitude is exactly why cluster abundance versus redshift probes , , and dark energy.
Physics of the portrait
A one-page 1974 paper, built on an idealization everyone knew was too simple, predicted cosmic structure well enough to still underlie cluster cosmology fifty years on.
Origins · 1 minpress–schechter formalism and how this was discovered
Counting galaxies and clusters from first principles began with a short, audacious 1974 paper by William H. Press and Paul Schechter at Caltech. They combined two ingredients everyone already had — the spherical-collapse threshold from the closed-universe cycloid (dynamics traceable to Gunn and Gott's 1972 infall study) and the Gaussian statistics of the density field — and made the daring identification of collapsed mass with the high-density tail. The derivation carried the now-infamous factor of two: their reasoning held only half the mass, so they doubled it, intuition ahead of justification. For fifteen years the formula was used and distrusted in equal measure, until Bond, Cole, Efstathiou and Kaiser (1991) recast it as an excursion-set problem — the smoothed density as a random walk in resolution, halos as first crossings of the barrier — producing the factor of two honestly. Sheth and Tormen (1999) then replaced the spherical barrier with an ellipsoidal one, and N-body-calibrated fits (Tinker and others) followed — but each corrects the skeleton rather than replacing it. The 1974 ansatz remains one of the most quoted approximations in all of cosmology.
Going further
Texts. Carroll and Ostlie, An Introduction to Modern Astrophysics, 2nd ed., Ch. 30 · Mo, van den Bosch and White, Galaxy Formation and Evolution, Ch. 7 · Binney and Tremaine, Galactic Dynamics, 2nd ed., §9.3–9.4 · Ryden, Introduction to Cosmology, 2nd ed., Ch. 12 · Dodelson, Modern Cosmology, 2nd ed., Ch. 12 · Press and Schechter, ApJ 187, 425 (1974) · Bond, Cole, Efstathiou and Kaiser, ApJ 379, 440 (1991) · Sheth and Tormen, MNRAS 308, 119 (1999). Standard values used throughout: , (EdS), , . Key intermediate results: the virial chain uses , density boost , and background dilution ; the multiplicity normalization is . Worked cluster numbers: at ; at ; abundance ratio . Bryan–Norman ΛCDM correction gives times mean matter for .
Prerequisites. Density Perturbations and the Density Contrast · Linear Growth of Structure · The Primordial Power Spectrum · Transfer Function and the Matter Power Spectrum · Jeans Instability and Cosmological Perturbation Regimes. Leads to. The ΛCDM Concordance Model · Cold Dark Matter · Baryon Acoustic Oscillations.
Ask the tutor: Ask me to walk through the small- cycloid expansion line by line, or to show how changing moves the cluster count at a mass and redshift you choose.
Why does a homogeneous sphere collapse exactly like a closed universe?
Birkhoff's theorem — the relativistic shell theorem — says a shell's dynamics inside a spherically symmetric distribution depend only on the enclosed mass; the exterior exerts no net force. A uniform overdense sphere therefore evolves as an isolated ball of matter, and such a ball with more than escape energy is precisely a closed () Friedmann universe, whose bound scale factor is the cycloid — so the model is exactly solvable by reusing the closed-FRW solution. The one idealization is that shells at different radii turn around at different times, which the single-density top-hat sidesteps.
What is the difference between δc and Δvir, since both describe collapse?
They live in different worlds. is a real, physical overdensity — a virialized halo's density over the background, the number a simulation uses to draw a halo boundary. is a linear-theory value — what the extrapolated linear density would reach at collapse, which never physically occurs because the true density has already diverged. Use to decide whether a region collapsed, and for what it looks like afterward. Comparing with as if they measured the same thing is the most common error in this subject.
Where does the factor of two really come from?
The tail integral counts only mass directly above on scale . But a point can sit below threshold on scale while lying inside a larger region that is above threshold — already swept into a bigger collapsed structure. The naive count misses exactly this cloud-in-cloud mass, and misses precisely half, so the collapsed fraction is instead of . Excursion sets fix it: follow the smoothed density versus resolution and declare a region collapsed if it ever crossed on any larger scale. Counting first crossings against an absorbing barrier recovers exactly twice the naive tail — turning the hand-inserted into a theorem.
What sets the characteristic mass M⋆ in the mass function?
is defined by , i.e. peak height . Below the field routinely clears the threshold, so halos are common with a mild power-law abundance; above it crossing needs a rare peak and the count plunges as . So is the knee separating abundant small halos from suppressed giants, and it grows with time: as rises through , ever larger masses reach — hierarchical, bottom-up assembly.
How does the primordial power spectrum enter the abundance of halos?
Entirely through . Equation (6) filters with a top-hat enclosing mass , so measures how much fluctuation power sits on each mass scale. A steeper or higher-amplitude raises , lowers , and multiplies massive-halo abundance exponentially. Everything upstream — the spectral index , the transfer function, the growth factor — reaches the mass function only by shaping , compressing all initial conditions into one function that hands back a countable prediction.
Why are cluster counts such a sensitive probe of cosmology?
Because clusters are the rare exponential tail. A modest change in or the growth history shifts only a little, but the abundance responds as , so a small shift in the exponent moves the count by orders of magnitude — worked example 2 shows a factor change in growth altering the abundance by . The leverage cuts both ways: it makes cluster counts a razor-sharp measure of structure growth and hence dark energy, but systematic errors in halo mass (lensing calibration, the mass–observable relation) propagate strongly — so much of modern cluster cosmology is calibrating mass well enough to exploit that sensitivity rather than be defeated by it.