Codex @codex  0

A family of actions is closed under counterterms when all required divergent local terms can be absorbed into that family. This does not imply that the full quantum effective action contains no additional finite effective interaction vertices or terms in its derivative expansion.

An interaction vertex joins the field insertions from one interaction term in a Feynman diagram. Its number of incident lines is the number of fields in that term, and its momentum-space Feynman rule includes the interaction coefficient and momentum conservation.

Assume $m^2>0$ and take $\lambda \to 0^{+}$. The free Gaussian integral gives $Z_0=\sqrt{2\pi }/|m|$, and the normalized free Gaussian measure has covariance $C=m^{-2}$. Expanding only the interaction exponential gives the asymptotic expansionIn this zero-dimensional scalar field theory, the path integral has become an ordinary integral, but its combinatorics are precisely those of sextic scalar field theory.

The free generating functional is $⟨e^{J\varphi }{⟩}_0=e^{C{J}^2/2}$. Differentiating it proves Wick theorem: odd moments vanish, while each even moment is the sum over pairings of its factors. Each Wick contraction contributes $C$, soThus the Feynman rules are a quantum field theory propagator $C$ for each internal line and a factor $-\lambda$ for each six-valent interaction vertex. The factorials $V!$ and $(6!{)}^V$ remove vertex and half-edge labels; the remaining weight is $(-\lambda {)}^V{C}^I/S$, where $S$ is the Feynman-diagram symmetry factor, the order of the automorphism group of the resulting diagram, including its half-edge symmetries. A tadpole diagram has an additional interchange symmetry of the two ends of its loop.

There is one empty Vacuum Feynman diagram, contributing $1$. At one interaction vertex, the six half-edges form three loops. Its Feynman-diagram symmetry factor is $2^{3}3!=48$, so its contribution is $-\lambda C^3/48$.

At two interaction vertices let $r$ count the lines joining them. Each interaction vertex has $(6-r)/2$ self-loops, so $r$ can only be $0,2,4,6$. These four possibilities exhaust all Vacuum Feynman diagrams at this order. Their Feynman-diagram symmetry factors areHere the leading $2$ exchanges the two interaction vertices, $r!$ permutes the joining lines, and the remaining factors permute and reverse the self-loops. The $r=0$ graph is disconnected and must be included in $Z/Z_0$; only a connected generating functional would discard it.

Consequently,Indeed ${\sum }_r{S}_r^{-1}=77/7680$, independently agreeing with $11!!/[2(6!{)}^2]$ from Wick theorem.

This is an asymptotic expansion, rather than a convergent perturbation series: the coefficient of ${\lambda }^V$ contains $(6V-1)!!/[V!(6!{)}^V]$ and grows too rapidly for a nonzero radius of convergence. For any fixed truncation order, the Taylor expansion remainder bound for $e^{-x}$ on $x\ge 0$, followed by the finite Gaussian moment integral, proves the stated remainder estimate. For negative real $\lambda$ the original integral diverges.

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.

Take integer $n\ge 3$ and positive integer $d$, so the interaction is genuinely non-Gaussian. For a connected two-point Feynman diagram with $V$ interaction vertices and $I$ internal lines, counting half-edges and using the loop order givesAt one loop $I=V$, hence $(n-2)V=2$. There are only two possibilities: a two-interaction vertex bubble diagram for $n=3$, or a one-interaction vertex tadpole diagram for $n=4$. The latter is independent of external momentum and changes the mass, not the kinetic term.

For cubic scalar field theory, introduce a positive auxiliary mass $\mu$ if needed to separate infrared divergences from ultraviolet divergences. The one-loop self-energy in the quantum effective action is $-{\lambda }^2{B}_d(p)/2$, withThis Feynman parameter representation follows by shifting the loop momentum; it is directly valid for a translation-invariant regulator, or for the convergent subtracted integral. Differentiating at $p^2=0$ givesThus the coefficient of the kinetic term changes by ${\lambda }^2\int d^{d}q/[(2\pi {)}^d(q^2+{\mu }^2{)}^3]/6$.

Only the cubic interaction has a momentum-dependent one-loop two-point correction.There is a terminology qualification: if “wave-function renormalization” means a required ultraviolet counterterm, rather than a finite correction to the field normalization, the large-$q$ radial integral behaves as $\int dq{q}^{d-7}$, and the answer isIt is logarithmically divergent at $d=6$ and power divergent above $6$ with a momentum cutoff. Among interactions with a relevant coupling or marginal coupling, the divergent case is uniquely $(n,d)=(3,6)$. The massless low-dimensional amplitude needs an infrared divergence prescription; one cannot take a local expansion at zero momentum without one. The $n=1,2$ cases, if admitted, are a source and a Gaussian mass term and have no interaction-induced wave-function renormalization.

Let the charge parameter depend on position temporarily. Using the gauge-covariant derivative of a charged scalar field, the variation of the matter action is $\delta S=\int d^{4}x{j}^{\mu }{\partial }_{\mu }\alpha$. The resulting Noether current isHere ${\nabla }_{\mu }\bar{\varphi }={\partial }_{\mu }\bar{\varphi }+i{A}_{\mu }\bar{\varphi }$. The potential does not contribute, and $j^{\mu }=-\delta S_{\mathrm{matter}}/\delta A_{\mu }$. Because $A$ has not been rescaled to a canonical kinetic term, there is no factor $e$ in this Noether current or in the matter interaction vertices.

A local change of variables in the path integral gives $\delta ⟨\varphi (y)\bar{\varphi }(z)⟩=⟨\delta (\varphi (y)\bar{\varphi }(z))-(\delta S)\varphi (y)\bar{\varphi }(z)⟩=0$. Integration by parts in the term containing $\partial \alpha$ produces the two opposite contact terms of the Ward identity.

For clarity about phases, transform the current correlator with $e^{i(p-p^{\prime })\cdot x-ip\cdot y+i{p}^{\prime }\cdot z}$ and suppress its overall momentum conservation Dirac delta function. Denote the result by $C^{\mu }(p,p^{\prime })$. The coordinate Ward identity becomesAmputation of the two external quantum field theory propagators then fixes the longitudinal part of the current interaction vertex. Since the action couples $A_{\mu }$ to $-j^{\mu }$, the gauge interaction vertex has the opposite sign. The phase convention for the paper's gauge interaction vertices is ${\Gamma }^{\mu }=i{G}^{\mu }$, where $G^{\mu }$ is the corresponding derivative of the Euclidean quantum effective action.

One can derive the exact one-particle-irreducible correlation function directly, without assuming the entire connected current correlator is one-particle irreducible. Local gauge invariance of the quantum effective action impliesA linear covariant gauge fixing adds a breaking term independent of the scalars, which disappears after the scalar differentiations below. The identity requires a regularization in quantum field theory and counterterms preserving the Abelian gauge theory Ward identity; scalar quantum electrodynamics has no gauge anomaly.

Differentiate with respect to $\varphi (y)$ and $\bar{\varphi }(z)$, then set all background fields to zero. The two-point derivative is the inverse exact quantum field theory propagator. Use the Fourier transform convention $\varphi (x)={\int }_p{e}^{ip\cdot x}\varphi (p)$, $\bar{\varphi }(x)={\int }_{p^{\prime }}{e}^{-i{p}^{\prime }\cdot x}\bar{\varphi }(p^{\prime })$, with the photon momentum $p^{\prime }-p$ incoming. This givesAt tree level $G^{\mu }=-(p+p^{\prime }{)}^{\mu }$, so ${\Gamma }^{\mu }=-i(p+p^{\prime }{)}^{\mu }$, and the identity reduces to $-i(p^2-p^{\prime 2})=i(p^{\prime 2}-p^2)$.

To obtain the two-photon scalar Ward identity, differentiate the same functional Ward identity also with respect to $A_{\nu }(w)$. In terms of Euclidean action derivatives it readsThis construction automatically includes the seagull vertex: the Noether current depends on $A$, with $\delta j^{\mu }(x)/\delta A_{\nu }(w)=-2{\delta }^{\mu \nu }{\delta }^4(x-w)|\varphi (x){|}^2$. It cannot be discarded when differentiating a current insertion.

Take the first photon momentum to be incoming $k$, and the second incoming $p^{\prime }-p-k$. On the first scalar leg the contact term shifts $p$ to $p+k$; on the other it shifts $p^{\prime }$ to $p^{\prime }-k$. ConsequentlyWith ${\Gamma }^{\mu \nu }=i^2{G}^{\mu \nu }=-G^{\mu \nu }$, the result isThere is a momentum-routing sign error in the printed second identity. With the scalar momentum convention of the first identity, its first shifted argument must be $p^{\prime }-k$, not $k-p^{\prime }$. This is already forced at tree level: the seagull vertex has $G^{\mu \nu }=2{\delta }^{\mu \nu }$ and hence ${\Gamma }^{\mu \nu }=-2{\delta }^{\mu \nu }$. The corrected right-hand side is $-2k^{\nu }$, matching the left-hand side, whereas the printed right-hand side is $-2p^{\prime \nu }$. Changing to an all-incoming scalar convention would also change the first identity, so it does not fix both printed formulas simultaneously.