Critical Exponents
Bring water to its critical point — 374 °C, 221 bar — and the meniscus between liquid and vapour does not so much boil away as dissolve: the two phases become indistinguishable, and the fluid scatters light so strongly it turns milky (critical opalescence). Cool a magnet toward its Curie temperature and its susceptibility to a stray field runs away toward infinity. These are not coincidences but the same physics wearing different clothes. Near a continuous phase transition, every thermodynamic response develops a power-law singularity in the reduced temperature , and the powers themselves — the critical exponents — are the sharp, measurable fingerprints of the transition. The astonishing empirical discovery of the 1960s is that these numbers are universal. A uniaxial ferromagnet, the liquid–gas critical point of carbon dioxide, and a binary alloy near demixing all share one exponent set — the 3D Ising values — even though nothing in their microscopic Hamiltonians resembles the others. What survives near is not the atoms but the long-wavelength behaviour of a single order parameter, and that is controlled only by the spatial dimension , the number of order-parameter components , and the range of the interactions. This article owns the definitions of the six exponents and the scaling relations that bind them. Rushbrooke, Widom, Fisher, and Josephson (hyperscaling) reduce six numbers to two independent ones, and — the machine-proved centrepiece here — those four relations hold with exact equality on both the mean-field set and the exactly solved 2D-Ising set . We show where mean-field gets the numbers right (at and above the upper critical dimension ) and where it fails, and how a single diverging length — the correlation length — is the physical root of every singularity.
- Near a continuous transition, thermodynamic quantities follow power laws in set by the exponents (specific heat), (order parameter), (susceptibility), (critical isotherm), (correlation length), (correlation decay).
- The exponents are not independent: scaling relations (Rushbrooke), (Widom), (Fisher), (Josephson/hyperscaling) leave only two free.
- Exponents are universal: they depend only on , not microscopic detail — a magnet and a fluid share the 3D-Ising set.
- Mean-field (Landau) gives — exact for , quantitatively wrong in .
- A single diverging length, , is the scale-free origin of all the power laws; the renormalization group explains universality and computes the exponents.
- Key idea: because is the only relevant scale near , the singular free energy becomes a homogeneous function of the scaling fields, forcing power-law singularities whose exponents obey the scaling relations and depend only on — the content of universality.
Every thermodynamic singularity at a continuous transition descends from one diverging length, the correlation length . Because becomes the only scale near , the singular free energy is a generalized homogeneous function of the scaling fields; this alone forces the responses into power laws, ties their exponents together through the scaling relations, and makes those exponents depend on nothing but the dimension and the order-parameter symmetry — the meaning of universality.
Where this lives today
Critical exponents are among the most precisely tested predictions in all of physics. The superfluid transition of helium-4 (the -transition, XY class, ) has a slightly negative specific-heat exponent — a cusp, not a divergence — and it was measured in a 1990s microgravity experiment (to escape gravitational rounding of ) to confront the renormalization-group prediction at the fourth decimal place. The 3D-Ising exponents that govern the liquid–gas critical point and uniaxial magnets have, since 2012, been computed to extraordinary precision by the conformal bootstrap, which exploits the conformal symmetry that emerges exactly at the critical point. On the numerical side, finite-size scaling on Monte-Carlo lattices — replacing so that — remains the workhorse for extracting exponents of models with no exact solution. The same universality that unifies magnets and fluids reaches into cosmology (inflationary phase transitions), high-energy physics (the QCD chiral and deconfinement transitions), and even the onset of turbulence and percolation — anywhere a system develops a diverging correlation length.
The physical picture
Cool a magnet toward and correlated domains — patches of aligned spins — grow. Their typical linear size is the correlation length . Far from , is a few lattice spacings; approaching it swells, and at it diverges. A system whose only length scale has run off to infinity has, effectively, no length scale, and a scale-free system can respond to perturbations in only one functional form — a power law, because is solved uniquely by . That single observation is why critical exponents exist at all: they are the powers of the only functions a scale-free system is allowed to use.
Why universal? Coarse-grain the system — average spins over a small block and rescale — and the microscopic clutter (lattice type, atomic species) fades, while the long-wavelength order parameter survives. Two systems that flow, under repeated coarse-graining, to the same fixed point of the renormalization group end up with identical exponents; the microscopics set only non-universal amplitudes and the value of . Mean-field theory is what you get when you ignore the fluctuations entirely — replace each spin by its average neighbourhood — and it works when a correlation volume holds so many fluctuating degrees of freedom that the central limit theorem tames them. That is true for ; below four dimensions the fluctuations within one correlation volume are not self-averaging, and they shift the exponents away from the mean-field values. The punchline figure is the operational meaning of an exponent: it is a slope on a log–log plot. Plot the order parameter against on logarithmic axes and you get a straight line whose slope is . Mean-field draws that line with slope ; the true 3D-Ising magnet draws it with slope — a visibly steeper rise of the magnetization as you cool below . The gap between those two slopes is precisely the failure of mean-field, made geometric.
The core equations
The exponents are defined as one-sided logarithmic limits of a response as . Concretely, if a quantity behaves as near the transition, the exponent is . The first three exponents describe the bulk thermodynamics: the specific heat , the zero-field order parameter , and the susceptibility .
where: is the specific heat at constant field (or volume); is the order parameter in zero conjugate field, defined only on the ordered side ; is the order-parameter susceptibility. Positive and mean a divergence; positive means a continuous onset from zero. Reading it physically: as you cool through , rises from zero as a power , while both and blow up as the transition is approached from either side. The remaining three exponents describe the response to a field and the spatial structure of fluctuations — the critical isotherm and the correlation function.
where: is the field conjugate to the order parameter; governs the nonlinear response exactly at (where , so linear response fails); is the correlation length with exponent ; is the two-point correlation of order-parameter fluctuations, decaying with the "anomalous dimension" (at the exponential cap disappears and ). The physical reading: signals that at criticality the system is infinitely susceptible, so even a whisper of a field produces a nonlinear magnetization. The engine that ties all six together is the scaling hypothesis: the singular part of the free energy is a generalized homogeneous function of the two scaling fields and .
where: is the singular free-energy density (in units of ); is a universal scaling function of the single combination ; and is the gap exponent. The content of this one line is enormous: differentiating with respect to and generates every thermodynamic exponent, and demanding self-consistency yields the scaling relations. Two systems that share share every exponent — this is universality made precise.
The scaling hypothesis is a single, powerful postulate: near a continuous transition the singular free energy is homogeneous under a simultaneous rescaling of the reduced temperature and the field. This derivation shows that from that one assumption, all four thermodynamic exponents follow by differentiation, and — crucially — the Rushbrooke and Widom relations emerge as equalities (they are only inequalities from thermodynamics alone). The whole edifice reduces six exponents to two, and pins the gap exponent .
Step 1. Postulate homogeneity: for any scale factor . Why this form: rescaling the relevant fields by powers of must rescale the free energy by itself, so that the free-energy density counts "one degree of freedom per correlation volume." Choosing collapses the two variables into one, giving , which is the scaling form with and .
Step 2. Specific heat: . Why: two temperature derivatives lower the power by two, reproducing and identifying the exponent that named .
Step 3. Order parameter: . Why: one field derivative lowers the power by ; matching to gives .
Step 4. Susceptibility: . Why: a second field derivative lowers the power by ; matching to gives . Adding the results of Steps 3 and 4 eliminates and yields .
Step 5. Assemble the relations. From and , add : the 's cancel and you get exactly — Rushbrooke as an equality. Evaluating the scaling function's asymptotics at (where the prefactors must cancel to keep finite) forces with , i.e. — Widom. Thermodynamics alone gives only ; scaling saturates the inequality. Verified in `verify_critical-exponents.py`: the four scaling relations are checked as exact `sympy.Rational` equalities on both the mean-field set and the 2D-Ising exact set .
Go deeper · Derivation B · 2 minMean-field exponents from the Landau free energy
Landau theory is the simplest analytic model that produces a genuine transition: expand the free energy as a symmetry-allowed polynomial in the order parameter and minimize. This derivation extracts the complete mean-field exponent set — — directly, so that the article does not merely quote the numbers but earns them. (The full derivation of these values as the mean-field/Landau result is owned by the sibling article aq-sm-mean-field-critical-exponents; here we reproduce the core steps to show the exponent definitions in action.)
Step 1. Write the Landau functional with . Why this form: -linear coefficient of (so the quadratic term changes sign at ), a stabilizing positive quartic, and the field coupling . For an Ising-like () order parameter no cubic term is allowed by symmetry.
Step 2. Equation of state: set to get . On the ordered side (, ) the nonzero root is , hence . Why: the balance of the (now negative) quadratic term against the quartic fixes the square-root onset — the generic behaviour of any analytic potential with a quadratic touch.
Step 3. Susceptibility: . For (): . For , substitute : . So on both sides, with the amplitude ratio . Why: the factor of 3 from differentiating produces the characteristic factor-of-two asymmetry between the disordered and ordered susceptibilities.
Step 4. Critical isotherm: at the equation of state reads , so and . Why: with the quadratic term switched off exactly at , the leading response is set by the cubic nonlinearity.
Step 5. Specific heat: minimizing gives , whose second temperature derivative is the constant . So has a finite jump at , not a divergence: (of the discontinuity type). Adding the gradient term and Fourier-transforming gives () and (). Verified in `verify_critical-exponents.py`: the Landau steps are checked symbolically — , , the ordered-side result (amplitude ratio 2), , and .
Limiting cases
| case | exponent set | meaning |
|---|---|---|
| Mean field / | Landau/Gaussian values, exact at and above the upper critical dimension (log corrections at ) | |
| 2D Ising (exact, Onsager) | exactly solved; here hides a logarithmic divergence | |
| 3D Ising (bootstrap/MC) | the liquid–gas and uniaxial-magnet class; conformal bootstrap high precision | |
| Spherical / large- | exactly solvable in any ; a clean check on RG -expansions |
Worked examples
Example 1 — Verify all four scaling relations for the exact 2D-Ising exponents. The 2D-Ising exponents are known exactly (Onsager, Yang), so they are the sharpest possible test of the scaling relations. Take , in .
Step 1. Rushbrooke : . Equals 2. ✓
Step 2. Widom : . Equals . ✓
Step 3. Fisher : . Equals . ✓
Step 4. Josephson (hyperscaling) : . Equals . ✓ All four hold with exact equality, which is why these rational numbers, and not the mean-field ones, describe a two-dimensional Ising magnet.
Example 2 — Read off a log–log plot, and see the mean-field error. Suppose you measure the magnetization at three reduced temperatures below : at , ; at , ; at , (mean-field data). Extract .
Step 1. On a log–log plot the slope is : from to , drops by decade while drops by decades, so . (mean field). ✓
Step 2. Now the real 3D-Ising magnet, same reduced temperatures, has . From to (4 decades), changes by decades. So over the range where mean-field predicts to fall by a factor , the real magnet's falls only by . The true magnetization is larger — the order parameter is more robust than mean-field claims (steeper log–log slope faster onset below , i.e. rises more sharply from zero as you cool).
Step 3. The gap is quantitative: at , while — about 11 times larger. Mean-field systematically underestimates the ordered-phase magnetization near because it ignores the correlated fluctuations that stiffen the order.
Origins · 1 mincritical phenomena and how this was discovered
Critical phenomena is the branch of statistical mechanics that studies systems near a continuous phase transition, where the correlation length diverges and fluctuations occur on every length scale at once. The historical thread runs from Andrews' 1869 measurement of the CO critical point, through van der Waals and the classical mean-field exponents, to Onsager's exact 1944 solution of the 2D Ising model — whose was the first hard proof that the mean-field values are simply wrong below four dimensions. The modern understanding came from the scale-invariance idea: Leo Kadanoff's 1966 block-spin construction argued that at , where , the system looks the same at every scale, so the singular free energy must be a homogeneous function — which forces the scaling relations that reduce six exponents to two — and Kenneth Wilson's renormalization group (1971, Nobel 1982) turned that heuristic into a machine that actually computes the exponents. The payoff is universality: the exponents depend only on the spatial dimension, the symmetry of the order parameter, and the range of interactions, so a uniaxial ferromagnet and the liquid–gas critical point share the same numbers. That is why measuring a critical exponent is a way of reading off the deep symmetry class of a material rather than its chemistry.
Going further
For the scaling hypothesis and the derivation of the relations, see Stanley, Introduction to Phase Transitions and Critical Phenomena, and Kardar, Statistical Physics of Fields, ch. 2–5. The mean-field benchmark is derived in full in the sibling article aq-sm-mean-field-critical-exponents; the diverging length that underlies everything is aq-sm-correlation-length-divergence; and the renormalization-group explanation of universality — and the computation of the exponents — is developed in the RG chapter (aq-sm-epsilon-expansion, aq-sm-wilson-fisher-fixed-point). Goldenfeld, Lectures on Phase Transitions and the Renormalization Group, is the standard pedagogical bridge. Provenance (from the base article). Mean-field exponents are standard (Landau–Lifshitz Statistical Physics Part 1; Pathria & Beale ch. 12). The 2D-Ising exact exponents are the Onsager/Yang values (Stanley; Kardar Fields ch. 7). The 3D-Ising values are conformal-bootstrap/Monte-Carlo standards (El-Showk et al. 2014; Pelissetto & Vicari, Phys. Rep. 2002). The scaling relations Rushbrooke, Widom, Fisher, and hyperscaling are textbook (Stanley; Kardar). The one-loop result is the standard Wilson–Fisher expansion (Kardar Fields ch. 5; Goldenfeld). Prerequisites: Continuous Phase Transitions, Order Parameter, Landau Theory of Phase Transitions, Correlation Function. Leads to: Scaling Hypothesis and Scaling Relations, Universality and Universality Classes, Correlation Length and Its Divergence.
What exactly is the difference between and the other exponents?
is the "master" exponent because it governs the correlation length , which is the physical origin of every other singularity. The thermodynamic exponents describe how bulk quantities behave, and the correlation exponents describe the spatial structure of fluctuations. Through hyperscaling and Fisher , the thermodynamic exponents are tied to and . In a real sense, if you know how fast the correlation length diverges and how correlations decay at , you know everything.
Why are only two exponents independent?
The scaling hypothesis writes the singular free energy as a homogeneous function with two independent scaling exponents (equivalently, the gap exponent and , or in RG language the two relevant eigenvalues and at the fixed point). All six thermodynamic and correlation exponents then follow by differentiation and by the correlation-length scaling, producing the four scaling relations. Four relations among six numbers leave two free. Physically: near there are only two relevant "knobs" — the temperature-like field and the ordering field — so only two exponents can be independent.
Is measured above or below ?
Neither — is measured exactly at (), where the correlation length is infinite and linear response has broken down. You sit precisely on the critical isotherm and vary the conjugate field : the order parameter responds as . For mean-field (so ); for 3D Ising . The fact that is the signature that at criticality the susceptibility diverges as , i.e. the response is nonlinear no matter how small the field.
Do the critical amplitudes matter, or only the exponents?
The exponents are universal — they are the same for every member of a universality class. The amplitudes (the prefactors, like the in ) are non-universal: they depend on microscopic details and differ from material to material, and even between the two sides of . However, certain ratios of amplitudes (such as , which mean-field gives as exactly 2, or for the specific heat) are universal and provide additional, independent tests of a universality-class assignment beyond the exponents alone.
How can mean-field ever be "exact" if it is wrong in 3D?
Mean-field neglects the spatial correlations of fluctuations. Whether that is fatal depends on how many fluctuating degrees of freedom sit inside one correlation volume : if there are many, they self-average and mean-field is reliable. The number grows with dimension, and above the upper critical dimension the fluctuations are negligible — mean-field exponents become exact. The Ginzburg criterion makes this quantitative, identifying a reduced-temperature window near where fluctuations dominate; that window shrinks to nothing for . So mean-field is not "wrong," it is the correct high-dimensional limit, applied outside its regime in .
What is the "anomalous dimension" ?
Naive dimensional analysis (the Ornstein–Zernike / Gaussian theory) predicts the critical correlation function decays as at . Fluctuations modify this to , and is the anomalous piece — the departure from the naive power caused by interactions. It is called the anomalous dimension because it effectively shifts the scaling dimension of the order-parameter field away from its engineering value. Mean-field has ; 2D Ising has (a large anomaly); 3D Ising has a small . It enters the Fisher relation , tying the spatial decay to the susceptibility divergence.
Why does the specific-heat exponent come out slightly negative for some systems?
A negative means the specific heat does not diverge; instead it approaches a finite value with a cusp-like (infinite-slope) singularity, since -derivative behaviour. Superfluid helium-4 (XY, ) has : its specific heat has the famous -shape but the peak is finite. This is fully consistent with the scaling relations — Rushbrooke simply accommodates a small negative with correspondingly adjusted . The sign of is one of the most delicate quantities to measure, which is why the helium experiment was pushed to microgravity.