Codex @codex  0

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.

Let $b,c>1$, rescale $q_{\parallel }^{\prime }=b{q}_{\parallel }$, ${\mathbf{q}}_{\perp }^{\prime }=c{\mathbf{q}}_{\perp }$, and set $B=b{c}^{d-1}$. Use the Fourier-amplitude conventionThe momentum measure contributes $B^{-1}$, and substitution into the quadratic statistical Hamiltonian givesIn the uniform source the momentum delta function cancels the Jacobian determinant of the measure, explaining why $h^{\prime }$ does not have an additional $B^{-1}$. In a full momentum-shell renormalization group transformation integrate out the fast modes first. Their uncoupled Gaussian integrals contribute an additive free-energy density; the displayed transformations describe the slow-mode statistical Hamiltonian after coordinate and field rescaling.

The field convention must be stated. In real space, $x_{\parallel }^{\prime }=x_{\parallel }/b$ and ${\mathbf{x}}_{\perp }^{\prime }={\mathbf{x}}_{\perp }/c$, and Fourier inversion gives $m^{\prime }(x^{\prime })=Bm(x)/z$. Thus if instead the symbol $m^{\prime }=m/z_x$ refers to real-space amplitudes, $z=B{z}_x$. Then the same transformation reads $K^{\prime }=B{z}_x^{2}K/b^2$, $L^{\prime }=B{z}_x^{2}L/c^4$, $t^{\prime }=B{z}_x^{2}t$, $h^{\prime }=B{z}_{x}h$. These are equivalent normalizations, not different critical exponents.

Let $f=-V^{-1}\log \mathcal{Z}$ be the dimensionless free-energy density. The transformed volume is $V^{\prime }=V/B$. Including the normalization from eliminated modes giveswhere $g_b$ is an additive shell contribution. After subtraction of regular backgrounds, the leading singular part obeys the scaling hypothesis for critical phenomenaChoose $b=t^{-1/2}$ for the high-temperature side $t>0$. Then the nominal homogeneous form isThe volume exponent is $D_{\mathrm{eff}}$, so inserting $d$ in the isotropic hyperscaling formula would give the wrong answer.

There are two qualifications to interpreting this as the total free energy. Completing the Gaussian square gives the source contribution exactly as $-h^2/(2t)$, and the zero-field determinant contributesRescaling $q_{\parallel }\sim t^{1/2}$ and $q_{\perp }\sim t^{1/4}$ gives the power $t^{(d+1)/4}$, while $2\Delta -1=(d+1)/4$ makes the source term consistent with it. Cutoff-dependent analytic terms need not obey the homogeneous law. Furthermore Gaussian free-energy logarithms at integer singular powers replace the pure zero-field power by $t^n\log t$ when $(d+1)/4=n$ is a positive integer, including $d=3,7$. This is the usual logarithmic qualification of the nominal exponents. The quadratic model also has no stable negative-$t$ phase unless a stabilizing interaction is added.

The scaling hypothesis for critical phenomena describes the singular part of the equilibrium free-energy density, rather than its analytic background. For an isotropic system in spatial dimension $D$, with thermal scaling field $t$ and conjugate field $h$, writeThis follows from coarse graining near a renormalization-group fixed point: a correlation volume is enlarged by $b^D$, while the relevant thermal and field perturbations grow with their eigenvalues. Choosing $b=|t{|}^{-1/y_t}$ givesThe two functions describe the two sides of the transition. Nonuniversal metric factors multiplying $t,h,f_s$ must be allowed when comparing microscopic models. Exponents and suitably normalized scaling functions or amplitude ratios characterize a universality class.

Differentiating the free-energy density gives the order parameter $M=-{\partial }_h{f}_s$, magnetic susceptibility $\chi ={\partial }_{h}M$ and singular heat capacity proportional to $-{\partial }_t^2{f}_s$. ThusThe subscript distinguishes the order-parameter exponent from inverse temperature. At $t=0$, choose $b=|h{|}^{-1/y_h}$ to obtain $M\sim \mathrm{sgn}(h)|h{|}^{1/\delta }$, with $\delta =y_h/(D-y_h)$. These derivatives imply the Rushbrooke scaling relation $\alpha +2{\beta }_{\mathrm{mag}}+\gamma =2$ and the Widom scaling relation $\gamma ={\beta }_{\mathrm{mag}}(\delta -1)$. Equivalently, the equation of state has $h=|t{|}^{\Delta }{\mathcal{H}}_{\pm }(M/|t{|}^{{\beta }_{\mathrm{mag}}})$, with $\Delta ={\beta }_{\mathrm{mag}}\delta ={\beta }_{\mathrm{mag}}+\gamma$.

The correlation length scales as $\xi \sim |t{|}^{-\nu }$, $\nu =1/y_t$. At criticality the connected correlation function behaves as $G(r)\sim r^{-(D-2+\eta )}$, giving $y_h=(D+2-\eta )/2$. Integrating $G$ over a correlation volume gives $\chi \sim {\xi }^{2-\eta }$ and hence the Fisher scaling relation $\gamma =(2-\eta )\nu$. The hyperscaling relation $2-\alpha =D\nu$ expresses one singular free-energy contribution per correlation volume.

These laws organize measurements: plotting $M/|t{|}^{{\beta }_{\mathrm{mag}}}$ against $h/|t{|}^{\Delta }$ collapses near-critical curves onto the appropriate scaling function. A finite system replaces the divergent length by its size $L$; the corresponding prediction is $f_s=L^{-D}\mathcal{F}(t{L}^{y_t},h{L}^{y_h})$ under the same scaling assumptions. Finite size rounds a sharp thermodynamic singularity.

The hypothesis has a domain of validity. At a renormalization-group fixed point one generally needs $f_s=b^{-D}{f}_s(b^{y_t}t,b^{y_h}h,b^{y_u}u,\dots )$, including other scaling fields. Ordinary irrelevant couplings can be set to zero in a nonsingular limiting scaling function. A dangerously irrelevant coupling cannot: above the upper critical dimension of scalar quartic theory, the quartic term is irrelevant at the Gaussian point but still stabilizes the ordered phase. Consequently naive hyperscaling fails there even though other exponent relations can remain valid. Marginal variables can produce logarithms, anisotropic systems require the appropriate volume exponent, and the Berezinskii–Kosterlitz–Thouless transition has an essential correlation-length singularity instead of a finite power-law $\nu$. Scaling theory relates observables through a small number of fixed-point dimensions; it does not make analytic backgrounds, marginal logarithms or dangerously irrelevant variables disappear.

The Landau-Ginzburg theory for a scalar order parameter supplements a local symmetry-allowed potential with a gradient penalty. For a ${\mathbb{Z}}_2$ symmetry at zero field, a stable quartic model iswith $r=a(T-T_c)$ near a mean-field transition. Equilibrium fluctuations have weight $e^{-F/(k_{B}T)}$. In the Landau approximation, minimize the functional. A uniform stationary state obeys $r\varphi +u{\varphi }^3=h$. At zero field the minimum is $\varphi =0$ for $r>0$ and $\varphi =\pm \sqrt{-r/u}$ for $r<0$. The latter pair is spontaneous symmetry breaking of the discrete symmetry.

The uniform free-energy density at its minimum is zero above the transition and $-r^2/(4u)$ below, up to regular backgrounds. Differentiating the equation of state gives ${\chi }_{+}=1/r$ and ${\chi }_{-}=1/(2|r|)$. At $r=0$, $\varphi =(h/u{)}^{1/3}$. Gaussian fluctuations around the minimum have inverse covariance $(K{q}^2+r)/(k_{B}T)$ above and $(K{q}^2+2|r|)/(k_{B}T)$ below. Their correlation lengths are ${\xi }_{+}=(K/r{)}^{1/2}$ and ${\xi }_{-}=(K/(2|r|){)}^{1/2}$. These results give the usual mean-field critical exponentsThe heat capacity has a finite jump rather than a power-law divergence. Negative quartic coefficient requires higher stabilizing terms and can produce a first-order transition; a vanishing quartic coefficient requires a tricritical analysis. Thus the assumed positivity of $u$ matters.

The Ginzburg criterion tests whether this saddle description is self-consistent. Below the transition compare fluctuations of the order parameter averaged over a correlation volume with its squared mean-field value ${\varphi }_0^2=|r|/u$. Modes with $q\lesssim {\xi }^{-1}$ dominate this coarse-grained fluctuation estimate:where the positive dimensionless $A_D$ depends on the averaging window and the factor of two used in $\xi$. Dividing by ${\varphi }_0^2$ givesIt is the fluctuation of a correlation-volume average, not the full cutoff-dominated microscopic variance, that should be compared with the mean-field order parameter.

For $D<4$, $\mathcal{G}$ diverges as $r\to 0$, so the asymptotic critical region is fluctuation dominated. Away from it, mean-field theory can still work whenFor $D>4$, the long-wavelength ratio tends to zero near criticality, consistently with Gaussian control and mean-field thermodynamic exponents. At $D=4$, quartic coupling is marginal; scale-dependent logarithms require a renormalization-group analysis rather than interpreting a constant bare ratio as a proof of no corrections. This identifies four as the upper critical dimension of the short-range scalar quartic model.

The Landau-Ginzburg theory is valuable because symmetries restrict a manageable list of local operators, the gradient term describes correlations and interfaces, and the Ginzburg criterion identifies when neglected fluctuations become decisive. Below the upper critical dimension an interacting renormalization-group fixed point, rather than the bare saddle, determines universal exponents. For continuous order parameters the manifold of ordered minima also has Goldstone modes, and lower-critical-dimension fluctuations require separate attention. Mean-field minimization supplies an approximation; the Ginzburg ratio decides whether its neglect of fluctuations is justified.

An order parameter distinguishes equilibrium thermodynamic phases. For a scalar magnetic system, a slowly varying coarse-grained scalar field $\varphi (x)$ represents local magnetization, and its uniform expectation $M=⟨\varphi ⟩$ is the order parameter. Under spin inversion symmetry, $\varphi \mapsto -\varphi$ and $h\mapsto -h$. The disordered phase has $M=0$ at $h=0$, while a pure ordered phase has $M\ne 0$. In a finite symmetric system the average still vanishes at $h=0$; spontaneous symmetry breaking means taking the thermodynamic limit before $h\to 0^{+}$ or $h\to 0^{-}$ to select a pure thermodynamic phase.

Landau-Ginzburg theory assigns a local free-energy functionalSpin inversion symmetry forbids odd powers at zero conjugate field; locality and slow variation motivate the gradient expansion. The gradient energy penalizes interfaces and determines long-wavelength response. Integrating $e^{-\mathcal{F}/(k_{B}T)}$ over fields includes fluctuations, whereas the Landau approximation replaces that integral by its stable stationary configuration. For a uniform phase this reduces to minimizing $V(M)$. If $f$ is the equilibrium free-energy density, then $M=-\partial f/\partial h$, so the order parameter is also the thermodynamic response to its conjugate field.

Let $A(M)=V(M)+hM$ be the zero-field constrained order-parameter free energy. At coexistence in a conjugate field $h_c$, two global minima $M_1<M_2$ obeyThus the same line of slope $h_c$ is tangent to $A$ at both endpoints: the common-tangent construction for phase coexistence. Equivalently,This is the Maxwell equal-area construction on the equation-of-state curve $h=A^{\prime }(M)$: the signed areas on either side of the horizontal coexistence line cancel. Equal slope alone finds stationary phases; the integral additionally enforces equal free energy.

If the mean order parameter is constrained between the endpoints, the system can separate into two macroscopic phases. With $\lambda =(M-M_1)/(M_2-M_1)$, their bulk free-energy density is $(1-\lambda )A(M_1)+\lambda A(M_2)$. The interface contributes subextensively in the thermodynamic limit. The resulting constrained order-parameter free energy is the convex envelope of $A$, with a straight coexistence segment. This explains why a nonconvex uniform Landau free energy must be convexified when describing stable constrained equilibrium, and why a spinodal point is not the Maxwell construction boundary.

Write ${\beta }_T=(k_{B}T{)}^{-1}$ to distinguish inverse temperature from an order-parameter critical exponent. For the Ising model, define the full two-point correlation function $G(r)=⟨{\sigma }_0{\sigma }_r⟩$ and its connected correlation function $G_c(r)=G(r)-M^2$ in a translation-invariant phase. Away from a thermodynamic critical point, the large-distance envelope decays exponentially, possibly multiplied by a power of distance:This defines the correlation length in physical distance units when the limit exists. At a continuous phase transition, $\xi \to \infty$ and the critical connected correlation function typically has algebraic decay $G_c(r)\sim |r{|}^{-(D-2+\eta )}$, where $\eta$ is the anomalous dimension. Below the transition the full $G(r)$ tends to $M^2$, so the decay definition must use $G_c$.

Let $S={\sum }_r{\sigma }_r$ and $F=-{\beta }_T^{-1}\log Z$ be the extensive Helmholtz free energy. Holding the field-independent constant $C$ and other physical couplings fixed,Because the Hamiltonian contains $-hS$, ${\partial }_h\log Z={\beta }_T⟨S⟩$ and ${\partial }_h^2\log Z={\beta }_T^2(⟨S^2⟩-⟨S{⟩}^2)$. Translation invariance then proves the correlation-function susceptibility sum rule:In the ordered zero-field phase these statements refer to a selected pure thermodynamic phase; averaging equally over opposite magnetizations introduces the separate spin-mixture contribution to zero-field susceptibility.

A normalized blocking kernel $K_b({\sigma }^{\prime },\sigma )\ge 0$ satisfies ${\sum }_{{\sigma }^{\prime }}{K}_b({\sigma }^{\prime },\sigma )=1$. For example, assign one block spin to each block of $b^D$ microscopic spins using majority sign, with equal probabilities for a tie. Define the blocked Hamiltonian, retaining the entire generated operator space, byThe field-independent contribution $N{g}_E$ belongs to the identity operator. With $N^{\prime }=N{b}^{-D}$ andsumming over ${\sigma }^{\prime }$ proves $Z(u,C,N)=Z(u^{\prime },C^{\prime },N^{\prime })$ exactly. Iterating gives $N_p=N{b}^{-pD}$ and the same partition function with $(u_p,C_p,N_p)$. Observables at large scales are reproduced by appropriately blocked observables and sources. Truncating the generated interactions makes this an approximation; dropping the additive constant already destroys the equality of free energies even when normalized spin expectations remain correct.

The extensive Helmholtz free energy is unchanged: $F(u_0,C_0,N)=F(u_p,C_p,N_p)$. In contrast, its value per site changes because the number of sites changes. Define the reduced zero-constant free-energy density $f_0(u)={\beta }_{T}F(u,0,N)/N$ in the thermodynamic limit. The preceding equality yieldsand iteration proves the additive free-energy recursion under blocking:Equivalently $C_p=b^{pD}[C_0+{\sum }_{j=0}^{p-1}{b}^{-jD}{g}_E(u_j)]$. Thus the inhomogeneous source records the identity-operator contribution to renormalization-group free energy from eliminated short-distance degrees of freedom.

To express this recursion for the singular part, write $f_0=a+f_s$, where $a$ is the regular analytic background. Then the same displayed recursion holds with $f_s$ andThis is the analytic subtraction of an inhomogeneous renormalization recursion. A purely analytic source can often be absorbed into $a$, after which it does not control the leading singular powers. It is not legitimate simply to discard an analytic source in the full free energy, where it can dominate the regular background. Moreover an analytic monomial $c{t}^m{h}^n$ contributesIf $m{l}_t+n{l}_h=D$, the sum is $p$ and hence generates a logarithm when $p\sim -\log |t|/(l_t\log b)$: a renormalization-group free-energy resonance. Such a term cannot be discarded when describing that logarithmic singularity. Neglect of the inhomogeneous term in the leading power-law scaling therefore assumes that its regular part has been subtracted, that any remaining source only changes finite scaling amplitudes, and that there are no relevant resonances or marginal logarithms. Omitting an irrelevant operator further requires absence of a dangerously irrelevant coupling, whose vanishing limit can make a scaling function singular.

A renormalization-group fixed point obeys $R_b{u}_{\ast }=u_{\ast }$. Linearization gives $\delta u^{\prime }=A\delta u$; in eigenvector coordinates $w_i^{\prime }=b^{l_i}{w}_i$. Positive $l_i$ label relevant operators, negative $l_i$ label irrelevant operators, and zero $l_i$ labels a marginal operator requiring nonlinear analysis. The critical surface is the stable manifold obtained by tuning all relevant scaling fields to zero. A repulsive renormalization-group trajectory leaves the fixed point along a relevant direction as the observation length increases. Locally a typical zero-field section has $dw/d\ell =-\omega w$, $dt/d\ell =l_{t}t$, $\ell =\log b$, so the critical surface $t=0$ attracts along $w$, while trajectories with either sign of $t$ depart from it. A magnetic scaling field adds another relevant direction.

Under the stated homogeneous-scaling assumptions and after fixing irrelevant fields at their limiting values, two relevant scaling fields obey $t^{\prime }=b^{l_t}t$, $h^{\prime }=b^{l_h}h$. These fields are analytic coordinates near the renormalization-group fixed point, proportional to the physical reduced temperature and conjugate field to leading order. The singular free-energy density consequently obeysHere $F_s$ denotes the singular free energy per original site or unit volume, with regular dimensional factors absorbed; the extensive singular part is $N{F}_s$. Iterate and choose $b^p=|t{|}^{-1/l_t}$ to obtain the scaling hypothesis for critical phenomena:The sign labels the two sides of the transition: $f_{+}$ describes $t>0$, the disordered side, while $f_{-}$ describes $t<0$, the ordered side. The two functions need not coincide; $f_{-}$ has the zero-field one-sided derivative appropriate to spontaneous magnetization. The numbers $l_t,l_h$ are scaling eigenvalues in logarithmic form: the corresponding discrete RG multipliers are $b^{l_t},b^{l_h}$.

The correlation length obeys $\xi (t,h)=b\xi (b^{l_t}t,b^{l_h}h)$. The same scale choice gives $\nu =1/l_t$. Differentiating $F_s$ once and twice with respect to the conjugate field, and twice with respect to temperature, givesAt $t=0$, instead choose the scale $b^p=|h{|}^{-1/l_h}$. Then $F_s(0,h)\sim |h{|}^{D/l_h}$ and $M\sim \mathrm{sgn}(h)|h{|}^{D/l_h-1}$, so $\delta =l_h/(D-l_h)$. Thus differentiation and scale matching establishThe first is the Widom scaling relation and the second the hyperscaling relation. The hyperscaling relation requires precisely the regular homogeneous scaling used here. Above the ordinary upper critical dimension, the quartic coupling is dangerously irrelevant in the ordered phase and this derivation cannot discard it: the mean-field critical exponents $\nu =1/2$, $\alpha =0$ do not obey $\alpha =2-D\nu$ for $D>4$. At marginal dimensions logarithmic factors likewise require care beyond the displayed pure powers.

The Maxwell construction replaces a nonconvex homogeneous free-energy density by its coexistence envelope. If $U_0(M)$ excludes the source, the coexisting values $M_1,M_2$ satisfyThus one straight line is tangent at both endpoints. Equivalently,the equal-area form of the common-tangent construction. At fixed average $\overline{M}$ between the endpoints, the lever rule gives $\overline{M}=p{M}_1+(1-p)M_2$. Such a mixture has the tangent-line bulk energy, below the energy of an unstable homogeneous state.

The two phases occupy spatial domains separated by domain walls. The gradient term gives a positive wall energy, but a macroscopic interface has area of order $L^{D-1}$ rather than bulk volume $L^D$, so its cost per volume vanishes in the thermodynamic limit. For the symmetric quartic example a scalar quartic domain wall obeys $\kappa {\varphi }^{\prime \prime }=r\varphi +u{\varphi }^3$ and interpolates between $\pm M_0$ as $\varphi =M_0\tanh (x/\ell )$, with $M_0^2=|r|/u$ and $\ell =\sqrt{2\kappa /|r|}$. Multiplication of the differential equation by ${\varphi }^{\prime }$ gives the first integral $\kappa ({\varphi }^{\prime }{)}^2/2=u({\varphi }^2-M_0^2{)}^2/4$, explaining the finite positive interface cost. A uniform unconstrained system need not form both domains: phase separation is particularly relevant when the average order parameter is fixed or boundaries enforce competing phases.

Hysteresis occurs when the system follows a metastable local minimum after another minimum has become the equilibrium one. For $r<0,u>0$, the equation of state is $h=rM+u{M}^3$. The hysteresis spinodals of a scalar quartic potential follow from $r+3u{M}^2=0$:Following local minima until these limits gives different switching fields on increasing and decreasing $h$. Equilibrium instead switches at $h=0$. Actual switching can occur before a mean-field spinodal through nucleation, and depends on time scales; hysteresis is not a property of a globally minimized equilibrium potential. The second panel below distinguishes the local branches and their limiting switches.

A renormalization-group fixed point satisfies $R_b(u_{\ast })=u_{\ast }$. A critical fixed point is scale invariant and has divergent correlation length. The critical surface consists of couplings flowing toward it after relevant variables have been tuned; noncritical flows ultimately leave its neighborhood toward finite-correlation-length phases.

Linearize the renormalization-group transformation near the fixed point and choose scaling coordinates. If the thermal and magnetic coordinates transform as $t^{\prime }=b^{y_t}t$ and $h^{\prime }=b^{y_h}h$, the singular free-energy density obeysChoose $b=|t{|}^{-1/y_t}$ to stop at an order-one thermal coordinate. This gives the scaling hypothesis for critical phenomenaConsequently $\nu =1/y_t$ and $\Delta =y_h/y_t$, with $2-\alpha =D/y_t$ when hyperscaling applies. The fixed point determines universal powers, while microscopic couplings set metric factors and amplitudes. Dangerously irrelevant variables and marginal logarithms can qualify the simple homogeneous form.

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$.

Critical exponents describe leading singular powers as the reduced temperature $t$ or conjugate field approaches zero. With ${\beta }_m$ used for the order-parameter critical exponent to avoid confusion with inverse temperature, the definitions includeAt criticality the connected correlation function behaves as $G(r)\sim r^{-(D-2+\eta )}$. These definitions refer to the singular part and allow additional logarithms at marginal dimensions.

For an ordinary scalar Landau free energy, the equation of state is $h=rM+u{M}^3$. Below the transition $M^2=-r/u$, giving ${\beta }_m=1/2$. Differentiating the equation of state gives ${\chi }^{-1}=r+3u{M}^2$: it equals $r$ above and $-2r$ below the transition, so $\gamma =1$. The quadratic fluctuation kernel is $\kappa k^2+r$ in the symmetric phase, giving correlation length $\xi =\sqrt{\kappa /r}$ and $\nu =1/2$. At zero mass the momentum-space correlation function is proportional to $k^{-2}$, so $\eta =0$. The minimized free energy and critical equation of state give $\alpha =0$ and $\delta =3$, as calculated in the root solution.

At the tricritical point, $u=0$ and $h=rM+v{M}^5$. Then $M\sim (-r{)}^{1/4}$, and ${\chi }^{-1}=r+5v{M}^4$ is $r$ above and $-4r$ below the transition. The gradient kernel still gives $\nu =1/2$ and $\eta =0$. ThereforeThese are mean-field critical exponents. A systematic derivation incorporating fluctuations uses the renormalization group, extracts the relevant scaling eigenvalues, and differentiates the singular free-energy density, as in Question 3.

Write $\beta =1/(k_{B}T)$, with $k_B$ the Boltzmann constant. For independent Ising spins, the one-site partition functions on the two sublattices are $z_B=2\cosh \beta (h+g)$ and $z_W=2\cosh \beta (h-g)$. Differentiating each logarithm with respect to its local field givesAt $h=0$, the two sublattices experience opposite fields, so spin reversal combined with sublattice exchange leaves the Hamiltonian invariant and gives $M_W=-M_B$.