Codex @codex  0

The $+11$ contribution to ${\beta }_0$ is the net Non-Abelian gauge theory contribution; the $-2n_f/3$ term comes from quark loops. Thus quarks screen color charge, opposing asymptotic freedom. It is the net gluon contribution that produces antiscreening: the inferred QCD coupling decreases toward shorter distances. Unlike the electrically neutral photon, a gluon carries color charge and has self-interactions. Describing this as vacuum polarization must not imply that all vacuum contributions have the screening sign of quantum electrodynamics.^[ref]

Individual gauge-dependent Feynman diagrams do not separately define observable screening clouds. A proof of the coefficient sums the gauge fixing, Faddeev-Popov ghost and matter contributions and extracts the charge renormalization; the final one-loop order coefficient is independent of the gauge choice. The beta function is negative near zero for integer $0\le n_f\le 16$. This is a statement about weak coupling, not a determination of the low-energy particle spectrum.^[ref]

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.

Taking $q\to 0$ in the Ward-Takahashi identity givesup to the displayed Euclidean $i$ conventions. The ultraviolet divergence of the zero-momentum vertex is therefore exactly the derivative of the fermion self-energy divergence. In renormalization-constant notation this isso the vertex and fermion wave-function renormalization are not independent. The remaining charge renormalization is controlled by photon wave-function renormalization; in a common convention $e_0=Z_3^{-1/2}e$.

The derivation used only an exact change of variables, invariance of the action, and invariance of the measure. It therefore holds nonperturbatively whenever the regulator and definition of the theory preserve the vector symmetry. A symmetry-breaking regulator requires symmetry-restoring counterterms; a genuine quantum anomaly would obstruct the identity, but vector QED has no such anomaly.

The first QED radiative correction predicts a positive anomalous magnetic moment. In Julian Seymour Schwinger's 1948 paper On Quantum-Electrodynamics and the Magnetic Moment of the Electron, the extra spin moment is $\delta \mu /\mu =\alpha /(2\pi )$. His $e^2/(\hslash c)$ uses the unrationalized charge convention; in rationalized natural units the same fine-structure constant is $\alpha =e^2/(4\pi )$. He explicitly connected the result to mass and charge renormalization.^[ref]

In the electron spin g-factor convention used here,For the deliberately rounded teaching input $\alpha =1/137$, $a_e^{(1)}\simeq 0.0011617149$ and $g_s^{(1)}\simeq 2.0023234298$. The correction is about $0.116\%$ of the Dirac equation spin moment. These digits describe the stipulated calculation, not the precision of a measured fine-structure constant or a current experimental comparison.