Registry · Definition IV.D367 conjectural formalized

IV.D367 — NNLO Exponent Catalog: 7 Window-Universal Corrections

Complete catalog of 7 NLO/NNLO correction exponents: (1) m_μ/m_e k=23/3 at +43 ppm [23=W₃(4)+W₃(3)+1]; (2) m_μ/m_e k=15/2 at −8.2 ppm [15=dim·W₃(4), 2=lobes]; (3) p-n C.3 3/16=N_c/2⁴ at +5 ppm; (4) p-n C.5 3/20=N_c/(4·W₃(4)) at +34 ppm; (5) sin²θ_W (5/7)ι³ at −86 ppm [5/7=W₃(4)/(W₃(3)−2W₃(4))]; (6) α_s −1/5 at +43 ppm [−1/W₃(4)]; (7) M_W 17/5 at −0.4 ppm [W₃(3)/W₃(4)]. All decompose into {W₃(3)=17, W₃(4)=5, dim=3, lobes=2, sectors=3, N_c=3}.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (6)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.nnlo_exponent_catalog