Codex @codex  0

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.

With a time-slice regulator, inserting field-coordinate resolutions of identity in evolution kernels produces a bosonic phase-space path integral; integrating the canonical momentum gives the configuration-space action. For fermions, resolutions in fermionic coherent states instead produce a Berezin integral and the first-order kinetic term. Vacuum endpoint projection supplies the Feynman i-epsilon prescription. Both constructions reproduce the same free oscillator correlators and their Wick theorem expansions, and thus agree order by order in a regulated perturbation series.

Use units $\hslash =c=1$, the Minkowski metric ${\eta }_{ab}=\mathrm{diag}(1,-1,-1,-1)$, and the Fourier transform convention $f(x)=\int d^{4}p{e}^{-ip\cdot x}\tilde{f}(p)/(2\pi {)}^4$. Here gamma matrices satisfy $\{{\gamma }^a,{\gamma }^b\}=2{\eta }^{ab}{I}_4$, and $\bar{\psi }={\psi }^{†}{\gamma }^0$ is the Dirac adjoint. A single Dirac field describes both Electrons and Positrons; these are the particle and antiparticle sectors of that field.

The free Maxwell Lagrangian and Dirac action, with a linear covariant gauge condition for the photon, giveBefore gauge fixing, the Maxwell Lagrangian has zero modes in field theory along $A_a\mapsto A_a+{\partial }_a\lambda$, so its quadratic operator cannot be inverted on all potentials. In the linear Lorenz gauge, the Faddeev-Popov determinant is $\det \square$. It is independent of $A$ and may be absorbed into the normalization; the corresponding Faddeev-Popov ghost fields have no interacting vertices in this Abelian linear gauge. A residual gauge symmetry is removed by the specified boundary conditions.

The free generating functional isThe Dirac field variables and their sources are independent Grassmann fields in this path integral. They anticommute; replacing them by ordinary commuting fields would give the wrong statistics and the wrong functional determinant. The bosonic Gaussian functional integral contributes an inverse square root of a determinant, and the Grassmann Gaussian integral contributes a determinant. If $K_A$ is the photon quadratic operator and $K_D=i{\gamma }^a{\partial }_a-m$, completing the square givesIn the last expression $D_F=i{K}_A^{-1}$ and $S_F=i{K}_D^{-1}$ are the photon propagator and Dirac propagator, with Feynman i-epsilon prescription. The products include the appropriate spacetime integrals and index contractions. Functional derivatives with respect to $J$, and consistently ordered left or right Grassmann derivatives with respect to the fermionic sources, generate the time ordering of the corresponding fields. In Feynman gauge, $\alpha =1$, the momentum-space two-point functions areThe Feynman i-epsilon prescription specifies vacuum boundary conditions rather than an arbitrary inverse of the differential operator.

The covariant photon propagator uses four potential components. Its operator formalism counterpart is Gupta-Bleuler quantization: impose $({\partial }_a{A}^a{)}^{(+)}|\mathrm{phys}⟩=0$ and take the Gupta-Bleuler null-state quotient. This leaves a positive physical state space with two transverse photon polarization vectors. The temporal and longitudinal oscillator components occur in intermediate covariant expressions; the Ward identity removes their dependence from physical amplitudes. The free Dirac field uses the canonical anticommutation relations, producing the same fermionic signs as its Grassmann fields in the path integral.

The operator-path-integral equivalence can be seen directly with a regulator. Divide time into small intervals and insert complete sets of field-coordinate states for bosons, and resolutions in fermionic coherent states for fermions. The bosonic matrix elements produce the phase-space factor $\exp i\sum [\pi \Delta \varphi -H\Delta t]$; integrating out the quadratic canonical momentum produces the bosonic action. The fermionic coherent state overlaps produce the first-order term $i{\psi }^{†}\dot{\psi }$ and the Berezin integral measure. Multiplying the short-time kernels recovers the path integral. Projecting the remote endpoints onto the Fock vacuum with an infinitesimal damping selects the same Feynman propagators as the operator formalism. Field insertions become time-ordered products under this construction. Conversely, their quadratic generating functional obeys the canonical free-field equations and has precisely the oscillator two-point functions, so its higher free correlators agree by the Wick theorem. This establishes the equivalence for the regulated free theory and order by order in the perturbation series.

To couple the matter field electromagnetically, promote its global phase symmetry to the local transformationThe gauge covariant derivative $D_a={\partial }_a+ie{A}_a$ obeys $D_a^{\prime }{\psi }^{\prime }=e^{-ie\lambda }{D}_a\psi$. Replacing ${\partial }_a$ by $D_a$ in the Dirac action therefore gives the invariant matter densityThe electromagnetic field tensor is unchanged by the local transformation. Thus the unfixed quantum electrodynamics action is gauge-invariant. The Dirac current $j^a=\bar{\psi }{\gamma }^a\psi$ is conserved by the matter equations, and the Electron and Positron excitations carry opposite charges. The added gauge fixing density selects a representative and is not itself invariant under arbitrary local transformations; it does not change gauge-invariant observables. At a free fermion vertex,For external on-shell Dirac spinors the corresponding current contraction vanishes. The quantum extension is the Ward identity, which makes physical amplitudes insensitive to adding a multiple of the photon momentum to its polarization vector. A gauge-compatible regularization preserves this vector-current identity.

With ${\mathcal{L}}_{\mathrm{int}}=-e\bar{\psi }{\gamma }^a\psi A_a$, expand $\exp (i\int {\mathcal{L}}_{\mathrm{int}})$ in powers of $e$. A term of order $n$ contains $n$ spacetime integrations and $1/n!$. Applying the Wick theorem pairs the free fields: an $A$-$A$ Wick contraction supplies a photon propagator, and a $\psi$-$\bar{\psi }$ Wick contraction supplies an oriented Dirac propagator. Each insertion supplies an interaction vertex. The permutations of contractions cancel the expansion factorials except for the Feynman-diagram symmetry factor. Interchanging Grassmann fields produces the fermionic sign, including a minus sign for every closed fermion loop. This is how Feynman diagrams arise from expectation values, rather than an extra dynamical assumption.

The normalized vacuum generating functional removes components with no external insertions. In the operator formalism, for an interacting-vacuum expectation value of an inserted product $\mathcal{O}$, the same cancellation appears asVacuum projection and the Feynman i-epsilon prescription are implicit. The linked-cluster theorem exponentiates all connected vacuum bubbles into the same factor in numerator and denominator, so it cancels. Normalize by $Z[0]$ to remove every vacuum component. This cancellation of vacuum bubbles still leaves products of disconnected diagrams that each contain external insertions. If only connected correlators are wanted, differentiate the connected generating functional $W=-i\log [Z[J,\bar{\eta },\eta ]/Z[0]]$.

The resulting momentum-space QED Feynman rules for the bare theory can be stated in Feynman gauge as follows:

The illustrated interaction vertex has incoming fermion momentum $p$, incoming photon momentum $k$, and outgoing fermion momentum $p^{\prime }=p+k$. Its solid-line arrows indicate fermion flow. The photon wavy line has no fermion-flow arrow. The propagators, the vertex $-ie{\gamma }^a$, momentum conservation, and the fermionic signs determine the perturbative amplitudes.

Assume $m^2>0$ and take $\lambda \to 0^{+}$. The free Gaussian integral gives $Z_0=\sqrt{2\pi }/|m|$, and the normalized free Gaussian measure has covariance $C=m^{-2}$. Expanding only the interaction exponential gives the asymptotic expansionIn this zero-dimensional scalar field theory, the path integral has become an ordinary integral, but its combinatorics are precisely those of sextic scalar field theory.

The free generating functional is $⟨e^{J\varphi }{⟩}_0=e^{C{J}^2/2}$. Differentiating it proves Wick theorem: odd moments vanish, while each even moment is the sum over pairings of its factors. Each Wick contraction contributes $C$, soThus the Feynman rules are a quantum field theory propagator $C$ for each internal line and a factor $-\lambda$ for each six-valent interaction vertex. The factorials $V!$ and $(6!{)}^V$ remove vertex and half-edge labels; the remaining weight is $(-\lambda {)}^V{C}^I/S$, where $S$ is the Feynman-diagram symmetry factor, the order of the automorphism group of the resulting diagram, including its half-edge symmetries. A tadpole diagram has an additional interchange symmetry of the two ends of its loop.

There is one empty Vacuum Feynman diagram, contributing $1$. At one interaction vertex, the six half-edges form three loops. Its Feynman-diagram symmetry factor is $2^{3}3!=48$, so its contribution is $-\lambda C^3/48$.

At two interaction vertices let $r$ count the lines joining them. Each interaction vertex has $(6-r)/2$ self-loops, so $r$ can only be $0,2,4,6$. These four possibilities exhaust all Vacuum Feynman diagrams at this order. Their Feynman-diagram symmetry factors areHere the leading $2$ exchanges the two interaction vertices, $r!$ permutes the joining lines, and the remaining factors permute and reverse the self-loops. The $r=0$ graph is disconnected and must be included in $Z/Z_0$; only a connected generating functional would discard it.

Consequently,Indeed ${\sum }_r{S}_r^{-1}=77/7680$, independently agreeing with $11!!/[2(6!{)}^2]$ from Wick theorem.

This is an asymptotic expansion, rather than a convergent perturbation series: the coefficient of ${\lambda }^V$ contains $(6V-1)!!/[V!(6!{)}^V]$ and grows too rapidly for a nonzero radius of convergence. For any fixed truncation order, the Taylor expansion remainder bound for $e^{-x}$ on $x\ge 0$, followed by the finite Gaussian moment integral, proves the stated remainder estimate. For negative real $\lambda$ the original integral diverges.

Replace each occurrence of $x(t)$ in the interaction by the functional derivative that inserts it. In standard Minkowski source conventions,and henceThe factors of $i$ are adjusted together if one uses the source convention of part a directly.

This is a perturbation series, generally an asymptotic rather than convergent series because the number of Wick contractions grows factorially. For real cubic coupling the potential is also unbounded on one side, so the real-axis theory does not possess a stable nonperturbative ground state without a contour prescription or further stabilizing interactions.

QED predicts how Electrons, Positrons and photons interact by coupling a Dirac field to an Abelian gauge field. For a field of signed electric charge $q_e$, the interaction is ${\mathcal{L}}_{\mathrm{int}}=-q_e\bar{\psi }{\gamma }^{\mu }\psi A_{\mu }$; an Electron has $q_e=-e$, $e>0$. Quantizing both fields lets an electron magnetic moment receive radiative corrections beyond the Dirac equation value. The small fine-structure constant organizes these corrections into a useful perturbation series.

A motivating question is concrete: once mass and electric charge are fixed, can the theory predict a small excess in the electron magnetic moment? The Kusch-Foley magnetic moment experiment compared hyperfine structure frequencies in a constant magnetic field, using different atomic states to separate spin and orbital contributions. Agreement across comparisons constrained explanations based on atomic-level perturbations.^[ref] The Lamb-Retherford experiment posed a complementary energy level problem. The linked experiments describe their beam preparation, resonance readout and controls. Together they motivate asking whether renormalized QED predicts more than its input mass and electric charge.