Proton decay in SU(7) grand gauge-Higgs unification: an obstruction, its minimal escapes, and the one row of their Table 1 that can pay for them (Part VI).
reproducible-research particle-physics formal-verification hep-ph hep-th lean4 proton-decay su4 extra-dimensions exact-computation grand-unification wilson-line orbifold anomaly-cancellation gauge-higgs-unification discrete-gauge-symmetry
-
Updated
Aug 24, 2026 - Python