Homogeneous above a hundred megaparsecs
Assumes Expansion and Luminosity function.
Every equation in this field rests on the cosmological principle: that the universe is homogeneous and isotropic. The velocity–distance law follows from it and from nothing else; the Friedmann equations assume it in their derivation; and every distance, age and density quoted so far is computed in a metric that has it built in.
Looked at directly, the universe is nothing of the kind.
The real version of this picture is more striking than the model. Redshift surveys show galaxies strung along filaments, filaments meeting at clusters, and voids tens of megaparsecs across containing almost nothing. Named structures run to hundreds of megaparsecs. The question the cosmological principle poses is not whether the universe looks uniform — it does not — but whether the departures from uniformity get smaller with scale, and how fast.
The statistic that answers it
The two-point correlation function is the fractional excess probability of finding a second galaxy at separation from a first, over what a uniform random distribution would give. means no clustering at that separation; means twice as many pairs as random.
In the real universe the same statistic has a different shape and the same character. It is close to a power law, with Mpc, over three decades of separation — a remarkably simple result for a process as complicated as galaxy formation — and it falls below one per cent somewhere around Mpc.
The power law needs one qualification, and it is the same one that attaches to every galaxy statistic. Galaxies are not the matter; they form preferentially at the peaks of the density field, so their correlation function is amplified relative to the matter’s by a bias factor , and depends on which galaxies were counted. Red, massive galaxies are more strongly clustered than blue star-forming ones at the same redshift, and neither is tracing the underlying field one for one. The correlation length of Mpc is a property of a galaxy sample, not of the universe, and comparing two surveys with different selections means comparing two different biases before comparing anything cosmological. It is the same problem a luminosity function has, and it is why weak lensing — which responds to the matter directly and does not care what is shining — has become the preferred way of measuring the clustering amplitude.
Counts in spheres, which is the direct question
The correlation function is a statement about pairs. The cosmological principle is a statement about volumes, and the direct test is to count galaxies in spheres and ask how much the counts vary.
That figure is the essay’s central point and it is worth spelling out. Homogeneity is not a property the universe has or lacks. It is a limit: the fractional density fluctuation in a sphere of radius falls as grows, so for any tolerance there is a radius above which the universe is homogeneous to that tolerance, and below which it is not.
The real numbers put the transition in a definite range. The density fluctuation in spheres of Mpc is — of order unity, which is why a sphere that size may be a cluster or may be a void. By Mpc it has fallen to a few per cent, and redshift surveys find the counts settling onto the uniform-field scaling somewhere between 70 and Mpc. A range rather than a number, because different surveys and different tolerances give different answers, and pretending otherwise would be the kind of false precision this field is prone to.
The consequence for anything computed in this collection is worth making concrete. The observable universe is 14,000 comoving megaparsecs across and the homogeneity scale is about 150, so a sphere of the observable universe contains some independent homogeneity volumes. That is a large number and it is also a finite one, and it is what limits every cosmological measurement at the largest scales: there is only one sky, and the number of independent samples of any given scale it contains is fixed. The uncertainty on the microwave background’s power spectrum at low multipole is exactly this quantity — cosmic variance — and it cannot be reduced by a better instrument, only by observing from somewhere else.
What is actually measured
A redshift survey delivers two angles and a redshift per galaxy, and turning that into the figures above requires three things that are not in the catalogue.
A cosmology, to convert redshifts into distances. Every analysis states a fiducial model up front. The correlation function is computed in it, and the sensitivity to that choice is a systematic that has to be propagated.
A selection function. A survey is magnitude-limited, so it sees intrinsically faint galaxies only nearby and bright ones everywhere; the number density therefore falls with distance for reasons that have nothing to do with the universe. Correcting for it requires knowing the luminosity function. And a treatment of peculiar velocities. A galaxy’s redshift is not purely cosmological; it contains a Doppler term from the galaxy’s own motion, so the radial coordinate is systematically wrong. Around a cluster the effect is dramatic: infall compresses structures along the line of sight at large radii and the virial motions stretch them into radial spikes at small radii. The distortion is a nuisance for the geometry and a measurement of the growth rate of structure, which is one of the ways the field constrains gravity on large scales.
None of the three is a small correction, and it is worth noting how different that makes this measurement from the ones earlier in this field. A supernova magnitude or an acoustic peak position is a number extracted from a well-controlled measurement; a correlation function is a statistic of a sample whose construction is itself most of the work.
The same generator drawn at two very different depths makes the point the statistic makes, before any statistic is computed.
Why the structure is there at all
The agreement between the two is one of the quantitative successes of the model, and it constrains more than the initial amplitude. How fast structure grows depends on how much matter there is to do the collapsing and on how fast the expansion is pulling things apart, so the ratio of the observed clustering today to the observed fluctuations at recombination measures the matter density and the growth history.
There is one place where the two do not agree as well as they might, and it is worth recording rather than skipping. The microwave background, extrapolated forward through ΛCDM, predicts a present-day clustering amplitude a few per cent higher than weak-lensing surveys measure. The discrepancy is two to three sigma — much softer than the disagreement about the expansion rate, and of exactly the same shape: a local measurement against an extrapolation from . It may be a systematic in the lensing calibration, it may be an effect of gas being pushed out of galaxies by their own black holes, and it may be neither. It is called the tension.
What the pictures cannot show
The hero figure’s process is not structure formation. A Thomas process makes blobs; gravity makes filaments and sheets and voids, because collapse happens along one axis first and the third axis last. The real cosmic web has a topology the drawn field does not, and no statistic used in this essay — neither the correlation function nor counts in spheres — can see the difference, because both are insensitive to phase.
That insensitivity is a real limitation, not a drawing artefact. Two fields with identical two-point statistics can look entirely different, and separating them requires higher-order statistics or topological measures. The reason the two-point function dominates the literature is that for Gaussian initial conditions it contains everything, and the initial conditions are Gaussian to the precision available.
And every figure here is a slice. The universe is three-dimensional and the drawings are two-dimensional, which changes the analytic form of everything: the correlation function of a projected catalogue is not the correlation function of the space it was projected from. Real analyses work in three dimensions and pay for it with the selection function and the peculiar velocities.
The principle was an assumption before it was a measurement
Einstein assumed homogeneity in 1917 because the field equations are otherwise unsolvable by hand, and the assumption was frankly acknowledged as a convenience. It survived as one for fifty years.
The first real test was the source counts of radio galaxies in the 1950s and 60s, and they were used to argue against the steady-state theory rather than for homogeneity as such. The first galaxy redshift surveys in the 1980s — the CfA survey in particular — found structure at every scale they could reach, including the “Great Wall” at 200 megaparsecs, and each new survey found something bigger. That pattern, structure on the scale of whatever survey had just been completed, is exactly what a sample too small to reach the homogeneity scale produces, and it was read for a while as evidence that there was no such scale.
What settled it was surveys large enough to contain many independent volumes, from the 2dF and Sloan surveys onwards: a survey whose largest structure is a tenth of its own size is measuring the universe, and one whose largest structure is comparable to its own size is measuring its own boundaries. Modern surveys are in the first regime, and the counts-in-spheres scatter follows the expected .
The awkward residue is that structures continue to be reported that are larger than the homogeneity scale — quasar groups spanning gigaparsecs, alignments in the microwave background at the largest angles. Whether any of them is a real departure or a selection effect on a low-probability fluctuation is unsettled, and the honest statement is that the principle is verified as a statistical statement at the per-cent level and is not verified as an exact one.
The other half of the principle, and the logic joining them
The cosmological principle asserts two things, and only one of them has been discussed. Homogeneity says the universe is the same at every place; isotropy says it looks the same in every direction from here. They are different claims and they are measured entirely differently.
Isotropy is measured superbly well. The microwave background is the same temperature in every direction to about one part in a hundred thousand, once one thing is removed — a dipole of a few parts in a thousand, which is the solar system’s own motion through the radiation and is a measurement rather than a nuisance. After the dipole, what is left is isotropic at the level the fluctuations themselves sit at.
Homogeneity is measured badly by comparison, at the per-cent level and only in a statistical sense, for the reason this essay has spent its length on: it requires seeing many independent volumes, and there is one sky.
The logical relation between the two is where the interesting move is. Isotropy about a single point does not imply homogeneity — a universe with a spherically symmetric density gradient centred exactly on the observer would look perfectly isotropic and be radically inhomogeneous. What does imply homogeneity is isotropy about every point, and nobody has observed from anywhere else.
The bridge is the Copernican assumption: that this location is not special. Combined with the measured isotropy, it gives homogeneity as a theorem rather than as a measurement.
That is an unusual position for a foundational claim in a quantitative science. The best-measured half of the principle constrains the other half only through an assumption that cannot be tested directly, and the direct test of the second half is the weakest measurement in the field.
There are partial escapes. The scattering of microwave photons off hot gas in distant clusters carries information about how isotropic the radiation looks from that cluster, which is an observation from somewhere else by proxy, and it is consistent. So is the near-uniformity of the radiation’s temperature measured at different redshifts through excited molecular states in absorbing clouds.
The principle is verified directly where it is a statistic, and inferred where it is a statement about places nobody can stand.
Both of the statistics above can be read at a different scale, and the readings do not agree about where the transition sits.
The void that would be convenient
There is one specific inhomogeneity that has been argued about for two decades, and it deserves stating because it sits at the junction of this essay and the field’s largest open disagreement.
If the solar system sat near the centre of a large underdense region — a void several hundred megaparsecs across, with a density a few per cent below the mean — then the local expansion would be slightly faster than the global one, because an underdense region expands faster than its surroundings. A local measurement of the expansion rate would then come out high, and an inference from the microwave background, which averages over the whole sky at great distance, would come out at the true global value.
That is exactly the shape of the observed disagreement, so a local void has been proposed as its resolution repeatedly.
The evidence for such a void is mixed and has not converged. Galaxy counts in some directions and to some depths suggest an underdensity of several per cent out to a couple of hundred megaparsecs; other analyses of other tracers find nothing. The measurements are hard for the reason described above: converting counts into a density needs a selection function, and a systematic error in that function looks exactly like a density gradient.
Two constraints bear on it independently of the counts. A void deep enough to explain the whole discrepancy would distort the microwave background’s dipole and the observed supernova magnitudes in ways that have been searched for and not found. And a void of that size is itself improbable in the standard model — not impossible, but a fluctuation large enough that invoking it trades one problem for another.
A local inhomogeneity is the one explanation of the tension that requires no new physics and does require this place to be unusual, which is precisely the assumption the previous section showed the whole framework rests on.
The generalisation
The move that makes the cosmological principle testable is one worth naming: turn a qualitative claim into a statistic with a scale, and the claim becomes a measurement.
“The universe is homogeneous” is not falsifiable as stated, because any distribution is inhomogeneous somewhere. “The fractional density fluctuation in spheres of radius falls as above Mpc” is falsifiable, and it has been tested.
The same conversion appears throughout this collection. “A galaxy has a mass” becomes a mass profile, and the profile is what is measured. “Planets are common” becomes an occurrence rate per star per logarithmic interval of period, and the rate is what is measured. “The main sequence is a track” becomes a place stars sit with a computable dwell time.
In each case the general claim was in circulation for decades and the quantitative version is what allowed it to be wrong. A statement that cannot fail is not a foundation, however often it is used as one, and the cosmological principle spent fifty years as exactly that.
Where the ladder goes next
Every figure in this essay traced structure back to fluctuations at recombination, and every essay in this field so far has treated the surface of last scattering as a given. The last essay asks what that surface is, and why it is at three thousand kelvin rather than at a hundred and fifty thousand.
Later rungs on this anchor: the power spectrum as the Fourier counterpart of the correlation function, and why it is the more natural object; the turnover at the horizon scale at equality; redshift-space distortions as a measurement of the growth rate and a test of gravity; the tension between the clustering measured by weak lensing and the clustering the microwave background predicts; voids as objects in their own right; and the cosmic web’s topology, which the two-point function cannot see.
What this makes readable
Essays that name this one as a prerequisite.
- A map stretched by the thing it measures cosmology
- A map that is not of positions cosmology
- A mass measured by what it stopped from forming cosmology
- A ruler measured along and across cosmology
- A shadow that does not get fainter with distance cosmology
- A trough that proves the forest survived cosmology
- Spin acquired before there was anything to spin cosmology
- The Sun's speed counted in quasars comes out twice too large cosmology
- Two parameters that lensing measures as one galaxies
- A velocity that has the colour of the sky cosmology
- Too few clusters, or a scale that reads light cosmology
About the same objects
Not linked from either essay — found by the objects both name.
- Spin acquired before there was anything to spin correlation function · large-scale structure
What links here
The 8 of 14 essays linking to this one that name the most of the same objects.
- A map that is not of positions cosmology
- A map stretched by the thing it measures cosmology
- A ruler measured along and across cosmology
- A test that can only fail one way cosmology
- The Sun's speed counted in quasars comes out twice too large cosmology
- A coincidence that is a factor of fourteen cosmology
- A distance measured with a stopwatch galaxies
- A mass measured by what it stopped from forming cosmology
The objects this essay names
Each one links to every other essay that touches it.
Correlation functionCosmic webCosmological principleCounts in spheresGalaxy biasHomogeneity scaleLarge-scale structurePower spectrumRedshift surveySample variance