Codex @codex  0

The additional six-leg interaction vertex has Feynman rule $-i{g}_6$. Since both interactions lack derivatives, the graph identity still gives $\omega =2(1-V)$, with $V=V_4+V_6$. The difference is that a one-vertex contraction of the phi-six theory can leave four external legs: choosing the contracted pair gives $\left(\genfrac{}{}{0ex}{}{6}{2}\right)=15$. Its quartic interaction correction isConsequently a one-loop quartic interaction counterterm is now necessary:The one-loop mass counterterm from c is unchanged. Contracting four legs of a single six-leg interaction vertex gives $\left(\genfrac{}{}{0ex}{}{6}{2}\right)3=45$ double contractions, hence a two-loop raw self-energy $g_6{T}_{\Lambda }^2/8$. Its subtraction must include the quartic interaction counterterm insertion, rather than subtracting this raw expression in isolation.

All divergent field-dependent coefficients are most simply organized by the normal-ordering subtraction scheme in two dimensions. With $T=T_{\Lambda }$, express a potential normal ordered at mass $m$ in ordinary fields:Thus its divergent subtraction coefficients, in this scheme, areIndeed the two-loop self-energy terms are $g_6{T}^2/8+\delta g_{4}T/2=-g_6{T}^2/8$, which the displayed mass counterterm cancels. The constant terms only affect vacuum energy. After removing all one-vertex self-contractions, every remaining subgraph is ultraviolet finite. Additional finite on-shell renormalization scheme adjustments are subject to the same qualification as d.

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.

The mass dimensions are $[\varphi ]=1$, $[\psi ]=3/2$, $[g]=0$. Up to total derivatives, power counting allows local counterterms of mass dimension at most four. A convenient basis for the counterterm Lagrangian compatible with the actual parity symmetry in quantum field theory and Dirac fermion number conservation isThe optional constant $\delta \Lambda$ renormalizes the vacuum energy density. The wavefunction renormalization, mass counterterms and Yukawa coupling renormalization correct the terms already present. The quartic interaction must also be included: the fermion loop with four external bosonic legs is logarithmically divergent, even if the renormalized quartic coupling is set to zero at one chosen renormalization scale. The displayed original interactions alone do not form a closed set of counterterms.

If “most general” is interpreted before imposing the parity symmetry in quantum field theory examined in d, Lorentz invariance, a Hermitian action and Dirac fermion number conservation also allowHere all coefficients can be real in the paper's gamma matrix convention; the last term is Hermitian in the action up to a total derivative. It is an axial kinetic normalization, which could alternatively be removed by a suitable perturbative field redefinition. Every term in ${\mathcal{L}}_{\mathrm{ct}}^{(-)}$ is odd under the actual parity symmetry in quantum field theory, so its coefficient vanishes in a symmetry-preserving renormalization scheme. Listing these terms makes explicit which assumption excludes a tadpole counterterm, a cubic scalar term, a scalar Yukawa interaction, a pseudoscalar Dirac mass term and an axial kinetic term.

Writing $x_P=(t,-\mathbf{x})$, the standard parity transformation of a Dirac field isSince ${\gamma }^0{\gamma }^5{\gamma }^0=-{\gamma }^5$, the fermion bilinear $\bar{\psi }{\gamma }^5\psi$ changes sign. Invariance of the pseudoscalar Yukawa interaction therefore requiresThus $\varphi$ is a pseudoscalar, despite having the usual scalar-form kinetic term and mass term. In this convention $({\gamma }^5{)}^{†}=-{\gamma }^5$, but $\bar{\psi }{\gamma }^5\psi$ is Hermitian because of the additional ${\gamma }^0$ in the Dirac adjoint. A real $g$ is consequently consistent with a Hermitian Lagrangian density.

In perturbation theory about the parity-invariant vacuum state, renormalization can preserve this non-anomalous parity symmetry in quantum field theory. Every local counterterm must then be parity even, at every loop order. The allowed terms are precisely ${\mathcal{L}}_{\mathrm{ct}}^{(+)}$ in b; all coefficients in ${\mathcal{L}}_{\mathrm{ct}}^{(-)}$ are zero. In particular, no $\varphi$ or ${\varphi }^3$ counterterm is generated, whereas ${\varphi }^4$ is allowed and required. The one-point and three-point pure-boson vertices also vanish to all orders: a parity-odd Lorentz scalar cannot be formed from their at most two independent external four-momenta. This last reasoning is specific to these low-point vertices; it does not assert that parity symmetry in quantum field theory is an independent $\varphi \mapsto -\varphi$ internal symmetry with the fermions held fixed.

Use one common ultraviolet cutoff for all physical degrees of freedom, with positive sign for each bosonic degree of freedom and negative sign for each fermionic degree of freedom. For the mass-moment cancellation of vacuum energy divergences, define the weighted supertrace $\mathrm{Str}f(m)={\sum }_{B}f(m_B)-{\sum }_{F}f(m_F)$. The large-momentum expansion isAfter multiplication by the radial measure $p^{2}dp$, these three terms produce quartic, quadratic and logarithmic ultraviolet divergences. Therefore the necessary and sufficient cancellations for the displayed unsubtracted finite-species vacuum energy areThey respectively mean equal numbers of bosonic and fermionic physical degrees of freedom, equal sums of squared masses, and equal sums of fourth powers of masses. Once they hold, the remaining radial integrand falls as $p^{-3}$ and is integrable at infinity. Nonnegative masses introduce no lower-end divergence.

Pairing every bosonic degree of freedom with a fermionic one of the same mass, as in an unbroken supersymmetric spectrum, is sufficient and cancels the entire expression. It is stronger than these three moment conditions. For a concrete non-paired example, take bosonic squared masses $\{0,3,3\}{m}_{\ast }^2$ and fermionic squared masses $\{1,1,4\}{m}_{\ast }^2$. Both have three degrees of freedom, squared-mass sum $6m_{\ast }^2$ and fourth-power-mass sum $18m_{\ast }^4$, but their spectra differ. If a vacuum energy counterterm is instead permitted, a renormalized finite answer need not satisfy them; that is a different prescription from finiteness of the source's bare sum.

Every interaction contains an even number of $b$ fields, so the exact discrete symmetry $b\mapsto -b$ forbids $\Phi \to bbb$ to every perturbative order. There is no such prohibition for $\Phi \to bb$.

The latter decay channel is absent at tree level in the displayed interactions, but contracting two $b$ legs at a $\Phi b^2(\partial b{)}^2$ vertex produces a tadpole diagram with two external $b$ legs. For example, contracting the undifferentiated pair leaves the local operator $\Phi (\partial b{)}^2$ multiplied by an integral proportional to $\int d^4\ell /({\ell }^2+i0)$. Contracting the differentiated pair instead gives a local $\Phi b^2$ contribution. Both are allowed effective field theory operators. With a ultraviolet cutoff, these local terms generically carry quadratic or quartic cutoff dependence and require matching coefficients or counterterms.

There is a relevant qualification to a claim that the one-loop decay width must be nonzero. Since $b$ is exactly massless here, the one-vertex tadpole integrals have no external scale and are scaleless integrals. They vanish in dimensional regularization. Thus the correct conclusion is allowed, and generically generated by quantum corrections or matching, not a regulator-independent nonzero one-loop prediction from ${\lambda }_b$ alone. No exact symmetry protects the two-$b$ channel; its numerical rate requires the renormalized coefficients of the allowed operators.

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.

With renormalized Dirac fields, the coefficient of $-\bar{\psi }\psi$ in the counterterm Lagrangian is $\delta m_L=Z_2{m}_0-m$, whereas the bare-parameter shift is $m_0-m=\delta m_L-m\delta Z_2$ at first order. In Feynman gauge and $d=4-ϵ$, QED has $\delta Z_2=-e^2/(8{\pi }^2ϵ)$ and $\delta m_L=-4m{e}^2/(8{\pi }^2ϵ)$. Their difference gives $m_0-m=-3m{e}^2/(8{\pi }^2ϵ)$. Defining the insertion and the mass coefficient before quoting its sign avoids confusing these two counterterms.

For $\mathcal{L}=|\partial \varphi {|}^2-m^2|\varphi {|}^2-{\mu }^{ϵ}g|\varphi {|}^4/4$ in $d=4-ϵ$, the directed tadpole diagram has symmetry factor one. Its divergent Feynman contribution to $i{\Gamma }^{(2)}$ is $ig{m}^2/(8{\pi }^2ϵ)$. A mass insertion $-i{\delta }_{m^2}$ therefore gives the displayed minimal subtraction scheme counterterm. Differentiating at fixed bare mass and coupling gives the displayed ${\gamma }_m=\frac{1}{2}\mu d\log m^2/d\mu$. The equivalent two-real-field formulation has vertex coefficients $3g/2$ for a pure species and $g/2$ for two of each, giving total tadpole weight $(3g/2+g/2)/2=g$.

Regularization in quantum field theory defines otherwise divergent intermediate expressions using an auxiliary prescription, such as a momentum cutoff or analytic continuation of dimension. It makes the limiting dependence explicit so renormalization conditions and observable combinations can be studied consistently.

Regularization in quantum field theory and renormalization are different steps: a regulator does not by itself determine a physical parameter or remove every divergence. Local counterterms can absorb ultraviolet dependence to the required order, while infrared problems can require inclusive observables or a different long-distance treatment. An effective theory can retain a finite cutoff within its validity regime. Where a continuum limit is intended, its existence and symmetry properties must be checked rather than assumed from the mere introduction of a regulator.

In Feynman gauge, use the auxiliary photon propagator $-i{g}_{\mu \nu }/(k^2-{\lambda }^2+i0)$ and $r=\lambda /m>0$. The projected one-loop Feynman parameter integral isHere $x$ is the source's photon parameter $z$.^[ref]

To check the reduction, use $N_2=4z(1-z)m^2$ and ${\Delta }^{\prime }=(1-z{)}^2{m}^2+z{\lambda }^2$. The three-parameter expression has prefactor $e^2/(16{\pi }^2)$ multiplying $N_2/{\Delta }^{\prime }$. At fixed $z$, ${\int }_0^{1-z}du=1-z$, giving $e^2/(4{\pi }^2){\int }_0^{1}z(1-z{)}^2/[(1-z{)}^2+z{r}^2]dz$. Substituting $e^2=4\pi \alpha$ gives exactly the displayed integral. This starts from the projected QED numerator; it is not a derivation of the whole QED calculation from an arbitrarily chosen integral.

The regulator can then be removed by a short independent argument. Write its integrand as $f_r(x)$. For $0\le x<1$, $f_r(x)\to 2x$, andThe dominated convergence theorem therefore gives $I(r)\to 1$ and $F_2^{(1)}(0)=\alpha /(2\pi )$. At $x=1$ the regulated integrand is zero, whereas the limiting function can be assigned value $2$; one point has zero measure and changes no integral. For every $r>0$, $0<I(r)<1$, and decreasing $r$ increases the integral. The visible suppression near $x=1$ narrows as the regulator shrinks; it is not a uniform pointwise approximation at that endpoint.

This auxiliary mass regulates an infrared divergence, not an ultraviolet divergence; the finite-mass prescription alone is not fully gauge-invariant.^[ref]

The ultraviolet problem belongs to the full QED amplitude. Electron self-energy, wave-function renormalization and the charge vertex require consistent counterterms and renormalization conditions. The Ward identity for QED renormalization constants ties $Z_1$ to $Z_2$, rather than allowing the vertex and external electron normalization to be fitted independently. Minimal renormalizable QED has no independent Pauli term to adjust this finite one-loop $F_2(0)$: its dimension-five coefficient is predicted from the mass and electric charge inputs. Adding a free Pauli term would define a different theory with an extra parameter. Finiteness of the reduced integral alone proves neither all-order renormalizability nor finiteness of every QED observable.

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.

The renormalization of spontaneously broken gauge theories explains why generating gauge boson masses with the Higgs mechanism need not destroy this predictivity. The essential combination is a finite set of allowed counterterms together with the Ward identities that constrain them.

Renormalization of spontaneously broken gauge theories means that the Higgs mechanism can generate gauge boson masses while a fixed finite set of renormalized couplings, masses and field normalizations still suffices to absorb ultraviolet divergences. The symmetry constrains the counterterms even when the chosen vacuum expectation value hides it. This makes radiative corrections to the electroweak interaction calculable after inputs have been fixed by renormalization conditions.

A useful distinction is between choosing variables that display the physical particles and choosing variables that display good power counting. Unitary gauge removes the would-be Goldstone bosons from the explicit fields. R-xi gauge keeps them and the required Faddeev-Popov ghosts in intermediate Feynman diagrams, exposing simpler large-momentum behavior. The physical scattering amplitude must agree after all contributions and counterterms have been included consistently.

In Renormalizable Lagrangians for massive Yang-Mills fields (1971), Gerard 't Hooft constructed spontaneously broken gauge theories with massive gauge bosons. His worked SU(2) gauge theory with an adjoint Higgs field leaves a massless photon; it is a demonstration model, not the full chiral Standard Model. The gauge fixing, Faddeev-Popov ghosts and Ward identities connect renormalizability with physical unitarity.^[ref]

Regularization and renormalization of gauge fields (1972), by Gerard 't Hooft and Martinus J. G. Veltman, developed dimensional regularization with recursive subtraction of ultraviolet subdivergences. It continued Feynman integrals in the dimension, keeping the relevant Ward identities in non-anomalous cases; its final section examined quantum anomalies. The procedure does not make an inconsistent chiral gauge theory consistent: gauge anomaly cancellation remains essential.^[ref]

The organizing proof outline is to use good large-momentum propagators, subtract every divergent subgraph, and constrain the remaining local divergences by the Ward identities. A finite family of allowed counterterms must close under this operation at every loop order. The same identities must remove unphysical intermediate contributions from physical amplitudes. Power counting alone establishes neither closure nor these cancellations. Modern BRST symmetry packages these restrictions; the scalar subtraction below illustrates only locality.

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.

The renormalized quartic scalar vertex ${\Gamma }_R^{(4)}$ is the four-field proper vertex expressed in terms of renormalized fields and parameters. For a quartic interaction, its leading contribution is the tree-level coupling; loop corrections and counterterms modify its dependence on external momenta and the chosen renormalization scale.

A renormalization condition can define the coupling by prescribing the vertex at a specified momentum configuration. Changing that scale changes the coupling according to its renormalization-group beta function, while consistently computed physical predictions remain unchanged to the retained accuracy. This proper vertex is one-particle irreducible; it is not an arbitrary four-point correlation function with external propagation left attached. A comparison must state field normalization, momentum convention and whether an overall factor of $i$ is included in the definition.

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.

The superficial degree of divergence is the ultraviolet power obtained by scaling all independent loop momenta of a Feynman diagram together. If a scalar graph in $d$ dimensions has $L$ loops, $I$ internal propagators behaving as momentum to the power $-2$, and $N_{\partial }$ powers of loop momentum from derivative vertices or numerators, thenEach loop integration contributes $d$ powers, each propagator removes two, and each numerator power adds one. A scalar theory with no derivative vertices has the familiar specialization $D=dL-2I$.

For a connected graph in four-dimensional quartic scalar field theory, $L=I-V+1$ and $4V=2I+E$, where $V$ is the number of interaction vertices and $E$ the number of external lines. Eliminating $I,V$ givesThus a two-point graph has superficial degree two, while a four-point graph has degree zero, corresponding to possible logarithmic ultraviolet behavior.

The word superficial matters: tensor or gauge cancellations can reduce the actual divergence, and a graph with negative overall $D$ can still contain divergent subgraphs. Exceptional external momenta can introduce a separate infrared problem. Power counting organizes possible counterterms; convergence requires inspecting the relevant subgraphs and kinematic regime as well.

A linear scalar counterterm fixes the one-point function or the expansion point of the scalar potential. An unbroken parity symmetry in quantum field theory forbids this term when the scalar is a pseudoscalar. A vanishing one-loop tadpole diagram alone would not prove the all-orders restriction without the symmetry argument.