Fisher scaling relation 2026-10-06
The correlation-function susceptibility sum rule and give when is finite, its large-distance tail is integrable and . With correlation-length critical exponent , this gives the displayed relation for the magnetic-susceptibility critical exponent. Microscopic distances contribute a regular background rather than the divergent critical power.
For a scalar quartic Landau free energy with , rescaling gives this minimized scaling form, with and . The two functions minimize . In particular and . Below the transition the equilibrium field dependence has a cusp at zero; pure-phase derivatives are one-sided. The form gives order-parameter critical exponent and magnetic-susceptibility critical exponent .
Critical exponents describe leading singular powers near a continuous phase transition. Using the reduced temperature , the standard definitions include
These are the order-parameter critical exponent, magnetic-susceptibility critical exponent, heat-capacity critical exponent and correlation-length critical exponent. The critical-isotherm exponent is defined by . The anomalous dimension gives the critical long-distance connected correlation function, , when an ordinary scale-invariant critical point exists.
In the Landau approximation, minimize the Landau free energy to obtain the equation of state, differentiate it with respect to the field conjugate to an order parameter to obtain magnetic susceptibility, and differentiate the minimized free energy with respect to temperature to obtain heat capacity. These operations determine , respectively. Expanding the Landau-Ginzburg theory about its uniform minimum gives the quadratic fluctuation kernel , whose Fourier transform determines the correlation length and the anomalous dimension. At the ordinary quartic critical point this gives and .
For , gives and hence ; the equilibrium free energy gives a finite heat capacity discontinuity, conventionally . Together with the explicit calculation below, the ordinary mean-field critical exponents are
These describe neglect of fluctuation corrections, rather than the exact exponents of every low-dimensional Landau-Ginzburg theory.
Take the symmetric scalar Landau free energy with , for a positive constant , and leading equation of state
At zero conjugate field, minimization gives for and for . Selecting the positive pure thermodynamic phase,
Consequently the order-parameter critical exponent is .
Differentiate the equation of state at fixed temperature, within the selected phase:
Both sides diverge as , so the magnetic-susceptibility critical exponent is . The leading above-to-below magnetic susceptibility amplitude ratio is two. These are the ordinary mean-field critical exponents, valid under the fluctuation qualification explained above.
Write for inverse temperature to distinguish it from the order-parameter critical exponent. A normalized blocking kernel is a nonnegative conditional distribution of coarse spins given the fine spins, normalized by
For deterministic blocking it can impose a majority rule or block average, with a Dirac delta replacing the sum constraint for continuous coarse variables. Each block occupies original cells, so the new lattice spacing and number of sites are
The physical volume is unchanged. After blockings, and .
Define the coarse statistical Hamiltonian by the exact Boltzmann-weight identity
The operator family must include all generated interactions for this renormalization-group transformation to be exact; restricting it to a few couplings is an approximation. The scalar has energy units and is the contribution per original site that is independent of . Restoring the original constant term gives
hence
This convention measures per original site; defining a constant per new site would move a factor into its definition.
The identity-operator contribution to renormalization-group free energy records the configuration-independent normalization generated by the eliminated spins. It includes their contribution to free energy, including entropy and measure factors, and need not be independent of temperature. It has no effect on normalized probabilities of the retained spins, but is indispensable for the total partition function and its temperature derivatives. Iterating its recursion gives
Thus is the original constant plus the accumulated free-energy contributions of the eliminated degrees of freedom.
To obtain the additive free-energy recursion under blocking, use energy-valued free energy per current lattice site,
The blocking kernel normalization implies
Substituting the recursion for cancels , giving
A second step gives , and induction proves
For dimensionless free energy , multiply throughout by .
The singular free-energy density must be distinguished from the exact per-site representative . If is a regular background and , then
Thus the same displayed inhomogeneous recursion holds with after subtraction. When a suitable analytic background solves , it leaves a homogeneous singular recursion. Analytic subtraction of an inhomogeneous renormalization recursion explains this separation. A renormalization-group free-energy resonance can obstruct analytic subtraction and produce a logarithm. The original function originates in the short-distance spins that were summed out, rather than in an extra external interaction.
Near a renormalization-group fixed point , linearize the transformation:
An eigenvector of with eigenvalue defines a scaling coordinate with to leading order. A relevant operator has : its coupling grows towards large distances, so it must be tuned to reach the fixed point. An irrelevant operator has and dies away; a marginal operator has and requires higher-order flow analysis. An operator of scaling dimension has .
The coarse spins also require a multiplicative normalization. In continuum notation, write
where is the retained field and is its anomalous dimension. This restores the normalization of the critical long-distance connected correlation function. Since a uniform field conjugate to an order parameter enters through , it has eigenvalue exponent .
Let be the thermal relevant coordinate with exponent . After regular backgrounds have been removed, the leading singular free-energy density obeys
for a large total scale factor . Choosing gives the scaling hypothesis for critical phenomena
Two temperature derivatives give the heat-capacity critical exponent; one conjugate-field derivative gives the order-parameter critical exponent; two such derivatives give the magnetic-susceptibility critical exponent. Scaling the correlation length gives . Consequently,
At , instead choose ; differentiating gives . These scaling relations for critical exponents assume that irrelevant variables can be set to their fixed-point values without singular consequences. A dangerously irrelevant coupling or logarithmic correction requires keeping the corresponding dependence.
For the Gaussian field theory, integrate out the Fourier modes in and retain . The modes are independent at zero external field, so this Gaussian thinning transformation changes the normalization by a Gaussian determinant and leaves a quadratic statistical Hamiltonian for the retained modes. Restore the cutoff with
In the integrated statistical Hamiltonian, the volume element contributes , each gradient contributes , and each field contributes . Thus the coefficient of the gradient energy is unchanged, while
In particular , and . The Gaussian critical exponents and the Gaussian order-parameter scaling index therefore give the requested indices
The sign convention corresponds to the physical conjugate field and does not affect these powers.
There are physical qualifications to these Gaussian indices. The strictly quadratic Gaussian field theory is stable for positive and has no stable ordered phase for negative ; its purported spontaneous is therefore the formal Gaussian order-parameter scaling index. A stabilizing quartic term gives an actual ordered phase. Below four dimensions that term is relevant and changes the exponents; above four dimensions it is a dangerously irrelevant coupling and gives the actual mean-field , rather than the Gaussian hyperscaling value.
The heat capacity power can also be checked directly. Apart from constants, the zero-field Gaussian free-energy density is
If , its singular second temperature derivative is controlled by . For , rescaling gives a power , as above. At there is a logarithm, and for an analytic background dominates the heat capacity. The negative formal Gaussian then describes the subleading singular piece, with logarithmic resonances at appropriate even dimensions. This is the Gaussian specific-heat infrared threshold, and it prevents confusing singular indices with the entire observable.
Let be the thermal and magnetic scaling fields, with eigenvalues and . After discarding irrelevant variables whose vanishing is nonsingular, the homogeneous singular free-energy density satisfies
Choose . Then
Two thermal derivatives give the heat-capacity critical exponent; one and two field derivatives give the order-parameter critical exponent and magnetic-susceptibility critical exponent. The correlation-length critical exponent follows directly from the length rescaling. Thus
At , choose . Differentiating gives , so . The order parameter has scaling dimension ; therefore its critical connected correlation function has power . Comparing with yields
These formulas express the requested critical exponents in terms of the relevant scaling exponents. Their hyperscaling assumptions must be respected: above an upper critical dimension, a dangerously irrelevant coupling can invalidate the free-energy homogeneity used here. Applying the formulas to the Gaussian thinning transformation in the root solution gives the requested Gaussian indices and their physical qualifications.
A critical exponent describes the leading singular power of an observable in a specified scaling limit. The order-parameter critical exponent describes the zero-field ordered branch; the magnetic-susceptibility critical exponent describes response to its conjugate field; and the critical-isotherm exponent describes response at the critical temperature. They are found in the Landau approximation by minimizing the potential and differentiating the resulting equation of state, as calculated in the question's root solution. For a leading stabilizer the same calculation gives , and . Thus , and . Beyond the Landau approximation, the renormalization-group relevance exponents and anomalous dimension determine the singular powers; Question 2 derives their relations. The critical exponents refer to specified paths, and tuning to a higher multicritical point requires eliminating its lower relevant perturbations.
A phase diagram locates stable pure thermodynamic phases and their phase coexistence boundaries in a space of control parameters. For a concrete three-dimensional example, take the temperature, crystal-field parameter, and magnetic field of the Blume–Capel model. Its spins take values ; changing the cost of the zero-spin state can turn a continuous ordering transition into a discontinuous one. A local scalar description near the resulting tricritical point is the Landau-Ginzburg theory
The three local control coordinates are , with varying linearly with the thermal scaling field. For , , the transition at is continuous. For , zero-field coexistence is at , and the magnetization jumps between zero and . The two loci meet at , the tricritical point.
The full three-dimensional phase diagram has an ordered coexistence sheet at , where the two opposite magnetizations exchange stability when changes sign. On its three-phase line it meets two nonzero-field tricritical wings. These wings are first-order phase transition surfaces between minima of the same sign but different magnitude, terminating at ordinary thermodynamic critical points. Their tricritical wing critical edges are found by :
Indeed fixes , and substituting into and gives ; ensures a stable critical quartic minimum. The two signs give the two wings. All transition surfaces and critical edges end together at the tricritical point. The following plot uses ; its wing surfaces come from the exact tricritical wing coexistence factorization, rather than schematic unconstrained surfaces.
Figure 1.
Tricritical coexistence surfaces, the zero-field phase diagram, and ordinary, first-order and tricritical Landau potentials
. Details.
The unheaded requests for critical exponents follow from the uniform equation of state
For an ordinary thermodynamic critical point, is fixed and , . At , , the small ordered minimum obeys , so the order-parameter critical exponent is . Above the transition , giving the magnetic-susceptibility critical exponent . At , , so the critical-isotherm exponent is . At the tuned tricritical point, , instead below the transition and on its critical isotherm, while the disordered susceptibility remains . Therefore
Below the transition the inverse susceptibility is , giving in the ordinary limit and in the tricritical limit. Thus both sides give the same susceptibility power, with different amplitudes.
To derive the general Ginzburg criterion, tune away all lower even nonlinearities and let the leading stabilizer be , . The equation of state gives , and its curvature at the ordered saddle is , so . The fluctuations of the order parameter averaged over a correlation volume are estimated by its long-wavelength quadratic covariance:
The integral has a fixed dimensionless upper limit after ; this is a coarse-volume fluctuation estimate, not the ultraviolet-dominated point variance. Consequently the multicritical Ginzburg ratio is
The Landau approximation is asymptotically controlled by this test only when the ratio tends to zero. This gives the upper critical dimension
The same threshold follows by giving its Gaussian engineering dimension : the coupling to has scaling exponent , which becomes relevant below .
For , the fluctuation ratio diverges and the saddle calculation cannot predict the generic interacting critical exponents. At the test is marginal, not a proof of changed power exponents: the ratio has zero thermal power and marginal interactions can produce logarithmic corrections. Thus the PDF's inclusion of equality in a blanket claim about wrong power exponents needs this qualification. The Landau-Ginzburg theory as a fluctuating field theory remains useful; what loses validity is its fluctuation-free Landau approximation.
A critical exponent specifies a leading singular power in a response or order parameter as the thermodynamic critical point is approached. Analytic backgrounds and the selected thermodynamic branch must be distinguished from that singular part. Write , , and first take . The equation of state is .
At zero field on the ordered branch, , giving the order-parameter critical exponent . Differentiating the equation of state gives : above the transition , below it , so the magnetic-susceptibility critical exponent is . At , , giving the critical-isotherm exponent .
The minimized singular free-energy density is above and below. Two temperature derivatives produce a finite specific-heat jump, corresponding to the heat-capacity critical exponent . The inverse quadratic fluctuation kernel is , so gives ; the critical propagator proportional to gives . Thus
These mean-field critical exponents follow from minimization and linear response. More generally, linearize the renormalization group and differentiate its singular free-energy scaling form to obtain the actual fluctuation-controlled exponents.
The scaling hypothesis for critical phenomena says that the singular part of the equilibrium free energy is a generalized homogeneous function of its thermal and field-like controls. Smooth backgrounds must first be removed; the hypothesis does not claim that the entire free energy, including arbitrary regular terms, has a pure scaling form.
For the ordinary scalar quartic LG theory, set with and , and rescale the uniform order parameter as
The order-parameter-dependent free-energy density becomes
Define as the minimum of the braces, with the sign of the quadratic term respectively positive or negative. Consequently
For an extensive , additionally contains the system volume. The printed double-inequality subscript labels the two temperature branches: the upper-temperature function is and the lower-temperature function is . It does not classify positive and negative magnetic fields. In particular and ; below the transition the field dependence has a cusp at zero, so derivatives are taken on a selected branch.
For the following derivatives, take to be a density, so is the magnetization density; for total free energy the derivative gives total magnetization instead. Differentiate this mean-field scalar free-energy scaling form. The magnetization is , giving and . The magnetic susceptibility is , giving . At zero field the nonzero curvature amplitudes are and .
To allow nonclassical critical exponents, replace the fixed powers by
The heat-capacity critical exponent is defined by ; temperature differentiation gives the thermal exponent in . The order-parameter critical exponent has , and the magnetic-susceptibility critical exponent has . Differentiating the scaling form gives
Eliminating proves the Rushbrooke scaling relation
The critical-isotherm exponent is defined by . At fixed small , the limit requires , so that the temperature factors cancel. Therefore , yielding . But the two differentiated identities also give , and hence the Widom scaling relation
These are relations among the leading power indices. At marginal dimensions, multiplicative logarithms can accompany them, and an additive analytic background must not be mistaken for the singular scaling contribution.
Use inverse temperature , reserving without a subscript for the critical exponent. Write ; each undirected bond occurs once, so the number of bonds is . In the mean-field theory of the Ising model, write each Ising spin as and neglect the product of fluctuations:
The resulting independent-spin statistical Hamiltonian is
The constant corrects the double counting of interaction energy. The Ising spin sums now factorize and can all be evaluated:
This is the approximate partition function at an assumed mean field; equilibrium fixes self-consistently. The corresponding Ising auxiliary mean-field free energy is
Its equilibrium value gives the mean-field Helmholtz free energy in the imposed field. Away from a stationary point its parameter is an assumed field variable, not necessarily the actual mean Ising spin of that independent-spin distribution.
For the full small- expansion at fixed , set and . Differentiating gives successive derivatives , , , and at . Therefore
At zero field, spin inversion symmetry eliminates odd powers and this simplifies to
The quadratic coefficient changes sign and the quartic coefficient is positive at
Thus the zero-field mean-field prediction is a continuous, continuous phase transition: the stable zero spin magnetization develops two symmetry-related nonzero minima continuously below .
Both requested routes give the same mean-field self-consistency equation. First, the one-spin expectation in the effective field is
Second, differentiating the Ising auxiliary mean-field free energy gives
whose stationary condition is precisely that mean-field self-consistency equation. Choose its stable, lowest-free-energy branch rather than every algebraic solution.
An equally useful mean-field approximation parametrizes the trial distribution by its actual mean Ising spin. Its probabilities are , giving the Bragg-Williams free energy of the Ising model
This energy-minus-entropy function has expansion
Its stationary equation is , again equivalent to the mean-field self-consistency equation. The two functions differ away from equilibrium, but agree on stationary branches: for and , the entropy bracket equals . Their small- coefficients therefore need not agree at arbitrary temperature; at they have the same leading critical quartic coefficient . This distinction prevents confusing the auxiliary-field expansion with the physical-magnetization variational expansion.
For the order-parameter critical exponent, expand the equation of state at :
On a nonzero stable branch,
Hence . The spontaneous magnetization is understood by selecting a branch with an infinitesimal field after the thermodynamic limit; a finite symmetric sample has zero exact zero-field mean Ising spin.
For the magnetic susceptibility per site, define with in energy units. Implicit differentiation gives
Above , and . Below , evaluated on a selected ordered branch, the expansion of gives . Thus the magnetic-susceptibility critical exponent is on both sides, with different amplitudes. At , the equation of state becomes
so the critical-isotherm exponent is . These are mean-field critical exponents, not a claim that neglecting fluctuations gives the exact Ising transition in every dimension.
These are mean-field critical exponents at a tricritical point. Hold the other control at its tricritical value and take the coefficients to be real analytic functions of temperature along a thermal approach with , , , and or . At fixed tricritical , a generic real analytic temperature path with nonzero thermal slope has and meets the last condition. Paths tangent to a scaling direction can have different apparent temperature powers.
At zero field on the ordered side with , stationarity gives ; under the more general approach , this relation holds to leading order. Thus the order-parameter critical exponent is
For the zero-quartic representative, putting this minimum into the Landau free energy gives the singular order-parameter contribution (and the leading asymptotic contribution under the stated negligible-quartic approach)
Using at fixed other control yields , specifically to leading order. Hence
This heat-capacity critical exponent refers to the nonzero ordered-side singular amplitude; in this mean-field approximation to Landau theory, the disordered global minimum contributes zero singular free energy, while any regular background remains. Fluctuation corrections lie outside the present approximation.
In the disordered phase, differentiating the equation of state at gives the magnetic susceptibility . On the ordered branch its curvature is , so . Both give the magnetic-susceptibility critical exponent
At the tricritical temperature with both lower coefficients zero, , so and the critical-isotherm exponent is
The Widom scaling relation and Rushbrooke scaling relation both check these powers. Their validity here is a mean-field conclusion, not a claim that fluctuations in every spatial dimension preserve them.
At the tricritical point, and the zero-field Landau free energy is . Below , minimization gives
Since , the order-parameter critical exponent is
At this minimum, is proportional to . Comparing this with gives the heat-capacity critical exponent
After adding the magnetic contribution , the inverse zero-field magnetic susceptibility is the curvature . Above it is , while below it is , so and the magnetic-susceptibility critical exponent is
Finally, exactly at the equation of state is . Hence and the critical-isotherm exponent is
Put , so . At zero field the stationary equation factors as
For , is the unique minimum. For , it is unstable and the two minima are
The order parameter therefore tends continuously to zero, and its order-parameter critical exponent is .
At either ordered minimum the singular free-energy density is
whereas it is zero for . Two temperature derivatives give a singular heat capacity proportional to below the transition and zero above it, so the heat-capacity critical exponent is .
The inverse magnetic susceptibility at a stable minimum is the curvature . Below ,
and hence and . Above , however, the curvature at vanishes for every . Indeed, at small field , so and the linear susceptibility is already infinite away from the critical point. Consequently the usual magnetic-susceptibility critical exponent is not defined for this exceptional free energy; assigning it a finite value would incorrectly assume a quadratic term.
At , the equation of state is , so and the critical-isotherm exponent is . Thus the transition is continuous, although its missing quadratic term makes the high-temperature linear response singular throughout that phase.