Registry · Definition IV.D348 tau-effective formalized

IV.D348 — Higgs Mass omega-Sector Formula

The Higgs mass ratio m_H/m_n from the omega-crossing mode energy is (4 - X)/kappa(omega) where X is a window correction to the iota_tau^3 base. The factor 4 counts the non-omega generators {alpha, pi, gamma, eta}. Best structurally motivated formula (tau-effective): (4 - iota_tau^3/(1 - 5*kappa_omega))/kappa_omega = 133.372 at +493 ppm from PDG m_H = 125.25 GeV. Best numerical formula: (4 - iota_tau^3/(1 - 6*kappa_omega))/kappa_omega = 133.315 at +68 ppm (structural meaning of coefficient 6 open). The correction denominator (1 - 5*kappa_omega) uses W_3(4) = 5 from Window Universality (IV.T140), linking the Higgs NLO formula to the same window that governs sin^2(theta_W), M_W, and alpha_s NLO corrections.

Book IV Part 3 Ch. 26

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs2

Symbol: Tau.BookIV.Electroweak.HiggsMassNLOFormula