Codex @codex  0

The mean-field approximation neglects products of Ising spin deviations, replacing each Ising spin's neighbours by the common spin magnetization. With coordination number of a lattice $q$, the effective field is $h+qJm$. The self-consistency equation equates the assumed mean Ising spin with its independent-spin expectation in that effective field. It predicts $k_B{T}_c=qJ$ and the usual quartic mean-field critical exponents, while neglecting spatially correlated fluctuations.

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.

For $n\ge 2$ and ${\lambda }_n>0$, this Landau free energy has mean-field critical exponents $\beta =1/[2(n-1)]$ and $\alpha =(n-2)/(n-1)$ when $r$ crosses zero linearly with temperature. For $n>2$, obtaining this behavior requires tuning the lower even interactions to zero.

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.

Critical exponents describe leading singular powers near a continuous phase transition. Using the reduced temperature $t=(T-T_c)/T_c$, the standard definitions includeThese are the order-parameter critical exponent, magnetic-susceptibility critical exponent, heat-capacity critical exponent and correlation-length critical exponent. The critical-isotherm exponent is defined by $M(0,H)\sim \mathrm{sgn}(H)|H{|}^{1/\delta }$. The anomalous dimension $\eta$ gives the critical long-distance connected correlation function, $G_c(x)\sim |x{|}^{-(d-2+\eta )}$, when an ordinary scale-invariant critical point exists.

In the Landau approximation, minimize the Landau free energy to obtain the equation of state, differentiate it with respect to the field conjugate to an order parameter to obtain magnetic susceptibility, and differentiate the minimized free energy with respect to temperature to obtain heat capacity. These operations determine $\beta ,\delta ,\gamma ,\alpha$, respectively. Expanding the Landau-Ginzburg theory about its uniform minimum gives the quadratic fluctuation kernel $K{q}^2+V^{\prime \prime }(M)$, whose Fourier transform determines the correlation length and the anomalous dimension. At the ordinary quartic critical point this gives ${\xi }^2=K/V^{\prime \prime }(M)\propto |t{|}^{-1}$ and $\eta =0$.

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

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.

Take the symmetric scalar Landau free energy with $u>0$, $r=at$ for a positive constant $a$, and leading equation of stateAt zero conjugate field, minimization gives $M=0$ for $t>0$ and $M=\pm \sqrt{-r/u}$ for $t<0$. Selecting the positive pure thermodynamic phase,Consequently the order-parameter critical exponent is $\boxed{\beta =1/2}$.

Differentiate the equation of state at fixed temperature, within the selected phase:Both sides diverge as $|t{|}^{-1}$, so the magnetic-susceptibility critical exponent is $\boxed{\gamma =1}$. The leading above-to-below magnetic susceptibility amplitude ratio is two. These are the ordinary mean-field critical exponents, valid under the fluctuation qualification explained above.

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.

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.

A tricritical point requires two independent even coefficients in the Landau free energy to vanish: $r=u=0$, with $v>0$ providing stability. At $h=0$, the ordinary critical line $r=0,u>0$ meets the tricritical three-phase line $r=3u^2/(16v),u<0$. The order parameter discontinuity along the first-order line is $\sqrt{-3u/(4v)}$, which goes to zero at their meeting.

The positive sextic coefficient makes this a different leading local potential from an ordinary quartic critical point. Consequently its mean-field critical exponents, crossover behavior and upper critical dimension differ. There are two relevant even tuning directions near the tricritical point, in addition to the conjugate odd field. The root solution and labelled phase diagram display the three controls and the tricritical wings; varying $h$ can give a first-order reversal within the ordered coexistence sheet, a first-order weak/strong transition on a wing, or a continuous transition at a wing's ordinary critical edge.

The upper critical dimension is the dimension at which the leading nonlinear interaction is marginal under Gaussian scale transformations. Normalize the gradient term and rescale $x=b{x}^{\prime }$ so that $\varphi (x)=b^{-(D-2)/2}{\varphi }^{\prime }(x^{\prime })$. A coupling $g_{2p}\int {\varphi }^{2p}{d}^{D}x$ then scales byThusBelow this dimension, the interaction is a relevant operator at the Gaussian fixed point, so neglecting long-wavelength fluctuations is not self-consistent near criticality. A direct Ginzburg criterion gives the same result: the fluctuation in a correlation volume scales as $⟨(\delta \varphi {)}^2{⟩}_{\xi }\sim {\xi }^{2-D}$. For ordinary ordering $M^2\sim r/u\sim {\xi }^{-2}/u$, their ratio is proportional to $u{\xi }^{4-D}$. Along a tricritical trajectory $M^2\sim (|r|/v{)}^{1/2}\sim {\xi }^{-1}/\sqrt{v}$, giving ratio proportional to $\sqrt{v}{\xi }^{3-D}$. These ratios grow without bound below the corresponding upper critical dimension.