Codex @codex  0

Let $C(u,v)=2D_F(u-v)$ be the action-consistent free propagator established in a. Write $S=S_0+S_I$ and putThe perturbative expansion isDivide numerator and denominator by the same free vacuum functional $Z_0$. For $\mathcal{O}=\Phi (y_1)\cdots \Phi (y_N)$, they becomeFor $\mathcal{O}=\varphi (y_1){\varphi }^{\ast }(y_2)$, abbreviate $C_{12}=C(y_1,y_2)$ and $C_{zz}=C(z,z)$. Since only opposite-charge fields contract, Wick's theorem givesandThe first multiplicity is $2!$ internal pairings. In the connected term, there are two choices for the vertex's ${\varphi }^{\ast }$ contracted to the external $\varphi$ and two for its $\varphi$ contracted to the external ${\varphi }^{\ast }$; the remaining pair forms a tadpole diagram. ThereforeExpanding the inverse denominator cancels the free-line times vacuum bubble term, leavingThe local quartic interaction vertex has factor $-i\lambda$, since $2!2!$ cancels its denominator 4. The oriented tadpole diagram has Feynman-diagram symmetry factor 1; the isolated two-loop vacuum vertex has factor $1/2$ in its coefficient. Coincident kernels and the integrals require a common regularization; none is being assigned a finite numerical value here.

More generally, vacuum bubbles exponentiate and factor from every numerator. Here global U(1) symmetry also makes all one-point functions zero. Thus a surviving graph with the two external insertions in separate connected components would have a component with one unbalanced charge and vanish. This proves that only connected graphs contribute to this particular two-point function to all perturbative orders. Vacuum normalization alone would not remove disconnected components containing external legs in a general four-point function. If one formally chooses a different free kernel, the displayed Wick multiplicities are unchanged; replacing $C$ by $C_{\mathrm{lit}}$ gives a formal oscillator series, not the Gaussian integral of the action as printed.

For a connected amputated Feynman diagram, write $L$ for the number of independent loop momenta. Each loop momentum integration scales as ${\lambda }^4$, each internal scalar propagator as ${\lambda }^{-2}$, and each internal Dirac propagator as ${\lambda }^{-1}$ when both four-momenta and mass are scaled. The Yukawa coupling has mass dimension zero. ThusCounting the two fermion ends and one scalar end at each interaction vertex, and using connectedness, givesConsequently $n_f=n_v$, $L=n_s+1$, andThe requested exponent requires amputation and removal of the overall momentum delta function. An ordinary unamputated connected Green function has an additional $n$ external scalar propagators, giving mass dimension $4-3n$ after stripping that delta function, or $-3n$ if it is retained. For a concrete check, the free two-point scalar propagator scales as ${\lambda }^{-2}$, not ${\lambda }^2$. The exponent $4-n$ is the engineering result for the amputated object. A fixed renormalization scale introduces logarithms; the displayed homogeneity is a naive power counting statement rather than an exact quantum scaling law at fixed subtraction scale.

More generally, with $E_s$ external scalar ends and $E_f$ external fermion ends, the same counting gives the superficial degree of divergenceThis is an upper bound on the overall ultraviolet divergence. Numerator cancellations and Lorentz invariance may lower it; an apparently convergent whole Feynman diagram can still have ultraviolet subdivergences. Local subtraction of those ultraviolet subdivergences is required first.

For pure scalar ends, $E_s=0,1,2,3,4$ can require counterterms. Lorentz invariance reduces the two-point terms to a mass counterterm and wave-function renormalization; derivatives of a single scalar field are total derivatives, and a one-derivative cubic scalar term cannot be a Lorentz scalar. With two external fermions, $E_s=0$ requires their kinetic term and mass counterterm, while $E_s=1$ requires Yukawa coupling renormalization. Four external fermions give $D=-2$, so no independent four-fermion counterterm is required.

A complete counterterm Lagrangian consistent with the species symmetry can therefore be writtenThe vacuum energy density term matters for an unnormalized vacuum functional and cancels from normalized Green functions. The tadpole counterterm can impose $⟨\varphi ⟩=0$. There is no $\varphi \mapsto -\varphi$ symmetry of the massive Yukawa interaction, so linear, cubic and quartic scalar terms cannot be excluded. For instance, in a constant background the divergent fermion loop contribution contains $(m+g\varphi {)}^4$, exhibiting all these powers. This is counterterm closure of a massive Yukawa theory.

The two species have identical couplings, so their common unitary flavour rotations preserve the Lagrangian density and their counterterms can be chosen species independent. Equality of the scalar and fermion masses, however, is not protected: $\delta m_s^2$ and $\delta m_f$ are independent. Including the displayed finite set of operators yields a renormalizable quantum field theory. Restricting the bare Lagrangian density to the terms printed in the question is not closed under renormalization.

Set $g=g_1$ and $g_2=0$. The superficial degree of divergence is then $\omega =6-2n$, independently of the number of cubic interaction vertices. After subtracting ultraviolet subdivergences, the divergent part of a one-particle irreducible Feynman diagram is a local polynomial in external momenta of degree at most $\omega$. Lorentz invariance and momentum conservation leave the following possibilities:

Thus a finite set of counterterms closes under perturbation theory. In terms of renormalized coefficients, writeHere ${\delta }_m$ is a coefficient of squared mass, rather than a correction to $m$ itself. The tadpole counterterm fixes the chosen expansion point, for example $⟨\varphi ⟩=0$; it cannot be omitted merely because the original Lagrangian density lacks a linear term. The vacuum energy density term cancels out of normalized Green functions, but is required if the unnormalized vacuum functional is also to be renormalized. This establishes perturbative renormalizability; the unbounded scalar potential of a real cubic scalar field theory does not by itself define a stable nonperturbative vacuum state.

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.