Registry · Definition IV.D372 conjectural skeleton

IV.D372 — m_u/m_d Isospin NLO Structure

m_u/m_d NLO: (1/2-2ι_τ/17)·(1+(5/8)·ι_τ^(14/5))=0.4740 at +29 ppm from FLAG 0.474. LO: 1/2-2ι_τ/17=0.4598 at -29860 ppm. NLO prefactor 5/8=W₃(4)/lobes³, exponent 14/5 structurally non-trivial but not derived.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.Particles.QuarkMasses

Symbol: Tau.BookIV.Particles.mu_md_nlo_structure