Three Gates to a Quark Generation: an exact criterion for which SU(4) representations contain the Standard Model (Part II).
reproducible-research particle-physics representation-theory formal-verification hep-ph standard-model hep-th lean4 su4 extra-dimensions exact-computation orbifold gauge-higgs-unification chiral-fermions hypercharge
-
Updated
Jul 31, 2026 - TeX