Codex @codex  0

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.

The Gaussian contraction used while integrating out a momentum shell. Its Fourier support lies entirely in that shell. In particular, convolution with a purely low-momentum field is zero. This distinguishes shell Feynman diagrams from unrestricted loop diagrams.

For a connected six-external-leg Feynman diagram made from quartic vertices, $4V=6+2I$ and $L=I-V+1$ give $V=L+2$, $I=2L+1$. A tree therefore has two vertices and one internal line; partitioning six labelled external legs into two triples gives ten tree channels. A one-loop triangle has three vertices, three internal lines and two external legs at each vertex. With external labels fixed, that triangle has symmetry factor one. Other one-loop topologies also contribute to the full amplitude.

The superficial degree of divergence $D$ is the ultraviolet power predicted by rescaling all independent loop momenta together. For a scalar graph with $L$ loops and $I$ propagators behaving as $p^{-2}$ in $d$ dimensions, $D=dL-2I$ before cancellations and subdivergences are considered.

A supergraph is a Feynman diagram formulated with superfield propagators and vertices in superspace. Performing its spinor-derivative algebra organizes perturbative corrections into superspace integration terms and provides a proof of the local superpotential non-renormalization theorem.

For a connected amputated Feynman diagram with the quartic Yukawa interaction in three spacetime dimensions, scalar quartic and scalar sextic vertices, $b$ external bosonic legs, $f$ external fermionic legs and $n_4$ scalar quartic vertices, the superficial degree of divergence is the displayed expression. Indeed $\omega =3L-2I_b-I_f$, $2I_b+b=2n_Y+4n_4+6n_6$, $2I_f+f=2n_Y$ and $L=I_b+I_f-n_Y-n_4-n_6+1$. Substitution eliminates the counts of the two marginal vertices. The bound concerns overall ultraviolet divergence, before numerator cancellations and subtraction of ultraviolet subdivergences.

A triangle Feynman diagram has a loop of three propagators joining three vertices. In six-dimensional cubic scalar field theory it gives a one-loop three-point proper vertex. Attaching a cubic tree vertex makes a four-point connected diagram, but the connecting propagator is a bridge, so the latter is a one-particle-reducible Feynman diagram.

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.

For a connected Feynman diagram with external valence $n$ and cubic, quartic and sextic vertices, counting half-edges gives $2I+n=3V_3+4V_4+6V_6$. Using $L=I-(V_3+V_4+V_6)+1$ yields $L-1+n/2=V_3/2+V_4+2V_6$. Since each summand lies between half and twice its vertex count, the displayed bounds follow. More generally vertices of valence between $r_{\min }$ and $r_{\max }$ give $(r_{\min }/2-1)V\le L-1+n/2\le (r_{\max }/2-1)V$.

A Wick contraction replaces a selected pair of free fields by their two-point function. Summing pairings computes Gaussian correlation functions and supplies the propagator lines and combinatorial factors of a Feynman diagram.

Wick theorem expresses a time-ordered product of free fields as its normal-ordered product plus the sum over every possible contraction. It turns the Dyson series into Feynman diagrams.