Registry · Proposition IV.P215 tau-effective skeleton

IV.P215 — Intra-Triplet Ratio Exponents

Best rational ι_τ-power for all intra-triplet ratios (max denom 25): m_t/m_b=ι_τ^(-45/13) at 99 ppm (τ-effective), m_d/m_s=ι_τ^(64/23) at 852 ppm, m_u/m_d=ι_τ^(13/18) at 1080 ppm, m_c/m_t=ι_τ^(105/23) at 1030 ppm. Only m_t/m_b achieves τ-effective.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

Depended on by (4)

Lean Formalization

Module: TauLib.BookIV.Particles.QuarkMasses

Symbol: Tau.BookIV.Particles.quark_ratio_exponents