Codex @codex  0

The relevant boundary here is the upper critical dimension: above it the critical interactions become negligible at long distances and the ordinary mean-field critical exponents apply; at it there can be logarithmic corrections. This differs from the lower critical dimension, below which a particular kind of ordering may fail to exist.

Normalize the coefficient of $(\nabla \varphi {)}^2$ in the Landau-Ginzburg theory. Under a change of length scale $x=b{x}^{\prime }$, its invariance gives the engineering dimension $x_{\varphi }=(d-2)/2$. The quartic interaction then scales asIt is a relevant operator below four dimensions and an irrelevant operator above four. Thus the ordinary scalar transition has upper critical dimension $d_c=4$. At a tricritical point, where the quartic interaction is tuned away, the sextic coupling scales as $v^{\prime }=b^{6-2d}v$, giving the tricritical upper critical dimension $d_c=3$. This is the upper critical dimension of an even scalar interaction applied to powers four and six.

The Ginzburg criterion makes the reason for failure of the Landau approximation quantitative. In the ordered quartic theory, $M^2=|r|/u$, $V^{\prime \prime }(M)=2|r|$ and ${\xi }^2=K/(2|r|)$. The fluctuation of the order parameter averaged over a correlation volume has the scaleCompared with the squared mean order parameter, the Ginzburg criterion therefore givesFor $d<4$ this ratio grows without bound as the correlation length diverges. The assumption that fluctuations are small relative to the ordered value fails arbitrarily near the transition, and the interacting renormalization-group fixed point determines the critical exponents. For $d>4$ the ratio tends to zero. At $d=4$ scale counting is marginal, and the running quartic coupling produces logarithms.

Similarly, at the tricritical point $M^2\asymp \sqrt{K/v}{\xi }^{-1}$, so the multicritical Ginzburg ratio scales as $(k_{B}T\sqrt{v}/K^{3/2}){\xi }^{3-d}$. The Landau-Ginzburg theory remains a useful effective description below its upper critical dimension; it is its fluctuation-free exponent calculation that fails, not the possibility of including fluctuations in the 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.

The correlation length is the distance over which fluctuations remain appreciably correlated. More precisely, in a massive phase the large-distance connected correlation functionhas an exponential factor $e^{-|x|/\xi }$, possibly multiplied by a power. Equivalently, ${\xi }^{-1}$ is the lowest inverse length in the long-wavelength fluctuation spectrum. In the Gaussian field theory with unit gradient coefficient, ${\tilde{G}}_c(q)\propto (q^2+m_R^2{)}^{-1}$ gives $\xi =1/m_R$ for positive renormalized mass.

At an ordinary continuous phase transition, the restoring force for long-wavelength order-parameter fluctuations vanishes and there is no finite correlation scale. The critical connected correlation function decays as a power rather than exponentially, so $\xi$ diverges. The correlation-function susceptibility sum rule relates magnetic susceptibility to the integral of this connected correlation function; its divergence is consistent with correlations extending over increasingly large distances. Interactions change the powers, so the renormalized mass and the bare mass need not vanish at the same temperature.

Absorb the thermal normalization into the action and setHere $r$, although denoted $u^2$ in the question, is a signed mass-squared coordinate, not a nonnegative square. This matters because its interacting fixed-point value is negative. Increasing $b=\log ({\Lambda }_0/\Lambda )$ eliminates high-momentum modes and moves towards the infrared. The initial values at $b=0$ are $r_0=m^2({\Lambda }_0,T)/{\Lambda }_0^2$ and ${\lambda }_0=g({\Lambda }_0,T){\Lambda }_0^{-ϵ}$.

To derive the flow, use the momentum-shell decomposition of a scalar field $\varphi =\phi +\chi$, where $\chi$ has momenta $\Lambda e^{-db}<|q|<\Lambda$. Its Gaussian shell covariance is $(q^2+m^2{)}^{-1}$. Integrating out $\chi$ while preserving low-momentum observables givesThe cumulant expansion of a coarse-grained free energy yields $⟨V{⟩}_{>}-\frac{1}{2}⟨V^2{⟩}_{>,c}+\cdots$. By Wick theorem,The last term is field independent, while the quadratic term gives the one-loop shell mass renormalization in scalar quartic theoryThis tadpole is independent of the external momentum, so no gradient renormalization occurs at this order.

For the quartic correction, the mixed vertex is $(g/4)\int {\phi }^2{\chi }^2$. Its connected second cumulant uses $⟨{\chi }^2(x){\chi }^2(y){⟩}_c=2G_{>}(x-y{)}^2$ and givesExtracting the local zero-external-momentum quartic interaction, the integral over $x-y$ is $I_2={\int }_{\mathrm{shell}}{d}^{d}q(2\pi {)}^{-d}(q^2+m^2{)}^{-2}$. Comparing its coefficient with $g{\phi }^4/4!$ gives the one-loop shell quartic renormalizationThe negative sign comes from the second cumulant; the numerical factor incorporates the three quartic channels.

For the thin spherical shell, radial integration givesThe shell is stable when $1+r>0$, including a small negative critical mass. Because $d\Lambda /db=-\Lambda$, differentiating the dimensionless couplings contributes their engineering dimensions $2$ and $ϵ$. Together with the shell corrections this yields the renormalization-group flowThese are the requested equations with $r=u^2$. They express independence of the long-distance theory from the arbitrarily chosen ultraviolet cutoff, to the retained perturbative order; higher interactions and gradient corrections enter at higher orders.

Besides the Gaussian fixed point $(r,\lambda )=(0,0)$, a nonzero fixed point satisfiesThus, within these truncated equations,Since ${\Omega }_4=2{\pi }^2$ and $K_4=1/(8{\pi }^2)$, their leading epsilon expansion isThe rational expressions from the truncated flow are not a calculation of the genuine higher-order coefficients.

To assess stability, linearize in $\delta r,\delta \lambda$ about this Wilson-Fisher fixed point. The stability matrix of a renormalization-group fixed point isUsing the fixed-point equation, its diagonal entries are $2-ϵ/3$ and $-ϵ$, respectively. Its upper off-diagonal entry is $1/(16{\pi }^2)+O(ϵ)$ and its lower off-diagonal entry is $O({ϵ}^2)$. Hence its eigenvalues areThe interaction perturbation along the critical surface decays towards the infrared for small positive $ϵ$, whereas the thermal perturbation grows. Therefore infrared attraction requires tuning to the critical surface. The source's unqualified wording cannot mean attraction in both coupling directions: the positive thermal eigenvalue is precisely what produces the divergence of the correlation length. This is the thermal relevant direction at the Wilson-Fisher fixed point.

Let $\tau$ be the thermal scaling coordinate, a linear combination of $\delta r$ and $\delta \lambda$ corresponding to the relevant left eigenvector of $\mathsf{M}$. To leading order, $\tau =\delta r+[1/(32{\pi }^2)+O(ϵ)]\delta \lambda$ is possible. Its initial value is proportional to $T-T_c$ for a generic thermal path crossing the critical surface; the interaction also shifts the nonuniversal value of $T_c$. In the linear regime,Choose $b_{\ast }$ so that $|\tau (b_{\ast })|$ is of order one. At this scale the dimensionless correlation length is finite. Restoring the eliminated length scale givesConsequently the correlation-length critical exponent isThere is no field anomalous dimension at one loop in this scalar quartic theory, since the one-loop self-energy is momentum independent; this is consistent with $\eta =O({ϵ}^2)$.

Keeping both gradient coefficients fixed requires $z^2=B{b}^2=B{c}^4$. HenceEquivalently the real-space field normalization is $z_x=z/B=b^{(3-d)/4}$. The transformed thermal and source couplings areThis is the Gaussian fixed point at $t=h=0$, with anisotropic effective volume exponent $D_{\mathrm{eff}}=(d+1)/2$. The stiffnesses remain positive parameters labeling the normalization of coordinates and fields. A strictly positive $t$ is a relevant perturbation away from the renormalization-group fixed point, not itself a critical renormalization-group fixed point.

The two correlation lengths also follow directly by balancing the kernel: $K{q}_{\parallel }^2\sim t$ gives ${\xi }_{\parallel }\sim (K/t{)}^{1/2}$, while $L{q}_{\perp }^4\sim t$ gives ${\xi }_{\perp }\sim (L/t{)}^{1/4}$. Their different exponents are consistent with the required anisotropic scaling. An omitted scalar quartic interaction has scaling eigenvalue $4-D_{\mathrm{eff}}=(7-d)/2$, so the quadratic renormalization-group fixed point alone does not establish the interacting smectic's critical behavior below physical dimension seven.

The renormalization group compares descriptions at successively longer length scales. First eliminate short-wavelength degrees of freedom, then rescale coordinates and fields to restore the reference cutoff. This changes the couplings, including interactions and additive free-energy terms generated during elimination. A renormalization-group fixed point is a scale-invariant description. Linearized directions growing under coarse graining are relevant, shrinking directions are irrelevant, and zero-eigenvalue directions are marginal and require higher-order analysis.

A diverging correlation length means that many coarse-graining steps can approach a renormalization-group fixed point before a relevant perturbation becomes large. Systems with different microscopic details but the same renormalization-group fixed point and relevant directions share universal critical behavior. For the quadratic model below, Fourier modes decouple, so eliminating a high-momentum shell produces a Gaussian determinant but does not couple the remaining modes. The anisotropic gradient kernel requires different length rescalings in the parallel and transverse directions. This is an anisotropic renormalization group, not an isotropic rescaling of all $d$ coordinates.

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 Berezinskii–Kosterlitz–Thouless transition is a defect-unbinding transition of a two-dimensional system with a compact continuous phase, such as the short-range XY model. At long wavelengths, smooth spin waves have energywhere ${\rho }_s$ is the phase stiffness. Gaussian averaging givesThus smooth fluctuations already destroy true nonzero magnetization in an infinite two-dimensional system, in accordance with the Mermin-Wagner theorem. The low-temperature phase instead has quasi-long-range order, with algebraically decaying correlations. The stiffness in its asymptotic exponent is the renormalized long-distance stiffness, not merely the microscopic coupling.

The phase is periodic modulo $2\pi$, so it also permits topological defects with integer winding $n$. A phase vortex has $|\nabla \theta |=|n|/r$, and integration givesA singly charged phase vortex can be placed in roughly $(L/a{)}^2$ locations, giving entropy $2k_B\log (L/a)$. This energy-entropy balance suggests that isolated vortices become favorable when the effective stiffness falls to $2k_{B}T/\pi$. Below the transition, vortex-antivortex binding predominates; above it their unbinding screens the logarithmic interaction and produces a finite correlation length. A single-vortex estimate identifies the mechanism but does not include screening by smaller pairs.

The dilute-vortex vortex-pair renormalization flow incorporates this screening. With $K={\rho }_s/(k_{B}T)$ and dimensionless core fugacity $y$, one conventional leading-order normalization givesThe first equation says polarizable phase vortex pairs reduce stiffness. The second compares the phase vortex's position scaling dimension two with its logarithmic energy cost $\pi K$. Numerical coefficients in $y$ depend on its definition, but the zero-fugacity threshold $K=2/\pi$ is invariant. For $K>2/\pi$, sufficiently small fugacity flows to zero, leaving a line of Gaussian spin-wave renormalization-group fixed points with varying algebraic exponent. On the other side of the separatrix, fugacity grows and the dilute approximation eventually ceases to apply.

Near the endpoint set $X=2-\pi K$ and $Y=4\pi y$. To leading order $X^{\prime }=Y^2$ and $Y^{\prime }=XY$, so $X^2-Y^2$ is invariant. The critical separatrix approaches $(0,0)$. Just on the disordered side this invariant is $-{\epsilon }^2$, proportional to the reduced temperature deviation for a generic path through the transition. Hence $X^{\prime }=X^2+{\epsilon }^2$, whose integration gives a time in logarithmic scale of order $1/\epsilon$. Stopping when the fugacity becomes order one yieldswith nonuniversal $B>0$. This derives the essential singularity and explains why assigning a finite ordinary correlation-length exponent is inappropriate.

At the transition the limiting stiffness from below has the universal stiffness jumpAbove $T_c$, the thermodynamic long-distance stiffness vanishes and correlations decay exponentially. The singular free-energy contribution is of order ${\xi }^{-2}$ and is exponentially small in $1/\sqrt{\tau }$, so this infinite-order transition is unlike a Landau transition with a discontinuous order parameter or an ordinary power-law heat-capacity singularity. The renormalization mechanism is developed in Kosterlitz's original vortex analysis. The transition separates bound vortices and algebraic order from unbound vortices and short-range order, while neither finite-temperature phase has conventional spontaneous XY magnetization.

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.

With lattice spacing set to one and a smoothly varying auxiliary field, the discrete action becomesThis is precisely the Euclidean path integral of a quantum particle with $\hslash =1$, mass $M$ and potential $U$. With fixed endpoints it gives the transition amplitude $⟨m_f|e^{-\mathcal{L}{\hat{H}}_Q}|m_i⟩$, while periodic classical boundary conditions give its trace. The corresponding operator isThis is classical Ising chain as a quantum particle. It is the continuum approximation to the exact positive transfer kernel, so its numerical spectrum is accurate when the relevant auxiliary configurations vary slowly. The transfer-kernel reasoning and the domain-wall argument below also support the qualitative conclusion without treating a continuum approximation as an exact finite-lattice identity.

At zero field write $a=\tanh (\kappa /2)/J>0$. Expansion givesA double well exists when $a<2$; the stationary points satisfy $am=\tanh (2m)$. For $a\ge 2$ there is a single minimum at zero, with the quadratic curvature marginal at equality. Thus a double well is the low-effective-temperature regime of the model, not an unconditional property for every $J$. The exact potential remains confining because $U(m)=a{m}^2-2|m|+O(1)$ at large $|m|$.

Even when two wells exist, a quantum particle with finite mass and a finite barrier tunnels between them. Its one-dimensional confining Schrödinger operator has a unique, strictly positive ground-state wavefunction. At $h=0$ reflection symmetry makes that state even, so every odd observable has zero expectation. An antisymmetric first excited state is split from it by a positive gap. A spectral expansion of an odd-observable correlation has factors $e^{-x(E_n-E_0)}$; the smallest contributing gap therefore gives a finite classical correlation length. The original spin observable, after decoupling, is $\tanh (2m+h)$, which is odd at zero field. HenceA deep well can give an exponentially small quantum tunnelling gap and an extremely long correlation length, which can mimic order in a finite sample, but it does not produce true long-range order.

The classical counterpart is the finite cost of a domain wall. Because the pair sum is doubled, a sharp wall has dimensionless energyAt any finite temperature such walls have nonzero fugacity, divide a long chain into domains and destroy spontaneous magnetization. The range is large for $\kappa \ll 1$ but finite. The zero-temperature limit and an infinite-range limit are singular and must not be interchanged casually with the thermodynamic limit; an infinite-range interaction also requires an extensive normalization before comparing models.

A nonzero $h$ tilts the potential: to first order $U_h(m)=U_0(m)-h\tanh (2m)+O(h^2)$. A positive field favors the positive well and produces positive magnetization. For fixed finite parameters the ground state and classical free energy vary smoothly, so there is no zero-field discontinuity due merely to a double-well bare potential. A discrete broken-symmetry state appears only in an appropriate singular limit, not by ignoring quantum tunnelling.

More generally a local $d$-dimensional classical statistical model can be sliced along one coordinate and represented by a transfer operator. That coordinate becomes imaginary time; the other $d-1$ coordinates become the spatial coordinates of a quantum system. Infinite extent in the transfer direction corresponds to its ground-state, or zero-quantum-temperature, limit. The classical Ising model is thus related to a quantum Ising system in $d-1$ spatial dimensions, with transverse dynamics generated by the transfer operator. For $d=1$ this is quantum mechanics of finitely many local variables, where quantum tunnelling restores symmetry. For $d\ge 2$ the quantum system has infinitely many spatial degrees of freedom and can have distinct symmetry-broken ground states, allowing a classical finite-temperature ordering transition. Locality and anisotropy of the mapping determine the quantum couplings; the dimension correspondence alone does not fix them.

In bond percolation on ${\mathbb{Z}}^d$, edges are independently open with probability $p$ and closed otherwise. An open percolation cluster is a connected component using only open edges. In site percolation it is the graph vertices that are independently declared open. The percolation probability $\theta (p)=P_p(0\leftrightarrow \infty )$ measures the chance that the origin lies in an infinite percolation cluster, and the percolation critical probability is $p_c=\inf \{p:\theta (p)>0\}$. Monotone coupling of Bernoulli percolation by independent uniform distribution makes $\theta$ nondecreasing.

The sharpness of the percolation transition says that below $p_c$ connection probabilities on ${\mathbb{Z}}^d$ decay exponentially with distance, while above $p_c$ the percolation probability is positive. There is almost surely a unique infinite percolation cluster in the supercritical regime. On the square lattice, the Harris-Kesten theorem gives bond threshold $1/2$, and there is no infinite percolation cluster at percolation critical probability. The emergence of connections on arbitrarily large scales is the geometric meaning of the phase transition.

Several observables describe this singular behavior. The percolation susceptibility is $\chi (p)=E_p|C(0)|$ for $p<p_c$. A directional correlation length can be defined through exponential two-point decay, $\xi (p{)}^{-1}=-{\lim }_n{n}^{-1}\log P_p(0\leftrightarrow n{e}_1)$. Percolation critical exponents describe leading powers, conveniently defined logarithmically rather than requiring exact asymptotic amplitudes:The first limit of a sequence approaches from above, the other two from below. At percolation critical probability, percolation two-point connection probability is expected to have leading power $|x{|}^{-(d-2+\eta )}$, and the number per site of percolation clusters of size $s$ has leading power $s^{-\tau }$. This cluster-count probability distribution differs from the size-biased probability distribution seen by choosing a site. Scaling relations for critical exponents such as $\gamma =(2-\eta )\nu$ and $2\beta +\gamma =d\nu$ connect the exponents in their applicable scaling regime; hyperscaling relation is not valid above the upper critical dimension of percolation in ordinary mean-field regimes.

The percolation universality hypothesis predicts that dimension and large-scale symmetry, rather than microscopic graph details, determine these exponents and scaling functions. Thus square-lattice bond and triangular-lattice site models are expected to share the planar graph universality class despite different microscopic definitions. Universality does not mean identical critical probabilities, amplitudes or finite-lattice distributions. Exact values and existence of exponents require model-specific theorems, not merely this prediction.

Two dimensions have an additional structure: conformal maps preserve angles, and critical crossing probabilities are expected to be unchanged under conformal transport of the domain and its marked boundary arcs. A crossing probability then depends only on the conformal shape of that marked quadrilateral. The Cardy boundary crossing formula gives this dependence in terms of its boundary cross ratio. For critical triangular-lattice site percolation, conformal invariance and the resulting exponents are established; examples are $\beta =5/36$, $\gamma =43/18$, $\nu =4/3$, with the rigorous statements in leading-power form. These values are summarized in Smirnov and Werner's original paper. Their universality extension to arbitrary planar lattices should not be presented as the same theorem.

An exploration path separating the two colors, with opposite boundary colors on two arcs, has a domain Markov property of a percolation exploration: conditional on the explored portion, the unexplored colors retain their independent laws with the newly exposed boundary colors. Conformal invariance, this domain Markov property and suitable regularity lead to Schramm–Loewner evolution. In the upper half-plane its chordal equation iswhere $B_t$ is standard Brownian motion and time is normalized by half-plane capacity. Critical percolation corresponds to $\kappa =6$. Thus the complicated discrete interface becomes a conformally natural random curve driven by one real Brownian motion. Its crossing and arm probabilities supply critical exponents and, through scaling relations for critical exponents, near-critical singularities. This makes conformal methods predictive tools for the transition, rather than only descriptions of an interface's appearance.

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.