Spherical Collapse and the Press-Schechter Formalism

Linear perturbation theory is exact only while the density contrast is small; the instant a fluctuation reaches δ∼1\delta\sim1 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 δ\delta 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 k>0k>0 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 δc=320(12π)2/3≈1.686\delta_c=\tfrac{3}{20}(12\pi)^{2/3}\approx1.686: the value that linear theory, naively extrapolated, assigns to a perturbation at the moment the real object collapses. The second is the virial overdensity Δvir=18π2≈178\Delta_{\mathrm{vir}}=18\pi^2\approx178, 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 δc\delta_c when smoothed on the mass scale MM, and halo abundance falls out as an error function of the peak height ν=δc/σ(M)\nu=\delta_c/\sigma(M). 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.

Key takeaways
  • A uniform overdense sphere collapses like a closed sub-universe; its radius follows a cycloid with turnaround at η=π\eta=\pi and collapse at η=2π\eta=2\pi, so tcol=2 ttat_{\mathrm{col}}=2\,t_{\mathrm{ta}}.
  • The model delivers two universal constants in an Einstein–de Sitter background: the collapse threshold δc≈1.686\delta_c\approx1.686 and the virial overdensity Δvir=18π2≈178\Delta_{\mathrm{vir}}=18\pi^2\approx178.
  • Press–Schechter equates the mass fraction in halos above MM with the Gaussian probability that the linearly-extrapolated smoothed density exceeds δc\delta_c, so abundances follow from ν=δc/σ\nu=\delta_c/\sigma.
  • The mass function has a universal shape: a near power-law at low mass and an exponential cutoff e−ν2/2e^{-\nu^2/2} above the characteristic mass M∗M_\ast where σ=δc\sigma=\delta_c, 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 δc≈1.686\delta_c\approx1.686, then read halo abundances off the Gaussian statistics of the smoothed linear density field through ν=δc/σ(M)\nu=\delta_c/\sigma(M).
The core insight

Reduce nonlinear collapse to a single number δc≈1.686\delta_c\approx1.686, the linear density contrast at collapse, then read halo abundances off the Gaussian statistics of the smoothed linear field via the peak height ν=δc/σ(M)\nu=\delta_c/\sigma(M).

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 dn/dM(z)\mathrm{d}n/\mathrm{d}M(z) 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 σ8\sigma_8 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 σ8\sigma_8 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.

Figure
Radius of a top-hat sphere versus time as a cycloid: it expands, turns around at r = 2A when η = π, and collapses at t = 2πB = twice the turnaround time, while the background scale factor a ∝ t^(2/3) keeps growing. Virialization halts the fall at r = r_ta divided by 2, and the true overdensity at turnaround is 1 + δ = 9π²/16 ≈ 5.55
The cycloid: a bound sphere expands, turns around at η = π, and collapses at t = 2 t_ta cosmic time t (units of B) sphere radius r (units of A) r_vir = r_ta / 2 → Δvir = 18π² ≈ 178 turnaround r = 2A t_ta = πB t_col = 2πB collapse background a ∝ t^(2/3) expands with the flow

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 δ\delta read at the moment the real sphere collapses? The answer is a fixed universal number, δc≈1.686\delta_c\approx1.686, 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.

Figure
Linear versus true nonlinear overdensity of the same sphere through collapse. The linearly-extrapolated contrast (blue) grows smoothly as t^(2/3) and reaches exactly δc = 1.686 at collapse, whereas the true nonlinear contrast (red) passes 1 + δ = 5.55 at turnaround and formally diverges — real halos are caught by virialization at Δvir ≈ 178 times the background
The punchline: linear δ hits δc = 1.686 at collapse; the true halo settles at Δvir ≈ 178 0.1 1 10 100 1000 density contrast δ (log scale) cosmic time (turnaround → collapse) δc = 1.686 linear collapse threshold Δvir = 18π² ≈ 178 1 + δ = 5.55 (turnaround) δ → ∞ linear extrapolation true nonlinear collapse

The Press–Schechter step is then a level-crossing count on the linear field. Smooth it on the scale enclosing mass MM; the rms is σ(M)\sigma(M), and the fraction above δc\delta_c is collapsed. Shrink MM and σ\sigma rises, so more of the field clears the threshold — low-mass halos common, high-mass halos (where σ<δc\sigma<\delta_c) exponentially rare. That rarity, the Gaussian tail e−ν2/2e^{-\nu^2/2}, 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 MM, its outer shell obeys r¨=−GM/r2\ddot r=-GM/r^2 with M=4π3ρˉi(1+δi)ri3M=\tfrac{4\pi}{3}\bar\rho_i(1+\delta_i)r_i^3 conserved. Integrating gives 12r˙2−GM/r=E\tfrac12\dot r^2-GM/r=E, and for a bound sphere (E<0E<0) the solution is a cycloid in a development angle η\eta.

r=A(1−cos⁡η),t=B(η−sin⁡η),A3=GMB2(1)r=A(1-\cos\eta),\qquad t=B(\eta-\sin\eta),\qquad A^3=GMB^2 \qquad (1)

where: rr — physical radius; η\eta — development angle running 0→2π0\to2\pi; A,BA,B — constants set by the sphere's energy and mass; MM — enclosed (conserved) mass. Reading it: η\eta is the natural clock, A,BA,B set the scale. The special epochs sit at fixed η\eta: maximum radius at η=π\eta=\pi, formal collapse at η=2π\eta=2\pi, so collapse takes exactly twice as long as turnaround.

rta=2A,tta=πB,tcol=2πB=2 tta(2)r_{\mathrm{ta}}=2A,\quad t_{\mathrm{ta}}=\pi B,\quad t_{\mathrm{col}}=2\pi B=2\,t_{\mathrm{ta}} \qquad (2)

where: rtar_{\mathrm{ta}} — turnaround radius, at η=π\eta=\pi; ttat_{\mathrm{ta}} — turnaround time; tcolt_{\mathrm{col}} — formal collapse time, at η=2π\eta=2\pi. Reading it: the factor of two is exact and cosmology-independent. Comparing ρsph∝r−3\rho_{\mathrm{sph}}\propto r^{-3} to the EdS background ρˉ∝t−2\bar\rho\propto t^{-2} gives the true nonlinear overdensity at any η\eta; at turnaround it is a pure number.

1+δta=92(η−sin⁡η)2(1−cos⁡η)3∣η=π=9π216≈5.55(3)1+\delta_{\mathrm{ta}}=\frac{9}{2}\frac{(\eta-\sin\eta)^2}{(1-\cos\eta)^3}\bigg|_{\eta=\pi}=\frac{9\pi^2}{16}\approx5.55 \qquad (3)

where: δta\delta_{\mathrm{ta}} — true nonlinear density contrast at turnaround. Reading it: at maximum expansion the sphere is already 5.555.55 times the background — well beyond linear theory, whose δ\delta there reads only ≈1.06\approx1.06. Extrapolating instead the linear growing mode to the collapse time yields the central constant.

δc=320(12π)2/3≈1.686(4)\delta_c=\frac{3}{20}(12\pi)^{2/3}\approx1.686 \qquad (4)

where: δc\delta_c — 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 σ(M)\sigma(M). Requiring the sphere to virialize at half its turnaround radius, then diluting the background, fixes the halo's overdensity.

Δvir≡ρhaloρˉ=18π2≈178(5)\Delta_{\mathrm{vir}}\equiv\frac{\rho_{\mathrm{halo}}}{\bar\rho}=18\pi^2\approx178 \qquad (5)

where: ρhalo\rho_{\mathrm{halo}} — mean density of the virialized halo; ρˉ\bar\rho — background density at collapse. Reading it: the physical overdensity defining a halo boundary — origin of the '∼200×\sim200\times 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 RR (enclosing mass MM) gives the variance.

σ2(M)=12π2∫0∞P(k) W~2(kR) k2 dk,M=4π3ρˉR3(6)\sigma^2(M)=\frac{1}{2\pi^2}\int_0^\infty P(k)\,\tilde W^2(kR)\,k^2\,\mathrm{d}k,\qquad M=\frac{4\pi}{3}\bar\rho R^3 \qquad (6)

where: σ2(M)\sigma^2(M) — variance of the smoothed field; P(k)P(k) — linear matter power spectrum; W~(kR)\tilde W(kR) — Fourier transform of the top-hat; ρˉ\bar\rho — mean comoving matter density. Reading it: all cosmology enters the abundance through this one function σ(M)\sigma(M). The ansatz identifies collapsed mass with the Gaussian tail beyond δc\delta_c, giving the fraction in halos above MM.

F(>M)=22π σ∫δc∞e−δ2/2σ2 dδ=erfc ⁣(δc2 σ)(7)F(>M)=\frac{2}{\sqrt{2\pi}\,\sigma}\int_{\delta_c}^{\infty}e^{-\delta^2/2\sigma^2}\,\mathrm{d}\delta=\mathrm{erfc}\!\left(\frac{\delta_c}{\sqrt2\,\sigma}\right) \qquad (7)

where: F(>M)F(>M) — mass fraction in halos of mass ≥M\ge M; erfc\mathrm{erfc} — complementary error function; the factor 22 is the famous correction. Reading it: as M→0M\to0, σ→∞\sigma\to\infty and F→1F\to1 — the factor 22 makes all mass end in halos. Differentiating FF and multiplying by ρˉ/M\bar\rho/M gives the mass function.

dndM=2π ρˉM2 δcσ∣dln⁡σdln⁡M∣e−δc2/2σ2(8)\frac{\mathrm{d}n}{\mathrm{d}M}=\sqrt{\frac{2}{\pi}}\,\frac{\bar\rho}{M^2}\,\frac{\delta_c}{\sigma}\left|\frac{\mathrm{d}\ln\sigma}{\mathrm{d}\ln M}\right|e^{-\delta_c^2/2\sigma^2} \qquad (8)

where: dn/dM\mathrm{d}n/\mathrm{d}M — comoving number of halos per unit mass; ρˉ\bar\rho — 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.

ν≡δc(z)σ(M)=δcD(z) σ0(M)(9)\nu\equiv\frac{\delta_c(z)}{\sigma(M)}=\frac{\delta_c}{D(z)\,\sigma_0(M)} \qquad (9)

where: ν\nu — dimensionless peak height; D(z)D(z) — linear growth factor with D(0)=1D(0)=1; σ0(M)\sigma_0(M) — present-day rms. Reading it: a fixed mass grows rarer at high zz as DD shrinks, driving ν\nu up and the exponential down.

Derivation AThe linear collapse threshold from the cycloid solution

The goal is to extract the universal number δc≈1.686\delta_c\approx1.686 without solving the full nonlinear problem: expand the parametric cycloid for small development angle to isolate the linearly growing mode, confirm it grows as t2/3t^{2/3} as EdS linear theory demands, then extrapolate that mode to the collapse epoch η=2π\eta=2\pi. 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, 1+δ=92(η−sin⁡η)2/(1−cos⁡η)31+\delta=\tfrac{9}{2}(\eta-\sin\eta)^2/(1-\cos\eta)^3, using ρsph∝r−3∝(1−cos⁡η)−3\rho_{\mathrm{sph}}\propto r^{-3}\propto(1-\cos\eta)^{-3} and ρˉ∝t−2∝(η−sin⁡η)−2\bar\rho\propto t^{-2}\propto(\eta-\sin\eta)^{-2}. Why: casting both in η\eta removes A,BA,B and leaves a pure function.

Step 2. Taylor-expand for small η\eta: η−sin⁡η≈η36(1−η220)\eta-\sin\eta\approx\tfrac{\eta^3}{6}(1-\tfrac{\eta^2}{20}) and 1−cos⁡η≈η22(1−η212)1-\cos\eta\approx\tfrac{\eta^2}{2}(1-\tfrac{\eta^2}{12}), which combine to 1+δ≈1+320η21+\delta\approx1+\tfrac{3}{20}\eta^2. Why: the 320η2\tfrac{3}{20}\eta^2 term is the linearly growing mode; higher terms are the nonlinear ones we discard.

Step 3. Check the growth law: since t=B(η−sin⁡η)≈Bη3/6t=B(\eta-\sin\eta)\approx B\eta^3/6, η2∝t2/3\eta^2\propto t^{2/3}, so δlin=320η2∝t2/3\delta_{\mathrm{lin}}=\tfrac{3}{20}\eta^2\propto t^{2/3}. Why: t2/3t^{2/3} is exactly the EdS linear growth D∝a∝t2/3D\propto a\propto t^{2/3}, so this is the genuine linear mode, extrapolable by linear rules.

Step 4. Extrapolate to collapse at η=2π\eta=2\pi, where tcol=2πBt_{\mathrm{col}}=2\pi B, so 6tcol/B=12π6t_{\mathrm{col}}/B=12\pi and δc=320(6tcol/B)2/3=320(12π)2/3\delta_c=\tfrac{3}{20}(6t_{\mathrm{col}}/B)^{2/3}=\tfrac{3}{20}(12\pi)^{2/3}. 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, 320(12π)2/3=1.6865\tfrac{3}{20}(12\pi)^{2/3}=1.6865; the same small-η\eta expansion evaluated at turnaround (η=π\eta=\pi) gives δlin(η=π)=320(6π)2/3=1.06\delta_{\mathrm{lin}}(\eta=\pi)=\tfrac{3}{20}(6\pi)^{2/3}=1.06, confirming that linear theory already underestimates the true contrast of 4.554.55 at maximum expansion.*

Go deeper · Derivation B · 1 minThe virial overdensity of a collapsed halo
Derivation BThe virial overdensity of a collapsed halo

The goal is the second universal constant, Δvir=18π2≈178\Delta_{\mathrm{vir}}=18\pi^2\approx178, 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 2K+U=02K+U=0 with energy conservation E=U(rta)E=U(r_{\mathrm{ta}}) (all energy is potential at turnaround, where r˙=0\dot r=0). With E=U/2E=U/2 and U∝−1/rU\propto-1/r, one finds rvir=12rtar_{\mathrm{vir}}=\tfrac12 r_{\mathrm{ta}}. 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 23=82^3=8, so ρvir=8 ρta=8⋅9π216 ρˉta\rho_{\mathrm{vir}}=8\,\rho_{\mathrm{ta}}=8\cdot\tfrac{9\pi^2}{16}\,\bar\rho_{\mathrm{ta}} using equation (3). Why: density scales as radius−3^{-3} at fixed mass, an exact factor of eight.

Step 3. Dilute the background: in EdS ρˉ∝t−2\bar\rho\propto t^{-2} and tcol=2 ttat_{\mathrm{col}}=2\,t_{\mathrm{ta}}, so ρˉcol=ρˉta(tta/tcol)2=ρˉta/4\bar\rho_{\mathrm{col}}=\bar\rho_{\mathrm{ta}}(t_{\mathrm{ta}}/t_{\mathrm{col}})^2=\bar\rho_{\mathrm{ta}}/4. Why: the comparison must be at collapse, when the background has thinned by four.

Step 4. Assemble: Δvir=ρvir/ρˉcol=8⋅9π216⋅4=18π2≈178\Delta_{\mathrm{vir}}=\rho_{\mathrm{vir}}/\bar\rho_{\mathrm{col}}=8\cdot\tfrac{9\pi^2}{16}\cdot4=18\pi^2\approx178. Why: turnaround overdensity 9π216\tfrac{9\pi^2}{16}, virial boost 88, and dilution 44 multiply to the clean 18π218\pi^2. *Numerically, 18π2=177.6518\pi^2=177.65; the ΛCDM Bryan–Norman fit Δvir≈18π2+82x−39x2\Delta_{\mathrm{vir}}\approx18\pi^2+82x-39x^2 (x=Ωm(z)−1x=\Omega_m(z)-1) gives ≈101\approx101 times critical, i.e. ≈337\approx337 times mean matter for Ωm=0.3\Omega_m=0.3 today.*

Go deeper · Derivation C · 1 minThe Press–Schechter mass function and the factor of two
Derivation CThe Press–Schechter mass function and the factor of two

The goal is to turn the single-sphere threshold into a number density of halos, dn/dM\mathrm{d}n/\mathrm{d}M, and confront the notorious factor of two. The ansatz is a leap: identify the mass fraction bound in halos above MM with the probability that the linear field, smoothed on scale MM, exceeds δc\delta_c. 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, F(>M)=22πσ∫δc∞e−δ2/2σ2dδ=erfc(δc/2σ)F(>M)=\tfrac{2}{\sqrt{2\pi}\sigma}\int_{\delta_c}^{\infty}e^{-\delta^2/2\sigma^2}\mathrm{d}\delta=\mathrm{erfc}(\delta_c/\sqrt2\sigma), inserting the factor 22 by hand. Why: without the 22, the integral gives 12\tfrac12 as σ→∞\sigma\to\infty — absurdly, only half of all matter ever collapses; the factor forces F→1F\to1 on small scales.

Step 2. Convert mass fraction to number: each halo of mass MM holds mass MM, so dndMM dM=ρˉ ∣dF/dM∣ dM\tfrac{\mathrm{d}n}{\mathrm{d}M}M\,\mathrm{d}M=\bar\rho\,|\mathrm{d}F/\mathrm{d}M|\,\mathrm{d}M. Why: ρˉ dF\bar\rho\,\mathrm{d}F is the mass per volume crossing into collapse in the bin; dividing by MM counts halos.

Step 3. Differentiate the erfc through σ(M)\sigma(M) with ddxerfc(x)=−2πe−x2\tfrac{\mathrm{d}}{\mathrm{d}x}\mathrm{erfc}(x)=-\tfrac{2}{\sqrt\pi}e^{-x^2} (and σ\sigma decreases with MM): dFdM=2πδcσ2dσdMe−δc2/2σ2\tfrac{\mathrm{d}F}{\mathrm{d}M}=\sqrt{\tfrac{2}{\pi}}\tfrac{\delta_c}{\sigma^2}\tfrac{\mathrm{d}\sigma}{\mathrm{d}M}e^{-\delta_c^2/2\sigma^2}. Why: all mass dependence lives in σ(M)\sigma(M), routed by the chain rule through dln⁡σ/dln⁡M\mathrm{d}\ln\sigma/\mathrm{d}\ln M.

Step 4. Repackage with ν=δc/σ\nu=\delta_c/\sigma into dndM=2πρˉM2ν ∣dln⁡σ/dln⁡M∣ e−ν2/2\tfrac{\mathrm{d}n}{\mathrm{d}M}=\sqrt{\tfrac{2}{\pi}}\tfrac{\bar\rho}{M^2}\nu\,|\mathrm{d}\ln\sigma/\mathrm{d}\ln M|\,e^{-\nu^2/2}, i.e. M2ρˉdndM=νf(ν)∣dln⁡σ/dln⁡M∣\tfrac{M^2}{\bar\rho}\tfrac{\mathrm{d}n}{\mathrm{d}M}=\nu f(\nu)|\mathrm{d}\ln\sigma/\mathrm{d}\ln M| with universal multiplicity f(ν)=2πe−ν2/2f(\nu)=\sqrt{\tfrac{2}{\pi}}e^{-\nu^2/2}. Why: in ν\nu the cosmology-independence is manifest — cosmology enters only through σ(M)\sigma(M) and δc(z)\delta_c(z).

Step 5. Justify the factor of two: treat δ\delta as a random walk in variance S=σ2S=\sigma^2 (sharp-kk filtering makes increments independent) with an absorbing barrier at δc\delta_c. The first-crossing distribution f(S)=δc2πS3/2e−δc2/2Sf(S)=\tfrac{\delta_c}{\sqrt{2\pi}S^{3/2}}e^{-\delta_c^2/2S} integrates to F=erfc(δc/2S)F=\mathrm{erfc}(\delta_c/\sqrt{2S}) — 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, ∫0∞f(ν) dν=2π∫0∞e−ν2/2dν=1\int_0^\infty f(\nu)\,\mathrm{d}\nu=\sqrt{\tfrac{2}{\pi}}\int_0^\infty e^{-\nu^2/2}\mathrm{d}\nu=1, 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:

CaseResultMeaning
Einstein–de Sitterδc=320(12π)2/3≈1.686, Δvir=18π2≈178\delta_c=\tfrac{3}{20}(12\pi)^{2/3}\approx1.686,\ \Delta_{\mathrm{vir}}=18\pi^2\approx178Exact analytic constants; only weakly cosmology-dependent.
ΛCDM correctionΔvir(z)≈18π2+82x−39x2, x≡Ωm(z)−1\Delta_{\mathrm{vir}}(z)\approx18\pi^2+82x-39x^2,\ x\equiv\Omega_m(z)-1Bryan–Norman fit; ≈340\approx340 times mean matter today for Ωm≈0.3\Omega_m\approx0.3; δc\delta_c drifts only to ≈1.675\approx1.675.
High-mass tail ν≫1\nu\gg1dndln⁡M∝ν e−ν2/2\dfrac{\mathrm{d}n}{\mathrm{d}\ln M}\propto\nu\,e^{-\nu^2/2}Exponentially suppressed; sensitivity to σ8\sigma_8 and growth makes clusters a probe.
Low-mass tail ν≪1\nu\ll1dndM∝M−2∣dln⁡σdln⁡M∣\dfrac{\mathrm{d}n}{\mathrm{d}M}\propto M^{-2}\left\vert\dfrac{\mathrm{d}\ln\sigma}{\mathrm{d}\ln M}\right\vertNearly 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 Ωm=0.3\Omega_m=0.3 today.

Step 1. Linear threshold. With 12π=37.69912\pi=37.699 and 37.6992/3=11.24337.699^{2/3}=11.243, δc=0.15×11.243=1.686\delta_c=0.15\times11.243=\mathbf{1.686} — the line every fluctuation must reach to count as collapsed.

Step 2. Turnaround overdensity. From equation (3) at η=π\eta=\pi, 1+δta=9π2/16=5.551+\delta_{\mathrm{ta}}=9\pi^2/16=\mathbf{5.55}, so δta=4.55\delta_{\mathrm{ta}}=4.55 — already far beyond linear theory (which reads only 1.061.06 here).

Step 3. Virial overdensity. Multiply turnaround overdensity by the virial boost and background dilution: Δvir=9π216×8×4=18π2=177.7\Delta_{\mathrm{vir}}=\tfrac{9\pi^2}{16}\times8\times4=18\pi^2=\mathbf{177.7} — a halo ≈178\approx178 times denser than the mean background at formation.

Step 4. ΛCDM correction. With Ωm=0.3\Omega_m=0.3, x=−0.7x=-0.7, the Bryan–Norman fit gives Δvir=177.7−57.4−19.1=101\Delta_{\mathrm{vir}}=177.7-57.4-19.1=\mathbf{101} relative to critical density; dividing by Ωm\Omega_m gives the mean-matter reference 101/0.3≈337101/0.3\approx\mathbf{337} — the familiar "∼340×\sim340\times mean, ∼100×\sim100\times 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 σ0=0.5\sigma_0=0.5. Using δc=1.686\delta_c=1.686 and growth factor D(z=1)≈0.61D(z{=}1)\approx0.61, find the peak height ν\nu and the abundance factor e−ν2/2e^{-\nu^2/2} at z=0z=0 and z=1z=1, and interpret the ratio.

Step 1. Present-day peak height. At z=0z=0, D=1D=1, so ν(0)=δc/[D σ0]=1.686/0.5=3.37\nu(0)=\delta_c/[D\,\sigma_0]=1.686/0.5=\mathbf{3.37} — a rare 3.4σ3.4\sigma peak even today.

Step 2. Present-day suppression. The exponential factor is e−ν2/2=e−5.68=3.4×10−3e^{-\nu^2/2}=e^{-5.68}=\mathbf{3.4\times10^{-3}}: rare, but rich clusters exist in appreciable numbers today.

Step 3. Peak height at z=1z=1. Growth has weakened to D(1)=0.61D(1)=0.61, so ν(1)=1.686/(0.61×0.5)=5.53\nu(1)=1.686/(0.61\times0.5)=\mathbf{5.53} — the same mass is now a 5.5σ5.5\sigma fluctuation, having had less time to grow.

Step 4. High-zz suppression and ratio. Now e−ν2/2=e−15.3=2.3×10−7e^{-\nu^2/2}=e^{-15.3}=\mathbf{2.3\times10^{-7}}, so the abundance ratio is 3.4×10−3/2.3×10−7≈1.5×1043.4\times10^{-3}/2.3\times10^{-7}\approx\mathbf{1.5\times10^{4}}: rich clusters were roughly fifteen thousand times rarer at z=1z=1 than today. A factor ∼2\sim2 change in DD moving the count by four orders of magnitude is exactly why cluster abundance versus redshift probes σ8\sigma_8, Ωm\Omega_m, 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
PF
press–schechter formalism
halo abundances from spherical collapse and Gaussian statistics, 1974 · nonlinear cosmological structure formation

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 δc\delta_c 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 δc\delta_c — 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.

History
1972
— Gunn and Gott model spherical infall onto an overdensity, formalizing turnaround and collapse
1974
— Press and Schechter derive the halo mass function and insert the factor of two by hand
1985
— Davis, Efstathiou, Frenk and White cold dark matter N-body simulations test the mass function
1991
— Bond, Cole, Efstathiou and Kaiser derive the excursion-set justification of the factor of two
1999
— Sheth and Tormen fit an ellipsoidal-collapse mass function to simulations
2008
— Tinker and collaborators publish a high-precision N-body-calibrated mass function

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: δc=320(12π)2/3=1.6865\delta_c=\tfrac{3}{20}(12\pi)^{2/3}=1.6865, Δvir=18π2=177.65\Delta_{\mathrm{vir}}=18\pi^2=177.65 (EdS), 1+δta=9π2/16=5.551+\delta_{\mathrm{ta}}=9\pi^2/16=5.55, δlin(turnaround)=1.06\delta_{\mathrm{lin}}(\text{turnaround})=1.06. Key intermediate results: the virial chain uses rvir=rta/2r_{\mathrm{vir}}=r_{\mathrm{ta}}/2, density boost 88, and background dilution 44; the multiplicity normalization is ∫0∞f(ν) dν=1\int_0^\infty f(\nu)\,\mathrm{d}\nu=1. Worked cluster numbers: ν=3.37→e−ν2/2=3.4×10−3\nu=3.37\to e^{-\nu^2/2}=3.4\times10^{-3} at z=0z=0; ν=5.53→2.3×10−7\nu=5.53\to2.3\times10^{-7} at z=1z=1; abundance ratio ≈1.5×104\approx1.5\times10^4. Bryan–Norman ΛCDM correction gives Δvir≈340\Delta_{\mathrm{vir}}\approx340 times mean matter for Ωm=0.3\Omega_m=0.3.

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-η\eta cycloid expansion line by line, or to show how changing σ8\sigma_8 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 (k>0k>0) Friedmann universe, whose bound scale factor is the cycloid r=A(1−cos⁡η)r=A(1-\cos\eta) — 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. Δvir≈178\Delta_{\mathrm{vir}}\approx178 is a real, physical overdensity — a virialized halo's density over the background, the number a simulation uses to draw a halo boundary. δc≈1.686\delta_c\approx1.686 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 δc\delta_c to decide whether a region collapsed, and Δvir\Delta_{\mathrm{vir}} for what it looks like afterward. Comparing 1.6861.686 with 178178 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 δc\delta_c on scale MM. But a point can sit below threshold on scale MM 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 12\tfrac12 instead of 11. Excursion sets fix it: follow the smoothed density versus resolution and declare a region collapsed if it ever crossed δc\delta_c on any larger scale. Counting first crossings against an absorbing barrier recovers exactly twice the naive tail — turning the hand-inserted 22 into a theorem.

What sets the characteristic mass M⋆ in the mass function?

M∗M_\ast is defined by σ(M∗,z)=δc\sigma(M_\ast,z)=\delta_c, i.e. peak height ν=1\nu=1. Below M∗M_\ast 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 e−ν2/2e^{-\nu^2/2}. So M∗M_\ast is the knee separating abundant small halos from suppressed giants, and it grows with time: as σ\sigma rises through D(z)D(z), ever larger masses reach ν=1\nu=1 — hierarchical, bottom-up assembly.

How does the primordial power spectrum enter the abundance of halos?

Entirely through σ(M)\sigma(M). Equation (6) filters P(k)P(k) with a top-hat enclosing mass MM, so σ(M)\sigma(M) measures how much fluctuation power sits on each mass scale. A steeper or higher-amplitude P(k)P(k) raises σ\sigma, lowers ν=δc/σ\nu=\delta_c/\sigma, and multiplies massive-halo abundance exponentially. Everything upstream — the spectral index nsn_s, the transfer function, the growth factor D(z)D(z) — reaches the mass function only by shaping σ(M,z)\sigma(M,z), 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 σ8\sigma_8 or the growth history shifts ν=δc/σ\nu=\delta_c/\sigma only a little, but the abundance responds as e−ν2/2e^{-\nu^2/2}, so a small shift in the exponent moves the count by orders of magnitude — worked example 2 shows a factor ∼2\sim2 change in growth altering the abundance by 10410^4. 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.

Before this

Where this leads