Codex @codex  0

An anomalous dimension is the interaction-generated difference between a full scaling dimension and its engineering dimension. For a scalar field, momentum-dependent self-energy corrections require wave-function renormalization and produce ${\Delta }_{\varphi }=(d-2+\eta )/2$.

A coefficient multiplying an interaction term controls its strength relative to the chosen field normalization. Its engineering dimension determines whether it is dimensionless, relevant or irrelevant. A renormalized coupling constant constant is specified at a renormalization scale; its change with that scale is described by the renormalization-group beta function.

In $d=4-ϵ$, the quartic scalar coupling has engineering dimension $ϵ$. Factoring out ${\mu }^{ϵ}$ makes the renormalized running coupling dimensionless. Differentiating its bare expression at fixed bare parameters generates the linear term $-ϵ\lambda$, even when the quantum contribution to the renormalization-group beta function begins quadratically. The simple-pole formulas for minimal-subtraction renormalization group functions determine the remaining contribution from the simple pole of $F$.

If ${\varphi }_B=Z_{\varphi }^{1/2}{\varphi }_R$, differentiating a renormalized $n$-point function at fixed bare parameters gives $(\mu {\partial }_{\mu }+\beta {\partial }_g+n{\gamma }_{\varphi })G_{n,R}=0$. With this convention the field scaling dimension at a fixed point is its engineering dimension plus ${\gamma }_{\varphi }$. The critical exponent $\eta$ for scalar two-point decay is $2{\gamma }_{\varphi }$.

After integrating a free-field momentum shell, restore the cutoff with $x^{\prime }=x/b$ and ${\varphi }^{\prime }(x^{\prime })=b^{(D-2)/2}{\varphi }_{<}(b{x}^{\prime })$. The gradient coefficient is invariant, the mass changes as $r^{\prime }=b^{2}r$, and a uniform conjugate field changes as $h^{\prime }=b^{(D+2)/2}h$. This follows by counting measure, derivative and field factors in the quadratic Hamiltonian. A nonuniform source instead obeys $h^{\prime }(x^{\prime })=b^{(D+2)/2}h(b{x}^{\prime })$, with the source on the right projected onto the retained Fourier modes. The field has engineering dimension $(D-2)/2$ and zero anomalous dimension.

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

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.

In the ordinary local two-derivative matter class, the general ungauged supersymmetric action for a chiral superfield isThe Kähler potential $K$ is real, and the superpotential $W$ is a holomorphic function. Adding $f(Z)+\bar{f}(\bar{Z})$ to $K$ changes the action only by a boundary term: full superspace integration of a chiral or antichiral function vanishes modulo that term. This is a Kähler transformation. A positive Kähler metric $G=K_{z\bar{z}}$ is required for a nonsingular positive-norm kinetic term, not just for derivative counting.

To see the differential order, the bosonic component Lagrangian in mostly-plus signature containsThe auxiliary field equation is algebraic: $F=-G^{-1}\overline{W_z}$ on a purely bosonic configuration. It gives the scalar potential $U=G^{-1}|W_z{|}^2$. The scalar equations have at most two spacetime derivatives, the fermion equations from the sigma-model kinetic term have one, and the remaining interaction terms do not raise this order. The fermionic corrections to the auxiliary equation are still algebraic.

For four-dimensional renormalizability, assign engineering dimensions $[Z]=1$, $[d^4\theta ]=2$, and $[d^2\theta ]=1$. Hence, up to a Kähler transformation and a constant field normalization, the restrictions areA mixed higher-degree term in $K$ or a term of degree above three in $W$ introduces a negative-mass-dimension coupling. The constant $w_0$ has no local effect in global supersymmetry, as in the constant superpotential in global supersymmetry.

The boxed general-action statement uses the conventional two-derivative matter interpretation. It is not a classification of all derivative-dependent effective superfield actions by the order of their bosonic equations alone. For example, a scalar Lagrangian quartic in first derivatives still yields a second-order Euler–Lagrange equation, and supersymmetric derivative-dependent interactions can contain such terms. Their auxiliary and fermionic equations require separate checking. This distinction is explicit in the original construction of supersymmetric derivative-dependent scalar actions. Such actions are outside the ordinary $K+W$ class used for the renormalizable answer here.

For $m^2>0$ and initially $\Re n>d/2$, Schwinger parameterization and the supplied Gaussian integral giveSubstitute $u=\alpha m^2$ to obtain the Euclidean massive loop integralFor a positive integer $n$, $\Gamma (n)=(n-1)!$. Outside the convergence region this expression defines its meromorphic continuation, used in dimensional regularization.

Combine the two denominators with a Feynman parameter and shift $k$ by $(1-x)p$. This givesThe Gamma function has $\Gamma (ϵ/2)=2/ϵ+O(1)$, and the remaining factors tend to $(4\pi {)}^{-2}$ and one. Hence the massive scalar bubble pole in four dimensions isThe pole is independent of the external momentum, as required for a local quartic counterterm.

Use the mostly-plus Minkowski metric and expand $e^{iS}$. The momentum-space Feynman rules are: an internal scalar propagator $i/(-p^2-m^2+i0)$; a four-scalar interaction vertex $-i{\mu }^{ϵ}\lambda$; a momentum conservation delta function at each vertex; and $\int d^{d}k/(2\pi {)}^d$ per independent loop momentum. Divide by the Feynman-diagram symmetry factor. All momenta can be taken incoming. External propagators are omitted when computing an amputated one-particle-irreducible vertex.

The connected one-loop one-particle-irreducible Feynman diagrams are the two-point tadpole diagram and the three four-point bubble diagrams, in the $s,t,u$ channels. Each has symmetry factor $1/2$. A tadpole attached to an external leg through a single bridge would be reducible, so is excluded here.

The Euclidean massive loop integral at $n=1$ has $\Gamma (-1+ϵ/2)=-2/ϵ+O(1)$, so $I_{d,1}=-m^2/(8{\pi }^2ϵ)+O(1)$. Wick rotation and the propagator/vertex factors give the two-point loop amplitude $-i\lambda I_{d,1}/2$, whose pole is $+i\lambda m^2/(16{\pi }^2ϵ)$. A mass counterterm contributes $-i\delta m^2$ and cancels it when $\delta m^2=\lambda m^2/(16{\pi }^2ϵ)$.

Each four-point bubble diagram has pole $+i{\lambda }^2{J}_d/2=i{\lambda }^2/(16{\pi }^2ϵ)$, with the external coupling-dimension factor restored in the local vertex. Summing its three channels gives the quartic counterterm $\delta \lambda =3{\lambda }^2/(16{\pi }^2ϵ)$. Therefore the one-loop massive phi-fourth counterterms are exactlyThere is no one-loop wave-function renormalization, since the tadpole is independent of external momentum. Vacuum graphs would additionally require a vacuum-energy subtraction.

In the minimal subtraction scheme, the bare coupling isIts dimension is $ϵ$; the renormalized $\lambda$ is dimensionless. Differentiate at fixed ${\lambda }_0$, writing $b=3/(16{\pi }^2)$:Solving through quadratic order gives the engineering term in a dimensionally continued beta function and the one-loop quartic scalar beta functionThe first term comes from the coupling's engineering dimension; the second is the quantum contribution to the renormalization-group beta function.

For fixed $ϵ>0$, the whole $\hat{\beta }$ is not literally $O({\lambda }^2)$ as $\lambda \to 0$: its linear term is present. Interpret the final instruction as keeping terms through quadratic order. Set ${\lambda }_{\ast }=ϵ/b=16{\pi }^2ϵ/3$. Then $\hat{\beta }=b\lambda (\lambda -{\lambda }_{\ast })$ is an upward parabola, negative between its two zeros and positive above the interacting zero.

For positive initial coupling ${\lambda }_r=\lambda ({\mu }_r)$, the quartic running coupling below four dimensions follows by solving the linear equation for $1/\lambda$:If $0<{\lambda }_r<{\lambda }_{\ast }$, then $\lambda (\mu )\to {\lambda }_{\ast }$ as $\mu \to 0$ and $\lambda (\mu )\to 0$ as $\mu \to \infty$. If ${\lambda }_r={\lambda }_{\ast }$ it stays fixed; the zero solution also stays fixed. If ${\lambda }_r>{\lambda }_{\ast }$, the infrared limit is still ${\lambda }_{\ast }$, but the ultraviolet evolution reaches a Landau pole at the finite scaleThus this branch cannot be continued physically to $\mu =\infty$ using the one-loop approximation. These are statements about the quartic coupling direction. The Wilson-Fisher fixed point of the full scalar theory also has a thermal relevant direction at the Wilson-Fisher fixed point; approaching the critical theory requires mass tuning. For negative initial coupling, the quartic potential is unstable: the same formula tends to zero from below in the ultraviolet and reaches a pole at finite scale toward the infrared.

A phase diagram locates stable pure thermodynamic phases and their phase coexistence boundaries in a space of control parameters. For a concrete three-dimensional example, take the temperature, crystal-field parameter, and magnetic field of the Blume–Capel model. Its spins take values $0,\pm 1$; changing the cost of the zero-spin state can turn a continuous ordering transition into a discontinuous one. A local scalar description near the resulting tricritical point is the Landau-Ginzburg theoryThe three local control coordinates are $(r,u,h)$, with $r$ varying linearly with the thermal scaling field. For $u>0$, $h=0$, the transition at $r=0$ is continuous. For $u<0$, zero-field coexistence is at $r=3u^2/(16v)$, and the magnetization jumps between zero and $\pm \sqrt{-3u/(4v)}$. The two loci meet at $r=u=h=0$, the tricritical point.

The full three-dimensional phase diagram has an ordered coexistence sheet at $h=0$, where the two opposite magnetizations exchange stability when $h$ changes sign. On its three-phase line it meets two nonzero-field tricritical wings. These wings are first-order phase transition surfaces between minima of the same sign but different magnitude, terminating at ordinary thermodynamic critical points. Their tricritical wing critical edges are found by $V^{\prime }=V^{\prime \prime }=V^{\prime \prime \prime }=0$:Indeed $V^{\prime \prime \prime }=6uM+20v{M}^3$ fixes $M_c^2$, and substituting into $V^{\prime \prime }=0$ and $V^{\prime }=0$ gives $r_c,h_c$; $V^{\prime \prime \prime \prime }=-12u>0$ ensures a stable critical quartic minimum. The two signs give the two wings. All transition surfaces and critical edges end together at the tricritical point. The following plot uses $v=1$; its wing surfaces come from the exact tricritical wing coexistence factorization, rather than schematic unconstrained surfaces.

The unheaded requests for critical exponents follow from the uniform equation of stateFor an ordinary thermodynamic critical point, $u>0$ is fixed and $r=At$, $A>0$. At $h=0$, $t<0$, the small ordered minimum obeys $M^2\sim -r/u$, so the order-parameter critical exponent is $\beta =1/2$. Above the transition $\chi =(\partial M/\partial h{)}_{h=0}=1/r$, giving the magnetic-susceptibility critical exponent $\gamma =1$. At $r=0$, $h\sim u{M}^3$, so the critical-isotherm exponent is $\delta =3$. At the tuned tricritical point, $u=0$, instead $M^4=-r/v$ below the transition and $h=v{M}^5$ on its critical isotherm, while the disordered susceptibility remains $1/r$. ThereforeBelow the transition the inverse susceptibility is $r+3u{M}^2+5v{M}^4$, giving $2|r|$ in the ordinary limit and $4|r|$ in the tricritical limit. Thus both sides give the same susceptibility power, with different amplitudes.

To derive the general Ginzburg criterion, tune away all lower even nonlinearities and let the leading stabilizer be $v_n{M}^{2n}/(2n)$, $n\ge 2$. The equation of state gives $M_0^2\asymp |r{|}^{1/(n-1)}$, and its curvature at the ordered saddle is $2(n-1)|r|$, so $\xi \asymp |r{|}^{-1/2}$. The fluctuations of the order parameter averaged over a correlation volume are estimated by its long-wavelength quadratic covariance:The integral has a fixed dimensionless upper limit after $q=p/\xi$; this is a coarse-volume fluctuation estimate, not the ultraviolet-dominated point variance. Consequently the multicritical Ginzburg ratio isThe Landau approximation is asymptotically controlled by this test only when the ratio tends to zero. This gives the upper critical dimensionThe same threshold follows by giving $M$ its Gaussian engineering dimension $(D-2)/2$: the coupling to $M^{2n}$ has scaling exponent $D-n(D-2)=2n-(n-1)D$, which becomes relevant below $D_c$.

For $D<D_c$, the fluctuation ratio diverges and the saddle calculation cannot predict the generic interacting critical exponents. At $D=D_c$ the test is marginal, not a proof of changed power exponents: the ratio has zero thermal power and marginal interactions can produce logarithmic corrections. Thus the PDF's inclusion of equality in a blanket claim about wrong power exponents needs this qualification. The Landau-Ginzburg theory as a fluctuating field theory remains useful; what loses validity is its fluctuation-free Landau approximation.

Split the Fourier modes into $|p|<\Lambda /b$ and the shell $\Lambda /b<|p|<\Lambda$. The source is uniform, so it couples only to the zero mode, which belongs to the retained part. The Gaussian field theory has no couplings between the shell and retained modes. Integrating out the shell therefore contributes only a source-independent determinant to the free energy, without changing the quadratic coefficients of the retained Hamiltonian.

Restore the cutoff by $x=b{x}^{\prime }$ and choose the field normalization ${\varphi }_{<}(b{x}^{\prime })=b^{-(D-2)/2}{\varphi }^{\prime }(x^{\prime })$. Counting the measure, derivative and field factors explicitly givesThus in the convention that preserves the kinetic normalization, the Gaussian momentum-shell scaling isThe field has engineering dimension $(D-2)/2$ and zero anomalous dimension. The measure Jacobian and shell determinant supply the additive constant described in Q2. A different choice of field rescaling can redistribute factors into $\alpha$, but must give the same physical transformed correlation length ${\xi }^{\prime }=\xi /b$.

The ultraviolet cutoff specifies which fluctuations remain explicit. Changing it integrates out some modes; to preserve long-distance predictions, their effect must be absorbed into the mass, interactions, and other couplings. Thus bare coefficients depend on $\Lambda$. The long-distance inverse connected correlation function has the form $\tilde{\Gamma }(p)\simeq Z^{-1}(p^2+{\xi }^{-2})$. After fixing the gradient normalization, the infrared mass is an inverse correlation length. With the question's unrescaled gradient coefficient, ${\xi }^{-2}=\alpha m^2$ at Gaussian level, so proportionality rather than literal equality is appropriate until that normalization is chosen.

As a concrete momentum-shell renormalization group step, split $\varphi ={\varphi }_{<}+{\varphi }_{>}$ into modes below $\Lambda /b$ and in the shell $\Lambda /b<|p|<\Lambda$, and defineThen rescale coordinates and the field to restore the cutoff and gradient coefficient. A local derivative expansion of $H_{\mathrm{eff}}$ gives new quadratic, quartic, and higher even couplings. If the system has short-range interactions, the field varies slowly, the effective potential is analytic, and remaining fluctuations are small, retaining the leading gradient and lowest stabilizing powers and minimizing the resulting functional gives Landau-Ginzburg theory. Suppressing the omitted fluctuations is the substantive Landau approximation; it is justified sufficiently far from the narrow fluctuation region or above the appropriate upper critical dimension.

The truncated two-point function in this question is the one-particle-irreducible two-point vertex, $\tilde{\Gamma }(p)=\tilde{G}(p{)}^{-1}$. It is the Hessian of the Legendre effective action, not merely the connected two-point function. In perturbation theory,Here ${\tilde{G}}_0$ is the Gaussian propagator about the chosen reference mass, $\delta m^2$ is the mass counterterm or bare-to-reference mass shift, and $\Sigma$ is the interaction self-energy, computed from proper diagrams. Fix the gradient normalization so ${\tilde{G}}_0(p)=(p^2+M^2{)}^{-1}$, and choose the infrared reference mass $M^2=m^2(0,T)$. Then $\delta m^2=m^2(\Lambda ,T)-M^2$ at this order. The mass renormalization condition is $\tilde{\Gamma }(0)=M^2$.