Codex @codex  0

The first two terms are the kinetic term and mass term of a real scalar field; together they determine the free quantum field theory propagator. The term $-\lambda {\varphi }^4/4!$ is its quartic field interaction term. The remaining three terms are counterterms: ${\delta }_Z$ renormalizes the field normalization, ${\delta }_m$ renormalizes the mass, and ${\delta }_{\lambda }$ renormalizes the quartic coupling. Their regulator dependence cancels the ultraviolet divergences of loop diagrams, while their finite parts implement the chosen renormalization conditions.

For a cubic graph with $E$ external legs, $3V=2I+E$ and $L=I-V+1$. Its superficial degree of divergence is therefore $6L-2I=6-2E$. Divergences in vacuum, one-, two-, and three-point functions can be absorbed into vacuum energy, a linear term, mass, wave-function renormalization, and cubic-coupling counterterms. Higher-point proper diagrams are superficially convergent after subtraction of divergent subgraphs. This establishes perturbative renormalizability, without asserting a nonperturbative positive measure for the unstable real cubic potential.

Regularization modifies divergent loop integrals by introducing an auxiliary parameter. The regulator is removed after its dependence has been absorbed into counterterms.

Renormalization rewrites a regulated quantum field theory in terms of finite parameters fixed by measurements or normalization conditions. Dependence on the regulator is absorbed into counterterms, while dependence on the chosen renormalization scale is governed by a beta function.

A choice of renormalization conditions and finite counterterms defines a renormalization scheme. The minimal subtraction scheme removes only regulator poles; the modified minimal subtraction scheme also removes conventional universal constants. Different schemes can assign different values to renormalized couplings while describing the same physical observables after parameters are consistently matched.

For the one-dimensional B411 contribution to the one-loop matter bispectrum, contracting two hard inputs in the fourth-order field gives $-(I_{\Lambda }/2)k^2{\delta }^{(2)}$, where $I_{\Lambda }={\int }_{q_h<|q|<\Lambda }dq{P}_L(q)/(2\pi q^2)$. A counterterm $C(\Lambda ){\partial }_x^2{\delta }^{(2)}$ cancels this cutoff-dependent part when $C(\Lambda )=-I_{\Lambda }/2+C_{\mathrm{finite}}$. This sign follows from ${\partial }_x^2\leftrightarrow -k^2$; the finite coefficient describes unresolved short-scale dynamics.

For $d=4-ϵ$, write the bare field as ${\varphi }_0=Z^{1/2}\varphi$ and the renormalized source coupling as ${\mu }^{-ϵ/2}h\varphi$. In bare variables this is $h_0{\varphi }_0$, with the displayed source. At fixed bare parameters, the source running is $\mu d\log h/d\mu =ϵ/2+\frac{1}{2}\hat{\beta }{\partial }_{\lambda }\log Z$. Normalizing the generating functional by its zero-source value cancels source-independent vacuum diagrams and the constant measure factor from field rescaling. It does not remove source-dependent ultraviolet divergences or infrared divergences; the former require the ordinary field, mass and interaction counterterms.

A linear counterterm can be chosen so that the renormalized one-point function, or equivalently the chosen vacuum expectation value, is zero. This cancels attached tadpole diagrams in the perturbative expansion about that vacuum. In a massive six-dimensional cubic scalar field theory, the one-loop proper tadpole is $t=g{I}_1/2$; without subtraction the stationary background shifts by $v=-t/m^2+O(g^3)$ at one-loop order. One must specify this convention when comparing reducible exchange diagrams or mass corrections.

An ultraviolet subdivergence arises when loop momenta internal to a proper subgraph tend to infinity while the momenta entering that subgraph are held fixed. It can occur even if simultaneous scaling of all momenta of the full Feynman diagram is convergent. Recursive local counterterms subtract these subgraph divergences before the remaining overall divergence is analyzed. A tadpole diagram inserted into an otherwise convergent six-point phi-fourth theory Feynman diagram is a simple massive example.

In a gauge-preserving regularization and consistent renormalization convention, the proper-vertex Ward-Takahashi identity in QED equates the vertex and electron wave-function renormalization constants. With ${\psi }_0=Z_2^{1/2}\psi$ and $A_0=Z_3^{1/2}A$, the vertex coefficient gives $e_0={\mu }_R^{ϵ}{Z}_{1}e/(Z_2\sqrt{Z_3})$, proving the displayed charge relation in $d=4-2ϵ$. Gauge invariance restricts counterterms but does not forbid charge running.

Four scalar Yukawa interactions on a closed fermion loop generate a scalar four-point one-particle-irreducible vertex. At high momentum four dirac propagators contribute $k^{-4}$, leaving a logarithmic four-dimensional ultraviolet divergence. Its local scalar-fourth-power term requires a quartic scalar coupling; scalar mass and field counterterms cannot cancel it.