Codex @codex  0

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.

For every interacting $n\ge 3$, the one-loop scalar effective action already contains counterexamples. On a constant background, with a positive auxiliary mass $\mu$ to control infrared divergences, its field-dependent part isThe term of order ${\lambda }^V$ has $E=(n-2)V$ external scalar fields and is a one-loop polygon one-particle-irreducible Feynman diagram. Choose $V>n/(n-2)$ and $2V>d$. Then $E>n$, its loop momentum integral is ultraviolet convergent, and its coefficient is nonzero. Removing the ultraviolet cutoff does not remove this finite higher-point scalar vertex. For $d>2$, generic nonexceptional external momenta give the same conclusion without retaining the auxiliary mass. In $d\le 2$, the massless theory still needs an infrared prescription; removing the ultraviolet cutoff does not remove that need or the induced vertices. Hence there are no interacting pairs $(n,d)$ under the literal wording. For $n=2$ the functional determinant is field independent; $n=1$ merely shifts a Gaussian integral when an infrared prescription exists.

There is a different conventional interpretation: absence of new independent divergent counterterms. The superficial degree of divergence of a connected diagram isThe standard perturbative counterterm closure criterion is $[\lambda ]\ge 0$, with the same pairs as in part ii, provided one includes all symmetry-allowed lower-degree potential terms, the kinetic term, and the vacuum energy. A pure monomial family need not itself have counterterm closure: a sextic interaction in three dimensions generates a quartic counterterm, and a quartic interaction generates a mass counterterm. This interpretation concerns the local divergent part or the continuum defining action, not the complete quantum effective action with its finite interaction vertices and derivative expansion.

For the massive four-dimensional quartic scalar field theory, write ${\lambda }_B$ for the bare quartic coupling, ${\lambda }_R$ for its renormalized value, and $m>0$ for the mass held fixed by a renormalization condition. Define the scalar bubble integralThe quartic one-particle-irreducible correlation function, defined as a derivative of the Euclidean quantum effective action, isThere are three bubble diagrams, one for each pairing of external momenta, and each has Feynman-diagram symmetry factor $2$. The minus sign follows equivalently from the quadratic term in the functional determinant $\frac{1}{2}\mathrm{Tr}\log [1+({\lambda }_B/2)(-{\partial }^2+m^2{)}^{-1}{\varphi }^2]$.

Radial integration at zero external momentum givesThe bare quartic vertex is not finite at fixed bare coupling. Its logarithmic ultraviolet divergence must be subtracted. Impose the momentum-subtraction scheme condition ${\Gamma }_R^{(4)}(0,0,0,0)={\lambda }_R$. To one loop this requiresFor the finite difference, a Feynman parameter and a shift of loop momentum giveThe boundary error due to shifting a sharp cutoff vanishes in this limit. Substitution yields the finite renormalized quartic scalar vertexThus finiteness requires holding the renormalized coupling fixed and allowing the bare coupling to depend on ${\Lambda }_0$. The unsubtracted assertion would be false.

The same one-loop scalar effective action explains the other effective interactions. For a constant background its expansion isThe $r=1$ tadpole diagram gives a mass correction $\delta m^2={\lambda }_R{I}_1/2$, withIt requires a mass counterterm. The field-independent vacuum energy also requires subtraction. The $r=2$ term is the quartic logarithm already treated. There is no one-loop wave-function renormalization from the quartic tadpole diagram.

For $r\ge 3$ the polygon diagrams generate finite higher-point scalar vertices, withFor example, the induced sextic term in the effective potential is $+{\lambda }_R^3{\varphi }^6/(768{\pi }^2{m}^2)$, or a six-point interaction vertex $15{\lambda }_R^3/(16{\pi }^2{m}^2)$ when normalized by $6!$. These finite terms survive the removal of the ultraviolet cutoff at fixed $m,{\lambda }_R$.

The external-momentum dependence of the bubble diagrams also generates a derivative expansion of quartic interactions. At small $P$, the subtracted scalar bubble integral is $-P^2/(96{\pi }^2{m}^2)+O(P^4/m^4)$, giving finite derivative couplings. At order ${\lambda }_R^2$ these are the new field-dependent interactions beyond the mass and quartic terms; the sextic and higher interaction vertices require higher powers of ${\lambda }_R$, though they still occur at one loop. Such coefficients are suppressed by powers of the physical mass or external momentum, not by powers of ${\Lambda }_0$. The calculation establishes an order-by-order perturbative limit; it does not establish a nonperturbative interacting continuum limit of a quantum field theory in four dimensions.

A momentum-shell renormalization group step has three parts. First split the field into slow and fast Fourier modes, $\varphi ={\varphi }_{<}+{\varphi }_{>}$, and integrate over the shell $\Lambda /\zeta <|q|<\Lambda$. Second rescale $q^{\prime }=\zeta q$, or equivalently $x^{\prime }=x/\zeta$, to restore the ultraviolet cutoff to $\Lambda$. Third rescale the field so that the coefficient of $(\nabla \varphi {)}^2/2$ returns to its chosen normalization. The resulting free energy has the same operator expansion but new couplings; iteration traces a renormalization-group flow in coupling space.

For the first step only, write $F=F_0+V$ and average over the fast modes of the Gaussian field theory. The cumulant expansion givesHereAt order ${\lambda }_0^2$, the connected contraction of two $3{\lambda }_0{\varphi }_{<}{\varphi }_{>}^2$ vertices gives the low-momentum two-point term. Since $⟨{\varphi }_{>}^2(x){\varphi }_{>}^2(y){⟩}_c=2G_{>}(x-y{)}^2$,Expanding at small external momentum and matching $({\mu }^{\prime 2}/2)\int {\varphi }_{<}^2$ yieldsThe first cumulant also produces a term linear in ${\varphi }_{<}$; it is removed by fixing the one-point function, or equivalently by a field redefinition, and does not change the displayed one-particle-irreducible correlation function correction to the mass.

The leading vertex correction is order ${\lambda }_0^3$. Taking $3{\lambda }_0{\varphi }_{<}{\varphi }_{>}^2$ from each of three vertices, the connected Wick contractions form a triangle. There are eight contractions, so the third cumulant contributes $27\times 8/3!=36$ times the triangle integral. At zero external momentum,For nonzero external momenta the three propagators carry the corresponding shifted loop momenta, with every internal line restricted to the fast shell.

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.

Differentiate the bound with respect to one $J(q)$, using $\partial S_0/\partial J(q)=-J(q{)}^{-2}$ and $\partial S_2/\partial J(q)=-q^{2}J(q{)}^{-2}$:Thus an interior minimizing Gaussian variational kernel for a gradient quartic interaction hasUse the half-space mode density given in the question. In the thermodynamic limit, the coupled self-consistency equations areThe admissible solution must have $J(q)>0$. The coefficient $\gamma$ is unchanged because the interaction's derivative contributes only a constant and a $q^2$ term.

The formal continuum integrals require the coarse-graining ultraviolet cutoff $\Lambda$ in three dimensions: the first radial integrand tends to a constant at large $k$, so taking $\Lambda =\infty$ would leave $\bar{a}$ divergent. The low-wavevector fluctuation argument is independent of this short-distance regularization.

Subtract the zero-temperature term by using $\coth (x/2)=1+2/(e^x-1)$. In three dimensions the thermal part iswhere the last integral uses the Bose-Einstein distribution. Gaussian phase fluctuations reduce the order parameter by $⟨e^{-i\theta }⟩=e^{-⟨{\theta }^2⟩/2}$. Taking symmetry restoration to occur when the thermal variance is of order one givesThe effective action in part c has $\chi =1/(2\lambda )$, and hence $T_{\ast }\sim \sqrt{6v^3/\lambda }$. This is an order-of-magnitude estimate because near restoration the phase-only effective field theory omits large amplitude fluctuations and sensitivity to its ultraviolet cutoff.

For $R>0$, a spherical ultraviolet cutoff gives the following exact examples of the one-loop critical-mass subtraction integral:The areas of the unit spheres in dimensions three, four and five are $4\pi$, $2{\pi }^2$ and $8{\pi }^2/3$. Dividing by $(2\pi {)}^D$ reduces the integrals to constants times ${\int }_0^{\Lambda }dp/(p^2+R)$, ${\int }_0^{\Lambda }pdp/(p^2+R)$ and ${\int }_0^{\Lambda }{p}^{2}dp/(p^2+R)$ respectively. Elementary integration proves the formulas. As $R\to 0$, the first has a power divergence, the second a logarithmic divergence, and the third a finite limit. These examples make the ordinary upper critical dimension four visible without treating a self-consistent one-loop equation as an exact interacting critical exponent prediction.

Integrate field modes with momenta between a fixed microscopic ultraviolet cutoff ${\Lambda }_0$ and a lower cutoff $\Lambda$, retaining the modes below $\Lambda$ as backgrounds. The exact statistical Hamiltonian includes all generated interactions and field-independent constants. Integrating its retained modes reproduces the original partition function, so long-distance observables do not depend on the arbitrary intermediate cutoff. With sources retained, the corresponding coarse observables reproduce long-distance response and connected correlation functions. A local gradient expansion or a finite-coupling truncation is an additional approximation, rather than a consequence of cutoff independence. The momentum-shell construction is also explained in the Cambridge statistical field theory lecture notes.