Registry · Proposition IV.P121 tau-effective formalized

IV.P121 — Quark mass pattern

The six quark masses follow approximate iota_tau power laws relative to m_n: m_u ~ m_n iota_tau^5.8, m_d ~ m_n iota_tau^5.0, m_c ~ m_n iota_tau^(-0.30), m_s ~ m_n iota_tau^2.2, m_t ~ m_n iota_tau^(-4.5), m_b ~ m_n iota_tau^(-1.5); scope is conjectural, reproducing ordering and scale but not high-precision values.

Book IV Part 6 Ch. 46

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.QuarkMassPattern