Modern Physics · Advanced Topics

Introduction to Quantum Field Theory

Quantum field theory (QFT) unifies quantum mechanics with special relativity. Fields replace particles as the fundamental objects; particles are quanta of the field. QFT underlies the Standard Model and is the most precisely tested theory in physics.

PrerequisitesQuantummechanics(Ch.20)Specialrelativity(Ch.19)Lagrangianmechanics(Ch.LA)Quantum mechanics (Ch. 20) \cdot Special relativity (Ch. 19) \cdot Lagrangian mechanics (Ch. LA) \cdot Complex analysis (Ch. CA)
Learning Goals
  • Quantize the real scalar field using canonical commutation relations and interpret particle states as field quanta.
  • Derive the Dirac equation from the requirement of a first-order relativistic wave equation and identify its predictions.
  • WritetheQEDLagrangian,derivetheFeynmanrules,andcomputethetreeleveleμscatteWrite the QED Lagrangian, derive the Feynman rules, and compute the tree-level e^{-}\mu^{-} scattering amplitude.
  • Explain dimensional regularization and the renormalization procedure for absorbing UV divergences in QED.
  • Interpret the beta function and describe asymptotic freedom in QCD versus the Landau pole in QED.

QF.1 From Particles to Fields

In non-relativistic quantum mechanics, a single particle is described by a wavefunction ψ(x,t). But in relativistic theory, particle number is not conserved — a high-energy collision can create particle-antiparticle pairs. We need a formalism that allows for variable particle number.

The solution: quantize the field itself. Just as the harmonic oscillator is quantized by replacing x and p with operators satisfying [x̂, p̂] = iℏ, we quantize the field φ(x,t) by imposing canonical commutation relations:

[\phî(x,t), \pî(y,t)] = i\hbar \delta^{3}(x-y) \qquad (canonical commutation relations for fields)(QF.1)

where π(x,t) = ∂L/∂(∂φ/∂t) is the conjugate momentum density. This promotes the classical field to an operator-valued distribution.

QF.2 The Klein-Gordon Field

The simplest relativistic field: a real scalar field φ(x,t) with Lagrangian density:

L=12(μϕ)(μϕ)12m2ϕ2(KleinGordonLagrangiandensity)L = \frac{1}{2}(\partial_\mu \phi)(\partial^\mu \phi) - \frac{1}{2}m^{2}\phi^{2} \qquad (Klein-Gordon Lagrangian density)(QF.2)

The Euler-Lagrange equations give the Klein-Gordon equation:

(+m2)ϕ=0where=2/\partialt22(dAlembertian)(\Box + m^{2})\phi = 0 \qquad where \Box = \partial^{2}/\partialt^{2} - \nabla^{2} (d'Alembertian)(QF.3)

This is the relativistic wave equation for a spin-0 particle of mass m (in natural units ℏ = c = 1). The dispersion relation: E² = p² + m², i.e., E = √(p² + m²).

Expanding in Fourier modes — each mode is a harmonic oscillator:

\phî(x) = \int d^{3}p/(2\pi)^{3} \times 1/\sqrt(2E_p) \times [â_p e^{ip\cdotx} + â^\dagger_p e^{-ip\cdotx}](QF.4)

where â_p and â†_p are annihilation and creation operators satisfying [â_p, â†_q] = (2π)³ δ³(p−q). The vacuum |0⟩ is the state with â_p|0⟩ = 0 for all p. A single particle of momentum p is: |p⟩ = √(2E_p) â†_p |0⟩.

Definition QF.1Normal Ordering and Vacuum Energy
TheHamiltoniancontainsasumoverzeropointenergies:H=d3p/(2π)3×Ep×(a^pa^pThe Hamiltonian contains a sum over zero-point energies: H = \int d^{3}p/(2\pi)^{3} \times E_{p} \times (â^\dagger_p â_p + ½). The ½ per mode gives a formally infinite vacuum energy — the first encounter with the ultraviolet divergences of QFT.Normal ordering :O: places allcreationoperatorsleftofannihilationoperators,droppingthezeropointenergy::H:=l creation operators left of annihilation operators, dropping the zero-point energy: :H: = Ep×a^pa^p.Physicalobservablesaremeasuredrelativetothevacuum,sothissubtractE_{p} \times â^\dagger_p â_p. Physical observables are measured relative to the vacuum, so this subtracton is physically motivated (though the cosmological constant problem shows it's subtle).

QF.3 The Dirac Field

Spin-½ particles require the Dirac equation. Dirac sought a first-order (in time) relativistic wave equation:

(iγμμm)ψ=0(Diracequation)(i\gamma^\mu \partial_\mu - m)\psi = 0 \qquad (Dirac equation)(QF.5)

where γ^μ are 4×4 gamma matrices satisfying the Clifford algebra{γ^μ, γ^ν} = 2g^(μν)I. The Dirac spinor ψ has 4 components — two spin states each for particle and antiparticle.

The Dirac equation automatically predicts:

1. Spin-½: the spinor structure gives s = ½ with g-factor g = 2 (QED corrects this to g = 2.00231930436..., the most precise prediction in physics).

2. Antiparticles: the negative-energy solutions, reinterpreted via Dirac sea or QFT, give the positron (Anderson, 1932 — first antiparticle detected).

3. Spin-statistics theorem: Dirac fields must be quantized with anticommutators {ψ, ψ†} = δ³(x−y), giving the Pauli exclusion principle. Scalar fields use commutators (Bose-Einstein statistics).

QF.4 Interaction and Feynman Diagrams

Interacting field theories add terms to the Lagrangian. For QED (quantum electrodynamics):

L_{QED} = \psī(i\gamma^\mu D_\mu - m)\psi - \frac{1}{4}F_\mu\nu F^\mu\nu \qquad where D_\mu = \partial_\mu + ieA_\mu(QF.6)

The covariant derivative D_μ introduces the interaction: the electron (ψ) couples to the photon field (A_μ) with coupling constant e. This is the minimal coupling principle — replacing ∂_μ with D_μ is gauge invariance in action.

Perturbation theory in powers of the fine structure constant α = e²/(4π) ≈ 1/137 generates Feynman diagrams. Each diagram is a term in the perturbation series for the scattering amplitude M:

— Electron propagator: iS_F(p) = i(p̸ + m)/(p² − m² + iε) (Feynman propagator)

— Photon propagator: iD_F^μν = −ig^μν/(k² + iε) (in Feynman gauge)

— Vertex: ieγ^μ (from L_int = −eψ̄γ^μ ψ A_μ)

Example QF.1Electron-Muon Scattering (Tree Level)

ComputetheleadingorderamplitudeforeμeμscatteringviaphotonexchangeCompute the leading-order amplitude for e^{-}\mu^{-} \to e^{-}\mu^{-} scattering via photon exchange.

Diagram:One photon exchanged (t-channel): onevertexonelectronline,oneonmuonline,connectedbyphotonpropagator.ThisisO(αone vertex on electron line, one on muon line, connected by photon propagator. This is O(\alpha 4πα4\pi\alpha
Amplitude:M=(uˉ(p3)(ieγμ)u(p1))×(igμν/(q2))×(uˉ(p4)(ieγν)u(p2))whereq=p1p3istM = (ū(p_{3})(-ie \gamma^\mu) u(p_{1})) \times (-ig_\mu\nu/(q^{2})) \times (ū(p_{4})(-ie \gamma^\nu) u(p_{2})) where q = p_{1} - p_{3} is the momentum transfer.
Simplify:M=ie2(uˉ(p3)γμu(p1))(uˉ(p4)γμu(p2))/q2M = ie^{2}(ū(p_{3})\gamma^\mu u(p_{1}))(ū(p_{4})\gamma_\mu u(p_{2}))/q^{2}
Cross section:|M|^{2} averaged/summed over spins using trace techniques: Tr[(p̸_{1}+m)\gamma^\mu(p̸_{3}+m)\gamma^\nu] \times \cdots Theresult gives the Mott scattering cross section, reducing to Rutherford at low energy.
QED precision:Higherordercorrections(loops)giveα/π0.23Higher-order corrections (loops) give \alpha/\pi \approx 0.23% corrections. QED predictions tested to 10 significant figures — no other theory matches this precision.

QF.5 Renormalization

Loop diagrams in QFT contain integrals over all momenta that diverge in the ultraviolet (high k → ∞). This is not a disaster — it means the theory requires a cutoffΛ (the scale where new physics enters), and physical quantities must be expressed in terms of measured (renormalized) parameters, not bare (divergent) ones.

Renormalization procedure:(1) Regularize: dim-reg replaces d⁴k with d^(4−ε)k, turning ∞ into 1/ε poles. (2) Absorb divergences into counterterms: δm, δZ, δe. (3) Fix counterterms by renormalization conditions (measured mass, charge at some scale μ). (4) Predict everything else — finite, unambiguous.

A theory is renormalizable if only finitely many counterterms are needed. QED, QCD, and the electroweak theory are all renormalizable (proved by 't Hooft, 1971 — Nobel Prize 1999). Gravity is non-renormalizable — this is why quantum gravity is hard.

Theorem QF.1Running Coupling Constants
Renormalizationintroducesascaleμ;physicalpredictionsmustbeμindependent.ThisgivRenormalization introduces a scale \mu; physical predictions must be \mu-independent. This gives the renormalization group equation:μdα/dμ=β(α)(betafunction\mu d\alpha/d\mu = \beta(\alpha) \qquad (beta functionInQED:β(α)=+2α2/(3π)+>0couplinggrowsathighenergy(LandaupoleatunreachIn QED: \beta(\alpha) = +2\alpha^{2}/(3\pi) + \cdots > 0 — coupling grows at high energy (Landau pole at unreachablyhighscale).InQCD:β(g)=(112nf/3)g3/(16π2)<0fornf<16couplingshrinksably high scale). In QCD: \beta(g) = -(11-2n_f/3)g^{3}/(16\pi^{2}) < 0 for n_{f} < 16 — coupling shrinks at high energy (asymptotic freedom, Nobel2004).Unification:α1,α2,α3allmeetat 1016GeVinsupersymmetricextensionsNobel 2004). Unification: \alpha_{1}, \alpha_{2}, \alpha_{3} all meet at ~10^{16} GeV in supersymmetric extensions —int of grand unification.

QF.6 Path Integrals

Feynman's path integral formulation provides an elegant route to QFT. The vacuum-to-vacuum amplitude (generating functional):

Z[J]=Dϕexp(i\intd4x(L+Jϕ))(pathintegral/generatingfunctional)Z[J] = \int D\phi exp(i \intd^{4}x (L + J\phi)) \qquad (path integral / generating functional)(QF.7)

All correlation functions follow by functional differentiation: ⟨φ(x₁)...φ(xₙ)⟩ = (−i)^n δ^n Z/δJ(x₁)...δJ(xₙ)|_(J=0). For a free field, Z is a Gaussian integral — exactly computable. Interactions are treated perturbatively by expanding e^(iL_int) and applying Wick's theorem to evaluate the Gaussian integrals — reproducing Feynman diagrams.

In Euclidean space (t → −iτ), the path integral Z = ∫Dφ e^(−S_E) resembles a partition function in statistical mechanics with S_E playing the role of βH. This QFT ↔ stat mech correspondence is deep: phase transitions and critical phenomena are described by the same renormalization group as QFT.

Definition QF.2Common Traps
  • Fields are primary in QFT: particles are excitations of fields.
  • Gauge choice is not physics: observables must be gauge invariant.
  • Renormalization tracks scale dependence: infinities are handled by measured parameters and running couplings.
  • Vacuum is not empty: it is the lowest-energy field state with fluctuations.
Exercises — QF.1–QF.6 Quantum Field Theory
1.Showthattheplanewaveϕ=eip\cdotxsatisfiestheKleinGordonequationifandonlyifShow that the plane wave \phi = e^{-ip\cdotx} satisfies the Klein-Gordon equation if and only if E2=p2+m2.WhatisthenonrelativisticlimitE^{2} = |p|^{2} + m^{2}. What is the non-relativistic limit
Straightforward
2.
DerivetheCasimirforcebetweentwoparallelplatesseparatedbydistancea=1\mum.WhatDerive the Casimir force between two parallel plates separated by distance a = 1 \mum. What is the force per unit area? How is this related to zero-point energy?
Pa
Intermediate
3.AnalyzethespontaneoussymmetrybreakingforV(ϕ)=μ2ϕ2/2+λϕ4/4.FindthevacuumexpeAnalyze the spontaneous symmetry breaking for V(\phi) = -\mu^{2}\phi^{2}/2 + \lambda\phi^{4}/4. Find the vacuum expectation value, the mass of the Higgs-like mode, and identify the Goldstone boson.
Intermediate
4.
Explain why the electron's g-factordiffersfrom2inQED.Whatdiagramcontributesatlowestorder?Whyistheresultg/2=r differs from 2 in QED. What diagram contributes at lowest order? Why is the result g/2 =reatest triumph of theoretical physics?
Challenging
Key Takeaways
  • QFT quantizes fields, not particles. Particles are quanta of field modes. Variable particle number arises naturally.
  • KleinGordon:(+m2)ϕ=0forspin0.Dirac:(iγμμm)ψ=0forspin12.BothfollowfromKlein-Gordon: (\Box+m^{2})\phi = 0 for spin-0. Dirac: (i\gamma^\mu\partial_\mu-m)\psi = 0 for spin-\frac{1}{2}. Both follow from relativistic Lagrangians.
  • Spinstatisticstheorem:integerspinbosons(commutators),halfintegerfermions(antSpin-statistics theorem: integer spin \to bosons (commutators), half-integer \to fermions (anticommutators).
  • Feynmanrules:propagators,vertices,andloopintegralsfromtheLagrangian.Treelevel=Feynman rules: propagators, vertices, and loop integrals from the Lagrangian. Tree level = classical limit.
  • Renormalization: absorb UV divergences into measured parameters. QED, QCD, electroweak all renormalizable.
  • Runningcouplings:QEDαgrows(Landaupole);QCDαsshrinks(asymptoticfreedom).βfuncRunning couplings: QED \alpha grows (Landau pole); QCD \alpha_s shrinks (asymptotic freedom). \beta function governs the flow.
  • Pathintegrals:Z[J]=\intDϕeiS+iJϕ.QFTstatmech:Euclideanpathintegral=partitioPath integrals: Z[J] = \intD\phi e^{iS+iJ\phi}. QFT ↔ stat mech: Euclidean path integral = partition function.