Quantum Chromodynamics
Quantum Chromodynamics (QCD) is the relativistic quantum field theory of quarks and gluons — the gauge theory of the strong interaction. Like QED, it is obtained by specializing the general postulates of Quantum Field Theory with three additional inputs: a choice of field content, a gauge symmetry, and the renormalizable Lagrangian uniquely determined by these together with Lorentz and discrete-symmetry invariance.
The single structural change relative to QED — replacing the abelian gauge group by the non-abelian — has profound consequences:
- Gluons self-interact (3- and 4-gluon vertices appear automatically from gauge invariance), unlike photons.
- The running coupling decreases at high energy: asymptotic freedom.
- At low energy the coupling becomes strong and quarks/gluons are not asymptotic states: color confinement.
- Faddeev–Popov ghosts do not decouple — they are required for unitarity in covariant gauges.
These three facts make QCD qualitatively different from QED at both the perturbative and non-perturbative level, despite the formal similarity of the Lagrangians.
What QCD Describes Physically: The Strong Force
QCD is the modern theory of the strong force (strong interaction), one of the four fundamental forces alongside electromagnetism, the weak interaction, and gravity. The strong force is responsible for two phenomena that look quite different at first glance:
- Fundamental level — binding quarks into hadrons. Quarks carry color charge (3 values: red, green, blue — labels, no relation to optics) and interact by exchanging gluons, the strong-force analogue of the photon. Unlike photons, gluons themselves carry color (8 of them, in the adjoint of ) and so interact with each other. The only physical states are color-singlet combinations: mesons (), baryons (), glueballs, etc. — isolated quarks and gluons have never been observed, a non-perturbative phenomenon called confinement (see §Confinement).
- Residual level — binding nucleons into nuclei. Protons and neutrons are themselves color-singlets, so the force holding them together inside a nucleus is a residual effect of QCD, analogous to van der Waals forces between neutral atoms. At the nucleon level it is well-described by the Yukawa exchange of mesons (Yukawa, 1935): primarily pions () and heavier mesons (). The resulting nucleon–nucleon potential is short-range (range ), attractive at moderate distances, repulsive at very short ones. This is the original "nuclear force" of pre-quark-era nuclear physics, now understood as an emergent low-energy consequence of the deeper QCD dynamics below.
Why "strong"?
The four fundamental couplings, at low energy:
| Force | Coupling | Approximate value |
|---|---|---|
| Strong | at , at | |
| Electromagnetic | ||
| Weak | ||
| Gravitational |
So at hadronic energies the strong force is genuinely the strongest — by an order of magnitude over electromagnetism, six orders over the weak interaction, and an astronomical 38 orders over gravity between elementary particles. Asymptotic freedom (Step 5) is what tames it at short distances: decreases with energy, so the force gets weaker at higher energies — the opposite of the everyday intuition that pulling things apart costs more energy.
Why most mass is QCD
One of QCD's most striking qualitative predictions, often missed in introductory treatments: only of the proton's mass comes from the Higgs mechanism. The up-quark and down-quark masses (Higgs-generated) total roughly — about of the proton mass . The remaining is dynamically generated by QCD: it is the energy stored in the gluon field and in quark kinetic motion confined inside the proton, related to the dimensional-transmutation scale (Step 5).
This is why almost all the mass of ordinary matter (atoms, you, this document) is QCD-binding energy, not Higgs-generated rest mass. The Higgs is essential for most particle masses (electron, muon, , individual quarks), but the bulk of baryonic matter mass is the strong force at work. Lattice QCD computations confirm this ab initio: the entire light-hadron spectrum (proton, neutron, pion, kaon, ...) emerges from a Lagrangian whose only inputs are and the small quark masses, with no further mass parameter.
Short historical lineage
The strong force was named long before QCD existed:
- Yukawa (1935) — postulated a massive scalar mediator of the nuclear force, predicting the pion (, discovered 1947).
- Particle zoo (1950s–60s) — proliferation of hadrons (mesons, baryons, resonances) at accelerators suggested they were composite.
- Quark model (Gell-Mann, Zweig, 1964) — hadrons organized into multiplets of an approximate flavor symmetry, postulated to arise from three quark "building blocks" .
- Color (Han–Nambu, Greenberg, 1965) — extra quantum number needed for the baryon to be antisymmetric under fermion exchange.
- Asymptotic freedom (Gross–Wilczek, Politzer, 1973) — gauge with quarks in the fundamental representation produces a negative -function. Settled QCD as the theory of the strong force, Nobel Prize 2004.
- Confirmation (1970s–present) — deep inelastic scattering at SLAC (partons, late 1960s); the 3-jet event at PETRA (gluons, 1979); precision QCD at LEP, Tevatron, and the LHC.
The "strong interaction" label predates the field-theoretic understanding by 40 years; the modern view is that the strong force is the gauge interaction of QCD, and everything else (nuclear binding, mesons, hadron spectroscopy) is an emergent consequence.
Companion presentation. This document picks up where Modern Foundations — Wigner–Weinberg derivation ends: the latter shows in §5.2 (and its Generalization callout) that any set of massless spin-1 particles forming a multiplet under an internal symmetry forces the Yang–Mills structure as a theorem of Lorentz consistency. Here we go the opposite direction — postulate as the gauge group and derive the resulting massless adjoint multiplet of gluons — and then proceed to the full Lagrangian, quantization, renormalization, and qualitative consequences (asymptotic freedom, confinement). See §Equivalent framings in Step 2 for the precise correspondence.
Following the tag convention of foundations-modern.md, each step below is labelled (Empirical input), (Postulate), (Theorem), or (Standard machinery) so the assumption budget on top of the QFT postulates is transparent.
Derivation of QCD from QFT
QCD inherits all postulates of QFT (see Postulates of QFT). The chain of choices that turns the generic QFT framework into QCD parallels the QED derivation.
Step 1 — Specify the Field Content (Empirical input; specializes QFT Postulate 4)
QCD postulates two fundamental field types:
- Quark fields — Dirac spinors carrying a color index (transforming in the fundamental representation of ) and a flavor index . Each quark flavor has its own mass .
- Gluon fields , — eight real vector fields, one for each generator of , transforming in the adjoint representation .
By the spin–statistics theorem (QFT Postulate 7), quarks are quantized with anticommutators and gluons with commutators.
Color vs. flavor. Color is the gauge symmetry — it is local and is the dynamical content of the theory. Flavor (which distinguishes up/down/strange/...) is a global approximate symmetry, broken explicitly by the different quark masses. The quark flavors are not related by any gauge transformation; they are different species, each with its own mass parameter.
Step 2 — Postulate a Local Gauge Symmetry (Postulate)
The genuinely new ingredient is local non-abelian gauge invariance:
where , the are the eight Hermitian generators of in the fundamental representation (often written with the Gell-Mann matrices), and is the matrix-valued gauge field. The generators satisfy the Lie algebra (see group-theory.md):
with totally antisymmetric structure constants .
The covariant derivative on a quark field is
and the non-abelian field strength is
The last term is the crucial difference from QED: is not gauge-invariant by itself — it transforms covariantly, — and the gauge-invariant kinetic term contains and pieces, giving gluon self-interactions.
Local has two immediate consequences:
- Gluons must be massless ( is not gauge-invariant).
- The way quarks couple to gluons is uniquely fixed by the covariant derivative; in addition, the gauge group itself dictates 3-gluon and 4-gluon vertices.
Equivalent framings. Postulating local gauge invariance and deriving an octet of massless gluons (this doc) is logically equivalent to postulating eight massless spin-1 species transforming in the adjoint of and deriving the Yang–Mills self-coupling structure from Lorentz consistency — the route sketched in the Generalization callout of foundations-modern.md §5.2. The two are the same theory viewed from opposite ends. As with QED, this document picks the gauge-symmetry-first framing because it generalizes uniformly to any compact Lie group (electroweak , GUTs, etc.) and exposes the non-abelian structure constants as the cause of gluon self-interaction rather than as an accident.
Step 3 — Build the Lagrangian (Theorem; specializes QFT Postulate 9)
The most general Lagrangian density that is
- Lorentz-invariant,
- gauge-invariant under local ,
- -, -, and -invariant (the -term below is a parity-odd exception, see caveats),
- renormalizable (operators of mass dimension ),
- built only from , , , and their derivatives,
is uniquely
with the covariant derivative and field strength given in Step 2. The free parameters are the strong coupling (equivalently ) and the quark masses .
Expanding in powers of exposes the new vertices absent in QED:
Renormalizability rules out higher-dimension operators such as (dim 6) and (chromomagnetic Pauli term, dim 5). The hypothetical -violating term
is allowed by all symmetries and renormalizability and — unlike the analogous term in QED — is not a total derivative in the non-abelian case (it contributes via instantons). The experimental smallness of the neutron electric dipole moment forces , the unexplained strong CP problem (see Caveats).
The classical equations of motion are the Dirac equation in a color background and the non-abelian Maxwell (Yang–Mills) equations with a color current:
where is the gauge-covariant divergence.
Step 4 — Quantize (Standard machinery)
The fields are promoted to operators following the standard QFT machinery, with one important wrinkle absent in QED.
Canonical quantization proceeds as for QED, but resolving the primary constraint in covariant gauges requires the Faddeev–Popov procedure. The most useful presentation is the path integral:
with covariant gauge-fixing and ghost terms
The Grassmann-valued scalar fields are the Faddeev–Popov ghosts. The non-abelian piece of the ghost-gluon coupling means ghosts run in loops — they do not decouple as they do in QED, and are required to cancel unphysical gluon polarizations and preserve unitarity. (Ghosts only appear inside loops; they are never external states.)
The full quantum theory has a residual BRST symmetry that replaces the broken classical gauge symmetry; this is what guarantees gauge-independence of physical -matrix elements after gauge-fixing.
Step 5 — Renormalize: Asymptotic Freedom (Standard machinery + key theorem)
QCD is renormalizable (proved by 't Hooft, 1971): all UV divergences can be absorbed into multiplicative redefinitions of the fields, masses, and the coupling .
The defining feature of QCD is the sign of the beta function. To one loop,
with for and the number of active quark flavors. For (in particular the physical ), , so and the coupling decreases as increases. Equivalently,
where is the dimensional-transmutation scale at which formally diverges. This is asymptotic freedom (Gross–Wilczek and Politzer, 1973), the historical justification for taking QCD seriously as the theory of the strong interaction:
- High energy / short distance (): is small, perturbation theory works, quarks behave as nearly free particles — the regime probed by deep inelastic scattering () and high-energy jets.
- Low energy / long distance (): is large, perturbation theory breaks down, and the spectrum is dominated by hadrons (mesons, baryons), not quarks and gluons. This is the regime of confinement and chiral symmetry breaking.
The crossover scale is generated dynamically; it is the only intrinsic mass scale of the massless-quark theory. The hadron mass spectrum (proton, pion, ...) is set by , with quark masses providing only quantitative corrections.
Step 6 — Predictions (Standard machinery; specializes QFT Postulate 10)
Time-ordered correlators are computed using Feynman rules read off from :
| Object | Feynman rule (Feynman gauge ) |
|---|---|
| Quark propagator (flavor , color ) | |
| Gluon propagator (color ) | |
| Ghost propagator (color ) | |
| Quark–gluon vertex | |
| 3-gluon vertex | |
| 4-gluon vertex | |
| Ghost–gluon vertex | (with outgoing ghost momentum) |
| External quark / antiquark | / with color index |
| External gluon | with color index |
LSZ reduction and the cross-section / decay-rate master formulas of cross-sections.md / decay-rates.md apply unchanged for partonic processes (where quarks and gluons can be treated as asymptotic states at high energy via the factorization theorems below). For low-energy observables, the partonic -matrix is not directly measurable — see Caveats.
Confinement and the Asymptotic-State Problem
QCD violates the version of QFT Postulate 10 that identifies asymptotic states with single-particle quark/gluon excitations: free quarks and gluons have never been observed. Instead the asymptotic Hilbert space is built from color-singlet hadrons — mesons , baryons , glueballs, etc.
Confinement is a non-perturbative phenomenon — invisible to any finite order in . The standard pieces of evidence and tools:
- Lattice QCD: Wilson's discretization of the Euclidean path integral on a spacetime lattice, evaluated by Monte Carlo. Confirms a linearly rising quark–antiquark potential at large (string tension ), reproduces hadron masses ab initio, and is currently the only first-principles method for QCD at low energy.
- 't Hooft large- limit: at with fixed, planar diagrams dominate; hadronic resonance physics organizes into a expansion that explains qualitative facts (OZI suppression, narrow widths, meson dominance).
- Wilson loops: (area law) signals confinement, vs. for an unconfined Coulomb phase.
- The Yang–Mills mass gap (existence of a non-zero lightest glueball mass in pure ) is supported numerically by lattice computations and is one of the Clay Millennium Prize Problems.
Chiral Symmetry and Its Spontaneous Breaking
In the limit , the QCD Lagrangian has a global chiral symmetry acting on left- and right-handed quark flavors independently. The QCD vacuum spontaneously breaks this to the diagonal via the chiral quark condensate
Goldstone's theorem then predicts 8 massless pseudoscalar bosons, identified with the pseudoscalar meson octet . Small explicit quark masses () lift these to small but non-zero pseudo-Goldstone masses — the pions are unusually light because chiral symmetry is only weakly broken in nature. The low-energy effective theory built around this picture is chiral perturbation theory (PT).
The piece of the classical chiral symmetry is broken by the chiral anomaly (not spontaneously): this resolves the historical puzzle and is intimately tied to instantons and the -term.
Factorization and Practical Calculations
High-energy hadron-collider observables (e.g. proton–proton scattering at the LHC) cannot be computed directly because the asymptotic states (protons) are non-perturbative bound states. The bridge is factorization theorems: schematically,
separating the calculation into:
- Parton distribution functions : probability of finding parton carrying momentum fraction inside a proton; non-perturbative, extracted from data.
- Partonic cross section : computed perturbatively in using the Feynman rules above and the standard cross-section machinery.
- DGLAP evolution: the -dependence of is governed by perturbative QCD via the Dokshitzer–Gribov–Lipatov–Altarelli–Parisi equations.
This is what makes QCD predictive at colliders despite confinement.
Summary: What QCD Adds to QFT and Differs from QED
| Aspect | QED | QCD |
|---|---|---|
| Gauge group | , abelian | , non-abelian |
| Matter fields | in | quarks in , flavors |
| Gauge bosons | 1 photon | 8 gluons |
| Gauge-boson self-interactions | none | 3- and 4-gluon vertices |
| Ghosts in covariant gauges | decouple | required (run in loops) |
| Beta function sign (1-loop) | (Landau pole at high ) | (asymptotic freedom) |
| Coupling at low energy | weak () | strong, perturbation theory fails |
| Asymptotic states | electrons, photons | hadrons (color singlets) |
| Spectrum determined by | parameters | + quark masses (mostly ) |
| Bound states | hydrogenic, weakly coupled | hadrons, intrinsically strong-coupling |
| Discrete symmetries | separately conserved | separately conserved (modulo ) |
| Rigorous construction in | open | open (Millennium Prize) |
So the "derivation" of QCD from QFT amounts to the same three choices as QED — field content, gauge group, renormalizability — with . The dynamics that follows is qualitatively different.
Successes and Tested Predictions
- Deep inelastic scattering (DIS) and Bjorken scaling: high-energy electron–proton scattering revealed point-like constituents (partons) inside the proton, and the logarithmic violations of exact Bjorken scaling match the DGLAP evolution predicted by perturbative QCD.
- Asymptotic freedom: the measured running of from GeV (where ) to (where ) agrees with QCD predictions across two decades in energy.
- Jet physics at colliders: 2-jet, 3-jet, and multi-jet rates at machines (LEP, SLC) and hadron colliders (Tevatron, LHC) confirm both the gluon's existence (3-jet events at PETRA, 1979) and the QCD prediction for jet cross sections.
- Lattice QCD ab initio computations of the hadron spectrum reproduce the proton, neutron, pion, kaon, ... masses to a few percent using only and the quark masses as inputs.
- Heavy-quark physics: the spectroscopy and decays of charmonium (), bottomonium (), and -mesons are computed with NRQCD and HQET, effective theories built from QCD by integrating out the heavy-quark scale.
Caveats and Open Issues
- No rigorous construction of Yang–Mills in with a mass gap — one of the Clay Millennium Prize Problems. Confinement is universally believed but has never been proved analytically.
- The strong CP problem. The -term is allowed by all symmetries and would generate a neutron EDM at the level ; the experimental bound forces . Why this parameter is so tiny is unexplained within QCD; the most popular resolution is the Peccei–Quinn mechanism, which predicts a new pseudoscalar particle, the axion.
- Sign problem in lattice QCD at finite density. Monte Carlo importance sampling fails when the Euclidean action becomes complex (finite chemical potential, real-time dynamics); this obstructs first-principles study of dense QCD (neutron-star interiors, the QCD phase diagram).
- Confinement mechanism. Several pictures (dual superconductor / monopole condensation, center-vortex condensation, Gribov–Zwanziger horizon) capture aspects of confinement, but no single mechanism is established as the answer.
- Quark masses are inputs. The 6 quark masses + the strong coupling are free parameters of QCD; their hierarchical pattern (over six orders of magnitude from MeV to GeV) is unexplained within QCD and must be supplied by physics beyond.
See Also
- QED — the abelian gauge theory, structurally identical at the Lagrangian level but qualitatively different in dynamics.
- Modern Foundations — the Wigner–Weinberg derivation framework into which QCD fits as a specialization (with the asymptotic-completeness caveat above).
- Postulates of QFT — the general framework QCD specializes.
- Group Theory — for , its Lie algebra , structure constants, and representation theory.
- Remarks and Open Issues — for the Yang–Mills existence problem and related foundational gaps.