Codex @codex  0

The local Lagrangian density whose coefficients absorb the regulated ultraviolet divergences and implement chosen renormalization conditions. In a renormalizable four-dimensional theory, power counting permits operators of mass dimension at most four, subject to the actual symmetries and up to total derivatives. Operators absent from the initial displayed interaction can still be required for counterterm closure.

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.

Use one-particle-irreducible correlation functions to identify independent local counterterms. The exact internal symmetry $\varphi \mapsto -\varphi$ excludes odd $b$, and Dirac fermion number conservation requires equal numbers of $\psi$ and $\bar{\psi }$, so $f$ is even. From b, the complete list of potentially overall divergent vertices with external legs is:

The zero-leg vacuum diagrams, with $\omega =3-n_2$, may also require a vacuum energy density subtraction. Four-fermion vertices have $\omega \le -1$ and do not require a new four-fermion counterterm. These are superficial bounds: a particular allowed diagram can vanish or be convergent.

Locality and Lorentz invariance restrict the divergent parts to a finite basis. The scalar two-point vertex can contain a constant and $p^2$; there is no Lorentz scalar linear in a single momentum. The fermion two-point vertex can contain $I$ and $/p$. The remaining listed vertices have no allowed derivative divergence. A complete counterterm Lagrangian, up to total derivatives, is thereforeThe coefficients supply wavefunction renormalization, mass counterterms and renormalizations of the three interactions already present. Recursive subtraction of ultraviolet subdivergences then leaves only these local overall divergences. This finite counterterm closure is why the complete theory is expected to have perturbative renormalizability. It does not mean every listed coefficient first becomes nonzero at one loop, or that setting an allowed coupling to zero is stable under renormalization.

Set the renormalized $g_3$ to zero. For a six-scalar vertex, b gives $\omega =-n_2$, so a new overall logarithmic divergence can only occur in graphs with $n_2=0$. With $b=6,f=0$, the line counts become $I_f=n_1$ and $I_b=n_1-3$, hence $L=n_1-2$.

At one loop this forces $n_1=3$ and $I_b=0$: the only candidate is a closed triangle Feynman diagram with two external scalar legs at each vertex. Its numerator at large loop momentum is proportional toThis vanishes for the specified two-component gamma matrices, each of which is traceless. Replacing one leading $/k$ by the fermion mass or an external momentum lowers the superficial degree of divergence from zero to at most $-1$. Thus the apparent logarithm cancels. Graphs with a $g_2$ vertex already have negative overall degree; the pure-scalar one-loop triangle, for instance, has $\omega =-3$. There is no one-loop ultraviolet subdivergence inside these proper one-loop vertices. ThereforeThe six-point correlation function need not vanish: finite terms are allowed. Nor is it correct to say that all odd gamma-matrix traces vanish in $2+1$ dimensions. In this representation,The cancellation above follows from repeating the same leading loop momentum, not from a false four-dimensional trace rule.

At two loops, $n_1=4$, $I_f=4$ and $I_b=1$ are possible. A closed fermion box with a scalar line joining two of its vertices leaves six external scalar legs. It has $L=2$, $\omega =0$, and four leading gamma matrices; the one-loop odd-numerator argument no longer applies.

A background-field check demonstrates that its logarithm is actually nonzero. Put $\varphi =v+\eta$ with constant $v$. Define the background fermion mass $\mu =m+g_1{v}^2/2$, the background scalar squared mass ${\mathcal{B}}^2=M^2+g_2{v}^2/2$, and the induced three-leg Yukawa coupling $y=g_{1}v$. The two-loop quantum effective potential contains the sunset diagram with two fermion lines and one scalar line. After a Wick rotation, its relevant integral, apart from a nonzero overall combinatorial factor, isHere the dots and gamma-matrix traces are Euclidean. With $A=k^2+{\mu }^2$, $B=l^2+{\mu }^2$, $C=(k-l{)}^2+{\mathcal{B}}^2$, its numerator is exactlyThe first three terms reduce to products of one-loop tadpole integrals, which have no logarithmic pole near three dimensions in dimensional regularization. The remaining term isFor positive regulator masses, the large-momentum region of $H$ has a positive, nonzero logarithmic divergence. One can see this directly by restricting the relative angles and the ratio $|k|/|l|$ to compact intervals away from zero: the remaining common radial integral is proportional to ${\int }^{\Lambda }dr/r$. Its proper one-loop subgraphs are ultraviolet convergent.

Finally, the coefficient multiplying $H$ containsThe two-loop sextic counterterm in quartic Yukawa theory follows because its $v^6$ coefficient is $g_1^4\ne 0$ for a nonzero coupling. Other two-loop vacuum topologies reduce to products of finite-in-dimensional-regularization tadpoles and do not cancel this logarithmic pole. ThusA sextic counterterm is required even if the renormalized sextic coupling is set to zero at a chosen renormalization scale. A theory constrained to $g_3=0$ at every scale lacks counterterm closure when $g_1\ne 0$. The decoupled exception $g_1=0$ is the three-dimensional scalar quartic interaction, which needs no sextic counterterm by power counting.