Galaxy Redshift Surveys
A galaxy redshift survey is a systematic program to measure angular positions and spectroscopic redshifts for a well-defined sample of galaxies over a chosen sky area and depth. Each redshift, read from the shift of spectral lines, is turned into a line-of-sight distance through a fiducial cosmology, so a two-dimensional catalogue on the sky becomes a three-dimensional map of where matter sits. Those maps delivered one of the twentieth century's great empirical surprises: galaxies are not sprinkled at random but woven into a cosmic web of filaments, sheets, clusters, and cavernous voids — the amplified fossil of the primordial density perturbations, developed by gravity across cosmic time. The power of a survey lies not in any single wall or void but in the statistics of the whole field. The two-point correlation function measures the excess probability, over a random Poisson field, of finding a pair of galaxies separated by comoving distance ; its Fourier transform is the power spectrum . On large scales both track the matter power spectrum fixed by early-universe physics and the transfer function, but seen through two filters: galaxies are biased tracers of mass, and the redshift used for distance mixes pure expansion with each galaxy's peculiar velocity. Two features convert these maps into precision cosmology: the baryon acoustic oscillations imprint a fixed comoving scale, the sound horizon at the drag epoch , that acts as a standard ruler for distance and expansion rate; and the anisotropy of clustering in redshift space measures the linear growth rate , a direct test of gravity. From CfA through 2dFGRS, SDSS/BOSS/eBOSS, and now DESI, these datasets anchor the CDM concordance model.
- A galaxy redshift survey measures angular positions and spectroscopic redshifts for large samples, then converts them into a 3D map through a cosmological distance–redshift relation.
- The primary products are the two-point correlation function and its Fourier transform, the power spectrum , quantifying how galaxies cluster relative to random.
- Galaxies are biased tracers, so on large scales, and the redshift mixes expansion with peculiar velocity, adding redshift-space distortions.
- The baryon acoustic feature at () is a standard ruler constraining and ; the Kaiser anisotropy yields the growth combination , testing gravity.
- From CfA through 2dFGRS, SDSS/BOSS/eBOSS, to DESI (tens of millions of redshifts), surveys now deliver percent-level cosmological constraints.
- Key idea: by tagging every galaxy with a redshift, a survey builds a 3D map whose clustering statistics — and — carry both the shape of the matter power spectrum (early-universe physics + growth) and standard-ruler/standard-clock features (BAO, RSD) that constrain the cosmic expansion history and the growth of structure.
Where this lives today
Redshift surveys are the front line of observational cosmology. The Dark Energy Spectroscopic Instrument (DESI), which began its main survey in 2021 from Kitt Peak, uses 5000 robotic fibres to record thousands of spectra per exposure and charts the expansion history from out to through the Lyman- forest; its early BAO results already deliver sub-percent distances and have hinted, at modest significance, that dark energy may not be a pure cosmological constant. The complementary Euclid space telescope, launched in 2023, combines BAO and redshift-space distortions with weak lensing. Analysis has moved beyond the bump: "full-shape" fits model the entire anisotropic with effective field theory, extracting , , and at once, while reconstruction runs the density field backwards to sharpen the peak that nonlinear evolution has smeared. The open frontiers are concrete — whether tracks the general-relativistic prediction or reveals modified gravity, whether the equation of state deviates from , and whether the mild survey–CMB tensions in clustering amplitude survive the next decade of data.
The physical picture
Begin with the raw idea of clustering. Drop points at random and the chance of a neighbour in a shell of volume at distance is just proportional to — no memory, no structure. Galaxies are not random: gravity has pulled them together for billions of years, so there is an excess probability of finding a pair at separation , and that excess is exactly the correlation function . Measuring how falls off with measures the accumulated memory of gravity acting on the primordial fluctuations. The power spectrum is the same information sorted by wavelength: large scales () carry the near-scale-invariant primordial spectrum, the broad turnover near marks matter–radiation equality, and the small-scale slope encodes the transfer function and the cold-dark-matter content. A redshift is a cheap third dimension: instead of a hard direct distance, one takes a spectrum and reads the shift of known lines. But that shift is contaminated by each galaxy's own motion. Inside a collapsed cluster, virial velocities of smear members into radial "fingers" pointing at the observer; on larger scales, coherent infall compresses structure along the line of sight — the Kaiser effect. The distortion is not noise: its amplitude measures the growth rate of structure. The first figure makes these distortions concrete for a single cluster.
The BAO feature is a second gift in the same map — a ruler frozen into the galaxy distribution. Before recombination the photon–baryon plasma rang with sound waves; each initial overdensity launched a spherical shell that travelled a fixed comoving distance before the baryons were released, and galaxies later formed preferentially both at the original peak and on that shell. The result is a faint excess of pairs at that separation — a localized bump in near and a train of wiggles in . Because the scale is set by well-understood linear physics, seeing the bump at redshift tells you the distance to that redshift. The second figure is the observable itself.
The core equations
Everything a survey reports is built on the density contrast — the dimensionless field measuring how far the local galaxy count strays from the mean, and the quantity gravity amplifies.
where: — local number density of galaxies; — mean density over the survey; — dimensionless density contrast, with . Reading: is the mean, an overdensity, a completely empty region — the floor voids press against. The correlation function is defined operationally through pair counts: the fractional excess, over a random field of the same mean density, in the joint probability of finding galaxies in two small volumes a distance apart.
where: — joint probability of a galaxy in each of two volume elements; — two-point correlation function, for a random field; — comoving pair separation. Reading: is clustering above random, and the classic with , summarizes small-scale clustering. The same content in Fourier space defines the power spectrum. Statistical homogeneity forces different modes to be uncorrelated, so the two-point function in -space is diagonal with amplitude .
where: — Fourier transform of ; — Dirac delta enforcing statistical homogeneity; — power spectrum, depending only on by isotropy. Reading: is the variance per mode at wavenumber ; large means strong clustering on scale . The correlation function and power spectrum are one fact, related by a Fourier (Hankel) transform; isotropy collapses the 3D transform to a single radial integral over the spherical Bessel function .
where: — spherical Bessel function surviving the angular integration. Reading: makes the BAO wiggles and equality turnover explicit; localizes the BAO as a single bump near and keeps window effects additive. Because a real catalogue lives inside a ragged mask, is estimated by comparing observed pairs against a synthetic random catalogue of the same geometry — the Landy–Szalay estimator, a minimum-variance, edge-corrected combination.
where: — data–data pairs at separation ; — data–random pairs; — random–random pairs from a catalogue matching the survey geometry. Reading: the numerator vanishes when data look random (), and the combination cancels leading edge and integral-constraint biases. The most important complication is that the map is built in redshift space. Linear peculiar-velocity infall boosts modes along the line of sight, giving the anisotropic Kaiser power spectrum — the equation that turns a distortion into a growth measurement.
where: — linear galaxy bias, ; — growth rate; — cosine of the angle between and the line of sight; — real-space matter power spectrum. Reading: line-of-sight modes () are boosted by , transverse modes () only by ; the anisotropy measures . What surveys report from that anisotropy is the bias-robust growth combination , together with geometric BAO distances; folding the growth rate into the clustering amplitude makes the poorly known bias drop out.
where: — rms linear density fluctuation in spheres today; — growth factor normalized to ; — spherically-averaged BAO distance; — angular diameter distance; — Hubble parameter. Reading: is the survey's growth report card, its geometric one when the signal cannot split radial from transverse. Finally, every reported number carries an error budget set by the finite number of modes — cosmic variance on large scales, Poisson shot noise from discrete tracers — the formula that drives survey design toward larger volumes and denser sampling.
where: — number of independent modes in the bin; — Poisson shot-noise floor. Reading: where the error is set by mode count (survey volume), so shrinking error bars means surveying more volume, not observing longer.
The goal here is to bridge the clean definition of , valid for an infinite continuous field, and the messy reality of a survey: a finite set of discrete galaxies seen only inside a complicated mask and radial selection, contaminated by shot noise. We want one estimator that is unbiased, reduces to the definition in the ideal limit, and weights each region optimally so the error bar is as small as the data allow. The Feldman–Kaiser–Peacock (FKP) construction achieves this by building a weighted overdensity field, Fourier transforming, squaring, and subtracting the Poisson self-pair term.
Step 1. Build the weighted overdensity field , where is a dense random catalogue tracing the survey selection and normalizes it. Why: subtracting the mean field encoded by the randoms turns raw counts into a fluctuation field with zero mean inside the mask, so the estimator responds to clustering, not to the survey shape.
Step 2. Choose the optimal weight , with the power amplitude at the scale of interest. Why: it balances the two noise sources — dense regions () count equally, sparse shot-noise-dominated regions are down-weighted — so no part of the survey injects excess noise.
Step 3. Fourier transform and average the squared amplitude over a shell in : . Why: by equation (3) the ensemble-averaged squared amplitude is the power spectrum, so shell-averaging over independent modes trades the ensemble average we cannot do for a mode average we can.
Step 4. Subtract the shot-noise bias , leaving convolved with the window . Why: discrete self-pairs add a constant positive offset to unrelated to clustering; it must be removed, and the residual window convolution forward-modelled rather than deconvolved. *In the full-sky, high-density limit , , the estimator collapses to from equation (3), confirming it reduces to the clean definition in the ideal case.*
Go deeper · Derivation B · 1 minThe Kaiser factor and the growth rate
The aim is to show precisely how a distortion becomes a measurement — how plotting galaxies at the wrong radial position, because their redshift includes a peculiar velocity, imprints a specific, calculable anisotropy on the clustering that is proportional to the growth rate . We start from the coordinate map between real and redshift space, linearize it, invoke linear-theory continuity to relate velocity to density, and read off the boost; then we expand its square in Legendre multipoles to isolate a ratio that depends only on , delivering the growth rate independently of the clustering amplitude.
Step 1. Map real to redshift space along the line of sight, , and linearize the Jacobian: . Why: the redshift is displaced from the true position only along the line of sight, so the distortion appears with an explicit — the geometric origin of the -dependence.
Step 2. Use linear continuity, , to trade velocity for density, and combine with to get . Why: in linear theory the velocity is sourced by the same growing mode as the density, with proportionality exactly — so the distortion carries direct information about how fast structure grows.
Step 3. Square and factor out : with , then expand in even Legendre polynomials, . Why: only even multipoles survive by the symmetry, and the multipole moments are the compressed data vector surveys fit.
Step 4. Integrate against each to get and , so depends only on . Why: the common prefactor cancels in the ratio, isolating ; combined with the amplitude it yields without needing and separately. *Direct integration gives the coefficients for the monopole and for the quadrupole; as a check, the ratio as , correctly recovering isotropy when there are no peculiar velocities.*
Go deeper · Derivation C · 1 minBAO as a standard ruler — reading distance and expansion rate
The purpose is to explain how one fixed length — the comoving sound horizon imprinted on the galaxy distribution — is converted into two independent cosmological distances by measuring the acoustic feature separately across the sky and along the line of sight. Its apparent transverse angle measures the angular diameter distance while its apparent radial extent in redshift measures the Hubble rate; when the data are too noisy to separate the two, a single volume-averaged distance is measured instead. This is the geometric heart of why redshift surveys constrain dark energy.
Step 1. For the transverse mode, a comoving separation subtends angle through the angular diameter distance: . Why: is defined so that a known transverse length maps to an observed angle — exactly what an on-sky pair separation measures.
Step 2. For the radial mode, a comoving separation corresponds to a redshift interval, . Why: line-of-sight separations are observed as redshift differences, and the conversion factor is exactly the Hubble rate — so the radial ruler is a direct clock on .
Step 3. Set both equal to the known ruler, , giving and . Why: the same acoustic scale seen in two directions yields two independent observables, and — why anisotropic BAO breaks degeneracies isotropic BAO cannot.
Step 4. When signal-to-noise permits only one number, combine into . Why: the volume-average weights the two-to-one ratio of transverse to radial modes, and with calibrated by the CMB it fixes absolute distances, not mere ratios. *For fiducial flat CDM (, ) at the formulas give , in excellent agreement with the Eisenstein et al. (2005) SDSS detection , with from Planck 2018.*
Limiting cases
The clustering statistics behave very differently across scale and across the transition into the nonlinear regime; the table collects the four regimes a survey analyst must keep separate.
| Case | Result | Meaning |
|---|---|---|
| Large scales (linear) | Constant linear bias; clustering tracks the linear matter power spectrum directly, and the BAO wiggles live here. | |
| Redshift space, linear (Kaiser) | Coherent infall boosts line-of-sight () modes; the anisotropy yields . | |
| Small scales (nonlinear) | Classic power-law clustering; nonlinear collapse and virial fingers-of-God dominate, needing halo-model or simulation treatment. | |
| BAO scale | A localized bump in , robust to broadband systematics, making it the cleanest standard ruler in a survey. |
Worked examples
1 · The BAO standard ruler at z = 0.35 (fully worked)
Adopt flat CDM with , , , , . At the SDSS luminous-red-galaxy effective redshift , compute the expansion rate, the comoving and angular diameter distances, the BAO distance , and the apparent size of the acoustic feature.
Step 1. Evaluate the dimensionless expansion rate . With , , so the Hubble rate is .
Step 2. The Hubble distance is . Integrating numerically gives , so (flat, hence ), and .
Step 3. Assemble . The radial factor is and , so — in excellent agreement with the Eisenstein et al. (2005) measurement .
Step 4. Predict the feature size. Transverse: . Radial: . The dimensionless ruler measurement is . So the same shell appears as a ring on the sky and a shell in depth — two independent handles on cosmic geometry from one feature.
2 · Redshift-space anisotropy and the growth rate
A BOSS-like sample at has linear bias . Using with , , find the growth rate, the Kaiser parameter , and the quadrupole-to-monopole ratio of the redshift-space power spectrum, then estimate .
Step 1. The matter fraction at scale factor is . At , , so , , and . Hence (compared with today).
Step 2. The Kaiser distortion parameter is . This sets the strength of the redshift-space anisotropy relative to the isotropic clustering.
Step 3. Use the multipole coefficients from the Kaiser derivation. Monopole: . Quadrupole: . Their ratio is — a large, readily measurable anisotropy that pins , and through the growth rate.
Step 4. Fold in the amplitude. With today and growth factor , the amplitude at that epoch is , so — consistent with the BOSS measurement near , a clean test that general relativity's growth prediction holds there.
Physics of the portrait
Galaxy redshift surveys are, at bottom, statistical mechanics applied to the universe — and the person who built that language, more than any other, is Jim Peebles. Every symbol above traces to his program of turning the galaxy distribution from a gallery of curiosities into a rigorously computable random field.
Origins · 1 minJim Peebles and how this was discovered
Phillip James Edwin "Jim" Peebles, born in Winnipeg in 1935 and a Princeton physicist for his entire career, is the principal architect of modern physical cosmology, and the theory of galaxy clustering is one of his deepest imprints. Arriving in Robert Dicke's group, he helped predict the cosmic microwave background just before its 1965 discovery, then spent the 1970s asking how a nearly smooth early universe came to be full of galaxies. His answer was to treat the galaxy distribution as a realization of a random field, characterized by its statistical moments — above all the two-point correlation function and its Fourier partner . The 1980 monograph The Large-Scale Structure of the Universe codified this framework, deriving the correlation-function hierarchy, the growth of perturbations, and the power-law clustering that early surveys were already measuring. An early advocate of cold dark matter and of a cosmological constant when both were unfashionable, he supplied the perturbation theory that lets a measured be read as a statement about , the primordial spectrum, and the transfer function. When the 2005 SDSS detection of the baryon acoustic peak turned his abstract into a precision ruler, it vindicated a program four decades old. Peebles received the 2019 Nobel Prize in Physics "for theoretical discoveries in physical cosmology."
Going further
Texts. Dodelson, Modern Cosmology, 2nd ed., Ch. 9 (Power Spectra) and Ch. 11 (Probes of Structure) · Carroll & Ostlie, An Introduction to Modern Astrophysics, 2nd ed., Ch. 27 (Large-Scale Structure) · Mo, van den Bosch & White, Galaxy Formation and Evolution, Ch. 6 (clustering statistics) · Peebles, The Large-Scale Structure of the Universe (1980), the founding correlation-function text · Binney & Tremaine, Galactic Dynamics, 2nd ed., §1.1 · Ryden, Introduction to Cosmology, 2nd ed., Ch. 12. The angular integral over the 3D Fourier transform yields , giving the Hankel relation between and ; the Kaiser multipole coefficients are for the monopole and for the quadrupole. The BAO numbers (, , at ) use flat CDM (, ); the growth values (, , at ) use (Linder 2005). The standard anchors are (Planck 2018), , and .
Prerequisites. Density Perturbations and the Density Contrast · Transfer Function and the Matter Power Spectrum · Linear Growth of Structure · Baryon Acoustic Oscillations. Leads to. The Sound Horizon and the Standard Ruler · The ΛCDM Concordance Model · Dark Energy and the Cosmological Constant.
Ask the tutor: Want to walk through how DESI turns a fibre spectrum into a point on the curve, or work a BAO distance at a redshift of your choice?
Why measure a correlation function at all, instead of just looking at the map?
Because individual walls and voids are not predictable, but their statistics are. The initial conditions are a random field, so theory does not forecast that a particular filament sits at a particular place — only statistical measures like and can be compared between theory and data. Averaging also beats down noise: any single structure is one draw from the distribution, whereas combines every galaxy pair at a given separation into a clean signal. The map is useful for intuition, but the science lives in the moments of the field.
What is galaxy bias, and why does it complicate everything?
Galaxies form in the peaks of the dark-matter field, so they over-represent overdense regions: with typically – for survey samples. The trouble is that is degenerate with the clustering amplitude — a survey measures , so a highly biased population with low looks identical to a weakly biased one with high . That is why surveys report the BAO scale (immune to a constant ) and (where the anisotropy ratio cancels ), and cross-correlate with gravitational lensing, which responds to mass directly, to pin down.
How can peculiar velocities both distort the map and help us?
They do both at once. Because a galaxy's redshift includes its line-of-sight peculiar velocity, plotting by redshift misplaces galaxies radially and deforms structures — that is the distortion. But the deformation is not arbitrary: in linear theory the infall velocity is sourced by the same growing density mode, with a proportionality equal to the growth rate . So the anisotropy that spoils a naive distance map is a direct readout of how fast structure is growing — one of the few clean, geometry-independent tests of gravity on cosmological scales.
Why is the BAO feature such a trustworthy standard ruler?
Because its length is fixed by simple early-universe physics and it sits at a scale where astrophysics is quiet. The acoustic scale is the comoving distance sound travelled in the photon–baryon plasma before baryons decoupled, computed from linear theory and calibrated to sub-percent precision by the CMB. In the galaxy distribution it appears as a sharp bump near , far larger than the scales where galaxy formation, nonlinear collapse, and bias operate — so those effects shift the broadband clustering but leave the position of the bump almost untouched. A known scale whose location is robust to systematics is exactly what a standard ruler requires.
Correlation function or power spectrum — which should I use?
They hold the same information as a Fourier pair, so the choice is practical. The power spectrum separates scales cleanly and makes the BAO wiggles and equality turnover explicit, but the survey window convolves it, mixing modes. The correlation function localizes the BAO as a single bump and treats the geometry additively rather than as a convolution, but its bins are correlated and it spreads each scale across a range of . Most modern analyses fit both as a consistency check; any discrepancy flags an unmodelled systematic.
How do surveys deal with the ragged shape of the observed sky region?
Through random catalogues. A survey never covers a clean box: it has holes around bright stars, a boundary set by the telescope footprint, and a radial selection that thins with distance. Analysts generate a dense synthetic catalogue of "random" points sharing the survey's angular mask and radial selection but carrying no clustering, then measure clustering as the excess of real pairs over random pairs — the Landy–Szalay estimator for , the FKP-weighted field for . The randoms encode the geometry, so what remains is the genuine cosmological signal, not the shape of the observation.