Codex @codex  0

The quartic interaction $g_1{\varphi }_1^4+g_2{\varphi }_2^4+\lambda {\varphi }_1^2{\varphi }_2^2$ includes the Gaussian fixed point, single and double Ising model Wilson-Fisher fixed points, and an O(N) model fixed point with $N=2$. A rotation of two decoupled identical Ising models produces a second coordinate representation of their renormalization-group fixed point.

For a positive weak quartic scalar field theory coupling in four dimensions, the one-loop renormalization-group beta function is $\beta =a{\lambda }^2$, $a=3/(16{\pi }^2)>0$. Integration gives the displayed inverse-coupling law, so $\lambda$ tends to zero logarithmically as $\mu \to 0$ and grows toward the ultraviolet. The interacting Wilson-Fisher fixed point of $4-ϵ$ dimensions merges with the Gaussian fixed point at $ϵ=0$. This describes the quartic direction in the massless or critically tuned infrared regime, not disappearance of every finite-energy interaction in a massive theory. The ultraviolet Landau pole signals breakdown of that perturbative extrapolation; one loop alone does not prove a nonperturbative triviality theorem.

The Gaussian momentum-shell scaling has thermal eigenvalue $2$ and source eigenvalue $(D+2)/2$. The formal homogeneous magnetization index is therefore $[D-(D+2)/2]/2=(D-2)/4$. A free quadratic Hamiltonian alone does not possess a stable negative-mass ordered phase, so this index is not a claim of spontaneous magnetization in an unstabilized Gaussian integral. In $2<D<4$, a quartic interaction is relevant at the Gaussian fixed point and changes the generic scalar critical behavior.

The renormalization group organizes how a statistical system changes when observed at progressively larger length scales. Start with its partition function and a microscopic cutoff $\Lambda$. Split the Fourier transform field into modes below $\Lambda /b$ and modes in the shell $\Lambda /b<|q|<\Lambda$. Integrate the shell modes, rescale coordinates $x^{\prime }=x/b$ to restore the cutoff, and rescale the field to keep a chosen gradient normalization. This is a renormalization-group transformation. It preserves the partition function when the generated interactions and additive free energy terms are retained; truncating the resulting operator expansion is an approximation.

A renormalization-group fixed point has an invariant dimensionless interaction structure. The continuous flow of a nearby scaling field $v_i$ takes the linearized formA positive $y_i$ defines a relevant operator, a negative $y_i$ an irrelevant operator, and a zero $y_i$ a marginal operator requiring nonlinear analysis. The continuous-flow eigenvalues $y_i$ should not be confused with the discrete multipliers $b^{y_i}$. To reach a critical point, tune the relevant thermal variable and set the relevant symmetry-breaking source to zero. The resulting flow stays on the critical surface.

Microscopically different systems whose remaining couplings approach the same fixed point share a universality class. Irrelevant perturbations lose their influence on long-distance exponents. Relevant directions explain why varying the temperature or field moves the system away from criticality. The thermal scaling field obeys $t^{\prime }=b^{y_t}t$, while the rescaled correlation length is ${\xi }^{\prime }=\xi /b$. Taking $b=|t{|}^{-1/y_t}$ therefore gives $\nu =1/y_t$.

If the field has scaling dimension $x_{\varphi }=(d-2+\eta )/2$, the source term $\int h\varphi$ has eigenvalue $y_h=d-x_{\varphi }=(d+2-\eta )/2$. The singular free-energy density then obeyswhen the hyperscaling relation is valid. This derives the scaling hypothesis for critical phenomena and the exponent relations of Question 2 from the fixed-point picture.

At the Gaussian fixed point, keeping $\int (\nabla \varphi {)}^2$ invariant gives $x_{\varphi }=(d-2)/2$. The quadratic coupling has $y_r=2$ and the quartic coupling has $y_u=4-d$. Thus quartic interactions are relevant below four dimensions, marginal at four, and irrelevant above four. Below four, in dimensions where an ordinary continuous short-range scalar transition exists, an interacting Wilson-Fisher fixed point governs that transition. Above four, the Gaussian fixed point gives mean-field powers, but the quartic term remains necessary to stabilize the ordered state: it is a dangerously irrelevant coupling, explaining the failure of naive hyperscaling. The renormalization group connects scale invariance, universality, relevant tuning parameters and fluctuation corrections in one framework.

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

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

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

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

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

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

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

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

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

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

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

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.

The partition function sums the Boltzmann weights of all statistical configurations. For discrete states $s$ of energy $E_s$, $Z={\sum }_s{e}^{-{\beta }_{\mathrm{th}}{E}_s}$; for a regulated scalar field it is a functional integral, $Z=\int \mathcal{D}\varphi e^{-{\beta }_{\mathrm{th}}H[\varphi ]}$. It normalizes probabilities and generates thermodynamic averages. Its Helmholtz free energy isA quantum version uses $Z=\mathrm{Tr}{e}^{-{\beta }_{\mathrm{th}}\hat{H}}$. In the following identification, $F(M)$ is a constrained free-energy density, so its units match those of a Hamiltonian density rather than a total extensive energy.

Fix a microscopic cutoff ${\Lambda }_0$. Split the field into retained modes ${\varphi }_{<}$ with momenta below $\Lambda$ and eliminated modes ${\varphi }_{>}$ between $\Lambda$ and ${\Lambda }_0$. Define the Wilsonian coarse-grained statistical Hamiltonian exactly byIts coefficients and additive constant depend on $\Lambda$ so that integrating the retained modes gives precisely the original $Z$. With sources and observables carried along, the same construction preserves long-wavelength responses. Thus changing this intermediate ultraviolet cutoff is a change of description, not a change of the physical system. It is advantageous because one can integrate out fluctuations irrelevant to the observable length scale, organize a local gradient expansion, and use renormalization-group flow toward simpler universal fixed-point descriptions. Exact invariance retains all generated operators; truncating them is an approximation.

The quadratic gradient coefficient generally becomes $K_{\Lambda }$, not a constant. Field renormalization sets a chosen kinetic normalization, for example ${\varphi }_R=\sqrt{K_{\Lambda }}\varphi$ when this makes the gradient coefficient one in the energy convention. Sources and observables must be transformed inversely so that their physical meaning is preserved. Under rescaled coordinates $x^{\prime }=x/b$, the critical field scaling isIts anomalous part is the anomalous dimension; it gives $G(r)\sim r^{-2x_{\varphi }}$ and the conjugate-field exponent $y_h=D-x_{\varphi }$. Different conventions for the wave-function factor require corresponding changes in its logarithmic derivative. A fixed physical magnetization must not be confused with a cutoff-dependent dimensionless renormalized field.

To justify the zero-cutoff identification of constrained free energy, work first in a finite periodic volume $V$. Define the physical spatial mean $M=V^{-1}\int \varphi (x)d^{D}x$ and constrain that mean in the microscopic integral:Retain the constant mode $M$ while eliminating every nonzero mode. When $\Lambda$ is below the smallest nonzero box momentum, the remaining energy is $H_{\Lambda }[M]=V{U}_{\Lambda }(M)$. Consequently $e^{-{\beta }_{\mathrm{th}}V{U}_{\Lambda }(M)}=Z_M$ with a consistently fixed, possibly field-independent measure normalization. This provesFor a uniform field, $U_{\Lambda }(M)$ is the Hamiltonian density $\mathcal{H}(\Lambda ,M)$ in the question. The statement assumes that the physical zero mode is retained, all other modes are integrated exactly, field-rescaling factors are undone, and density and additive-normalization conventions agree. Taking the cutoff limit in the finite box before its thermodynamic limit makes this derivation unambiguous. With an applied uniform source, $Z(h)=\int dM{e}^{-{\beta }_{\mathrm{th}}V[F_c(M)-hM]}$ up to the same measure convention; its large-volume saddle minimizes $F_c(M)-hM$.

The Landau approximation further assumes that this potential can be approximated by a regular local polynomial on the homogeneous branches, and that the remaining fluctuations are negligible for the observables sought. It is not an assertion that an exact zero-cutoff free energy is the bare polynomial. In a coexistence region the exact constrained density can be convexified by domains, while a nonconvex Landau branch potential describes local phases and their metastability.

For the breakdown criterion use a short-range scalar theory with positive quadratic gradient stiffness. At the Gaussian fixed point, invariance of $\int (\nabla \varphi {)}^2{d}^{D}x$ gives field dimension $(D-2)/2$. A coupling $g_{2n}$ multiplying ${\varphi }^{2n}$ therefore has engineering scaling exponentIt is irrelevant only above its upper critical dimension. For the ordinary critical point the leading stabilizing interaction is quartic, while at a tricritical point the renormalized quartic term is tuned away and the leading interaction is sextic. ThereforeOne can also see the failure through the Ginzburg criterion. Long-wavelength fluctuations averaged over a correlation volume obey $⟨(\delta M{)}^2{⟩}_{\xi }\sim {\xi }^{2-D}$, up to temperature and stiffness factors. The quartic saddle has $M^2\sim {\xi }^{-2}$, giving a fluctuation/mean-square ratio proportional to ${\xi }^{4-D}$. The tricritical sextic saddle has $M^2\sim {\xi }^{-1}$, giving a ratio proportional to ${\xi }^{3-D}$. Both ratios grow without bound below their respective critical dimension, invalidating the fluctuation-free Landau exponents sufficiently close to a transition.

At equality the ratios are marginal, not power-law divergent. The loop expansion resolves this boundary: the quartic vertex correction contains $\int d^{D}q/(q^2+{\xi }^{-2}{)}^2$, logarithmic at $D=4$; the sextic vertex correction contains a two-loop three-propagator integral whose overall degree is $2D-6$, logarithmic at $D=3$. Marginal running therefore generally adds logarithmic corrections at these dimensions. Below them, where the corresponding transition exists, interactions control the long-distance critical behavior. Above them, leading thermodynamic powers are mean-field, although stabilizing dangerously irrelevant couplings explain why naive hyperscaling need not hold.

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.

At $D=D_c$, the interaction is marginal. Mean-field powers can survive, but acquire multiplicative logarithmic corrections; it is too strong to say that all mean-field exponent values necessarily fail at equality. Above $D_c$, fluctuations do not change the leading mean-field critical exponents, although a dangerously irrelevant coupling can invalidate naive hyperscaling.

A relevant operator has $y_i>0$, so its coupling grows under coarse-graining and drives the system away from the critical renormalization-group fixed point. Such directions must be tuned to reach the critical manifold. An irrelevant operator has $y_i<0$, so its coupling decays and normally supplies corrections to scaling. For $y_i=0$ the operator is marginal; nonlinear terms in the transformation decide whether its coupling grows or decreases, or whether it labels a line of fixed points.

This classification is a statement about perturbations of a specified fixed point, not an intrinsic label independent of the theory. For example, a quartic scalar interaction has eigenvalue $4-D$ at the Gaussian fixed point, so it is relevant for $D<4$ and marginal at $D=4$. A tricritical scalar point has an extra relevant even direction compared with an ordinary critical point. Although irrelevant couplings usually disappear from leading powers, a dangerously irrelevant coupling can still be needed to stabilize an ordered phase and invalidate naive hyperscaling.

Set $ϵ=4-n$ and $a=3/(16{\pi }^2)=-C$. The kinetic term gives the scalar mass dimension $(n-2)/2$, so the quartic bare coupling has mass dimension $4-n=ϵ$. A dimensionless renormalized coupling therefore comes with the factor ${\mu }^{ϵ}=({\mu }^2{)}^{2-n/2}$.

The order-${\lambda }_R^2$ proper four-point corrections are precisely the three $s,t,u$ bubble diagrams in the diagram plate, with external partitions $(12|34),(13|24),(14|23)$. Each carries a symmetry factor one half. Its two-propagator integral has logarithmic ultraviolet divergence in four dimensions, represented in dimensional regularization by a simple pole at $n=4$. That pole's residue is independent of external momenta, so a local quartic counterterm cancels it. The three channels add, rather than describing three separate couplings. The two-point tadpole has no momentum dependence, so it does not supply a one-loop field-normalization correction to the four-point coupling. The first momentum-dependent field correction contributes to this relation only at higher order.

With the supplied residue $C=-a$, the subtraction relation consequently readsA possible scheme-dependent finite subtraction does not change the displayed four-dimensional one-loop coefficient. Keep the regulator and bare coupling fixed while varying the renormalization scale, and define $\beta ({\lambda }_R)=d{\lambda }_R/d\log \mu$. Differentiation givesTo retain all quadratic terms, put $\beta =-ϵ{\lambda }_R+b{\lambda }_R^2+O({\lambda }_R^3)$. The engineering term times the pole factor contributes $-2a{\lambda }_R^2$, and the remaining quadratic coefficient is $a-2a+b$. It vanishes only when $b=a$. ThusDropping the product of the engineering term and pole factor would give the wrong sign for the loop term.

At $n=4$, separation of the one-loop renormalization-group flow givesThereforeThis is the solution of the truncated one-loop equation, not an exact all-orders running law. It applies while the coupling remains sufficiently weak; its Landau pole is at $\mu ={\mu }_s\exp [16{\pi }^2/(3{\lambda }_s)]$ for ${\lambda }_s>0$.

A renormalization-group fixed point has $\beta ({\lambda }^{\ast })=0$. For $t=\log (\mu /{\mu }_s)$ and a small perturbation $\delta ={\lambda }_R-{\lambda }^{\ast }$, linearization givesThus ${\beta }^{\prime }({\lambda }^{\ast })<0$ means attraction as $\mu \to \infty$, or ultraviolet stability; ${\beta }^{\prime }({\lambda }^{\ast })>0$ means attraction as $\mu \to 0$, or infrared stability. If the derivative vanishes, higher terms decide marginal stability. These statements concern the specified coupling direction; other couplings or the mass can be relevant even when this direction is stable.

For $ϵ>0$, the quadratic renormalization-group beta function has zeros $0$ and $ϵ/a$. At the nonzero zero,ConsequentlyThis is the weak-coupling Wilson-Fisher fixed point, perturbatively controlled near four dimensions. Reaching its full critical limit also requires tuning the mass, the thermal relevant direction at the Wilson-Fisher fixed point.

At $n=4$, this nonzero fixed point merges with the Gaussian fixed point. Although the derivative at zero vanishes, $\beta =a{\lambda }_R^2>0$ for a positive weak coupling, so the running solution tends to zero logarithmically toward the infrared. The four-dimensional critical long-distance limit is Gaussian: the quartic interaction is marginally irrelevant, rather than flowing to a nonzero weakly interacting infrared fixed point. This is the Gaussian infrared limit of positive four-dimensional quartic coupling. It is not ultraviolet asymptotic freedom; the positive coupling grows in the ultraviolet. Nor does it say a massive theory has no interactions at finite energy: the critical or massless scaling regime is the one described by this limiting flow. Extrapolating the one-loop law to arbitrarily high cutoff at fixed positive low-energy coupling encounters its Landau pole; avoiding that pole as the cutoff is removed forces the perturbative coupling toward zero. This motivates the usual triviality conclusion, but the one-loop calculation alone is not a nonperturbative theorem excluding all possible strongly coupled ultraviolet completions.

A partition function sums the Boltzmann weights of all states: $Z={\sum }_s{e}^{-{\beta }_{T}H(s)}$ for discrete states, or the corresponding integral for continuous fields. It normalizes equilibrium probabilities. Its physical Helmholtz free energy is $\mathcal{F}=-k_{B}T\log Z$, and its free-energy density is $\mathcal{F}/V$. With a momentum ultraviolet cutoff ${\Lambda }_0$, a scalar-field example isThe normalization of the functional measure and field-independent energy terms must be tracked when discussing absolute free energy.

Choose a smaller cutoff $\Lambda$ and split the field into retained modes ${\varphi }_{<}$ with $|q|<\Lambda$ and eliminated modes ${\varphi }_{>}$ with $\Lambda <|q|<{\Lambda }_0$. Define the Wilsonian coarse-grained statistical Hamiltonian bySubstitution into the partition function proves $Z=\int \mathcal{D}{\varphi }_{<}{e}^{-{\beta }_T{H}_{\Lambda }[{\varphi }_{<}]}$ for every intermediate cutoff. A source retained in this definition similarly preserves long-wavelength connected correlation functions and response. Thus the coefficients in a Hamiltonian density must run with $\Lambda$: the dependence induced by eliminated modes compensates the dependence of the remaining field integral. Holding the original bare coefficients fixed while changing the cutoff would generally change the system. Exact integration generates all interactions allowed by symmetry, including higher powers, derivative terms and an additive constant; a local derivative expansion or a truncation to a few couplings is an extra approximation.

Cutoff independence makes arbitrary intermediate coarse-graining scales unphysical. It allows calculations at the scale of the observable, avoids repeatedly resolving irrelevant short-distance details and exposes the renormalization-group fixed points responsible for universality. A microscopic cutoff, such as a Bravais lattice spacing, can still label a physical microscopic model; taking it to infinity as a continuum limit requires tuning appropriate bare couplings. This is distinct from lowering an intermediate Wilsonian cutoff in a fixed model.

To interpret the zero-cutoff limit, define $M=V^{-1}\int \varphi (x)d^{D}x$, the spatially uniform mode of the order parameter. Keep this mode fixed and integrate the others, rather than integrating over $M$ too. Write $\varphi =M+\eta$, with $\int \eta =0$, and define the constrained order-parameter free energy byIn a finite periodic box, once $\Lambda$ is below the smallest nonzero momentum, all nonconstant modes have been eliminated. The remaining effective energy is $H_{\Lambda }[M]=V{U}_{\Lambda }(M)$, so its defining integral is exactly $Z_M$. Therefore, with consistent normalization,When $\mathcal{H}(\Lambda ,M)$ denotes this uniform effective Hamiltonian density, this is the stated identification of $F(M)$ with its zero-cutoff limit. It requires a free-energy density constrained at fixed $M$, not the unconstrained extensive free energy; all integrated fluctuations and additive constants are included, the zero mode in field theory is retained, and a density for the uniform configuration is well defined. The finite-volume argument avoids an interchange of the thermodynamic and cutoff limits without justification. On a homogeneous pure-phase branch one may use a local potential description, while a thermodynamic limit allowing phase separation can convexify the constrained potential. A bare nonconvex Landau polynomial is accordingly a homogeneous-branch approximation, not a claim that the exact equilibrium Legendre potential stays nonconvex.

In a field $h$, the remaining integral is $Z(h)=\int dM{e}^{-{\beta }_{T}V[F_c(M)-hM]}$, up to the consistently chosen zero-mode measure. The thermodynamic saddle then gives $f(h)={\inf }_M\{F_c(M)-hM\}$ and selects the equilibrium magnetization. Landau theory assumes that the relevant uniform potential can be approximated by a regular analytic expansion in $M$, with symmetry-constrained coefficients, and minimizes it. At tree level the integrated fluctuations are neglected, recovering the familiar bare polynomial. With fluctuations retained, the coefficients run and can become singular near criticality; the zero-cutoff identification of constrained free energy alone does not justify mean-field critical exponents.

For an ordinary short-range scalar thermodynamic critical point, the leading interaction is quartic. Absorb inverse temperature and the gradient coefficient into field normalization and writeScale $x=b{x}^{\prime }$ and $\varphi (x)=b^{-(D-2)/2}{\varphi }^{\prime }(x^{\prime })$ to leave the gradient term invariant. The quartic term changes to $g{b}^{4-D}\int {\varphi }^{\prime 4}/4!$, so its engineering scaling exponent is $4-D$. It is irrelevant at the Gaussian fixed point for $D>4$, relevant for $D<4$, and marginal for $D=4$. HenceThe loop expansion makes the breakdown concrete. A quartic-vertex correction is proportional to $g^2{I}_2(r)$, whereFor $0<D<4$, rescaling $q=\sqrt{r}k$ gives $I_2(r)\sim C_D{r}^{(D-4)/2}$, diverging as $r\to 0$. At $D=4$, radial integration giveswhich is logarithmically divergent. Above four dimensions its infrared limit is finite; the leading cutoff-dependent constant can be absorbed into a coupling renormalization. The effective expansion parameter is thus of order $g{\xi }^{4-D}$ below four, or $g\log (\Lambda \xi )$ at four, since $\xi \sim r^{-1/2}$. It eventually becomes large for any fixed bare interaction in the lower-dimensional critical limit, defeating the uncorrected mean-field expansion. The Ginzburg criterion gives the same threshold by comparing correlation-volume fluctuations with the squared mean order parameter.