A certified 2.68 TeV gap in the closed-form map of the compactification scale of SU(7) grand gauge-Higgs unification: the inverse map, its named no-go certificates, and the invariant its two observables cannot see (Part VIII).
reproducible-research particle-physics formal-verification hep-ph integer-programming inverse-design hep-th lean4 su4 extra-dimensions exact-computation grand-unification wilson-line orbifold gauge-higgs-unification compactification-scale farkas-certificate vector-partition-function
-
Updated
Aug 29, 2026 - Python