The Physics Travel Guide

Quantum Electrodynamics

Prerequisites: Canonical Quantum Field Theory, Dirac Equation, Gauge Symmetry. Full path (32 pages)

Best explanations

 L=Ψˉ(iγμ∂μ+qγμAμ−m)Ψ+116πFαβFαβ\ L = \bar {\Psi}(i \gamma^{\mu }\partial_{\mu} + q\gamma^{\mu}A_{\mu} - m)\Psi + \frac{1}{16 \pi}F_{\alpha \beta}F^{\alpha \beta}

see also Standard Model of Particle Physics and Classical Electrodynamics

Intuitive

Quantum electrodynamics is the correct model of electromagnetic interactions. It is a model in the framework of quantum field theory.


Concrete

Quantum electrodynamics is a quantum field theory of electrodynamics. At its heart is a gauge symmetry called local U(1)U(1) symmetry.

In practice, we use quantum electrodynamics to describe electrodynamical interactions between charged particles through elementary particles called photons.

Photons are the fundamental excitations of the electrodynamic field.

There are two frameworks to calculate things in quantum electrodynamics: either using Feynman diagrams (= the Hamiltonian framework) or using path integrals (= the Lagrangian framework).


See also https://en.wikipedia.org/wiki/Quantum_electrodynamics#Mathematics

The best resource for the correct Feynman rules of QED is A resource for signs and Feynman diagrams of the Standard Model by Jorge C. Romao. The thing is that there are many different conventions and these authors develop a notation that allows us to map them all onto each other.


Recommended Resources

Abstract

Additional Conserved Charge

In addition, to the usual electrical charge, which is conserved due to the global U(1)U(1) symmetry, there is an additional topological charge.

This follows from the homogeneous Maxwell equations

∂μF~μν=0\partial_\mu \tilde{F}^{\mu \nu} =0

which follow "trivially" from the definition of the dual field strength tensor F~μν=ϵμνσρFσρ.\tilde{F}^{\mu \nu} = \epsilon^{\mu \nu \sigma \rho} F_{\sigma \rho}. (They are simply the Bianchi idenities.)

They homogeneous Maxwell equations express a conserved current equation for each component ν\nu. For example, for ν=1\nu=1, we have

∂μF~μ1=0↔∂μjμ=0,\partial_\mu \tilde{F}^{\mu 1} =0 \quad \leftrightarrow \quad \partial_\mu j^\mu =0 ,

where I have defined jμ≡F~μ1j^\mu \equiv \tilde{F}^{\mu 1}.

When we have a conserved current, we have a conserved charge thanks to Gauss' theorem:

Q≡∫Vdx3j0 with∂0Q=0.Q \equiv \int_V dx^3 j^0 \quad \text{ with} \quad \partial_0 Q =0 .

This charge generates an additional global symmetry.

The conserved charge is the magnetic flux associated to the U(1) gauge symmetry.David Tong page 169

Formulated differently:

[It] measures the magnetic flux of a line operator H(C)H(C) (the "`t Hooft line operator") which is supported on a line CC which links the S2S^2. It corresponds to the worldline of a probe magnetic monopole, and QQ measures the magnetic flux of the monopole in the same way that ∫S2⋆F\int_{S^2} \star F measures the electric flux on the worldline of an electric charge. These are called 1-form global symmetries, because the charged operators are supported on lines.

The same story goes through in any dimension d>2d>2. We obtain a (d−3)(d-3)-form global symmetry, meaning the charged operators are supported on (d−3)(d-3)-manifolds which link a 2-sphere over which we measure the charge ∫S2F\int_{S^2} F.

In 3 dimensions, j=⋆Fj=\star F is a 1-form, so this is an ordinary global symmetry. The 't Hooft operators are pointlike magnetic monopole operators, whose charge is again the magnetic flux.https://physics.stackexchange.com/a/391273/37286


Recommended Resources

Experimental Tests

Why is it interesting?

Quantum electrodynamics (QED) is the best theory of electromagnetic interactions that we have.

It's a crucial part of the standard model and accurately describes how elementary particles like electrons interact with each other and with light.

In addition, it's one of the best-tested theories in the history of science and so far, passed all precision tests.

Electromagnetic interactions are responsible for the attraction between electrons and protons. This way they are responsible for the stability of atoms.

History

Path to this page

  1. Calculus
  2. Imaginary Numbers
  3. Linear Algebra
  4. Functional
  5. Group Theory
  6. Hilbert Space
  7. Legendre Transformation
  8. Newton's Second Law
  9. Vector Calculus
  10. Coulomb's law
  11. Lie Groups
  12. Newtonian Mechanics
  13. Symmetry
  14. Variational Calculus
  15. Configuration Space
  16. Euler-Lagrange Equations
  17. Maxwell Equations
  18. SO(3)
  19. Special Relativity
  20. Lagrangian Formalism
  21. Lorentz Group
  22. Phase Space
  23. SU(2)
  24. Classical Field Theory
  25. Gauge Symmetry
  26. Hamiltonian Formalism
  27. Spinors
  28. Schrödinger Equation
  29. Canonical Quantum Mechanics
  30. Klein-Gordon Equation
  31. Canonical Quantum Field Theory
  32. Dirac Equation

Leads to: Schwinger Model.