Why the Strong CP Problem Is Solved
θ_QCD could be anything from 0 to 2π — but experiments show it is less than 10⁻¹⁰. For decades the only explanation was a hypothetical particle nobody has found. GTE gives a structural proof: θ_QCD = 0 exactly, by group theory alone.
The Mystery: A Number That Should Be Random But Isn't
What is the strong force?
The strong nuclear force binds quarks into protons and neutrons, and holds nuclei together. It is described by Quantum Chromodynamics (QCD) — one of the most precisely tested theories in physics.
The θ term
The QCD Lagrangian (its "recipe") contains all terms allowed by the symmetries of the strong force. Most terms are required. But one term is allowed but not forced:
ℒ_θ = θ_QCD · (g_s²/32π²) · tr(F^μν F̃_μν)
θ_QCD is a free parameter from 0 to 2π. This term violates CP symmetry in the strong force.
The measurement — and the mystery
If θ_QCD is nonzero, the neutron develops an electric dipole moment proportional to |θ_QCD|. Decades of precision experiments have measured this — and found essentially nothing:
The allowed range of θ_QCD (from QCD alone):
If you picked a random number between 0 and 6, the chance it would be smaller than 10⁻¹⁰ is about one in 60 billion. Yet there it sits, essentially at zero.
The pencil on its tip: Imagine balancing a pencil perfectly on its tip for the entire history of the universe. You would want to know why. θ_QCD is that pencil. The Standard Model has no explanation for this extraordinary balance.
The Standard Answer: The Axion (and Its Problems)
In 1977, Roberto Peccei and Helen Quinn proposed a solution: add a new global symmetry U(1)_PQ that spontaneously breaks and produces a new particle — the axion. The axion dynamically relaxes θ_QCD to zero, like a ball rolling to the bottom of a bowl.
- The axion field settles to a value that exactly cancels θ_QCD
- The mechanism is mathematically consistent
- Axions are also a dark matter candidate
- 50+ years of searching: no axion found
- Adds a new unexplained symmetry U(1)_PQ
- Adds a new free parameter (the PQ breaking scale)
- Replaces one mystery with another
The key question: Is there a structural reason, built into the mathematics of the theory itself, that forces θ = 0? A reason that needs no new particle?
The GTE answer is: yes.
The GTE Answer: F₂₁ Group Theory Forbids θ ≠ 0
What is F₂₁?
As established in L18, the symmetry group of the GTE polynomial is the Frobenius group F₂₁ = ℤ₇ ⋊ ℤ₃. This is also the MDL-minimal color group — the discrete arithmetic skeleton of the strong force.
In the Standard Model, the color group is SU(3), which has a rich vacuum structure that admits instantons — the topological configurations that θ_QCD couples to. F₂₁ has a fundamentally different structure. Three independent algebraic properties each independently forbid a nonzero θ_QCD.
Result: θ_QCD = 0 exactly from F₂₁ group theory.
Three independent machine-certified proofs, each with zero sorry.
Lean cert: f21_theta_term_vanishes (ugp-lean, CatAL)
The three independent proofs
Click each proof to expand it:
The centre of a group is the set of elements that commute with everything else. In SU(3), the centre is ℤ₃ (three elements), and this non-trivial centre is precisely what makes instanton configurations possible.
In F₂₁, the centre is trivial — it contains only the identity element: $Z(F_{21}) = \{e\}$.
For the θ term to contribute, the gauge group must have non-contractible holonomy in the vacuum sector — the structure that instantons need. A group with trivial centre has no such non-contractible holonomy. No instantons exist in the F₂₁ color sector, so there is nothing for θ to couple to.
Instantons are like loops in a city with unavoidable roundabouts. If the city has no roundabouts (trivial centre → trivial fundamental group in the relevant sector), there are no unavoidable loops, and the topological winding number is always zero.
The θ term produces CP violation through a complex phase in the path integral measure. For this phase to be CP-violating, it must be irrational (or more precisely, it must not be an algebraic integer).
F₂₁ only produces phases that are algebraic integers — rational combinations of roots of unity. All characters of F₂₁ are algebraic integers. An algebraic phase cannot represent an irrational θ. Therefore θ_QCD must be zero.
This proof does not invoke group topology — it is purely representation-theoretic. It is a second, entirely independent reason for θ = 0.
The θ term requires a nonzero trace over the gauge group representation: tr(F^μν F̃_μν) must be nonzero in the colour-singlet sector for θ to have physical effect.
For F₂₁, the sum over all irreducible characters in the colour-singlet representation is exactly zero. This is a direct consequence of the Frobenius character table structure — the sum telescopes to zero by the orthogonality of characters in a Frobenius group.
Zero trace → zero contribution from the θ term → θ_QCD has no physical effect, which is equivalent to θ_QCD = 0.
This is the third independent proof, established purely from the character theory of Frobenius groups.
Three proofs, zero assumptions: Each of the three proofs above is independently machine-certified in Lean 4 with zero sorry. They use three different branches of algebra (group topology, representation theory, character theory) and all arrive at the same conclusion: θ_QCD = 0 exactly.
The Falsifiable Prediction: No Axion
The GTE resolution of the strong CP problem carries a sharp experimental consequence: no axion exists, and none will be found.
In the axion framework, the axion exists as a physical particle — it was invented precisely to do the relaxation job. In the GTE framework, θ = 0 is structural. There is no dynamical relaxation, no new symmetry, and no new particle.
Falsifiability
GTE predicts the strong CP problem is resolved by the algebraic structure of F₂₁ — not by a new particle. This is a testable claim:
- If an axion is detected in ADMX, HAYSTAC, BabyIAXO, or any future experiment, GTE is refuted in this sector
- If no axion is found (consistent with 50+ years of null results so far), the GTE structural explanation gains further credibility
A theory that makes no falsifiable predictions is not science. GTE makes a specific, checkable prediction here: no axion.
The Connection to the Rest of the Story
The strong CP proof relies directly on the fact that the MDL-minimal color group is F₂₁, not SU(3). This was established in L18 (The Four Forces).
The chain is: MDL selects the 19-bit polynomial → the polynomial has symmetry group F₂₁ → F₂₁ has trivial centre → no instantons → θ_QCD = 0.
Every step in this chain is machine-certified. The strong CP problem is not "solved" by inventing new physics — it simply does not arise in a theory whose color symmetry has the algebraic structure of F₂₁.
| Framework | Color group | Instanton problem | θ = 0? | New particle needed? |
|---|---|---|---|---|
| Standard Model | SU(3) (postulated) | Yes — exists | Not forced | Yes — axion (undetected) |
| GTE | F₂₁ (derived by MDL) | No — trivial centre | Yes — structural theorem | No |
See Also
f21_theta_term_vanishes— θ_QCD = 0 from F₂₁ structure (CatAL)algebraic_necessity_master_bundle— MDL selection of F₂₁
- L18: The Four Forces — F₂₁ as the polynomial symmetry group