Registry · Proposition IV.P221 tau-effective formalized

IV.P221 — m_c/m_t Exponent from Higgs-Weighted Transition

β(c/t) = dim·W₃(4)·n_H/(a₃+2·W₃(4)) = 3×5×7/23 = 105/23 from winding transition matrix with Higgs crossing number n_H=7. Numerator 105=dim·W₃(4)·n_H, denominator 23=a₃+2W₃(4). At +1150 ppm.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (3)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.charm_top_exponent_derived