Codex @codex  0

A theoretical particle physicist who coauthors the Particle Data Group review of the electroweak interaction with J. Erler. It connects measured observables to renormalization, radiative corrections and fits of Standard Model parameters. Comparing many precision observables with one consistent theory makes small departures from its predictions a quantitative constraint on proposed new interactions.^[ref]

For a background gauge field with $A_0=Z_A^{1/2}A$ and $g_0={\mu }^{ϵ/2}{Z}_{g}g$, background gauge covariance preserves the combination $gA$ in the gauge covariant derivative. Its Ward identity therefore gives the displayed relation. This refers to background-field renormalization, not an unrestricted identity between the coupling and the ordinary quantum-gluon wave-function factor. Gauge-invariant one-loop matter determinants can be renormalized with this identity to extract their coupling running from vacuum polarization.

The fermion self-energy of an electron in quantum electrodynamics. After renormalization, its contribution in a bound chemical atom is one source of the Lamb shift; other radiative corrections and nuclear structure also affect the observed energy levels.

A finite higher-point scalar vertex is a term in the quantum effective action with more external scalar fields than the original interaction, whose coefficient remains finite after renormalization. It can survive removal of an ultraviolet cutoff even when no corresponding independent counterterm is needed. Its coefficient is then predicted by the renormalized parameters and external momenta.

The 1999 recognition of Gerard 't Hooft and Martinus J. G. Veltman concerned the theoretical quantum structure of the electroweak interaction.^[ref] Renormalizability makes repeated radiative corrections predictive from a fixed set of inputs. It does not imply that the perturbation series converges, nor that renormalization alone chooses the correct particle content or excludes all physics beyond the Standard Model.

The Gargamelle collaboration prepared an experimental test by exposing its heavy-liquid bubble chamber to neutrino and antineutrino beams at CERN. The readout selected events producing hadrons without an identified muon or electron, compared with events containing a charged lepton. Its 1974 report assessed alternative origins from neutrons and long-lived neutral kaons, finding them insufficient to explain the sample. That supported neutral currents; it did not isolate a radiative correction or demonstrate renormalizability.^[ref]

The distinction matters when using the tree-level electroweak gauge-boson masses:Beyond tree level, self-energies, interaction vertices and counterterms alter how chosen input observables predict another observable. The Weinberg angle then needs a specified renormalization scheme; inserting its value from one convention into a formula from another can create an apparent discrepancy. A meaningful higher-order test must state both its independent experimental inputs and the calculated loop order.

Gerard 't Hooft showed how theories with massive gauge fields described by Yang-Mills theory generated through spontaneous symmetry breaking could support consistent renormalization. His 1971 paper constructs models, derives Feynman rules and checks the associated Ward identities. Controlling these identities while removing divergent intermediate expressions is what permits finite higher-order predictions without losing the theory's gauge consistency. The work made spontaneously broken gauge theories usable for precision particle calculations.^[ref]

A physicist working on theoretical physics at Utrecht.^[ref]

A local quantum field operator is supported at a spacetime point, with operator-valued distributions understood by smearing. Products at the same point generally require renormalization; these give composite operators. This is distinct from the topos-theoretic meaning of local operator.

The following scalar toy isolates one step in renormalization: removing a local divergence while retaining a finite dependence on a physical mass. For $M,\mu >0$ and a sharp cutoff regularization in Euclidean space with momentum bound $\Lambda$, define the dimensionless Feynman integralThis is a zero-external-momentum scalar bubble integral stripped of coupling and combinatorial factors. Using the three-sphere area $2{\pi }^2$ and $t=k_E^2$ reduces the integral toThe antiderivative follows by writing $t=(t+M^2)-M^2$. At large $\Lambda$ the divergent part is $\log {\Lambda }^2/(16{\pi }^2)$, with the logarithm's dimensionful argument understood only within the displayed ratios. It has no external-momentum dependence. In a four-scalar-field vertex this structure can therefore be removed by a local operator proportional to ${\varphi }^4$, rather than a momentum-dependent nonlocal interaction.

Choose the fixed reference mass $\mu$ and subtract $I_{\Lambda }(\mu )$. If the loop contribution to a chosen four-point vertex coefficient is $c{\lambda }^2{I}_{\Lambda }(M)$, choose the additive counterterm in that same coefficient as $\delta {\lambda }_{\Lambda }=-c{\lambda }^2{I}_{\Lambda }(\mu )$, where $c$ includes its stated diagram factors. This defines a finite subtraction prescription:The renormalization condition for this toy loop contribution is $I_R(\mu ;\mu )=0$. The reference mass stays fixed when $M$ is varied; finite dependence on $M$ survives. A different finite subtraction changes the renormalization scheme, and the defined renormalized coupling must change consistently.

For $M=2\mu$, the limiting result is $16{\pi }^2{I}_R=-\log 4\approx -1.38629436$. At $\Lambda =10\mu$, the exact regulated difference is about $-1.32846343$; at $\Lambda =100\mu$, it is about $-1.38569459$. Expanding the exact expression gives the leading residual $2(M^2-{\mu }^2)/{\Lambda }^2$ in $16{\pi }^2[I_{\Lambda }(M)-I_{\Lambda }(\mu )]$. This explicitly separates finite-cutoff error from the chosen finite renormalization condition.

A sharp cutoff regularization is convenient for this scalar demonstration, but shifts of a divergent loop momentum can change its integration domain. A gauge theory calculation cannot assume that it preserves the Ward identities. The toy contains no interacting gauge bosons, ghost loops or overlapping ultraviolet subdivergences, so its successful subtraction does not prove Non-Abelian gauge theory renormalizability.

A theoretical particle physicist who, with Gerardus 't Hooft, developed a consistent procedure for regularization and renormalization of gauge theories. Their 1972 paper handles divergent loop calculations while preserving the identities needed for gauge consistency in nonanomalous cases. This made higher-order predictions in theories such as the electroweak interaction calculable rather than formally infinite.^[ref]

Using a spherical Bohr-radius volume for the atom, the calculations below give a cutoff electromagnetic vacuum energy density of about $6.2\times 10^{15}\mathrm{J}{\mathrm{m}}^{-3}$, compared with a hydrogen binding-energy density of about $3.5\times 10^{12}\mathrm{J}{\mathrm{m}}^{-3}$. The cutoff vacuum estimate is about $1.8\times 10^3$ times larger. Alternative reasonable definitions of atomic volume change this ratio by a factor of a few, not the main order-of-magnitude conclusion.

The cutoff result is a bare zero-point mode sum. It is not a classical radiation bath incident on the atom, nor a calculation of an observable absolute vacuum energy without a subtraction or renormalization prescription.

The Lamb shift is a radiative displacement of atomic energy levels beyond the values from the Dirac equation in a Coulomb potential. In hydrogen, the $2S_{1/2}$ and $2P_{1/2}$ levels are degenerate for a point Coulomb potential in the Dirac equation, yet the $2S_{1/2}$ level lies higher by roughly a gigahertz. This is distinct from the fine structure splitting between different $J$ levels and from nuclear-spin hyperfine structure.

Electron self-energy in the quantized electromagnetic field is the dominant contribution to the familiar hydrogen splitting; vacuum polarization contributes too. Renormalization separates the physical electron mass from its divergent free-electron self-energy. A useful leading-log scale for a hydrogenic $nS$ level isnot an exact numerical formula. The enhanced sensitivity of S states follows from their nonzero wavefunction at the nucleus; leading short-distance corrections act like contact perturbations. A precision prediction also includes finite nuclear size and recoil, and must consistently separate those effects from the radiative contribution.^[ref]

The original Lamb-Retherford experiment used a beam of hydrogen atoms, electron-impact excitation into metastable $2S$, and microwave-induced transfer into short-lived $2P$ states. Those atoms decayed before reaching the detector. Metastable atoms surviving to a metal target ejected electrons, so a drop in the measured current signalled a resonance. Varying the microwave excitation and magnetic field established the displacement from the Dirac equation expectation. Microwave quenching converted a small energy difference into a measurable loss of a long-lived population, avoiding optical Doppler widths that obscure the splitting.^[ref]

Interactions produce Feynman diagrams with internal lines whose independent loop momenta are integrated without an upper bound. Their large-momentum contributions can have an ultraviolet divergence. Two explicit examples in a scalar quartic theory are a one-loop tadpole diagram contributing to the two-point function and a one-loop four-point bubble diagram. After a Wick rotation, a spherical cutoff $\Lambda$ gives the representative integralsCombinatorial factors and couplings multiply these integrals in a particular diagram. The first is quadratically divergent by cutoff power counting; the second is logarithmically divergent. Other schemes package the divergent pieces differently.

In renormalization, introduce a regularization, separate bare parameters into renormalized parameters and counterterms, and fix the latter by stated normalization conditions. Local divergent pieces of the scalar two- and four-point functions are absorbed into mass, field normalization and quartic-coupling counterterms, with all other operators allowed by the chosen symmetries included as needed. A perturbatively renormalizable quantum field theory requires this finite counterterm family to remain closed at all orders. It does not require every individual bare diagram to be finite. For gauge theories, identities expressing gauge symmetry and absence of a gauge anomaly are essential in addition to superficial counting.

The action is dimensionless in natural units, so in four spacetime dimensions $[\mathcal{L}]=4$ and $[{\partial }_{\mu }]=1$. The engineering dimensions of relativistic fields follow from matching the free kinetic terms:and henceFor a local operator $\mathcal{O}$ of mass dimension $d_{\mathcal{O}}$, its coupling has dimension $4-d_{\mathcal{O}}$. Operators with dimension at most four are candidates for ordinary perturbative power-counting renormalizability. This test presupposes consistent kinetic terms, symmetries and the full set of induced counterterms; it is not a proof of physical consistency for an arbitrary vector interaction.

Use metric signature $(+,-,\dots ,-)$ and initially set $\hslash =1$. For an internal scalar line with momentum $p$, the Feynman propagator is $i/(p^2-m^2+i0)$. An $r$-leg Feynman vertex, for $r=3,4,6$, contributes $-i{\lambda }_r$, with all incident momenta incoming. Its $1/r!$ in the Lagrangian density is canceled by the permutations of its identical fields. Each vertex conserves momentum and supplies $(2\pi {)}^d{\delta }^{(d)}(\sum p)$. Integrate each independent loop momentum with $d^{d}k/(2\pi {)}^d$, multiply the line and vertex factors, and divide by the Feynman-diagram symmetry factor for labeled external legs. Sum the distinct graphs and external-momentum assignments without counting the same assignment twice.

An unamputated momentum-space correlation function also contains the external propagators. Dividing the generating functional by its zero-source value removes disconnected vacuum bubbles; taking its logarithm selects connected correlation functions. Amputation of external propagators removes the external line factors when computing vertex amplitudes. Translational invariance leaves one overall momentum-conservation delta function for each connected graph.

The loop order is the number of independent graph cycles, equivalently the number of independent momentum integrations left after vertex conservation. A spanning tree through $V$ interaction vertices contains $V-1$ internal edges; hence, with $I$ internal lines,Restoring $\hslash$ in $\exp (iS/\hslash )$ gives $\hslash$ for each internal propagator and ${\hslash }^{-1}$ for each interaction vertex. Thus an amputated connected amplitude hasThe same counting holds for a diagram in $\log Z[J]$ when the external source is coupled as $J\varphi /\hslash$: every external propagator brings $\hslash$, canceled by the source insertion's ${\hslash }^{-1}$. This is Planck-constant loop counting with source normalization. An ordinary connected expectation of $n$ fields, with no such source factors, instead scales as ${\hslash }^{L+n-1}$; multiplying $\log Z$ by $-i\hslash$ to form $W$ shifts its source-kernel counting to ${\hslash }^L$. The normalization must be specified when applying the printed loop rule.

Let $V_r$ count $r$-valent interaction vertices. Counting their incident half-edges gives $2I+n=3V_3+4V_4+6V_6$. Substituting the loop identity yieldsEach coefficient on the right lies between $1/2$ and $2$, proving the vertex-count bounds for bounded scalar valenceThe free two-point term, which has no interaction vertex, separately satisfies the bounds with $V=L=0$ and $n=2$.

A one-particle-irreducible Feynman diagram is connected and remains connected after any single internal line is cut. The left graph below contains two quartic vertices and two parallel internal lines: cutting either line leaves the vertices connected by the other. The right graph contains two cubic vertices joined by one internal line, whose removal disconnects it, so it is a one-particle-reducible Feynman diagram. Both have four external legs.

The quantum effective action generates the one-particle-irreducible vertices. Their ultraviolet divergences and those of their proper divergent subgraphs are removed by local counterterms. Reducible connected graphs are reconstructed by joining these vertices with full propagators; they do not introduce independent local interaction counterterms merely because they contain bridges. This makes the one-particle-irreducible Feynman diagram decomposition useful for organizing renormalization. Overall power counting still has to be supplemented by subtraction of divergent subgraphs.

For a scalar with a two-derivative kinetic term, mass dimensions obeyThe general power-counting criterion used here is that interactions of nonnegative coupling dimension can be included in a perturbatively renormalizable quantum field theory, with all symmetry-allowed required local counterterms included; negative-dimensional couplings generally require an unbounded tower of higher-dimensional counterterms. Indeed, the scalar graph power-counting identity givesfor the superficial degree of divergence. Nonnegative coupling dimensions prevent this degree from increasing indefinitely with the vertex count.

The coupling dimensions areThus all three are power-counting renormalizable in three dimensions; cubic and quartic in four; cubic only in six. Positive-dimensional interactions are super-renormalizable, while the zero-dimensional ones are marginal by classical power counting. Usual kinetic, mass, vacuum and, when no symmetry forbids it, linear counterterms must also be admitted. This conclusion concerns perturbative ultraviolet renormalizability; it does not assert global stability of a cubic scalar potential.

A loop integral in a theory with dimensionless classical couplings can contain a logarithmic ultraviolet divergence. After subtraction, an expression such as $\log (-p^2/{\mu }^2)$ remains; one must specify the momentum scale at which the measured or renormalized coupling is fixed. A logarithm of a dimensionful momentum alone is not meaningful. In dimensional regularization, the same necessity appears through ${\lambda }_{\mathrm{bare}}={\mu }^{d_{\lambda }}{Z}_{\lambda }\lambda (\mu )$ in the continued dimension, with $d_{\lambda }$ tending to zero in the physical dimension.

Thus the renormalization prescription introduces an arbitrary renormalization scale, even when no mass or length occurs in the classical action. Physical quantities cannot depend on its arbitrary choice: explicit logarithms cancel the implicit change of the running coupling, governed by $\mu d\lambda /d\mu =\beta (\lambda )$. A nonzero renormalization-group beta function is a quantum scale anomaly. An integration constant may encode the same data as a dimensionful scale, which is dimensional transmutation. The scale labels a renormalization condition, not a new arbitrary measurable parameter. At a true fixed point the coupling need not run; the use of a subtraction scale is then a convention rather than an intrinsic generated physical scale.

Use signature $(+,-,-,-)$ and electron charge $q=-e$, with $e>0$. Then ${\mathcal{L}}_{\mathrm{int}}=-q\bar{\psi }{\gamma }^{\mu }\psi A_{\mu }=+e\bar{\psi }{\gamma }^{\mu }\psi A_{\mu }$. Write the process as $e^{-}(p,s)+\gamma (k,ϵ)\to e^{-}(p^{\prime },s^{\prime })+\gamma (k^{\prime },{ϵ}^{\prime })$. Physical external states satisfyand the photon polarization vectors obey $k\cdot ϵ=k^{\prime }\cdot {ϵ}^{\prime }=0$. Choose unit physical polarizations with ${ϵ}^{\ast }\cdot ϵ={ϵ}^{\prime \ast }\cdot {ϵ}^{\prime }=-1$; representatives differing by a multiple of the corresponding null momentum describe the same physical polarization. The external spinors obey $(/p-m)u(p)=0$, $\bar{u}(p^{\prime })(/p^{\prime }-m)=0$, with ${\bar{u}}_s{u}_r=2m{\delta }_{sr}$. Outgoing polarization appears complex conjugated, so this formula includes helicity states as well as real linear polarizations.

The needed QED Feynman rules are a vertex $-iq{\gamma }^{\mu }=+ie{\gamma }^{\mu }$, an internal Dirac propagator $i(/q+m)/(q^2-m^2+i0)$, the external spinors, and the incoming/outgoing photon polarization vectors. There is no internal photon at this order and no elementary two-photon–Dirac seagull vertex. The two photon orderings along the electron line give internal momenta $q_s=p+k$ and $q_u=p-k^{\prime }$. Defining the matrix element by $S_{fi}-{\delta }_{fi}=i(2\pi {)}^4{\delta }^4(p+k-p^{\prime }-k^{\prime })\mathcal{M}$, their sum isThe denominators are $2p\cdot k+i0$ and $-2p\cdot k^{\prime }+i0$. Both terms are essential; this is the tree-level Compton amplitude.

To prove the incoming Ward identity, replace $ϵ$ by $k$ and write $R(q)=(/q+m)/(q^2-m^2)$, with the Feynman boundary prescription understood. The physical nonzero-photon kinematics keeps these tree denominators off the electron pole. Sincethe external Dirac equations implyTherefore the two contracted terms are $\bar{u}(p^{\prime })/{ϵ}^{\prime \ast }u(p)$ and its negative, and cancel. By linearity,This is the two-photon fermion Ward identity. An analogous cancellation holds for the outgoing photon. Gauge-equivalent polarization representatives have the same scattering amplitude, so a longitudinal pure-gauge component is not an extra physical photon state. Individual diagrams do not generally satisfy this identity; their sum does.

For perturbative order, each elementary QED vertex has one photon leg. If $I_{\gamma }$ is the number of internal photon lines and $E_{\gamma }=2$, the vertex parity of a QED amplitude givesThus there is no third-order contribution. At fourth order, $V=4$ and, counting all three legs per vertex with four external legs, $I=(3V-4)/2=4$. A connected graph has loop number $I-V+1=1$.

The nonzero one-loop classes on the open electron line are an internal-electron self-energy insertion, a vertex correction at either external-photon vertex, and a virtual photon spanning both photon vertices, giving the four-point box class. The first figure sketches each class for one photon ordering; interchange the two external photon attachments for its crossed partner. This yields two internal-self-energy graphs, four vertex graphs and two spanning-box graphs. They use the usual photon propagator, for example $-i{g}_{\mu \nu }/({\ell }^2+i0)$ in Feynman gauge.

For completeness, one-loop diagram classes for Compton scattering also depend on whether one is drawing an unamputated correlation function or a physical amplitude. Electron self-energies can be attached to either external electron leg, and photon vacuum polarization can be attached to either external photon leg, for both photon orders. In an on-shell renormalized S-matrix, these are accounted for by LSZ reduction and external-field residues rather than counted again as independent amputated graphs. Photon-leg corrections are not vacuum-polarization insertions on an internal Born photon: there is no such Born line.

At the same fourth order, a renormalized calculation has one mass or electron-field counterterm on the internal electron line, or one vertex counterterm at either Born vertex; the crossed partners are included. Each counterterm is a relative order-$e^2$ correction to the order-$e^2$ tree amplitude. External-field normalization must follow the same convention.

A possible closed electron loop with three photon vertices, linked to the external electron line by a virtual photon, cancels between its two orientations by Furry's theorem. Transposing the loop and using $C^{-1}{\gamma }^{\mu }C=-({\gamma }^{\mu }{)}^T$ gives an extra sign $(-1{)}^3$, so its orientation-reversed partner is its negative. A one-photon tadpole likewise vanishes. Disconnected vacuum bubbles are removed by vacuum normalization. The first genuine radiative corrections are fourth order, with the internal self-energy, vertex and spanning-box classes and their consistently included renormalization terms.

Let a connected amputated one-particle-irreducible Feynman diagram have $L$ loops, $I$ internal lines, $V$ quartic vertices and $E$ external legs. Each loop integration contributes four momentum powers, each scalar propagator removes two, and the interaction adds none. Thus its superficial degree of divergence is $D=4L-2I$. Counting half-edges and independent loops givesThis is simultaneous large-momentum scaling of the whole Feynman diagram. It need not describe every subregion of loop-momentum space.

For a concrete counterexample, start with a six-point triangle of three quartic vertices, with two external legs at each vertex. Insert a one-loop tadpole diagram self-energy in one internal line. The resulting Feynman diagram has $V=4$, $I=5$, $L=2$, $E=6$, and $D=-2$. It is still one-particle irreducible: each edge around the triangle has an alternative route, and cutting the tadpole loop does not disconnect the Feynman diagram. Nevertheless the tadpole subgraph diverges when its loop momentum tends to infinity while the triangle momentum is held fixed. In massive theory the divergent mass insertion is nonzero. This demonstrates that a superficially convergent graph can have a divergent subgraph.

Write renormalized perturbation theory withThe last term is a field-independent vacuum counterterm, needed if vacuum energies are retained. A normalized correlation functional removes that sector. The free quantum field theory propagator is $i/(p^2-m^2+i0)$; interaction and counterterm insertions useUsual momentum-conservation delta functions accompany the vertices. The coefficients depend on the regulator and renormalization conditions and are expanded order by order in the renormalized coupling.

The reason this list closes is locality of ultraviolet subtraction. After divergent proper subgraphs have been subtracted recursively, the remaining overall divergent part is a polynomial in external momenta of degree at most $D$. For $E=2$, $D=2$, Lorentz symmetry allows only a constant and a $p^2$ term, supplied by the mass and wavefunction counterterms. For $E=4$, $D=0$, only the constant quartic counterterm is needed. Odd-point terms vanish by the field's $\varphi \mapsto -\varphi$ symmetry. For $E>4$, the overall degree is negative and there is no new overall counterterm after subdivergences have been removed. Vacuum graphs are handled separately.

Counterterm insertions subtract each subgraph's local divergence, including overlapping subgraphs, and then the overall divergence. At each perturbative order the regulated sum has a finite ultraviolet limit for renormalized correlation functions at suitable nonexceptional momenta. This is why superficial power counting of every relevant subgraph determines the allowed counterterms, even though it does not alone establish that a bare Feynman diagram diverges or converges. Possible infrared or on-shell singularities are a separate issue; ultraviolet renormalization is not a promise of finiteness in every kinematic limit.

Use $F_{\mu \nu }^a={\partial }_{\mu }{A}_{\nu }^a-{\partial }_{\nu }{A}_{\mu }^a+g{f}^{abc}{A}_{\mu }^b{A}_{\nu }^c$ and $\mathcal{L}=-F_{\mu \nu }^a{F}^{a\mu \nu }/4$. Its cubic and quartic Yang-Mills self-interactions areAntisymmetry of the Lie algebra structure constants lets the cubic expression also be written as $-g{f}^{abc}({\partial }_{\mu }{A}_{\nu }^a)A^{b\mu }{A}^{c\nu }$.

The cubic vertex has three fields and one derivative, corresponding to $n=2,r=1$ in part (b). The quartic vertex has four fields and no derivatives, corresponding to $n=4,r=0$. Their dimensions areWith both types present, the same Feynman diagram counting givesIn four dimensions both couplings are dimensionless, and the degree is bounded independently of vertex count. Gauge symmetry, implemented consistently after gauge fixing, restricts the ultraviolet counterterms to the allowed renormalizable gauge-invariant and gauge fixing/ghost structures. Thus the counting is consistent with perturbative renormalizability of ordinary four-dimensional Yang-Mills theory.

In six dimensions $[g]=-1$ and $[g^2]=-2$, giving $D=6-2E+V_3+2V_4$. Increasing the vertex count permits new divergent momentum structures and higher-dimensional operators without a finite closed list of renormalization parameters. Ordinary Yang-Mills theory is therefore power-counting renormalizable in four dimensions and nonrenormalizable in six dimensions. It can still be used in six dimensions as an effective field theory with a cutoff and higher-operator expansion; this conclusion concerns the usual perturbative theory.

Let the masses of $\Phi$ and $\varphi$ be $M$ and $\mu$, respectively. Write their external four-momenta as $P=k_1+k_2$, with $P^2=M^2$ and $k_1^2=k_2^2={\mu }^2$. The condition $M>2\mu$ opens the two-body decay phase space. Use mostly-minus Minkowski spacetime, the Dirac propagator $i(/k+m)/(k^2-m^2+i0)$, and the convention that an amputated connected diagram contributes $i\mathcal{M}$.

There is no tree-level three-scalar Feynman vertex in the displayed interaction. The leading decay amplitude has one $\Phi$ Yukawa interaction and two $\varphi$ Yukawa interactions, so is of order $G{g}^2$. The Yukawa fermion triangle is:

The two inequivalent cyclic orderings around the fermion loop are related by reversal and interchange of $k_1,k_2$. They give equal integrals: reversing all internal four-momenta leaves the masses and denominators unchanged, and the scalar gamma matrix trace identities below give the same numerator. Both must be included. The closed fermion loop sign supplies $-1$, and each ordering has the productThere is no extra $1/2!$ in the decay amplitude. Such a factor belongs to integration over the identical-particle final phase space when calculating a decay rate.

Route $a=\ell$, $b=\ell +k_1$, $c=\ell -k_2$ and define $D_a=a^2-m^2+i0$, and similarly for $D_b,D_c$. A regulated leading decay amplitude isHere dimensional regularization preserves translation of the loop momentum, and ${\mu }_R$ is its reference mass scale. Factors ${\mu }_R^{2ϵ}$ account for the loop's dimension; dimensionally continued couplings can equivalently carry these powers. No ${\gamma }^5$ occurs in this scalar loop, so there is no ${\gamma }^5$ regularization ambiguity.

Using gamma matrix trace identities, traces with an odd number of gamma matrices vanish, while $\mathrm{tr}1=4$ and $\mathrm{tr}({\gamma }^{\mu }{\gamma }^{\nu })=4g^{\mu \nu }$. Thus the numerator simplifies completely toFor a reduction to standard scalar integrals, disregard the vanishing infinitesimals only in the numerator. Since $D_a+D_b+D_c=3{\ell }^2+2\ell \cdot (k_1-k_2)+2{\mu }^2-3m^2$ up to those infinitesimals,Define the scalar bubble and scalar triangle Feynman integral byCancelling each denominator in turn gives two bubbles with external invariant ${\mu }^2$ and one with invariant $M^2$. ThereforeThis explicitly displays the complete gamma matrix trace simplification, the two loop orientations and the overall phase convention.

There is a renormalization qualification to this answer. For $m\ne 0$ the loop is logarithmically divergent; retaining just the unregulated four-dimensional integral would not specify a finite physical decay amplitude. To see the divergence, a Feynman parameter and a shifted loop momentum giveThe scalar triangle Feynman integral is ultraviolet finite. HenceA cubic counterterm from a Yukawa fermion triangle, ${\mathcal{L}}_{\mathrm{ct}}=-\delta h\Phi {\varphi }^2/2$, contributes $-\delta h$ to $\mathcal{M}$ and cancels the pole with $\delta h_{\mathrm{div}}=-24mG{g}^2/(16{\pi }^2\overline{ϵ})$. This is an instance of counterterm closure of a massive Yukawa theory. After subtraction the physical answer is $\mathcal{M}=-h_R+{\mathcal{M}}_{\mathrm{loop},\mathrm{ren}}$, where a renormalization condition fixes the finite cubic coupling $h_R$. The displayed interaction alone does not supply that condition. For example, setting $h_R=0$ at a specified subtraction scale defines one prescription for the loop-induced decay. The regulated expressions above remain the lowest-order loop answer without such extra data. For $m=0$ the trace, and therefore this scalar triangle contribution, vanishes identically.

Now take the Hermitian pseudoscalar Yukawa interaction with the sign printed in the PDF. Varying with respect to the Dirac adjoint gives the Dirac equationVarying with respect to $\psi$ and integrating by parts gives the adjoint Dirac equationThe factor $i$ in the coupling matters: $\bar{\psi }{\gamma }^5\psi$ is anti-Hermitian, so this factor makes the interaction Hermitian for real $G$.

For the axial-current divergence for scalar and pseudoscalar backgrounds, set $S=m+g\varphi$ and $H=G\Phi$. The two equations are equivalentlyIn the divergence of the axial current, use $\{{\gamma }^5,{\gamma }^{\mu }\}=0$ and $({\gamma }^5{)}^2=1$:ThusThis is the classical field-equation identity requested here. It includes explicit breaking by both backgrounds; it is not a claim that a renormalized quantum axial current has no chiral anomaly when gauge interactions are present.

In quantum electrodynamics, gauge invariance connects local phase freedom, electric-charge conservation and the restrictions on photon interactions. For definiteness takeThe gauge transformationhas $D_{\mu }\psi \mapsto e^{-ie\alpha }{D}_{\mu }\psi$: the derivative of the local phase cancels the added gauge potential. Also $F_{\mu \nu }$ is unchanged because mixed partial derivatives commute. Consequently every term in the Lagrangian density is invariant. This derives the minimal electromagnetic coupling of a Dirac field, including the interaction $-e\bar{\psi }{\gamma }^{\mu }\psi A_{\mu }$. A fermion mass is compatible with the symmetry, whereas a local Proca photon mass $m_{\gamma }^2{A}_{\mu }{A}^{\mu }/2$ is not.

The classical Maxwell equations are ${\partial }_{\mu }{F}^{\mu \nu }=j^{\nu }$, with $j^{\nu }=e\bar{\psi }{\gamma }^{\nu }\psi$. Taking a divergence gives ${\partial }_{\nu }{j}^{\nu }=0$ because $F^{\mu \nu }$ is antisymmetric. The same conservation law follows directly from the charged Dirac equation and its adjoint. For vanishing flux at spatial infinity, $Q=\int d^{3}x{j}^0$ is conserved. Gauss law identifies this charge with the electric flux through a surrounding surface. Particle-antiparticle creation is allowed, but its net electric charge is zero.

Local gauge invariance is also a redundancy in the potentials, rather than an extra propagating degree of freedom. The canonical momentum of $A_0$ vanishes, and its field equation enforces the Gauss law constraint in gauge theory, $\nabla \cdot \mathbf{E}=j^0$. After imposing the constraint and quotienting gauge freedom, a massless photon has two transverse physical polarizations. Gauge transformations vanishing at the boundary identify equivalent descriptions; constant phase transformations at infinity can act on charged states and generate their conserved charge. This distinction explains why gauge redundancy and electric charge are compatible.

In perturbative QED, the quadratic photon operator cannot be inverted before gauge fixing. Adding $-({\partial }_{\mu }{A}^{\mu }{)}^2/(2\xi )$ gives the covariant gauge propagatorThis propagator contains longitudinal and timelike components, but these are not external physical photon states. A Gupta-Bleuler null-state quotient, or the equivalent BRST construction, removes them. In linear Lorenz gauge, $\delta ({\partial }_{\mu }{A}^{\mu })=\square \alpha$, so the Faddeev-Popov determinant is independent of $A_{\mu }$ and the Faddeev-Popov ghost fields decouple. This last statement concerns the linear gauge; Abelian gauge groups alone do not guarantee decoupling in a nonlinear gauge condition.

At the quantum level, the vector symmetry gives a Ward identity. One way to obtain it is to change variables by a localized phase in a time-ordered correlation function containing $\psi (y)$ and $\bar{\psi }(z)$. The action variation becomes a current divergence; the two field insertions contribute opposite contact terms, since their charges are opposite. Fourier transformation turns the divergence into the photon momentum, and amputating the external fermion propagators turns the two contact terms into the difference of their inverse propagators. With the charge removed from the proper vertex and the overall propagator factor $i$ removed from its inverse, the result is the proper-vertex Ward-Takahashi identity in QEDAt tree level this is simply $k_{\mu }{\gamma }^{\mu }=(/p+/k-m)-(/p-m)$. Between on-shell external spinors, the inverse propagators vanish, so the full physical scattering amplitude satisfies $k_{\mu }{\mathcal{M}}^{\mu }=0$. Therefore replacing a photon polarization vector by ${\epsilon }_{\mu }+c{k}_{\mu }$ leaves the amplitude unchanged. The identity applies to the complete required sum of diagrams, not necessarily each diagram separately. It also ensures cancellation of the gauge parameter from physical observables when all terms at the chosen perturbative order are included.

For the photon two-point function, the Ward identity implies transverse photon vacuum polarization:Thus ultraviolet subtraction renormalizes the gauge-invariant kinetic term, rather than requiring a local photon-mass counterterm. Perturbative unbroken QED retains a massless photon. Transversality by itself would not exclude a nonlocal massless pole in a different theory; the assertion here includes the perturbative QED setting.

Taking $k\to 0$ in the proper-vertex identity gives ${\Gamma }^{\mu }(p,p)=\partial S^{-1}(p)/\partial p_{\mu }$. Matching the divergent coefficients of the derivative and vertex terms yields the Ward identity for QED renormalization constants, $Z_1=Z_2$, in a gauge-preserving prescription. If ${\psi }_0=\sqrt{Z_2}\psi$ and $A_0=\sqrt{Z_3}A$, comparison of the interaction coefficients givesHence charge renormalization is fixed by photon wave-function renormalization. Gauge invariance constrains counterterms and relates renormalizations; it does not make the electric charge independent of scale.

The Soft photon theorem gives another physical manifestation. Attaching a photon of small momentum $k$ to the external charged legs gives the leading factorwhere $Q_i$ is charge in units of $e$ and ${\eta }_i=+1$ for outgoing and $-1$ for incoming legs. Replacing $\epsilon$ by $k$ makes this factor proportional to ${\sum }_i{\eta }_i{Q}_i$, which vanishes by electric charge conservation. Massless photons also cause infrared divergences; physical inclusive measurements combine unresolved real emission with virtual corrections, rather than treating either contribution alone as an observable.

Finally, the vector gauge symmetry of a Dirac fermion in QED is anomaly-free, so it can be maintained by regularization and renormalization. This must be distinguished from the axial current: its divergence has explicit mass terms, as in Question 3, and can additionally have a quantum chiral anomaly. Conservation of the gauge current does not imply axial-current conservation. The resulting picture is that gauge invariance simultaneously organizes the physical photon states, enforces electric-charge conservation and ties together amplitudes and ultraviolet subtractions.

In units $\hslash =c=1$, the action is dimensionless and a Lagrangian density has mass dimension $d$. The kinetic term therefore gives $2+2[\varphi ]=d$. Requiring each interaction density $g_n{\varphi }^n$ to have the same dimension givesThis is engineering dimension; quantum scaling can acquire an anomalous dimension.

For a connected Feynman diagram with no derivative interactions, each independent loop integration contributes $d$ powers of momentum, and each internal scalar propagator contributes $-2$. Thus its superficial degree of divergence is $D=dL-2I$. Let $V={\sum }_n{V}_n$. A connected graph has $L=I-V+1$ independent cycles, and counting the half-edges incident on vertices gives $2I+E={\sum }_{n}n{V}_n$. Substitution proves the scalar graph power-counting identity:For a graph with $C$ connected components, the first $d$ is instead $dC$, since $L=I-V+C$. The printed expression therefore uses the usual connected-graph convention. This is the overall degree under simultaneous rescaling of all loop momenta. Subgraphs can still have ultraviolet divergences when the whole graph has $D<0$, so their counterterms must be subtracted before declaring an integral finite.

When all retained couplings have nonnegative dimension, only finitely many external-leg/derivative structures can have nonnegative degree. Positive-dimensional relevant couplings lower $D$ as vertices are added, giving superrenormalizable interactions. Zero-dimensional marginal couplings give power-counting renormalizable interactions. Negative-dimensional irrelevant couplings instead permit $D$ to grow with the number of vertices, generally requiring an unbounded list of counterterms. Such nonrenormalizable interactions can still define an effective field theory to any fixed order in a low-energy expansion.

In $d=4$, $d_n=4-n$: cubic interactions are superrenormalizable, quartic interactions are marginal and renormalizable, and powers $n\ge 5$ are nonrenormalizable. In $d=3$, $d_n=3-n/2$: cubic, quartic and quintic interactions are superrenormalizable, sixth-order interactions are marginal and renormalizable, and $n\ge 7$ are nonrenormalizable. This is a power-counting classification, not a guarantee that an odd highest-power potential is bounded below. All lower-dimensional operators allowed by the symmetries must be included when required by renormalization; for example, odd interactions can require a linear counterterm, whereas the quartic model's $\varphi \mapsto -\varphi$ symmetry excludes it.

Dimensional regularization defines convergent Euclidean loop integrals in a suitable domain of $\mathrm{Re}d$, then continues their parameter formulas meromorphically to complex $d$. The Gaussian identity supplies $(4\pi {)}^{-d/2}$ and Schwinger parameterization supplies Gamma functions such as $\Gamma (n-d/2)$. Their poles encode the ultraviolet singularities near physical dimension. Noninteger complex $d$ is an analytic regulator of amplitudes, not a literal space with a noninteger number of coordinates. Masses or nonexceptional external momenta distinguish ultraviolet poles from infrared poles; scaleless integrals vanish in this convention and can hide that distinction.

For the quartic model let $d=4-ϵ$, ${\varphi }_0=Z^{1/2}\varphi$, $m_0^2=Z_{m^2}{m}^2$ and ${\lambda }_0={\mu }^{ϵ}{Z}_{\lambda }\lambda$. In renormalized fields, the bare Lagrangian isSeparate the terms with each $Z$ equal to one from their differences. The differences are field, mass and quartic counterterms. After subtracting divergent subgraphs, the remaining ultraviolet pole of a proper graph is a local polynomial in its external momenta. In four-dimensional phi-fourth theory, power counting and reflection symmetry restrict these local terms to $(\partial \varphi {)}^2$, ${\varphi }^2$, ${\varphi }^4$ and a field-independent constant. Choosing the Laurent coefficients of the three renormalization factors recursively cancels these poles at every perturbative order. The constant vacuum term is removed by the zero-source normalization. This is an order-by-order finite renormalized expansion, not a claim of convergence of the perturbation series.

The source renormalization of a scalar generating functional follows directly from rewriting the source coupling in bare variables:A general source attached to a single elementary field needs this field renormalization; its connected correlations are the ordinary renormalized Green functions. Normalizing the path integral at $h=0$ cancels source-independent vacuum diagrams. Subject to a separate infrared/volume prescription, their source-dependent generating functional $F$ is consequently ultraviolet finite order by order. For a constant source, this statement is interpreted as a formal connected expansion or a vacuum density, not as an automatically finite total logarithm in infinite spacetime.

Changing integration variables from $\varphi$ to ${\varphi }_0$ introduces a source-independent constant Jacobian that cancels between the numerator and its normalization. The resulting normalized integral depends only on ${\lambda }_0,m_0^2,h_0$ and fixed physical boundary/volume data. ThusDefine all scale derivatives at these fixed bare quantities:In a mass-independent subtraction scheme, logarithmic differentiation of the bare relations givesThe factors contain regulator poles, but the combinations determining the physical renormalization group functions have finite limits. In particular $\hat{\beta }=-ϵ\lambda +\beta (\lambda )$ and ${\hat{\gamma }}_h=ϵ/2+{\gamma }_{\varphi }(\lambda )$. The chain rule now gives the requested equation:As a sign check, minimal subtraction gives $Z_{m^2}=1+\lambda /(16{\pi }^2ϵ)+O({\lambda }^2)$ and $Z_{\lambda }=1+3\lambda /(16{\pi }^2ϵ)+O({\lambda }^2)$, with $Z=1+O({\lambda }^2)$. Hence $\beta =3{\lambda }^2/(16{\pi }^2)+O({\lambda }^3)$, ${\gamma }_{m^2}=\lambda /(16{\pi }^2)+O({\lambda }^2)$, and ${\gamma }_{\varphi }$ starts at two loops. The positive signs agree with the tadpole subtraction and the three four-point channels.