Mean-Field Critical Exponents
Approach a ferromagnet's Curie point, or a fluid's liquid–gas critical point, and every response function forgets its microscopic origins and follows a power law. The magnetization vanishes as , the susceptibility diverges as , the specific heat behaves as — all controlled by the reduced temperature and a small set of numbers, the critical exponents. These exponents are universal: they depend only on dimensionality and the symmetry of the order parameter, not on whether you are looking at iron or carbon dioxide. Mean-field theory is the simplest approximation that produces a genuine phase transition, and it makes a sharp prediction for every exponent. Whether you expand the van der Waals equation about its critical point, solve the Weiss self-consistency equation for a magnet, or minimize a Landau free-energy polynomial, you get the same rational numbers: , , , (a finite jump, not a divergence), and — with a gradient term — , . That three unrelated-looking theories agree is the first glimpse of universality, and this article owns the derivation of that classical exponent set. The prediction is also spectacularly, instructively wrong. In two dimensions the exact Ising value is , not ; in three dimensions . The failure is not random: mean-field theory neglects the spatial correlations of fluctuations, and the Ginzburg criterion shows those fluctuations dominate below the upper critical dimension . Understanding exactly what mean-field predicts — and precisely where and why it breaks — is the necessary first step toward the renormalization group, which finally computes the true exponents. We derive the classical exponents, verify the scaling relations they satisfy, and mark the boundary of their validity.
- Near a continuous transition, thermodynamic quantities follow power laws in the reduced temperature set by the critical exponents .
- Mean-field theory predicts the classical exponents (finite jump), , , , , — the same values from van der Waals, Weiss, and Landau theory.
- These follow mechanically from minimizing an analytic Landau polynomial , or equivalently from expanding the self-consistency equation of the Weiss magnet.
- The mean-field exponents obey the scaling relations (Rushbrooke, Widom, Fisher) with equality, and hyperscaling () fixes the upper critical dimension .
- Below four dimensions the classical values are wrong (2D Ising , 3D Ising ); fluctuations, quantified by the Ginzburg criterion, take over.
- Key idea: treating the free energy as an analytic polynomial in the order parameter fixes the critical exponents to universal rational numbers () shared by every mean-field theory — exact for , and corrected by fluctuations below.
Treating the free energy as an analytic polynomial in the order parameter fixes the critical exponents to universal rational numbers () shared by van der Waals, Weiss, and Landau theories — exact at and above the upper critical dimension , and corrected by fluctuations below it.
Where this lives today
Critical exponents remain a working diagnostic across condensed-matter and soft-matter physics. Conventional (BCS) superconductors have coherence lengths of thousands of ångströms, which makes their Ginzburg window astronomically narrow ( or smaller); mean-field Ginzburg–Landau exponents describe those transitions essentially perfectly, and critical fluctuations are unobservable. High-temperature cuprate superconductors, with short coherence lengths and high , show a measurably wide critical region with non-mean-field 3D-XY exponents — the fluctuation regime made visible. Simple fluids near their liquid–gas critical point show , and precision light-scattering and coexistence-curve measurements on xenon, carbon dioxide, and He–He mixtures agree with 3D-Ising values to several decimal places, one of the sharpest confirmations of universality anywhere in physics. The deeper legacy is conceptual. Because mean-field exponents are exact for , they anchor the expansion: the renormalization group computes corrections as power series in , for example for the Ising universality class, with the classical value as the starting point. Modern conformal-bootstrap calculations pin the 3D-Ising exponents to extraordinary precision, but they are still understood relative to the mean-field baseline derived here. Every discussion of universality classes — Ising, XY, Heisenberg — begins by asking how far the true exponents sit from the classical values, and why.
The physical picture
The whole of mean-field criticality lives in a single loop: each degree of freedom feels not its fluctuating neighbours but the spatially averaged field they generate, and that average field must be consistent with the magnetization it produces. Near this self-consistency loop sits at a marginally stable fixed point. Just below , a nonzero magnetization appears, and how fast it grows as you cool — the power — is dictated by the leading nonlinearity of the loop. Because the loop is analytic (a , or a quartic polynomial), the onset is always a square root: . There is nothing about iron or argon in that statement; it is a property of smooth functions with a quadratic touch, and it is why van der Waals, Weiss, and Landau all agree. The first figure shows the punchline exponent visually. Plot the order parameter against temperature: mean-field predicts a parabola-on-its-side, , meeting zero at with a vertical tangent. The true 3D-Ising curve is steeper near — rises faster than — so mean-field overshoots, predicting more order than nature delivers just below the critical point. That single gap between the two curves is the visible signature of the fluctuations mean-field throws away.
Landau's second insight makes the universality inevitable rather than coincidental. You do not need the microscopic Hamiltonian at all: symmetry alone forbids odd powers of an Ising-like order parameter in the free energy, so the leading expansion must be . Everything — the exponents, the amplitude ratios — falls out of minimizing this polynomial. The exponents are called classical precisely because they follow from treating the free energy as a smooth, analytic function, which is exactly the assumption that fails when critical fluctuations make it genuinely non-analytic. The second figure contrasts the exponent values across universality classes as a bar chart. Mean-field () sits beside the exact 2D Ising () and best 3D Ising () values. The classical numbers are the odd ones out below four dimensions — the same "universal" role, but the wrong "universal" numbers.
Why four dimensions? The neglected fluctuations contribute a relative correction that scales as near . For it vanishes and mean-field is self-consistent; for it blows up, and a different fixed point — the Wilson–Fisher fixed point of the renormalization group — governs the true critical behaviour. The classical exponents are not a failed guess; they are the exact answer in a world of four or more dimensions, and the organized starting point for computing the corrections in ours.
The core equations
The classical exponents are a fixed set of numbers, valid for every mean-field theory. It is worth stating them together, because their values — not the microscopic model — are what universality is about.
where: governs the specific heat (here a finite jump); the order parameter for ; the susceptibility ; the critical isotherm at ; the correlation length ; the anomalous dimension in at . These six numbers are not independent — four scaling relations tie them together. Everything follows from a single object: the Landau free-energy density, an analytic polynomial in the order parameter whose only inputs are the symmetry and analyticity in .
where: is the free-energy density; the order parameter; the reduced temperature; the conjugate ordering field; phenomenological coefficients analytic and positive near . The symmetry at kills odd powers; analyticity forces the quadratic coefficient to vanish linearly, , which is the entire origin of the transition — below that coefficient turns negative and ceases to be the minimum. Minimizing at gives the equilibrium order parameter, and its square-root onset is the exponent .
where: is the value minimizing . For only solves it; for the two symmetric nonzero roots appear, growing as the square root of the distance below — the classical . The inverse susceptibility is the curvature of at the minimum; it vanishes linearly on both sides of , giving with a factor-of-two amplitude asymmetry.
where: is the isothermal susceptibility. Above the curvature at is ; below , substituting the nonzero doubles it in magnitude and flips the sign, giving . Both diverge as (so ), but the amplitudes differ by exactly — the universal mean-field ratio . At the critical temperature the quadratic term is gone, so the field couples to the cube of the order parameter — this is the critical isotherm exponent .
where: is the field on the critical isotherm . With the linear-in- restoring term absent at , the leading response is cubic, so the magnetization grows as the cube root of the field — . Finally, restoring the spatial gradient term (the Ornstein–Zernike form) turns the free energy into a field theory whose Gaussian fluctuations fix the two correlation exponents.
where: is the stiffness of the square-gradient term and the Fourier-space correlation function. The Lorentzian propagator's width sets the correlation length , giving ; at the pure form inverse-transforms to , i.e. . The six exponents are locked together by the scaling relations below.
| relation | statement | mean-field check |
|---|---|---|
| Rushbrooke | ✓ | |
| Widom | ✓ | |
| Fisher | ✓ | |
| Josephson (hyperscaling) |
The goal is to extract the three thermodynamic exponents , , directly from the Weiss self-consistency equation , without invoking the Landau polynomial, so that the reader sees the same exponents emerge from the microscopic and understands they are a property of any analytic self-consistency loop with a quadratic touch at . The strategy is to expand the hyperbolic tangent to cubic order near , where its argument is small, and read off each exponent from the appropriate limit: below gives , the linear response gives , and the isotherm gives . The point to watch is that at exactly the linear term cancels — that cancellation is what promotes the cubic term to leading order and fixes .
Step 1. Set up the self-consistency and expand. Each spin feels the effective field , so with the mean-field transition temperature. Near the argument is small, so use : writing , we get . Why: the transition happens where the linear coefficient crosses , i.e. at ; the cubic term is the first nonlinearity that stabilizes a finite .
Step 2. Order parameter at gives . Set and cancel one factor of : , so . As this is , hence and . Why: dividing by removes the trivial root; the surviving balance is quadratic in , so the onset is a square root — the generic signature of a smooth loop losing stability.
Step 3. Susceptibility above gives . Keep small, linearize (): , so and — the Curie–Weiss law. Thus and . Why: the vanishing of at is exactly the diverging susceptibility; the same linear vanishing that drives drives .
Step 4. Critical isotherm gives . At the linear term is , which cancels the left side, leaving , i.e. , so and . Why: the exact cancellation of the linear response at is what promotes the cubic term to the leading field–magnetization relation — the hallmark of a critical point. *Verified: the expansion , the onset (), the Curie–Weiss (), and () are all checked symbolically in verify_mean-field-critical-exponents.py, alongside the independent Landau-polynomial route.*
Go deeper · Derivation B · 2 minThe specific-heat jump α = 0, the amplitude ratio, and the scaling relations
Here the goal is to complete the exponent set by computing the specific heat — showing it has a finite discontinuity rather than a divergence, so — and then to verify that the classical exponents satisfy the scaling relations with equality, which in turn fixes the upper critical dimension through hyperscaling. The route is to evaluate the Landau free energy at its minimum below , differentiate twice with respect to temperature to get the specific heat, and compare above and below; then substitute the exponent values into Rushbrooke, Widom, Fisher, and Josephson. What to watch is that a finite jump is the limit of : zero power means no singularity, only a step — and that hyperscaling alone is dimension-dependent, which is why it singles out .
Step 1. Free energy at the minimum below . Substitute into : . Above the minimum is with (no singular part). Why: the singular part of the free energy lives entirely below ; its form is the seed of the finite specific-heat jump.
Step 2. Specific heat and the jump. With and , differentiating twice in gives , a constant. So below the singular specific heat is a constant and above it is zero: the discontinuity is , finite. Hence with . Why: a free energy gives a (constant) second derivative — a step, not a spike; is the statement "jump, not divergence."
Step 3. Scaling relations with equality. Insert . Rushbrooke ✓; Widom ✓; Fisher ✓. Why: these three relations hold in any dimension because they involve no explicit ; mean-field satisfies them exactly, as any consistent scaling theory must.
Step 4. Hyperscaling fixes . Josephson's relation carries an explicit dimension: forces . For hyperscaling fails with mean-field exponents (they are -independent, hyperscaling is not), signalling that above four dimensions the free energy is dominated by a dangerously irrelevant variable and is the boundary. Why: only hyperscaling knows about dimension, so it is the relation that pins where mean-field can be exact — precisely at and above , where fluctuations stop mattering. *Verified: , the finite jump (), the amplitude ratio , and all four scaling relations (with from Josephson) are checked symbolically in verify_mean-field-critical-exponents.py; the 2D-Ising exact values are shown to satisfy Rushbrooke too.*
Limiting cases
Mean-field theory becomes exact in several controlled limits and fails in a sharply characterized way otherwise. The table compares the classical exponents to the exact 2D and best-known 3D Ising values.
| Case | Result | Meaning |
|---|---|---|
| Mean field () | Classical exponents; exact at and above the upper critical dimension (with log corrections exactly at ). | |
| 2D Ising (exact) | Onsager/Yang exact solution; wildly different from mean field, yet still obeys Rushbrooke and Widom. | |
| 3D Ising (best) | Fluctuation-corrected; the values real magnets and fluids actually show. | |
| Infinite range () | mean field exact for all | Each spin literally sees the average of all others (Curie–Weiss model), so there is nothing for fluctuations to do. |
| Ginzburg window () | Within this reduced-temperature window fluctuations dominate and classical exponents fail; outside it (far from ) mean field can still fit data. |
Worked examples
1 · Verifying the scaling relations and the specific-heat jump (confidence builder)
We check that the classical exponents satisfy the scaling relations with equality and compute the size of the mean-field specific-heat discontinuity.
Step 1. List the classical values: , , , , , . Rushbrooke requires : compute ✓.
Step 2. Widom requires : compute ✓. Fisher requires ✓.
Step 3. Josephson (hyperscaling) requires : with this is , so — the upper critical dimension drops straight out.
Step 4. The specific-heat jump from the Landau free energy is . For an Ising model at the mean-field level this evaluates to per spin-block in the standard normalization — a finite step of order , confirming : the specific heat jumps but never diverges.
2 · Coexistence-curve exponent for a van der Waals fluid (exam level)
We show the liquid–gas coexistence curve of a van der Waals fluid obeys , the same exponent as a magnet, by expanding the reduced equation of state.
Step 1. In reduced variables , , , the van der Waals equation is . Set , , and expand to third order in at fixed : .
Step 2. On the critical isotherm this is , so pressure deviation varies as the cube of volume deviation — the same as the magnet, with playing the role of order parameter.
Step 3. Below the Maxwell equal-area construction on the cubic, together with the symmetry of the leading terms, gives symmetric roots . The width of the coexistence region is .
Step 4. Since , the coexistence-curve exponent is — identical to the Weiss ferromagnet. This is universality in action: an interacting fluid and a magnet, sharing nothing microscopically, share the same classical exponent because both reduce to minimizing an analytic order-parameter free energy. (Real fluids show , flatter coexistence curves than this parabola — the measurable fingerprint of fluctuations.)
Origins · 1 mincritical exponents and how this was discovered
The critical exponents are the small set of numbers that describe how thermodynamic quantities diverge or vanish as a continuous phase transition is approached. Their story is a century of successive refinement. Van der Waals's 1873 equation of state contained, unrecognized, the classical exponents , , ; Pierre Weiss's 1907 molecular-field theory of ferromagnetism reproduced the same values from a completely different physical picture; and Lev Landau's 1937 order-parameter expansion revealed why they coincide — all three are analytic free-energy polynomials with the same algebraic structure. That three unrelated theories agree was the first evidence of universality: exponents depend only on dimensionality and symmetry. The classical values were long believed exact, until Lars Onsager's 1944 exact solution of the two-dimensional Ising model gave , not , and shattered the belief. Understanding why mean-field fails — the Ginzburg criterion's identification of the upper critical dimension , below which fluctuations dominate — set the stage for Kenneth Wilson's renormalization group (1971, Nobel 1982), which finally computed the true exponents as a systematic expansion anchored on the classical mean-field values. The classical exponents thus play a double role: the wrong answer in three dimensions, and the exactly correct zeroth order of the theory that gets it right.
Going further
Texts. Pathria & Beale, Statistical Mechanics, 3rd ed., Ch. 12 (Phase Transitions: Criticality). Kardar, Statistical Physics of Fields, Ch. 2–3. Sethna, Statistical Mechanics: Entropy, Order Parameters, and Complexity, Ch. 12. Goldenfeld, Lectures on Phase Transitions and the Renormalization Group, Ch. 5. Landau & Lifshitz, Statistical Physics Part 1, §142–148.
Provenance. Base article: AllQFT track `sm`, "Mean-Field Critical Exponents" (STAT.INTER.MFCE.1258); source Pathria & Beale, Statistical Mechanics, 3rd ed., Ch. 12 (Phase Transitions: Criticality). All exponents and scaling relations re-verified here in verify_mean-field-critical-exponents.py: the Landau minimization (), the two-sided susceptibility with amplitude ratio (), the critical isotherm (), the finite specific-heat jump (), the Ornstein–Zernike correlation exponents (), the four scaling relations (Rushbrooke, Widom, Fisher, Josephson ), the independent Weiss -route derivation of , and the exact 2D-Ising comparison values. No base physics error found; the base's exponent set, amplitude ratio, and vdW/Weiss/Ginzburg derivations are reproduced. This article is the SM6 owner of the mean-field exponent derivation; the SM7 article "Mean-Field Theory and Its Critical Exponents" recalls it in the critical-phenomena context.
Prerequisites. Van der Waals Equation of State · Maxwell Construction and Coexistence · Virial Expansion of the Equation of State.
Leads to. Ginzburg Criterion · Renormalization Group · Landau Theory of Phase Transitions.
Why does the van der Waals fluid give the same exponents as a magnet? They have nothing in common physically.
Physically nothing; algebraically everything. Both reduce, near their critical point, to minimizing an analytic free energy that is a polynomial in an order parameter — magnetization for the magnet, density (or volume) deviation for the fluid — with a quadratic coefficient that vanishes linearly through and a positive quartic term for stability. That single algebraic structure fixes , , , , irrespective of what the order parameter physically is. This is precisely the content of universality: the exponents care only about the symmetry of the order parameter and the spatial dimension, not the microscopic constituents. It is the first and clearest hint that critical behaviour is governed by something far more general than any specific Hamiltonian.
Is α = 0 the same as saying the specific heat is constant near the critical point?
No — means there is no power-law divergence, but the specific heat still changes: it has a finite discontinuity (a jump) at . In mean-field theory the singular part of the free energy goes as below and vanishes above, so its second temperature derivative is a constant below and zero above, leaving a finite step . The convention with captures "no divergence"; a genuine jump is the limit. This is different from, say, the 2D Ising model, which also has but as a logarithmic divergence — same exponent, different functional form, a subtlety the exponent alone does not resolve.
Where does the factor of two in the susceptibility amplitude ratio come from?
From evaluating the curvature of the free energy on the correct branch. Above the minimum is at , so . Below the minimum is at , and substituting this nonzero value gives . The magnitude below is twice the magnitude above, so the susceptibility amplitude is half as large below — the ratio . It is a universal mean-field prediction beyond the exponent itself, and forgetting to switch branches below (expanding about everywhere) is exactly how people miss it.
What actually is the "upper critical dimension" and why is it four?
The upper critical dimension is the spatial dimension above which mean-field theory is exact because fluctuations become negligible near . For a standard Ising-like order parameter, the Ginzburg criterion compares the fluctuation of the order parameter integrated over one correlation volume to the mean-field order parameter squared; the ratio scales as . For it vanishes as — fluctuations die away and mean-field self-consistency holds; for it diverges and the classical exponents fail. The crossover is exactly , which is also what the hyperscaling relation returns when you plug in the mean-field values. Different universality classes (with different symmetries or long-range interactions) can have different , but for short-range Ising, XY, and Heisenberg models it is four.
If the exponents are universal, why do 2D and 3D Ising give different numbers?
Universality says the exponents depend on dimension and symmetry — and D and D are different dimensions, so they are allowed to differ, and do: in 2D versus in 3D. What universality forbids is dependence on microscopic detail within a fixed dimension and symmetry class: a square-lattice Ising magnet and a triangular-lattice one in 2D share , even though their lattice structures and values differ. Mean-field theory is the special case that ignores dimension entirely (it gives the same for every ), which is precisely why it is only correct at and above , where dimension genuinely stops mattering for the exponents.
Do the mean-field exponents ever describe a real experiment accurately?
Yes, in two situations. First, in systems close to or above four effective dimensions, or with long-range interactions that mimic high dimensionality — the infinite-range Curie–Weiss model is exactly mean-field for all . Second, and more practically, in systems with a very narrow Ginzburg window: conventional BCS superconductors have coherence lengths so large that the fluctuation region is unmeasurably small (), so Ginzburg–Landau (mean-field) exponents describe the superconducting transition essentially perfectly. Even in systems that ultimately show non-classical exponents, mean-field often fits the data away from , outside the Ginzburg window; the classical values fail only in the immediate critical neighbourhood where fluctuations take over.