What the problem actually asks
Separate existence, a physical gap, and the scope of the Clay challenge.
A first course in the mass gap
You know what a gauge field is. Now ask what it takes to construct its quantum theory and prove that the vacuum is separated from every physical excitation by a positive energy.
These twelve lessons build the argument one idea at a time. Each includes a worked explanation, exercises with solutions, primary references, and a route into current research. The prerequisites are QED and introductory non-Abelian gauge theory; the necessary mathematics is introduced along the way.
Suggested pace: one lesson per study session, with time for the exercises. The four parts can also serve as a graduate reading-group syllabus.
Choose a starting point with the prerequisite diagnostic, or use the six- and twelve-meeting reading-group plans.
Your reading path
0 of 12 lessons marked read
Tick a lesson after reading. Progress is saved only in this browser; a reading mark does not certify understanding.
Part 1Foundations
Which states are physical?
From gauge redundancy to gauge-invariant observables and the vacuum.
How a scale appears
Follow the running coupling, and see what perturbation theory leaves open.
Part 2From correlations to states
Read a Euclidean correlator
Connect imaginary time, the spectral measure, and exponential decay.
What an operator can see
Understand why one clean exponential cannot reveal the whole spectrum.
Define a regulated theory
Build a finite lattice gauge measure from links, plaquettes, and Haar measure.
Part 3Taking limits
The finite-volume trap
Distinguish a finite-box level spacing from a physical mass gap.
Take the continuum limit
Keep physical scales fixed while the regulator disappears.
How glueball masses are measured
Read an effective-mass plot and identify the important uncertainties.
Part 4Toward the frontier
Reconstruct a quantum theory
See why Euclidean positivity can build a physical Hilbert space.
Read a rigorous result
Unpack a strong-coupling area law and track its exact assumptions.
Read the frontier critically
Use a repeatable checklist to judge what a new paper establishes.
After the course
Section titled “After the course”Choose a result from the research atlas, identify its exact assumptions, and place it on the proof map. The goal is to explain both what the paper establishes and what would still be needed for the full four-dimensional problem.
Four checkpoints
Section titled “Four checkpoints”Use these after each group of three lessons. Write an explanation before opening the solution.
- After 1–3: Does asymptotic freedom plus a generated scale establish the target? Solution: It establishes neither a nontrivial physical theory satisfying the axioms nor a lower bound on its entire excited spectrum.
- After 4–6: A finite lattice measure exists and one correlator has a perfect plateau. What can remain hidden? Solution: Other operator channels and zero-overlap states, plus regulator removal and physical reconstruction. The oscillator’s even operator in lesson 5 gives an explicit counterexample.
- After 7–9: At fixed physical mass, should the lattice-unit mass remain positive by a cutoff-independent constant? Solution: No. It scales as and tends to zero while the physical ratio to a reference mass can remain finite. Independently increase physical volume.
- After 10–12: How do you report a lattice area law without announcing a four-dimensional mass-gap proof? Solution: Record the group, dimension, lattice regulator, coupling range, volume-uniform constants, exact theorem version, and missing continuum/physical-spectrum step. An auxiliary mixing gap is not the physical Hamiltonian gap.