Registry · Theorem V.T177 conjectural formalized

V.T177 — (8/7, 6/7) Candidate: Neutrino Mass Ratio from Lemniscate n=7

The (Δpq,Δpr) = (8/7,6/7) candidate with the sigma-polarity matrix gives ratio Δm²₃₁/Δm²₂₁ = 30.211 at −72,589 ppm from PDG 32.576. Exact 4/3 ratio = (2×lobes)/sectors, span = 2 = lobes. Conjectural; NNLO corrections may shift toward grid optimum.

Book V Part 3 Ch. 24

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.NeutrinoMode

Symbol: Tau.BookIV.Electroweak.neutrino_87_candidate