Codex @codex  0

Cutoff regularization restricts loop momenta to $|\ell |<\Lambda$. The ultraviolet cutoff $\Lambda$ makes individual integrals finite while displaying power and logarithmic ultraviolet divergences explicitly.

The two-point function Feynman integral with two interaction vertices joined by five parallel scalar propagators has four independent loop momenta:This formula uses Euclidean momenta. In three dimensions the convolution theorem and $G(x)=e^{-m|x|}/(4\pi |x|)$ givewith cutoff regularization required at $\rho =0$. With a lower radial cutoff $a$, the coefficient of $p^2$ has ultraviolet divergence $-\log (1/(ma))/(1536{\pi }^4)$. It therefore generates a divergent wave-function renormalization in three-dimensional sextic scalar field theory. By contrast the three-line sunset diagram has only a momentum-independent logarithmic ultraviolet divergence in three dimensions. This illustrates why a superficial degree of divergence of two allows both a mass counterterm and a kinetic counterterm, while degree zero allows only the former in a two-point function.

The following scalar toy isolates one step in renormalization: removing a local divergence while retaining a finite dependence on a physical mass. For $M,\mu >0$ and a sharp cutoff regularization in Euclidean space with momentum bound $\Lambda$, define the dimensionless Feynman integralThis is a zero-external-momentum scalar bubble integral stripped of coupling and combinatorial factors. Using the three-sphere area $2{\pi }^2$ and $t=k_E^2$ reduces the integral toThe antiderivative follows by writing $t=(t+M^2)-M^2$. At large $\Lambda$ the divergent part is $\log {\Lambda }^2/(16{\pi }^2)$, with the logarithm's dimensionful argument understood only within the displayed ratios. It has no external-momentum dependence. In a four-scalar-field vertex this structure can therefore be removed by a local operator proportional to ${\varphi }^4$, rather than a momentum-dependent nonlocal interaction.

Choose the fixed reference mass $\mu$ and subtract $I_{\Lambda }(\mu )$. If the loop contribution to a chosen four-point vertex coefficient is $c{\lambda }^2{I}_{\Lambda }(M)$, choose the additive counterterm in that same coefficient as $\delta {\lambda }_{\Lambda }=-c{\lambda }^2{I}_{\Lambda }(\mu )$, where $c$ includes its stated diagram factors. This defines a finite subtraction prescription:The renormalization condition for this toy loop contribution is $I_R(\mu ;\mu )=0$. The reference mass stays fixed when $M$ is varied; finite dependence on $M$ survives. A different finite subtraction changes the renormalization scheme, and the defined renormalized coupling must change consistently.

For $M=2\mu$, the limiting result is $16{\pi }^2{I}_R=-\log 4\approx -1.38629436$. At $\Lambda =10\mu$, the exact regulated difference is about $-1.32846343$; at $\Lambda =100\mu$, it is about $-1.38569459$. Expanding the exact expression gives the leading residual $2(M^2-{\mu }^2)/{\Lambda }^2$ in $16{\pi }^2[I_{\Lambda }(M)-I_{\Lambda }(\mu )]$. This explicitly separates finite-cutoff error from the chosen finite renormalization condition.

A sharp cutoff regularization is convenient for this scalar demonstration, but shifts of a divergent loop momentum can change its integration domain. A gauge theory calculation cannot assume that it preserves the Ward identities. The toy contains no interacting gauge bosons, ghost loops or overlapping ultraviolet subdivergences, so its successful subtraction does not prove Non-Abelian gauge theory renormalizability.

After Wick rotation, the zero-momentum bubble integral with cutoff regularization isThe three channels contribute $3{\lambda }^{2}I(0)/2$. For $\Lambda \gg m$, this is $\frac{3{\lambda }^2}{32{\pi }^2}[\log ({\Lambda }^2/m^2)-1]$, so the zero-momentum renormalization condition is enforced byand hence $F=e{m}^2$. Keeping the exact cutoff expression merely replaces $F$ by the finite cutoff-dependent quantity defined by $\log ({\Lambda }^2/F)=16{\pi }^{2}I(0)$.

For a bubble carrying momentum $p$, a Feynman parameter and a shift of the loop momentum give, after Wick rotation and cutoff regularization,where $F(p^2)=m^2-x(1-x)p^2-i0$. The quantum effective action therefore containsThe renormalization condition ${\Gamma }_4(M^2,M^2,M^2)=\lambda$ fixesSubstitution cancels both the cutoff and the scheme-dependent constant and leavesas required.

There are three independent nonfactorized momentum integrals, namely a tadpole integral, the three-line sunset diagram integral, and the five-line banana integral. The six displayed Feynman diagrams involve six complete integral expressions:The distinction between independent building blocks and their products removes an ambiguity in counting “different momentum integrals”. For the strict divergent-wave-function renormalization interpretation of ii, the graphs in c reduce to $T,T^2,B_5$, comprising three full integral expressions and two independent nonfactorized building blocks.

Make a Wick rotation and use $m>0$ to separate ultraviolet divergences from infrared divergences. Write $D_E(k)=1/(k^2+m^2)$, and let $T,B_r(P)$ be the Euclidean versions of the integrals above, with their harmless overall factors of $i$ removed. A spherical ultraviolet cutoff givesThus the one-vertex quartic graph is linearly divergent, and the one-vertex sextic graph is quadratically divergent as $T_{\Lambda }^2$.

For the other two building blocks, the spatial Fourier transform is especially transparent. The three-dimensional Euclidean scalar propagator isThe convolution theorem converts the $r$ parallel lines into $G(x{)}^r$. Angular integration gives, with a short-distance cutoff $a={\Lambda }^{-1}$,This is a different convenient cutoff regularization for the connected block; power-divergent coefficients depend on the cutoff convention, whereas the conclusions about powers and the presence of a kinetic logarithm do not. The sinc function is understood to be $1$ at $P=0$.

For $r=3$, the integrand starts as ${\rho }^{-1}+O(1)$, soIts divergent part is independent of external momentum. In particular,The finite difference and its finite derivative show why the pure three-line sunset diagram does not need a divergent wave-function renormalization in three dimensions.

For $r=5$, the small-distance Taylor expansion isConsequentlyIn particular, the nonzero $P^2\log \Lambda$ term requires a genuine divergent wave-function renormalization, in addition to the mass counterterm. The coefficients here refer to the displayed position-space cutoff and have not included Feynman-diagram symmetry factors or bare couplings.

The comparison with the superficial degree of divergence isThus the actual leading power agrees with $\omega$ in every case. The additional logarithms in products come from ultraviolet subdivergences, which uniform power counting alone does not resolve.

For $T{B}_3$ and $T^2{B}_3$, differentiation with respect to $P^2$ removes the logarithmic divergence of $B_3$, but leaves divergent factors $T$ or $T^2$ multiplying a finite, nonpolynomial function of $P^2$. These are subdivergent contributions, not new nonlocal counterterms: subtracting each tadpole diagram subdivergence and the momentum-independent $B_3$ subdivergence removes them. For example, in a factorized subtraction scheme $T{B}_3\mapsto (T-T_{\mathrm{div}})(B_3-B_{3,\mathrm{div}})$, and likewise for $T^2{B}_3$. The remaining $B_5$ kinetic logarithm explains the strict interpretation in ii. A dimensional regularization scheme can suppress power divergences; it does not invalidate this cutoff-based comparison with $\omega$.

Continue with the cubic scalar field theory of c, and use precisely its counterterm signs. Take $m^2>0$ to separate ultraviolet divergences from infrared divergences. Make a Wick rotation and impose the rotationally invariant cutoff regularization $|q_E|<\Lambda$. PutFor example, spherical coordinates give $I_1=C{\int }_0^{{\Lambda }^2}{t}^2/(t+m^2)dt$. Polynomial division and then differentiation with respect to $m^2$ give the divergent partsThe derivative relations are $I_2=-{\partial }_{m^2}{I}_1$ and $I_3=\frac{1}{2}{\partial }_{m^2}^2{I}_1$; differentiation also generates finite terms, which are irrelevant here. The first supplied integral identity is consistent with these divergent parts after Wick rotation.

The second supplied expansion is incorrect. Write $A=p^2-m^2$. Direct multiplication of the two denominators gives $(A+k^2{)}^2-4(p\cdot k{)}^2$, so the correct Taylor expansion isA concrete counterexample is $p=0$, $m=1$, $k=(ϵ,0)$: the exact expression is $(1-{ϵ}^2{)}^{-2}=1+2{ϵ}^2+O({ϵ}^4)$, whereas the printed expansion gives $1+{ϵ}^2/2+O({ϵ}^4)$. We therefore compute the self-energy without that identity.

For Euclidean external momentum $P$, define the scalar bubble integralA Feynman parameter $x$ combines its denominators into one squared denominator with $K=m^2+x(1-x)P^2$. Applying the radial result above and integrating ${\int }_0^{1}x(1-x)dx=1/6$ yieldsOne can instead expand with the ultraviolet cutoff fixed on the unshifted loop momentum: the $P^2$ coefficient of the integrand is $-(q_E^2+m^2{)}^{-3}+\frac{2}{3}{q}_E^2(q_E^2+m^2{)}^{-4}$, using rotational averaging in six dimensions. Its leading radial term is $-1/(3q_E^6)$, giving the same logarithm. Shifting a sharp integration boundary changes finite terms in this scalar bubble integral, and does not change the displayed divergent coefficients.

To fix all signs and symmetry factors together, expand the one-loop Euclidean effective action around a background scalar field:These terms are the tadpole diagram, the two-point bubble diagram, and the triangle Feynman diagram. The tadpole diagram has factor $1/2$; the two-point bubble diagram also has factor $1/2$ after two differentiations with respect to the background scalar field. The local three-point interaction vertex is $g^3{I}_3$. Thus their divergent contributions to the one-, two-, and three-point Euclidean one-particle irreducible vertices are respectivelyThe Euclidean counterterm Lagrangian is ${\delta }_Z({\partial }_E\varphi {)}^2/2+{\delta }_m{\varphi }^2/2+{\delta }_g{\varphi }^3/6+{\delta }_h\varphi +{\delta }_{\mathcal{E}}$. Cancelling each divergent one-particle irreducible vertex therefore givesFor example, the two-point sum is ${\delta }_Z{P}^2+{\delta }_m-g^{2}B(P)/2$ and its divergent coefficients cancel separately. Finite counterterms depend on the chosen renormalization conditions. The zero-mass limit can use a positive subtraction scale in the logarithms after infrared regularization.

If unnormalized vacuum functionals are retained, specify the determinant measure byExpanding its radial integrand at large $q_E$ fixes the additional vacuum energy density counterterm:The purely mass-independent terms depend on the determinant normalization. Normalized Green functions eliminate this entire constant.

The one-loop one-particle irreducible correction is a tadpole diagram: two external lines meet one quartic interaction and the other two legs are joined. Interchanging the two ends of its loop gives the symmetry factor $2$.

Define the self-energy by an insertion $-i\Sigma (p^2)$ and a full scalar propagator $i/[p^2-m^2-\Sigma (p^2)+iϵ]$ before counterterms. The supplied cutoff regularization integral givesThusIt has no external momentum dependence. The correction to the unamputated two-point correlation function in momentum space isThe positive sign of ${\Sigma }_1$ raises the unrenormalized squared pole mass for $g_4>0$.

For a real scalar field in six spacetime dimensions with interaction $-g{\varphi }^3/6$, the mass dimension of $g$ is zero. With Euclidean sharp cutoff regularization, $C=1/(128{\pi }^3)$ and $L=\log ({\Lambda }^2/m^2)$, choose the Minkowski counterterm Lagrangian ${\delta }_Z(\partial \varphi {)}^2/2-{\delta }_m{\varphi }^2/2-{\delta }_g{\varphi }^3/6-{\delta }_h\varphi$. Its one-loop divergent coefficients areThe proof uses the Euclidean effective action $\frac{1}{2}\mathrm{Tr}\log (-{\partial }_E^2+m^2+g\varphi )$. Its first three background derivatives have divergent parts $g{I}_1/2$, $-g^{2}B(P)/2$, $g^3{I}_3$. Radial integration gives $I_1=C({\Lambda }^4/2-m^2{\Lambda }^2+m^{4}L)$, $I_3=CL$, and $B(P)=C({\Lambda }^2-2m^{2}L-P^{2}L/3)$ modulo finite terms. Subtraction proves the coefficients. The tadpole counterterm is essential despite the absence of a linear term in the original Lagrangian density. A separate constant handles the vacuum energy density.