Registry · Proposition IV.P66 conjectural formalized

IV.P66 — Mass Eigenvalue Ratios

m_3 >> m_2 >> m_1 at leading order. Ratio m_2/m_3 ~ sqrt(Delta m_21^2/|Delta m_32^2|) ~ 0.176, giving m_2 ~ 8.9 meV. Sum ~60-65 meV, within Planck cosmological bound.

Book IV Part 4 Ch. 32

Dependency Graph

Depends on (2)

IV.T63 IV.D134

Lean Formalization

Module: TauLib.BookIV.Electroweak.NeutrinoMode

Symbol: Tau.BookIV.Electroweak.MassEigenvalueRatios