Registry · Theorem IV.T172 tau-effective formalized

IV.T172 — Generation Mass Hierarchy from Eigenvalue Ordering

Mass hierarchy from T² Laplacian eigenvalue ordering: λ₁=1 (gen 1, lightest) < λ₂=ι_τ⁻²≈8.6 (gen 2, middle) < λ₃=1+ι_τ⁻²≈9.6 (gen 3, heaviest). Gen 2 exponent = 5 = N_generators; Gen 3 exponent = 15/2 = N_gen·dim(τ³)/N_lobes. NNLO: m_μ/m_e at +43 ppm, m_τ/m_e at +61 ppm (via Koide).

Book IV Part 5 Ch. 35

Dependency Graph

Depends on (3)

Depended on by (5)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.gen_mass_hierarchy_eigenvalue