Registry · Definition IV.D358 tau-effective skeleton

IV.D358 — Higgs n=7: Structural Identification as 2*lobes + sectors

Definition: The coefficient n=7 in the Higgs mass formula (4 - iota_tau^3/(1-7*kappa_omega))/kappa_omega * m_n achieves +8.0 ppm from PDG 125.20 GeV (tau-effective). Structural identification: n = 7 = 2*|lobes| + |force-sectors| = 2*2 + 3, where the lemniscate L=S^1 v S^1 has 2 lobes, each with 2 polarities (chi_+/chi_-) = 4 crossing channels, plus 3 non-omega force sectors (A=Weak, B=EM, C=Strong). Alternative: n=7=b_1(tau^3)+b_2(tau^3)+1=3+3+1 (Betti counting). kappa_omega = iota_tau^3/(1+iota_tau) (Higgs-sector coupling, Sprint 3D).

Book IV Part 3 Ch. 26

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs2

Symbol: higgs_n7_formula