Registry · Definition IV.D187 tau-effective formalized

IV.D187 — Quark mode

A quark mode is a character mode chi_{m,n} on T^2 with eta-winding number n not equiv 0 mod 3, carrying color class c = n mod 3 in {1,2}; by the Confinement Theorem such modes cannot exist as isolated stable states.

Book IV Part 5 Ch. 43

Lean Formalization

Module: TauLib.BookIV.Strong.QuarksGluons

Symbol: Tau.BookIV.Strong.QuarkMode