How many halos? — the Press–Schechter mass function
Smooth the Gaussian density field on the scale of a mass M and ask what fraction of space has a linear density contrast above δ_c ≈ 1.69. Press and Schechter identified that fraction with the mass in halos heavier than M; differentiating it (and fixing a famous factor of two) gives the number of halos of each mass at each redshift.
The spherical collapse page gave a rule: a region has collapsed into a halo once its linear density contrast reaches δc≈1.69. The power spectrum page told us how big the linear fluctuations are on each scale. Put the two together and we can count halos. This is the Press–Schechter argument (William Press and Paul Schechter, 1974), and it is the subject of section 2.F of the 8.902 notes, at the end of the Lecture 16 notes. The aim is the halo mass function: the number density of halos of a given mass at a given redshift.
where ρcΩm=ρˉ is the mean matter density. To ask whether that mass has collapsed, we smooth the density field over regions of size R, averaging δ with a window function WR (for example a sphere of radius R):
Smoothed density field
δˉ(x)=∫d3yδ(y)WR(∣x−y∣)
In words
delta bar ( vector x ) equals the integral of d cubed y delta ( vector y ) W sub R (| vector x minus vector y |)
— the variance of the power spectrum page, with each mode weighted by the Fourier transform W^R of the window, which removes waves much shorter than R. [The notes print the prefactor as 1/2π and the window as W^R; with eq. (405) the prefactor is 1/2π2, and the window enters squared because δˉ is a convolution in real space, which becomes the product δ^W^R in Fourier space.] Larger M means larger R, more smoothing, and a smaller σR.
Inflation produces a Gaussian random field, so the smoothed contrast at any point follows a normal distribution with zero mean:
Probability distribution of the smoothed contrast
p(δˉ,z)=2πσR2(z)1e−δˉ2/2σR2(z),σR(z)=σRD(z)
In words
p( delta bar , z) equals 1 over the square root of 2 pi sigma sub R squared (z) e to the power minus delta bar squared /2 sigma sub R squared (z) , sigma sub R (z) equals sigma sub R D(z)
The central assumption: the probability that the smoothed contrast exceeds δc equals the fraction of volume (equivalently, of mass) in halos of mass M or more. Integrating the Gaussian tail,
Collapsed fraction
F(M,z)=∫δc∞dδˉp(δˉ,z)=21erfc(2σR(z)δc)
In words
F(M, z) equals the integral from delta sub c to infinity of d delta bar p( delta bar , z) equals one half erfc ( delta sub c over the square root of 2 sigma sub R (z) )
The fraction in halos with masses between M and M+dM is the change of F with M. Since M enters only through σR, use the chain rule, ∂/∂M=(dσR/dM)∂/∂σR (eq. 453; the notes print a "−" where "=" is meant), together with dxderfc(x)=−π2e−x2:
partial F over partial M equals d sigma sub R over dM delta sub c over the square root of 2 pi sigma sub R squared D(z) e to the power minus delta sub c squared /2 sigma sub R squared D squared (z) equals 1 over the square root of 2 pi delta sub c over sigma sub R D(z) d log sigma sub R over dM e to the power minus delta sub c squared /2 sigma sub R squared D squared (z)
so that (∂F/∂M)dM is the fraction of volume in halos of mass [M,M+dM] (eq. 455). [In the third line of eq. (454) the notes write 2πσR2, dropping a factor 1/σR; the last line, used from then on, is right. Also, σR falls as M grows, so dlnσR/dM<0 and F decreases with M; the fraction in the interval is ∣∂F/∂M∣dM. Here and below the magnitude is meant.]
A volume fraction is not yet a number of halos. Each halo of mass M came from a volume M/ρˉ=M/ρcΩm, so dividing by that volume gives the comoving number density:
1 over the square root of 2 pi rho sub c (z) omega sub m (z) delta sub c over sigma sub R D(z) d log sigma sub R over dM e to the power minus delta sub c squared /2 sigma sub R squared D squared (z) 1 over M
(the notes keep the label ∂F/∂M on the left of eq. 456; it is now a number density per unit mass). Now a check: summed over all masses, the volume fractions should add up to 1 — all matter is in some halo, however small:
Normalisation requirement
∫0∞dM∂M∂F(M,z)=1
In words
the integral from 0 to infinity of dM partial F(M, z) over partial M equals 1
[The notes print the upper limit as 1.] But the calculation gives only ½: as M→0, σR→∞ and F→21erfc(0)=21. Half the mass is missing. The notes simply multiply by 2 — the famous Press–Schechter "fudge factor" — to obtain the mass function:
N(M, z) equals the square root of 2 over pi rho sub c (z) omega sub m (z) delta sub c over sigma sub R D(z) d log sigma sub R over dM e to the power minus delta sub c squared /2 sigma sub R squared D squared (z) 1 over M
The missing half is the cloud-in-cloud problem. A point can have δˉ<δc when smoothed on scale R, yet δˉ>δc on some larger scale — it sits inside a bigger collapsed halo, but the simple argument doesn't count it. The notes refer to Problem Set 6 for the extended Press–Schechter (excursion-set) formalism, which follows δˉ as the smoothing scale shrinks, like a random walk, and counts the first crossing of δc; for a sharp-k window it gives exactly the factor 2. (This approach is due to Bond, Cole, Efstathiou and Kaiser, ApJ 379, 440, 1991; the original argument is Press and Schechter, ApJ 187, 425, 1974. Both references are added here; the notes don't give them.)
Everything depends on the single combination ν=δc/(σRD), the height of the collapse threshold in units of the typical fluctuation. Halos with ν≲1 are common: their scale has typically already collapsed. Halos with ν≫1 need rare, high peaks of the Gaussian, and the factor e−ν2/2 makes them exponentially rare. Since σR falls with mass, the mass function is roughly a power law at low masses and drops off exponentially above a characteristic mass M∗, where σ(M∗)D=δc. As the universe evolves, D grows, M∗ moves to larger masses, and ever bigger halos form — hierarchical growth.
Loading graph…
Computed from eq. (458) with an illustrative power law σ(M) = δ_c (M/M*)^(−(n+3)/6), where M* is today's characteristic mass (σ(M*) = δ_c). Then M²N/ρ̄ = √(2/π) α ν e^(−ν²/2) with α = (n+3)/6 and ν = δ_c/(σD): the fraction of mass per unit ln M. The real σ(M) follows from the processed power spectrum, with n_eff changing slowly with mass. The cutoff moves to lower masses at earlier times (smaller D), and the most massive halos are hit hardest.
Worked example
Massive clusters are rare — and rarer in the past
Suppose that today the linear rms fluctuation on the scale of a 1015M⊙ cluster is σ=0.5 (an illustrative round number). Using the Press–Schechter collapsed fraction, with the factor 2, F=erfc(ν/2), ν=δc/(σD): what fraction of all mass is in halos at least this heavy today, and at z=1 in an Einstein–de Sitter universe?
Today
ν=1.686/0.5=3.37, so F=erfc(3.37/2)=erfc(2.38)≈7.5×10−4: less than 0.1% of the mass is in such clusters.
At z = 1
In Einstein–de Sitter D∝a, so D=1/2 at z=1 and ν=6.74. Then F=erfc(4.77)≈1.5×10−11.
Lesson
Halving the growth factor cuts the abundance by a factor of about 5×107. Because the number of massive clusters depends exponentially on σ8 and on how fast D grows (which depends on Ωm and Λ), counting clusters at different redshifts is a sensitive cosmological test.
A halo of mass M comes from a region of radius R(M)=(3M/4πρˉ)1/3; smoothing the linear field on that scale gives a Gaussian δˉ with variance σR2=2π21∫k2P(k)∣W^R∣2dk, growing as D(z).
Press–Schechter: the fraction of space with δˉ>δc≈1.69, F=21erfc(δc/2σRD), is the fraction of mass in halos heavier than M.
Differentiating and dividing by M/ρˉ gives the number density; a factor 2 is needed to put all the mass in halos (the cloud-in-cloud problem, explained by the excursion-set approach).
The result depends on ν=δc/σRD: a power law at low masses, an exponential cutoff above M∗ that moves to larger masses with time. Massive clusters are exponentially rare, especially at high redshift.