Codex @codex  0

An order parameter distinguishes thermodynamic phases. For a ferromagnet it is the magnetization; for a fluid near its liquid-gas critical point it can be the density relative to its critical value. In a system with a scalar order parameter, introduce a slowly varying real scalar field $\varphi (x)$ whose spatial average represents that order parameter. The Landau-Ginzburg theory organizes the effective free energy as a local expansion consistent with the symmetry:Here $K>0$ is the stiffness in the gradient energy, and $H$ is the field conjugate to an order parameter. The even powers assume a symmetry $\varphi \mapsto -\varphi$ at $H=0$. Without that symmetry further terms, including a cubic term, may be allowed. The coefficients are smooth functions of temperature and other controls; near a mean-field transition one usually writes $r=a(T-T_0)$ with $a>0$. A positive highest retained even coefficient makes the local potential bounded below.

The partition function is obtained by weighting configurations with $\exp [-\mathcal{F}/(k_{B}T)]$. The Landau approximation replaces this functional average by minimization, taking a uniform $\varphi =M$ in a homogeneous phase. In a symmetric finite system the zero-field average can vanish even below the transition because it averages both signs of $M$. The spontaneous order parameter selects a pure thermodynamic phase by taking the thermodynamic limit before removing the conjugate field:Thus the order parameter measures the ordering of a selected thermodynamic phase, rather than the average over all symmetry-related phases.

Critical exponents describe leading singular powers near a continuous phase transition. Using the reduced temperature $t=(T-T_c)/T_c$, the standard definitions includeThese 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 $M(0,H)\sim \mathrm{sgn}(H)|H{|}^{1/\delta }$. The anomalous dimension $\eta$ gives the critical long-distance connected correlation function, $G_c(x)\sim |x{|}^{-(d-2+\eta )}$, 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 $\beta ,\delta ,\gamma ,\alpha$, respectively. Expanding the Landau-Ginzburg theory about its uniform minimum gives the quadratic fluctuation kernel $K{q}^2+V^{\prime \prime }(M)$, whose Fourier transform determines the correlation length and the anomalous dimension. At the ordinary quartic critical point this gives ${\xi }^2=K/V^{\prime \prime }(M)\propto |t{|}^{-1}$ and $\eta =0$.

For $u>0$, $r=0$ gives $H=u{M}^3$ and hence $\delta =3$; the equilibrium free energy $-r^2/(4u)$ gives a finite heat capacity discontinuity, conventionally $\alpha =0$. Together with the explicit calculation below, the ordinary mean-field critical exponents areThese describe neglect of fluctuation corrections, rather than the exact exponents of every low-dimensional Landau-Ginzburg theory.

Write ${\beta }_T=(k_{B}T{)}^{-1}$ for inverse temperature to distinguish it from the order-parameter critical exponent. A normalized blocking kernel $B_b({\sigma }^{\prime },\sigma )$ is a nonnegative conditional distribution of coarse spins given the fine spins, normalized byFor 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 $b^D$ original cells, so the new lattice spacing and number of sites areThe physical volume $N{a}^D$ is unchanged. After $p$ blockings, $a_p=b^{p}a$ and $N_p=b^{-pD}N$.

Define the coarse statistical Hamiltonian by the exact Boltzmann-weight identityThe 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 $g(u)$ has energy units and is the contribution per original site that is independent of ${\sigma }^{\prime }$. Restoring the original constant term $NC$ giveshenceThis convention measures $g$ per original site; defining a constant per new site would move a factor $b^D$ into its definition.

The identity-operator contribution to renormalization-group free energy $C_p$ 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 givesThus $N_p{C}_p$ is the original constant $N{C}_0$ 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 impliesSubstituting the recursion for $C^{\prime }$ cancels $C$, givingA second step gives $f_0(u_0)=b^{-2D}{f}_0(u_2)+g(u_0)+b^{-D}g(u_1)$, and induction provesFor dimensionless free energy $-\log Z/N$, multiply $F,f_0,g,C$ throughout by ${\beta }_T$.

The singular free-energy density must be distinguished from the exact per-site representative $f_0$. If $a(u)$ is a regular background and $f_s=f_0-a$, thenThus the same displayed inhomogeneous recursion holds with $f_s,g_s$ after subtraction. When a suitable analytic background solves $a(u)=g(u)+b^{-D}a(Ru)$, 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 $g$ originates in the short-distance spins that were summed out, rather than in an extra external interaction.

Near a renormalization-group fixed point $u_{\ast }$, linearize the transformation:An eigenvector of $\mathsf{A}$ with eigenvalue $b^{y_i}$ defines a scaling coordinate $t_i$ with $t_i^{\prime }=b^{y_i}{t}_i$ to leading order. A relevant operator has $y_i>0$: its coupling grows towards large distances, so it must be tuned to reach the fixed point. An irrelevant operator has $y_i<0$ and dies away; a marginal operator has $y_i=0$ and requires higher-order flow analysis. An operator of scaling dimension $x_i$ has $y_i=D-x_i$.

The coarse spins also require a multiplicative normalization. In continuum notation, writewhere ${\varphi }_{<}$ is the retained field and $\eta$ 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 $\int d^{D}xH\varphi$, it has eigenvalue exponent $y_h=D-x_{\varphi }=(D+2-\eta )/2$.

Let $t$ be the thermal relevant coordinate with exponent $y_t>0$. After regular backgrounds have been removed, the leading singular free-energy density obeysfor a large total scale factor $B=b^p$. Choosing $B=|t{|}^{-1/y_t}$ gives the scaling hypothesis for critical phenomenaTwo 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 $\xi (t)=B\xi (B^{y_t}t)$. Consequently,At $t=0$, instead choose $B=|H{|}^{-1/y_h}$; differentiating gives $\delta =y_h/(D-y_h)$. 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 $\Lambda /b<|q|<\Lambda$ and retain ${\varphi }_{<}$. 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 withIn the integrated statistical Hamiltonian, the volume element contributes $b^D$, each gradient contributes $b^{-1}$, and each field contributes $b^{-(D-2)/2}$. Thus the coefficient ${\kappa }^{-1}$ of the gradient energy is unchanged, whileIn particular $y_t=2$, $y_h=(D+2)/2$ and $\eta =0$. The Gaussian critical exponents and the Gaussian order-parameter scaling index therefore give the requested indicesThe sign convention $+h\varphi$ corresponds to the physical conjugate field $H=-h$ and does not affect these powers.

There are physical qualifications to these Gaussian indices. The strictly quadratic Gaussian field theory is stable for positive $m^2$ and has no stable ordered phase for negative $m^2$; its purported spontaneous $\beta$ 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 $\beta =1/2$, 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 isIf $m^2\propto t$, its singular second temperature derivative is controlled by $\int d^{D}q(q^2+\kappa m^2{)}^{-2}$. For $0<D<4$, rescaling $q=\sqrt{\kappa m^2}k$ gives a power $t^{D/2-2}$, as above. At $D=4$ there is a logarithm, and for $D>4$ an analytic background dominates the heat capacity. The negative formal Gaussian $\alpha$ 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.

An order parameter distinguishes phases macroscopically. In an Ising model it is the local coarse-grained magnetization; the uniform mean is $M=V^{-1}\int \varphi (x)d^{D}x$. In a selected ordered phase $M\ne 0$, whereas the disordered phase has $M=0$ at zero conjugate field. The ordered signs are related by spin inversion symmetry. A finite zero-field system may average both signs to zero, so spontaneous symmetry breaking is defined using the thermodynamic limit before removing a symmetry-selecting field. For other systems the order parameter can be a vector, a density difference, or a tensor rather than a single magnetization.

Landau-Ginzburg theory makes the order parameter a spatial field and expands a local free energy consistent with the symmetries. For a short-range scalar system with spin inversion symmetry at $h=0$, a useful expression isThe linear source is the field conjugate to an order parameter. Odd terms at zero field are forbidden by spin inversion symmetry. The coefficients depend smoothly on control parameters away from singular fluctuation effects. With $u>0$ the quartic term suffices locally; if $u<0$, take $v>0$ for stability. The Landau approximation minimizes this functional; statistical field theory also integrates fluctuations about those minima.

An order parameter distinguishes the equilibrium phases and captures the relevant broken symmetry. For an Ising model, it is the spontaneous magnetization: its sign changes under spin reversal, and it is zero in the symmetric phase. Spontaneous magnetization means taking the thermodynamic limit before sending the external field to zero; the finite-volume zero-field mean can vanish even in an ordered phase.

In Landau-Ginzburg theory, a slowly varying real scalar field $\varphi (x)$ represents the coarse-grained local order parameter. A useful local free-energy density gives the functionalAt zero field, spin-reversal symmetry excludes odd powers. The gradient term penalizes rapid spatial variation. The field $h$ is the field conjugate to an order parameter. The mean-field approximation replaces the fluctuating scalar field by the equilibrium minimizer; a uniform minimizer has $\varphi =M$ and obeys $rM+u{M}^3+v{M}^5=h$.

An order parameter distinguishes phases by an equilibrium expectation value. For an Ising model, the local field $M(x)$ is the coarse-grained magnetization, and the uniform value is $M=N^{-1}⟨{\sum }_r{\sigma }_r⟩$. The spin inversion symmetry maps $M$ to $-M$, so at zero field the Landau free energy contains even powers. Its disordered minimum is $M=0$; ordered pure thermodynamic phases have $M=\pm M_0$. Their sign is selected by taking the thermodynamic limit before sending $h$ to zero. A symmetric mixture can have zero average without being a single disordered phase. The term $-hM$ identifies $h$ as the field conjugate to an order parameter.