Spontaneous Magnetization of the 2D Ising Model
There is a single number that broke a decade of consensus in the physics of phase transitions, and it is . Cool a two-dimensional Ising ferromagnet toward its critical temperature and its spontaneous magnetization — the net alignment that survives when the external field is switched off — does not fade away as the smooth square-root curve everyone expected. It clings to a value, then plunges: vanishes as , an exponent so small the curve rises almost vertically out of the critical point. Mean-field theory predicts the order-parameter exponent . The exact answer is , and the gap between them is the whole story of why fluctuations matter. The formula itself is a jewel of statistical mechanics: below , and identically zero above. It is compact enough to memorize and exact enough to be a benchmark for the entire two-dimensional Ising universality class. Lars Onsager, having solved the free energy in 1944, displayed this magnetization at a Florence conference in 1949 — famously without a published proof, scribbled almost as an aside. C. N. Yang supplied the first complete derivation in 1952, evaluating the long-distance limit of the spin–spin correlation function through Szegő's theorem on Toeplitz determinants. The exponent hides in plain sight. The bracket has a simple zero exactly at the self-dual critical coupling — it crosses zero linearly, like any ordinary function. But the whole thing is raised to the eighth power's reciprocal: that outer exponent turns a plain linear zero into the anomalously flat onset . The universality of — it governs lattice gases, binary alloys, and thin films alike — is dictated not by microscopics but by the conformal field theory of the critical point.
- The 2D square-lattice Ising model in zero field has an exact spontaneous magnetization for , and above.
- The magnetization vanishes as : the order-parameter critical exponent is , far from the mean-field .
- The critical temperature is the Kramers–Wannier self-dual point , i.e. .
- At the spins are fully aligned, ; near , with a calculable non-universal amplitude.
- Because is universal within the two-dimensional Ising universality class, the same exponent governs diverse short-range systems with a scalar -symmetric order parameter, including appropriate lattice-gas and binary-alloy models.
- Key idea: the bracket has a simple (linear) zero at the self-dual point, but the outer power converts that ordinary zero into the anomalously flat onset — the exponent that mean field cannot reach.
For , the exact zero-field magnetization vanishes as because the bracket has a simple zero at the self-dual point , and the overall eighth root turns that simple zero into the universal exponent .
Where this lives today
The exponent is not merely a historical exact result; it provides a stringent benchmark for numerical studies of critical phenomena. Monte Carlo methods and other numerical approaches to classical statistical mechanics can be tested against the exact magnetization curve and the critical scaling before being applied to models without exact solutions. Because the exact value is known, deviations from can be systematically analyzed in terms of finite-size effects, statistical uncertainty, and corrections to scaling. Physically, the exponent appears in two-dimensional short-range systems belonging to the Ising universality class, characterized by a scalar -symmetric order parameter. Experimental systems with effective two-dimensional Ising behavior, including magnetic films, adsorbed layers, and binary mixtures or alloys, provide realizations in which critical behavior can be compared with predictions of the 2D Ising universality class. The significance is universality: sufficiently close to the critical point, systems with very different microscopic physics can share the same critical exponent when they belong to the same universality class.
The physical picture
At absolute zero every spin points the same way and . Warm the lattice and thermally excited domain walls flip clusters of spins, chipping away at the net alignment. What keeps order alive up to a finite temperature is that in two dimensions a domain wall costs energy proportional to its length — an interfacial tension exists below — so large walls are exponentially suppressed and a global majority survives. (In one dimension a single point-like wall costs only regardless of system size, so walls always proliferate and no order survives at any .) The magnetization measures how much of that ground-state alignment is left after the walls have done their damage.
The eighth-root is a fingerprint of the strong critical fluctuations that profoundly modify the transition from its mean-field behavior. Mean-field theory pretends each spin feels only the average of its neighbours, ignoring correlations; it predicts a gentle square-root onset, . The true two-dimensional answer is far more abrupt: near the magnetization rises with a nearly vertical tangent because the exponent is so small. Long-wavelength fluctuations, enormous in low dimensions, are what flatten the curve this severely. The number is not adjustable — it is fixed by the conformal field theory (central charge ) that governs the critical point.
Duality is the secret that pins the critical temperature exactly. The high-temperature expansion of the partition function maps onto the low-temperature expansion evaluated at a dual coupling, and the unique self-dual point must be the transition if there is only one. The magnetization formula's bracket vanishes precisely there — the order parameter is chained to the duality structure. And because is universal, the same abrupt onset appears in a binary alloy ordering, a lattice gas condensing, or a uniaxial magnet: more generally, two-dimensional short-range systems in the Ising universality class, with a scalar -symmetric order parameter, share the exponent .
The core equations
The centrepiece is the Onsager–Yang magnetization. It is astonishingly simple for an exact result in an interacting many-body system — a single algebraic expression in the coupling, valid throughout the ordered phase.
where: — spontaneous magnetization per spin, ; (the inverse temperature, not the exponent); — ferromagnetic nearest-neighbour coupling; — critical temperature, . Read it as a switch: the bracket is positive for and vanishes at . For the algebraic expression inside the eighth root becomes negative, so the Yang formula is no longer the physical branch; the spontaneous magnetization is in the disordered phase. To see the exponent, focus on the bracket near the critical point. Write , so . At the self-dual point exactly, and crosses one with a finite, nonzero slope — a simple zero of . Linearizing gives for some constant , and the outer power does the rest.
where: the exponent is the order-parameter critical exponent, with . The physical content: a simple linear zero, raised to the power, becomes a curve that approaches zero with an infinite negative slope as . Every appearance of a small exponent like this signals strong fluctuations flattening a transition that mean field would draw gently. The critical temperature is inherited from Kramers–Wannier self-duality, the same value that anchors the whole Onsager solution.
where: equals , where is the critical dimensionless coupling. The order-parameter formula (1) and the critical temperature (3) are locked together: the bracket in (1) vanishes at exactly the temperature (3) fixes, which is why the magnetization "knows" where the transition is. There is a compact equivalent form worth recognizing, because it appears throughout Onsager-solution literature written in terms of the low-temperature elliptic modulus .
where: — a commonly used low-temperature elliptic-modulus parameter; for and at . Since , this is identical to (1) — but in this form the connection to the elliptic integrals of the free energy, and to Yang's correlation-function route (), is manifest.
The goal is to pin exactly using only a symmetry — no full solution needed. The strategy: expand the partition function at low temperature (organized by domain-wall droplets) and at high temperature (organized by closed loops of bonds), recognize that both are the same sum over closed loops evaluated at two different couplings and , and conclude that a unique transition must sit at the self-dual fixed point . Watch out for the single-transition assumption — it is what makes the fixed point the critical point, and Onsager's full solution confirms it.
Step 1. Low-temperature expansion. Organize configurations by domain walls: each wall of total length costs energy , so with . Why: at low the cheap excitations are small closed walls, and the sum is naturally in powers of .
Step 2. High-temperature expansion. Apply to each bond and sum over spins. For a square lattice with sites and nearest-neighbor bonds, only even graphs survive, giving , where is the total number of occupied bonds. Why: the spin sum annihilates any graph with an odd-degree vertex, leaving closed-loop configurations organized in powers of .
Step 3. Match the two loop sums. Both count the same closed loops on the self-dual square lattice, so matching their loop weights gives the duality relation (equivalently ), or . Why: the square lattice is self-dual, so low- domain-wall loops and high- expansion loops are the same geometric objects on dual lattices.
Step 4. Symmetrize and impose self-duality. Algebra turns into the manifestly symmetric ; setting gives , so and . Why: a unique singularity invariant under the involution can only live at its fixed point.
Go deeper · Derivation B · 1 minExtracting β = 1/8 from the simple zero
The aim is to prove that the compact formula (1) yields the exponent , and to see exactly where the number comes from. The strategy: identify the bracket with , show it has a simple (linear) zero at , and track how the outer power transforms that linear zero into the magnetization's onset. The one subtlety to watch: appears in two roles — as inverse temperature inside , and as the critical exponent of the answer — so we keep them typographically distinct.
Step 1. Define and note exactly at the self-dual point . So and the bracket vanishes precisely at . Why: the magnetization must onset at the transition, and (1) builds that in through the bracket touching zero there.
Step 2. Linearize the bracket. The derivative at is finite and positive, so , with . Why: crosses unity with a finite nonzero slope, so has a simple zero at ; the nontrivial critical behavior comes entirely from the outer power.
Step 3. Raise to the eighth root. , so and . Why: the simple zero contributes a factor inside the bracket, and the exponent passes straight through to the answer — the entire anomaly is that outer power.
Step 4. Contrast with mean field. Expanding the mean-field self-consistency equation near gives , hence and . The 2D answer's much smaller exponent is the quantitative measure of how strongly fluctuations reshape the transition. Why: mean field replaces the fluctuating local field by its mean, discarding exactly the correlations that flatten the curve to . *A log–log fit of vs gives slope to three decimals, confirming .*
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| all spins aligned; the ground state | ||
| order collapses with the flat exponent | ||
| disordered phase; no spontaneous alignment | ||
| for all | point-walls cost only and always proliferate | |
| mean-field () | ; fluctuations negligible above upper critical dimension |
Worked examples
1 · How much steeper is β = 1/8 than mean field? (confidence builder)
At a reduced temperature (one percent below ), compute the exact 2D-Ising magnetization and compare it to the mean-field prediction.
Step 1. Convert to a coupling. Since and , one percent below means , so .
Step 2. Exact magnetization from (1): , so , and .
Step 3. Mean-field magnetization near : .
Step 4. Compare: at , the exact result gives , whereas the standard mean-field approximation gives . This numerical comparison illustrates the much sharper onset associated with the exact exponent ; however, the amplitudes themselves are nonuniversal, so the universal distinction is the scaling versus .
2 · Magnetization deep in the ordered phase (exam level)
Compute the spontaneous magnetization at , and comment on how close the system is to full alignment.
Step 1. At the coupling doubles: .
Step 2. Evaluate the bracket: , so , and .
Step 3. Magnetization: .
Step 4. Interpret: at half the critical temperature the lattice is already 99.8% aligned — the magnetization saturates extremely fast below precisely because of the flat exponent. All the action is in the last one percent of temperature just below ; away from criticality the order parameter is boringly close to 1.
Origins · 1 mincritical exponent and how this was discovered
A critical exponent is the power law with which a physical quantity vanishes or diverges as a system approaches its critical point. The order-parameter exponent is defined by : it measures how the spontaneous order collapses as the transition is approached from below. The revolutionary lesson of the 2D Ising model is that critical exponents are universal — is shared by every two-dimensional system with a scalar () order parameter and short-range interactions, regardless of lattice geometry or microscopic detail. This universality, utterly opaque to mean-field theory (which predicts a single for everything), is the central discovery that the renormalization group was later built to explain: exponents are properties not of a material but of a universality class, fixed by dimensionality and symmetry alone.
Going further
Texts. Pathria & Beale, Statistical Mechanics, 3rd ed., §13.4 · Kardar, Statistical Physics of Fields, Ch. 6 · Yang, C. N., Phys. Rev. 85, 808 (1952) · McCoy & Wu, The Two-Dimensional Ising Model, Ch. 8. Key results to keep in view: ; the bracket's simple zero at gives (log–log slope ); ; ; the equivalent form with ; the worked numbers: at vs mean-field ; at .
Prerequisites. The Ising model definition and Hamiltonian · order parameter and spontaneous magnetization · the Onsager solution of the 2D Ising model · Kramers–Wannier duality. Leads to. The Peierls argument · high- and low-temperature series expansions · mean-field (Weiss) theory of the Ising model · domain walls and interfacial excitations.
The formula has an eighth root, so isn't β = 1/8 just obvious?
The eighth root supplies the factor of , but that alone does not fix . The exponent is only because the inner bracket has a simple zero at — it crosses zero linearly in . A simple zero raised to the gives ; but if the bracket had a double zero, the same eighth root would give . So encodes two facts: the outer power and the linear (simple-zero) structure of the bracket at the duality-fixed critical point. Reading "1/8 because of the eighth root" alone misses the second half.
Why does a smaller exponent mean a steeper curve near T_c?
Because the derivative near blows up faster for smaller . Writing , the slope is . For the exponent is strongly negative, so the slope diverges as : the curve rises with a near-vertical tangent. For mean-field , , so the slope diverges more gently. Smaller exponent ⇒ flatter power ⇒ the magnetization stays large until you are very close to , then collapses abruptly. That is why the exact curve sits well above the mean-field one for most of the ordered phase.
Why is m defined to be exactly zero above T_c, rather than the formula's value?
Above the bracket goes negative (since there), and its power is not a real number — the formula simply stops applying. Physically, above there is no spontaneous symmetry breaking: in zero field the up and down states are equally populated and the average spin is exactly zero. The formula (1) describes only the ordered phase; the honest statement is for , matching the physical fact that spontaneous magnetization is the order parameter and vanishes identically in the disordered phase.
How can β = 1/8 be "universal" if it comes from a specific lattice formula?
The specific formula is for the square lattice, but the exponent it produces is shared far more widely. Universality says that critical exponents depend only on the spatial dimension, the symmetry of the order parameter, and the range of interactions — not on lattice geometry or microscopic couplings. Any two-dimensional system with a single scalar () order parameter and short-range interactions — triangular-lattice Ising, a lattice gas, a binary alloy, a uniaxial thin-film magnet — has . The square-lattice formula is one convenient window onto a number that belongs to the whole universality class. The renormalization group later explained why the microscopic details wash out.
Did Onsager or Yang derive the magnetization?
Both, in different senses, and the distinction matters. Onsager announced the result in 1949 at a conference in Florence, writing it almost as a remark, but he never published a derivation. C. N. Yang published the first complete proof in 1952, obtaining as the long-distance limit of the diagonal spin–spin correlation function, evaluated as a Toeplitz determinant via Szegő's theorem. So the formula is genuinely "Onsager–Yang": Onsager's insight, Yang's proof. Saying "Onsager derived the magnetization" is loose; "Onsager announced it, Yang proved it" is accurate.
How close to full alignment is the system at, say, half the critical temperature?
Remarkably close — about 99.8% aligned. At the coupling is , and plugging into the formula gives . The magnetization saturates extremely fast below precisely because the exponent is small: the flat power means the curve shoots up near and then flattens out close to 1. All the interesting temperature dependence is packed into the last percent or so below ; deep in the ordered phase the order parameter is boringly close to full alignment.