Codex @codex  0

Use the metric signature $(-,+,\dots ,+)$, so $p^2=-p_0^2+{\mathbf{p}}^2$, and the weight $e^{iS}$. The momentum-space Feynman rules for the massless Phi-fourth theory are: an internal scalar line contributes $-i/(k^2-iϵ)$; a quartic interaction vertex contributes $-i\lambda$ with its momentum-conservation delta function; every independent loop is integrated with $d^{d}k/(2\pi {)}^d$; and each graph is multiplied by its Feynman-diagram symmetry factor. All external momenta can be taken incoming. These rules follow by expanding the interaction exponential and contracting free fields with the Wick theorem.

For a connected graph with $I$ internal lines, $V$ interaction vertices and $L$ loops,Here $D$ is the superficial degree of divergence. In four dimensions,Odd $n$ vanish by Z2 symmetry. Thus only the nonvacuum two-point and four-point one-particle-irreducible Feynman diagrams can have overall ultraviolet divergences: degree two for $n=2$, degree zero for $n=4$. Vacuum graphs with $n=0$ may also diverge but cancel from normalized correlators. This is an overall power-counting statement; subgraphs must be subtracted before using it to conclude finiteness for $n\ge 6$.

For the full one-particle-irreducible vertices, the tree-level quadratic kernel and quartic interaction giveIf ${\hat{\tau }}_2$ is instead reserved for interaction-generated self-energy insertions, its tree value is zero and $-p^2$ is displayed separately as the free inverse kernel. The distinction is only that convention; the loop insertions below are unchanged.

The requested one-loop diagrams are the two-point tadpole diagram and the three four-point bubble diagrams. Each has symmetry factor $1/2$. The three bubble channels correspond to $P_s=p_1+p_2$, $P_t=p_1+p_3$, $P_u=p_1+p_4$.

The tadpole insertion obeysIn massless dimensional regularization this scaleless integral is zero. A mass or cutoff regulator exposes the ultraviolet divergence allowed by power counting; its vanishing in the scaleless convention does not remove the need to include this diagram.

For a bubble, the vertex and quantum field theory propagator factors give $(-i\lambda {)}^2(-i{)}^2/2={\lambda }^2/2$. The PDF defines $f$ with the factor $1/i$ outside the Minkowski integral, so the integral itself is $if(P^2)$. ThereforeThe converted TeX misplaces this $i$ as though it were part of the exponent of $(2\pi )$; keeping the printed $1/i$ is essential to this real pole coefficient.

For nonexceptional Euclidean external momentum, Wick rotation cancels that factor $1/i$. Use a Feynman parameter and translate the integration variable:For example, represent the inverse square as ${\int }_0^{\infty }d\alpha \alpha e^{-\alpha ({\ell }^2+\Delta )}$, do the Gaussian momentum integral, and then use the Gamma function. This also derives the formula rather than assuming a loop-integration table. At $d=4-\epsilon$, $\Gamma (\epsilon /2)=2/\epsilon +O(1)$ and the parameter integral tends to one, givingTake $P^2>0$ before continuation back to Minkowski momenta. At $P=0$, a massless scaleless integral mixes ultraviolet and infrared issues, so it cannot be used to read off this pole.

Introduce a renormalization scale $\mu$ and a quartic counterterm. With $\lambda$ denoting a dimensionless renormalized coupling constant,After factoring out ${\mu }^{\epsilon }$ from the vertex, each loop contains ${\mu }^{\epsilon }{f}_d$. The counterterm contributes $-\delta \lambda$ to ${\hat{\tau }}_4$ and cancels the pole from all three channels. More explicitly,In modified minimal subtraction, replace the pole-only counterterm bywhich subtracts the first three terms inside the brackets. The finite renormalized quartic scalar vertex is thenAnother renormalization condition can change the finite constant, but not the pole cancellation or the momentum-dependent logarithms. The corresponding timelike expressions follow by the same Feynman continuation.

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.