Foundation Quark Colors Three Colors Forced

Why three colors

Quarks, the building blocks of protons and neutrons, come in three states that physicists call colors: red, green, and blue. The name is a label, not a visual property; it marks a quantum number that keeps identical quarks from occupying the same state. The theory of these colors, quantum chromodynamics (QCD), uses the symmetry group SU(3), whose fundamental representation has dimension three. That three is a measured fact of nature, confirmed by decades of particle collisions.

The framework of Recognition Science (RS) starts from a different question: what structure is forced when a system keeps a discrete record of events, called a ledger, at a fixed cost? From that starting point, its machine-checked library of formal theorems derives that physical space has three dimensions. The declaration three_colors_forced connects that result to color. In the framework, each spatial axis of a cube corresponds to one color charge, and a cube has three pairs of opposite faces. Since the framework proves there are three spatial dimensions, it concludes there are exactly three color charges.

The theorem itself is a formal identity: the number of colors, defined as the number of face-pairs of the cube, equals the dimension. For three dimensions, that number is three. The machine-checked proof also shows the number cannot be two or four. This is a statement about counting within the framework's model, not a derivation of the full QCD Lagrangian or the forces between quarks.

In Recognition Science, the result is one step in a chain that also forces the number of generations of matter. The framework models the color count as a consequence of spatial dimension, but it does not claim to derive the strong force constant, the mass spectrum of hadrons, or the confinement mechanism. The three colors are forced by the framework's geometry; the rest of QCD remains a separate, empirical theory.

/-- **P-007 Resolution**: Three colors follow from D = 3.

    In the RS framework:
    1. DimensionForcing proves D = 3 (linking, 8-tick, spinors).
    2. The D-cube has D pairs of opposite faces (face_pairs D = D).
    3. Ledger face identification assigns one color per face-pair.
    4. Thus N_c = 3.

    This matches SU(3) color in QCD. The gauge group rank is forced
    by the same dimension argument that gives 3 generations. -/
theorem three_colors_forced :
    N_colors DimensionForcing.D_physical = 3 := by
  unfold N_colors DimensionForcing.D_physical face_pairs
  rfl

/-- For D = 3, we cannot have 2 or 4 colors. -/
theorem not_two_colors : N_colors 3 ≠ 2 := by norm_num [N_colors, face_pairs]

theorem not_four_colors : N_colors 3 ≠ 4 := by norm_num [N_colors, face_pairs]

What this page does not claim

The theorem does not derive the strong force or quantum chromodynamics itself. The theorem does not predict the masses of quarks or hadrons. The framework does not derive the confinement mechanism or the strong coupling constant.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Foundation/QuarkColors.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: