Codex @codex  0

Use a dimensionless Hamiltonian in the functional weight $e^{-H}$, assume $\alpha >0$, and let $\varphi (\mathbf{x})={\int }_{|\mathbf{p}|\le \Lambda }{d}^{D}p(2\pi {)}^{-D}{e}^{i\mathbf{p}\cdot \mathbf{x}}\tilde{\varphi }(\mathbf{p})$. Reality means $\tilde{\varphi }(-\mathbf{p})=\tilde{\varphi }(\mathbf{p}{)}^{\ast }$. At zero field, the quadratic form isIn the momentum-shell renormalization group, split into ${\varphi }_{<}+{\varphi }_{>}$ below and above $\Lambda /b$. Disjoint Fourier supports make the quadratic form split into $H_0[{\varphi }_{<}]+H_0[{\varphi }_{>}]$. Integration over the shell gives a source-independent Gaussian functional integral multiplying the partition function, or an additive constant in the effective free energy; it leaves the slow-mode quadratic coefficients unchanged before rescaling. A uniform field has support only at zero momentum, so it does not change this shell integration.

Restore the ultraviolet cutoff by ${\mathbf{p}}^{\prime }=b\mathbf{p}$, ${\mathbf{x}}^{\prime }=\mathbf{x}/b$, and chooseThe measure, two gradients and two fields have scale factors $b^D$, $b^{-2}$ and $b^{-(D-2)}$, whose product is one. The mass term has factor $b^D{b}^{-(D-2)}=b^2$, while the uniform source term has factor $b^D{b}^{-(D-2)/2}=b^{(D+2)/2}$. Hence the Gaussian momentum-shell scaling isFor a slowly varying nonuniform source the corresponding formula is $h^{\prime }({\mathbf{x}}^{\prime })=b^{(D+2)/2}h(b{\mathbf{x}}^{\prime })$. Here the nonuniform source on the right is its projection onto the retained Fourier modes; an eliminated source component contributes only to the field-independent Gaussian normalization. The field engineering dimension is $(D-2)/2$ and its Gaussian anomalous dimension is zero. The mass and uniform source are relevant perturbations of the Gaussian fixed point. Positivity of $\alpha$ is necessary for a stable kinetic term near this point. One can use a finite volume and positive mass as infrared regulators and then take the critical limit; at exactly zero mass the integral over the zero Fourier mode alone is not a normalized finite-volume Gaussian measure.

Compute the coupling flow at zero magnetic field, or assume the source has support only in retained Fourier modes, so that the shell Gaussian measure is centered. First justify the shell propagator. For a positive quadratic kernel on the shell, the Gaussian functional integral gives covariance equal to the inverse kernel,with both momenta restricted to $\Lambda /b<|\mathbf{p}|\le \Lambda$. Inserting the Fourier transforms and using the Dirac delta function yields the Gaussian shell covarianceChanging $\mathbf{p}$ to $-\mathbf{p}$ gives the negative-exponent convention as well. The dependence is on the separation, as required by translation invariance. The printed numerator uses $\mathbf{x}$ alone: it is correct only if that symbol means the separation or if $\mathbf{y}=0$. For example at $\mathbf{x}=\mathbf{y}\ne 0$, the covariance must equal the constant coincident value $G_{>}(0)$, while the literal printed integral generally depends on $\mathbf{x}$. Thus the missing separation is a real source qualification, not a change of Fourier-sign convention.

Integrating out the shell gives $H_{\mathrm{eff}}[{\varphi }_{<}]=H_0[{\varphi }_{<}]-\log ⟨e^{-V[{\varphi }_{<}+{\varphi }_{>}]}{⟩}_0^{\mathrm{shell}}$, up to a field-independent constant. At first order in $u_0$, the cumulant expansion of a coarse-grained free energy retains $⟨V⟩$. Odd moments of the centered Gaussian measure vanish and Wick theorem gives $⟨{\varphi }_{>}^4⟩=3G_{>}(0{)}^2$. Writing $I_1=G_{>}(0)$,The last term affects only the constant; the second is a momentum-independent tadpole diagram correction. Before rescaling it changes $r_0$ to $r_0+u_0{I}_1/2$, leaves the quartic coefficient at $u_0$, and produces no gradient correction. Combining with part (a) gives the leading coupling recursionThis is one-loop shell mass renormalization in scalar quartic theory. Here $I_1={\int }_{\mathrm{shell}}{d}^{D}p(2\pi {)}^{-D}\alpha /(p^2+\alpha r_0)$. The shell Gaussian is well defined if $p^2+\alpha r_0>0$ there; near $r_0=0$ this follows from $\alpha >0$. A negative slow-mode mass may be stabilized by the retained quartic term and does not require pretending that the full unconstrained quadratic measure at negative mass is normalizable.

Linearizing about $(r_0,u_0)=(0,0)$ givesIts mass and quartic eigenvalues are $b^2$ and $b^{4-D}$. The off-diagonal term is an additive critical-mass shift: setting the bare $r_0=0$ is not generally the critical tuning when $u_0>0$. The mass remains relevant for every $D$; at $D=2$ the two linear eigenvalues coincide and the matrix can have a Jordan block, but both perturbations are still relevant.

For $D>4$, the quartic interaction is an irrelevant operator, and the Gaussian fixed point attracts weak quartic perturbations after the mass and magnetic field have been tuned. The quartic can nevertheless be a dangerously irrelevant coupling: its positive value stabilizes the ordered phase. For $D<4$, it is a relevant operator, so the Gaussian description is unstable toward interactions. At $D=4$ it is a marginal operator; first-order perturbation theory alone does not decide its fate.

To settle that borderline case, retain the leading quartic contribution from the second cumulant, at zero external momentum in the local expansion. The two-fast-field part of $V$ is $(u_0/4)\int {\varphi }_{<}^2{\varphi }_{>}^2$. Since $⟨{\varphi }_{>}^2(\mathbf{x}){\varphi }_{>}^2(\mathbf{y}){⟩}_c=2G_{>}(\mathbf{x}-\mathbf{y}{)}^2$, its connected second cumulant contributesKeeping the local quartic term and using Parseval identity gives $\int d^{D}y{G}_{>}(\mathbf{x}-\mathbf{y}{)}^2=I_2$, where $I_2={\int }_{\mathrm{shell}}{d}^{D}p(2\pi {)}^{-D}[\alpha /(p^2+\alpha r_0){]}^2$. Thus the one-loop shell quartic renormalization isThe coefficient follows from multiplying the quartic density correction $-u_0^2{I}_2/16$ by $4!=24$. This local, zero-external-momentum coupling extraction is not a claim that the exact finite-shell effective action retains only its original polynomial; further operators are generated.

More explicitly, for a thin shell $b=e^{d\ell }$, let $c_D=\mathrm{area}(S^{D-1})/(2\pi {)}^D$, $R=\alpha r_0/{\Lambda }^2$ and $g=c_D{\alpha }^2{\Lambda }^{D-4}{u}_0$. With increasing length scale $\ell$, the leading flow isThis convention has the opposite scale direction to a renormalization-group beta function defined using increasing momentum. On the tuned critical surface at $D=4$, $R=O(g)$ and $dg/d\ell =-3g^2/2+O(g^3)$, so weak positive $g$ is marginally irrelevant, tending to zero with logarithmic corrections rather than remaining an exactly marginal parameter. Just below four dimensions, $D=4-\epsilon$ with $0<\epsilon \ll 1$, the same calculation yields the Wilson-Fisher fixed point $g_{\ast }=2\epsilon /3+O({\epsilon }^2)$, $R_{\ast }=-\epsilon /6+O({\epsilon }^2)$. It does not justify extrapolating a small-$\epsilon$ expansion to every lower dimension. The ordinary scalar quartic upper critical dimension is therefore

Absorb $k_{B}T$ into the free energy, so the statistical weight is $e^{-F}$. Under the Gaussian fixed point rescaling, invariance of the gradient energy gives the engineering dimensionThe engineering dimensions of ${\varphi }^2,{\varphi }^4,{\varphi }^6$ are respectively $1,2,3$. Their coupling eigenvalues are $d-[{\varphi }^{2m}]$, hence $2,1,0$. The quadratic and quartic interactions are relevant operators; the sextic interaction is a marginal operator at this order.

The three steps of the momentum-shell renormalization group are:

Here $b=e^s>1$, so increasing $s$ means flowing toward longer distances. At leading order, the fast field has a Gaussian distribution with covarianceThis perturbative integration requires $k^2+{\mu }_0^2>0$ on the shell. By the Wick theorem, odd fast-field moments vanish and $⟨{\eta }^4⟩=3I_b^2$, $⟨{\eta }^6⟩=15I_b^3$. Therefore the first term of the cumulant expansion of a coarse-grained free energy isThis is the quartic interaction generated by a sextic interaction. Including the rescaling, the requested flow isIn spherical coordinates, $I_b=(2{\pi }^2{)}^{-1}{\int }_{\Lambda /b}^{\Lambda }{k}^2/(k^2+{\mu }_0^2)dk$. In particular, for ${\mu }_0^2=0$,The same integration shifts the quadratic coefficient by $90{\lambda }_0{I}_b^2$ before rescaling and adds an irrelevant constant to the free energy. Thus setting the bare quartic coupling to zero does not place the theory on the tricritical critical surface.

To calculate the sextic renormalization-group beta function to second order, let $V={\lambda }_0\int d^{3}x(\phi +\eta {)}^6$. The required cumulant expansion isThe subtraction removes disconnected contributions. The term $20{\lambda }_0{\phi }^3{\eta }^3$ at each vertex supplies the primitive sextic correction. The Wick contractions giveThe first term contains three propagators connecting the two vertices; its factor $6$ is the number of bijections between the three fields at each vertex. The second contains a local tadpole diagram at each vertex and one connecting propagator. The primitive contribution to the free energy is thereforeExpanding the slow fields about a common point gives a negative local sextic correction proportional towhere ${\chi }_b$ restricts a momentum to the shell. This connected Feynman diagram has two independent loop momenta. Other Wick contractions also generate lower interactions and tadpole diagrams; they must be included or subtracted consistently when fixing the tricritical critical surface.

To extract the logarithmic tricritical sextic beta function, use normal ordering to remove local tadpoles and tune the quadratic and quartic relevant operators. The massless three-dimensional propagator is $C(z)=1/(4\pi |z|)$. The same three-line contraction over short separations $a<|z|<ba$ givesIts positive coefficient and the negative sign of the second cumulant expansion term establish the sign of the flow. Matching this logarithm to a renormalized coupling, or performing consistent iterated shell integration, givesThe precise normalization of $C$ is not needed. In a sharp momentum cutoff scheme, simply forcing all three internal momenta into one infinitesimal shell does not extract this two-loop logarithm: the shell restrictions remove its linear-in-$ds$ phase space. The finite-shell cumulant and the logarithmic renormalized calculation above are distinct stages of the computation. Field normalization corrections at order ${\lambda }^2$ enter this renormalization-group beta function only at order ${\lambda }^3$.

A positive, stabilizing sextic coupling is marginally irrelevant in three dimensions on the tricritical critical surface. Reversing the convention for $s$ reverses the sign of the renormalization-group beta function. A negative sextic coupling without higher stabilizing powers makes the potential unbounded; moreover, the untuned bare choice $g=0$ generally flows away through its generated relevant operator.

At the Gaussian fixed point, $[{\varphi }_i]=(d-2)/2$, so all three quartic couplings have engineering dimension $d-4[{\varphi }_i]=4-d$. ThusTake $A>0$ and $ϵ>0$, as in the perturbative epsilon expansion. Define $x=A{g}_1/ϵ$, $y=A{g}_2/ϵ$, $z=A\lambda /ϵ$. The renormalization-group fixed point equations becomeIf $z=0$, each of $x,y$ is independently $0$ or $1/36$, giving four renormalization-group fixed points. If $z\ne 0$, subtracting the first two equations givesThe branch $x+y=1/36$ forces $z=1/12$; inserting this in the first equation yields a repeated root $x=y=1/72$. Hence every nonzero-$z$ solution has $x=y$. Then $z=1/8-3x$, andhas roots $x=1/40$ and $x=1/72$. The complete list of six coupled Ising fixed points near four dimensions, in coordinates $(g_1,g_2,\lambda )$, isThe internal symmetries of these renormalization-group fixed points are:

The last point displays the field-rotation equivalence of decoupled Ising theories. With the orthogonal transformation ${\psi }_{\pm }=({\varphi }_1\pm {\varphi }_2)/\sqrt{2}$,It is the same pair of decoupled Ising models written in fields rotated by $45^{\circ }$, but remains a distinct coordinate solution of the stated renormalization-group beta functions. Here $D_4$ denotes the dihedral group of order eight; an alternative convention calls it $D_8$. We have described linear internal transformations preserving the gradient energy; free massless sectors also have constant scalar-field shift symmetries. At $ϵ=0$, the six coordinates coalesce at the Gaussian fixed point.

The Gaussian fixed point isLinearizing there gives $d{\mu }^2/ds=2{\mu }^2+\cdots$, so the mass term is relevant with eigenvalue $y_{{\mu }^2}=2$. The coupling $g$ has no linear term and is classically marginal, $y_g=0$; for positive $g$ the term $b{g}^2$ makes it marginally relevant in the infrared convention of the question. Since the inverse thermal eigenvalue is the correlation-length critical exponent,

A continuum limit of a quantum field theory sends the ultraviolet cutoff ${\Lambda }_0$ to infinity while holding chosen physical masses and amplitudes fixed. In cutoff units this requires a diverging correlation length, so the bare couplings must be tuned onto the critical surface of an ultraviolet renormalization-group fixed point. Each relevant direction of a fixed point requires one coordinate fixed by measurement; predictivity requires only finitely many such directions, and irrelevant microscopic details disappear.

Several behaviors are possible. In an asymptotically free theory the trajectory approaches a Gaussian fixed point in the ultraviolet and interactions vanish logarithmically. In an asymptotically safe quantum field theory it approaches a non-Gaussian fixed point with finitely many relevant directions. A theory with a Landau pole may possess only a trivial quantum field theory as its continuum limit; retaining a nonzero interaction then requires a finite cutoff. Finally, if no ultraviolet-complete trajectory exists, the model remains an effective field theory valid only below a physical cutoff.

A momentum-shell renormalization group step has three parts:

1. Split $\varphi ={\varphi }_{<}+{\varphi }_{>}$ into slow modes $|k|<\Lambda /\zeta$ and fast modes $\Lambda /\zeta <|k|<\Lambda$, then integrate out ${\varphi }_{>}$ using a cumulant expansion to obtain a Wilsonian effective action for ${\varphi }_{<}$.
2. Rescale momenta by $k^{\prime }=\zeta k$, equivalently coordinates by $x^{\prime }=x/\zeta$, restoring the cutoff from $\Lambda /\zeta$ to $\Lambda$.
3. Rescale the field by ${\varphi }^{\prime }(x^{\prime })={\zeta }^{(d-2)/2}{\varphi }_{<}(x)$ at the Gaussian fixed point, restoring the normalized kinetic term.

The resulting functional has the original form and cutoff but new masses and couplings. Iteration produces a renormalization-group flow.

For $d=4-ϵ$, define dimensionless variablesTo leading order, with $K_4=1/(8{\pi }^2)$,The Gaussian fixed point is $(r_{\ast },u_{\ast })=(0,0)$. Its thermal eigenvalue is $y_t=2$, soThe interacting Wilson-Fisher fixed point isLinearizing the flow givesSince the correlation-length critical exponent is $\nu =1/y_t$,

For $d=4-ϵ$, define the dimensionless couplings $r={\mu }^2/{\Lambda }^2$ and $u=\tilde{g}={\Lambda }^{-ϵ}g$. Since $K_4=1/(8{\pi }^2)$, the leading epsilon expansion of the flow isThere is a Gaussian fixed point $(r_{\ast },u_{\ast })=(0,0)$. Its thermal eigenvalue is $y_t=2$, so its correlation-length critical exponent is $\boxed{{\nu }_{\mathrm{G}}=1/2}$.

The interacting Wilson-Fisher fixed point isLinearizing the renormalization-group flow gives the thermal eigenvalueTaking its reciprocal gives

Asymptotic freedom means that the gauge running coupling tends to zero as the renormalization scale tends to infinity. In the stated convention this occurs when $b_0>0$, namelyThe high-energy theory then approaches the Gaussian fixed point and perturbation theory becomes increasingly accurate.

At the Gaussian fixed point, set $a_d=12{\Omega }_{d-1}{\Lambda }^{d-2}/(2\pi {)}^d$. The linearized flow isThe mass direction, corresponding to ${\varphi }^2$, has coupling dimension $y_t=2$. For $d\ne 2$, the second eigendirection isand has $y_g=4-d$; it is the tadpole-subtracted mixture of ${\varphi }^4$ and ${\varphi }^2$. The corresponding operator dimensions are $d-2$ and $2d-4$.

At the Gaussian fixed point, the engineering dimension of the coupling of ${\varphi }^{2n}$ is $2n-(n-1)d$. It vanishes at the upper critical dimension $d_c=2n/(n-1)$.