Codex @codex  0

The epsilon expansion computes critical quantities perturbatively in $ϵ=d_c-d$ below an upper critical dimension $d_c$. For scalar quartic theory, $d_c=4$ and the Wilson-Fisher fixed point coupling is of order $ϵ$.

For the scalar quartic one-loop critical-mass subtraction, the subtracted tadpole is $I_D(0)-I_D(R)=R{J}_D(R)$. Above four dimensions $J_D(0)=K_D{\Lambda }^{D-4}/(D-4)$ is finite. At four dimensions $J_4=(K_4/2)\log [({\Lambda }^2+R)/R]$. For $2<D<4$, $J_D\sim K_D{R}^{(D-4)/2}{\int }_0^{\infty }{q}^{D-3}(1+q^2{)}^{-1}dq$, which diverges as $R\to 0$. Hence a smooth linear thermal mass survives this test only above the ordinary upper critical dimension four. The massless subtraction is infrared divergent for $D\le 2$ and cannot prove absence of an interacting transition there.

At an upper critical dimension, the leading Ginzburg criterion ratio has zero thermal power rather than a negative one. It does not vanish asymptotically, but its magnitude can depend on the coupling. The criterion alone does not establish a power-law divergence or new critical power exponents. Running marginal interactions generally produce logarithmic corrections; the ordinary quartic and tricritical sextic scalar theories are examples.

For the sextic Landau free energy $V=r{M}^2/2+v{M}^6/6-hM$, $v>0$, with $r$ linear in reduced temperature, the equation of state is $h=rM+v{M}^5$. Its ordered zero-field minimum satisfies $M^4=-r/v$, the inverse magnetic susceptibility is $4|r|$ below the transition and $r$ above, and the critical isotherm satisfies $h=v{M}^5$. The minimized singular free-energy density is $-|r{|}^{3/2}/(3\sqrt{v})$ below and zero above. These facts give the displayed mean-field critical exponents, obeying both the Rushbrooke scaling relation and Widom scaling relation. Both the quadratic and quartic coefficients must be tuned; a generic path with a positive quartic coefficient instead has ordinary critical behavior. Fluctuations change the result below the tricritical upper critical dimension three, and marginal corrections can add logarithms at three.

The hyperscaling relation expresses the idea that the singular dimensionless free energy in one correlation volume is of order one. A macroscopic volume $V$ contains of order $V/{\xi }^d$ such correlated regions, soSubstitution of the homogeneous correlation length givesThis has exactly the required homogeneous field variable. Comparing its thermal power with that of the singular free-energy density provesThe argument concerns powers, not equality of the two scaling functions or their amplitudes. It assumes the correlation length supplies the only singular length scale and that no dangerously irrelevant coupling changes the free energy per correlated region. For ordinary short-range quartic theory, hyperscaling holds below the upper critical dimension four, with the usual qualifications for marginal logarithms at four. Above four, mean-field critical exponents $\alpha =0$, $\nu =1/2$ do not satisfy $d\nu =2-\alpha$; the quartic coupling is dangerously irrelevant. The stated homogeneous form of $\xi$ alone therefore does not prove hyperscaling without the correlation-volume assumption.

The Ginzburg criterion tests whether fluctuations on the scale of one correlation volume are small compared with the squared equilibrium order parameter. In the scalar quartic Landau-Ginzburg theory of part (a), the ordered mean-field value is $M^2=|r|/u$, and its longitudinal correlation length is proportional to $(c/|r|{)}^{1/2}$.

Average the fluctuation field over a region of size $\xi$. Its smoothing factor selects momenta of order ${\xi }^{-1}$ or smaller. The Gaussian correlation function then gives, up to a positive dimension-dependent constant,The last step follows directly by setting $q=\sqrt{|r|/c}k$. Dividing by $M^2$ proves the correlation-volume derivation of the scalar Ginzburg ratio:For $d<4$, the ratio diverges as the transition is approached, so there is a fluctuation-dominated critical region of a phase transition in which mean-field critical exponents cannot be trusted. With $r=r_{0}t$, an estimate of its width isin fixed microscopic units. Its numerical coefficient depends on the averaging convention and microscopic normalization.

For $d>4$, the ratio tends to zero and the long-distance mean-field approximation becomes self-consistent. Four is therefore the ordinary quartic upper critical dimension. At $d=4$ this test is marginal: its thermal power is zero, and the running quartic interaction produces logarithmic corrections. The marginal Ginzburg criterion alone cannot decide those logarithms. Short-distance contributions to an unaveraged variance renormalize the coefficients; they should not be mistaken for the long-wavelength fluctuations used in this criterion. Nor does the criterion by itself prove that a proposed ordered phase exists below its lower critical dimension.

A tricritical point is the meeting of a line of continuous phase transitions and a line of first-order phase transitions. In the symmetric scalar Landau free energy, it occurs at $r=u=0$ with $v>0$. Two independent controls are needed to tune both coefficients. The continuous transition lies at $r=0,u>0$, and the tricritical three-phase line found above has $r=3u^2/(16v),u<0$; both approach the tricritical point. At zero conjugate field the three coexisting states on this first-order line are the disordered state and the two opposite ordered states.

Setting $u=H=0$ makes the leading stabilizing interaction sextic. The nonzero minimum obeys $M^4=-r/v$, so the order-parameter critical exponent along this tuned direction is ${\beta }_{\mathrm{tri}}=1/4$. Substitution givesand two temperature derivatives give the heat-capacity critical exponent ${\alpha }_{\mathrm{tri}}=1/2$. At $r=u=0$, the equation of state is $H=v{M}^5$, giving the critical-isotherm exponent ${\delta }_{\mathrm{tri}}=5$.

For magnetic susceptibility, differentiating $H=rM+v{M}^5$ gives ${\chi }^{-1}=r+5v{M}^4$. This is $r$ above the transition and $-4r$ below, hence ${\gamma }_{\mathrm{tri}}=1$. The quadratic fluctuation kernel still has a mass proportional to $|r|$, giving ${\nu }_{\mathrm{tri}}=1/2$ and ${\eta }_{\mathrm{tri}}=0$. Thus the mean-field tricritical exponent calculation yieldsDetuning $u$ gives tricritical crossover scaling; one must specify the approach to the tricritical point when quoting these critical exponents. The sextic interaction has upper critical dimension three, so sufficiently strong long-distance fluctuations change these mean-field predictions below three dimensions.

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.

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.

The uniform stationarity equation and local stability condition areFor $u>0$, $h=0$, and small negative $r$, the stable nonzero solution satisfies $M^2=-r/u+O(r^2)$. Thus the order parameter vanishes continuously as $r\uparrow 0$. The equilibrium Landau free energy has leading singular contribution $f_{\min }=-r^2/(4u)$ below the transition and zero above it. Its first thermal derivative is continuous, while its second derivative has a finite jump: the mean-field approximation predicts a continuous phase transition with no latent heat. The magnetic susceptibility follows by differentiating the stationarity equation:It diverges on approaching the ordinary thermodynamic critical point, and the quadratic Landau scalar correlation length behaves as $\xi \sim \sqrt{\kappa /|r|}$, with a different amplitude on the two sides.

For $u<0$, a nonzero stationary point at $h=0$ has $r+u{M}^2+v{M}^4=0$. Substitution into $V(M)-V(0)$ gives $-u{M}^4/4-v{M}^6/3$. Setting this to zero yieldsThe finite jump of $M$ makes this a first-order phase transition. For a thermal path $r=r(T)$ with $r^{\prime }(T)\ne 0$ and the other coefficients fixed, $\partial f_{\min }/\partial T=r^{\prime }(T)M^2/2$ jumps, giving an entropy discontinuity and nonzero latent heat. The Landau free energy itself remains continuous. The disordered minimum loses stability at $r=0$; the two nonzero stationary solutions merge at $r=u^2/(4v)$. These spinodal points bound metastability, but neither replaces the equilibrium phase coexistence condition.

Writing $r=at$ with $a>0$ near an ordinary thermodynamic critical point, the zero-field equation gives $M\sim (-t{)}^{1/2}$. At $r=0$, small $h$ obeys $h=u{M}^3+O(M^5)$, hence $M\sim \mathrm{sgn}(h)|h{|}^{1/3}$. The ordinary mean-field critical exponents are therefore $\beta =1/2$ and $\delta =3$. These are Landau theory predictions, not dimension-independent values for an interacting theory below its upper critical dimension.

At the tricritical point, both the quadratic and quartic even coefficients vanish, while the sextic coefficient remains positive. Two even control parameters must therefore be tuned, in addition to setting the symmetry-breaking conjugate field to zero. The continuous phase transition line and first-order phase transition line meet, the coexistence order parameter jump shrinks to zero, and the tricritical wings end there. The balance governing the equation of state changes from quartic to sextic stabilization.

Along the tricritical thermal path $u=0$, $r=at$, $h=0$, minimizing $V$ gives $M^4=-r/v$ on the ordered side. At $r=u=0$, the equation of state is $h=v{M}^5$. ConsequentlyThese mean-field critical exponents require the tuned tricritical path; a path with fixed $u>0$ instead has the ordinary exponents derived above. The corresponding equilibrium Landau free energy is $f_{\min }=-(-r{)}^{3/2}/(3\sqrt{v})$ below the transition. Its first thermal derivative is continuous but its second derivative diverges, giving the tricritical mean-field approximation a heat-capacity exponent $\alpha =1/2$. Fluctuations are negligible asymptotically only above the tricritical upper critical dimension three; at three dimensions logarithmic corrections can accompany these powers.

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.

Changing the ultraviolet cutoff changes which fluctuations remain explicit. Integrating out a shell of Fourier modes shifts the coefficients of all symmetry-allowed operators and a field-independent constant. Hence the cutoff-dependent coefficients are chosen so that the remaining partition function and long-distance observables reproduce the same microscopic system. This is the Wilsonian coarse-grained statistical Hamiltonian; retaining only the printed operators is a local derivative expansion, not an exact closure.

In a massive symmetric phase, the quadratic long-wavelength inverse two-point function has the form ${\alpha }^{-1}{p}^2+m^2$. Its Landau scalar correlation length satisfies ${\xi }^{-2}=\alpha m^2$ in this approximation. For canonical normalization of a scalar gradient term, set $\varphi =\sqrt{\alpha }\psi$; then the mass and quartic coefficients become $r=\alpha m^2$ and $g_c={\alpha }^{2}g$. With this normalization the infrared mass is the inverse correlation length, $m_R={\xi }^{-1}$, within the massive quadratic or one-loop approximation. More generally the decay rate is a pole mass, whereas the zero-momentum inverse magnetic susceptibility is a curvature mass; an anomalous dimension or nontrivial momentum dependence can distinguish them. In the ordered phase one must first expand about a selected stable equilibrium magnetization, rather than identify a negative quadratic coefficient at the unstable origin with a squared inverse correlation length. Thus the intended mass identification includes a field normalization and a stable-phase qualification.

For momentum-shell renormalization group, split $\varphi ={\varphi }_{<}+{\varphi }_{>}$, retaining $|p|<\Lambda /b$ and eliminating $\Lambda /b<|p|<\Lambda$. DefineTaking a logarithm gives the cumulant expansion of a coarse-grained free energy. For a centered fast Gaussian measure with $G_{>}(0)=⟨{\varphi }_{>}^2⟩$, the first quartic cumulant isThe Wick contractions give a mass shift $\Delta r=g{G}_{>}(0)/2$ and an identity-operator contribution, while leaving the quartic term at this order. The second cumulant produces higher interactions and a quartic correction. After the length and field rescalings $x=b{x}^{\prime }$ and ${\varphi }_{<}(x)=b^{-(D-2)/2}{\varphi }^{\prime }(x^{\prime })$, the gradient coefficient remains one, andThe one-loop shell mass renormalization in scalar quartic theory explicitly shows why the critical bare mass is shifted by fluctuations.

Assume short-range interactions, an analytic even local potential, a positive gradient coefficient, and a weak-coupling trajectory in the basin of the Gaussian fixed point. Above four dimensions the quartic interaction has negative engineering dimension and its dimensionless strength decreases under coarse graining; higher local powers and higher derivative terms also decrease. After absorbing analytic short-distance shifts into the coefficients, long-wavelength fluctuations are small compared with the ordered order parameter. The remaining coarse Landau free energy can therefore be evaluated at its stable saddle:The quartic stabilizer must still be retained for the ordered minimum even though it is dangerously irrelevant. Stationarity, $r_{R}M+g_R{M}^3/6=h$, gives the ordinary Landau-Ginzburg theory and its mean-field critical exponents. This derives the saddle approximation from decreasing fluctuation strength under the stated RG assumptions; it does not assume that every exact coarse-grained functional becomes a quartic polynomial. Below four dimensions the quartic coupling grows, long-wavelength loop corrections cease to be small, and the argument fails. At four dimensions the interaction is marginal and generates logarithmic corrections. The tuned sextic theory has the analogous boundary at three dimensions.

Use a consistent Fourier transform pair for the connected correlation function:The printed forward-transform expression integrates over $p$ while leaving $x$ free; that integration variable is an error. The above convention resolves it and produces the loop measure used below. At zero magnetization, $G_c(x)=⟨\varphi (0)\varphi (x)⟩$; otherwise the disconnected product of expectations must be subtracted.

In the inverse-propagator identity used here, the truncated two-point function means the full one-particle-irreducible two-point vertex, including its free quadratic part. This convention differs from using “truncated” for a connected cumulant. To derive the inverse relation, introduce $W[J]=\log Z[J]$, $\phi =\delta W/\delta J$ and the effective action $\Gamma [\phi ]=\int J\phi -W[J]$. Then $\delta \Gamma /\delta \phi =J$ and the chain rule gives ${\Gamma }^{(2)}{W}^{(2)}=1$. Since $W^{(2)}$ is the connected correlation function, translation invariance gives $\tilde{\Gamma }(p)=\tilde{G}(p{)}^{-1}$.

Now use canonically normalized coefficients, denoting the cutoff mass by $m_b^2=m^2(\Lambda ,T)$ and the renormalized infrared mass by $m_R^2=m^2(0,T)$. Choose the free propagator ${\tilde{G}}_0(p)=(p^2+m_R^2{)}^{-1}$ and put $\delta m^2=m_b^2-m_R^2$ in the interaction as a quadratic counterterm. With the Euclidean self-energy convention in which an insertion changes the connected propagator by $-G_0\Sigma G_0$, the perturbative series beginsThe self-energy sums one-particle-irreducible loop insertions; the explicit mass counterterm is kept separate. Repeated insertions generate the geometric Dyson resummation, which explains why reducible chains occur in $G$ but not as independent terms in its inverse. Beyond one loop a momentum-dependent self-energy and wave-function renormalization must also be included.

At one loop the only quartic two-point graph is the tadpole diagram. At a $g{\varphi }^4/4!$ vertex, attaching the two labeled external fields uses $4\cdot 3=12$ choices and contracts the remaining two fields together. The factor is $12/4!=1/2$. Equivalently this is the same quadratic term in the shell cumulant expansion above. ThusIt is positive for $g>0$ and independent of external momentum, so there is no one-loop gradient renormalization. The condition $\tilde{\Gamma }(0)=m_R^2$ implies $\delta m^2+\Sigma (0)=0$, henceThe cutoff is necessary: the unregulated integral is ultraviolet divergent for $D\ge 2$. Using the renormalized mass internally is a self-consistent one-loop organization, not an exact resummation of all critical fluctuations. With nonunit $\alpha$, this formula instead applies to $r=\alpha m^2$, $g_c={\alpha }^{2}g$ after canonical normalization of a scalar gradient term.

To test a linear thermal mass, approach the ordinary transition from the symmetric side and set $R=m_R^2>0$. For $D>2$ the massless tadpole is infrared finite. Subtract its critical value, absorb regular temperature dependence of the coupling into a nonzero thermal coefficient $A$, and write $m_b^2(T)-m_b^2(T_C)=A(T-T_C)+\cdots$. The one-loop critical-mass subtraction giveswhereFor $D>4$, $J_D(0)=c_D{\Lambda }^{D-4}/(D-4)$ is finite, so the bracket tends to a finite constant and $R\propto T-T_C$ is self-consistent. At $D=4$,and the growing logarithm obstructs an asymptotically constant linear coefficient at nonzero coupling. For $2<D<4$, put $k=\sqrt{R}q$ to obtainThe divergent bracket then invalidates the assumed linear thermal mass. The radial critical-mass subtraction in dimensions three to five gives explicit checks of all three behaviors. For $D\le 2$, the massless tadpole subtraction itself is infrared divergent; that failure of the Gaussian expansion does not prove absence of an interacting transition. Therefore the ordinary upper critical dimension is $D_C=4$, with the unmodified Landau-Ginzburg theory asymptotically justified by this test only for $D>4$. Exponents inferred by solving the self-consistent one-loop equation below four dimensions would not be exact interacting exponents.

For a tricritical point the renormalized quartic coefficient must be tuned to zero, and a positive sextic interaction stabilizes the order parameter. The gradient term gives the scalar field engineering dimension $(D-2)/2$. A coefficient of ${\varphi }^6$ therefore has dimension $D-6(D-2)/2=6-2D$, which becomes marginal at $D=3$. This gives $D_C^{\mathrm{tri}}=3$. A direct Ginzburg criterion reaches the same result: long-wavelength variance in a correlation volume iswhile the tricritical saddle has $M^2\sim |r{|}^{1/2}$. Their ratio scales as $|r{|}^{(D-3)/2}$, vanishing only above three dimensions. At three dimensions it is marginal; below three it grows. In contrast the ordinary saddle $M^2\sim |r|/g$ gives a ratio $g|r{|}^{(D-4)/2}$. Both calculations assume the thermal mass is measured relative to its shifted critical value. A sextic interaction generates quartic terms under coarse graining, so tricriticality requires tuning the renormalized quartic scaling field as well as the mass.

Critical exponents describe leading singular powers near a continuous phase transition. For reduced temperature $t=(T-T_c)/T_c$, common definitions are the spontaneous order parameter $M\sim (-t{)}^{\beta }$, magnetic susceptibility $\chi \sim |t{|}^{-\gamma }$, singular heat capacity $c_s\sim |t{|}^{-\alpha }$, correlation length $\xi \sim |t{|}^{-\nu }$, and the critical equation of state $M\sim \mathrm{sgn}(h)|h{|}^{1/\delta }$. At criticality the connected correlation function has decay power $D-2+\eta$.

In Landau theory, solve the stationary equation, evaluate its stable minimum, and differentiate with respect to the conjugate variables. For a scalar quartic theory with $r=r_{0}t$, $r_0>0$, the equation of state is $h=rM+u{M}^3$. Its ordered solution and differentiated response give $\beta =1/2$ and $\gamma =1$, calculated explicitly in the unheaded solution below. At $r=0$ the same equation gives $\delta =3$. The minimized zero-field singular potential is zero above the transition and $-r^2/(4u)$ below, giving a heat-capacity jump and $\alpha =0$. Expanding the gradient functional about a stable minimum gives inverse quadratic response $\kappa q^2+U^{\prime \prime }(M)$, so $\xi =\sqrt{\kappa /U^{\prime \prime }(M)}\sim |t{|}^{-1/2}$ and the Gaussian critical decay has $\eta =0$.

These are mean-field critical exponents. Renormalization group methods obtain fluctuation-corrected powers from fixed-point scaling dimensions; they need not equal the Landau values below the upper critical dimension. At a marginal dimension logarithms can supplement the leading powers.

Use ${\beta }_{\mathrm{th}}=1/(k_{B}T)$ for inverse temperature to distinguish it from the order-parameter exponent. The decaying two-point correlation function needed for the response identity is connected:Away from the critical point in a short-range Ising model pure phase, the correlation length controls the exponential long-distance falloff, $G(r)\sim A(r)e^{-|r|/\xi }$ with a possible algebraic prefactor. The full two-spin expectation below the transition instead tends to $M^2$. The spin-mixture contribution to zero-field susceptibility explains why a symmetric mixture is unsuitable for defining a finite connected correlation length in the ordered phase.

Let $F=-{\beta }_{\mathrm{th}}^{-1}\log Z$ be the total Helmholtz free energy. Take magnetization and susceptibility per site, soDifferentiating the Boltzmann weights at fixed temperature givesTranslation invariance then yields the correlation-function susceptibility sum ruleTotal magnetization and total susceptibility multiply these expressions by $N$; per physical volume they have an additional factor $a^{-D}$ relative to the per-site convention. These normalizations do not change the critical powers.