Registry · Definition IV.D365 tau-effective formalized

IV.D365 — A-Sector NLO PMNS Rotation

A-sector NLO rotation on PMNS angles via Window algebra. The π-generator acts on base cycle g₃, mixing generations. NLO correction factor (1−ι_τ^W₃(4)) reduces θ₂₃ deviation from +18012 to +8604 ppm. QLC + ι_τ²κ_ω correction gives θ₁₂ at +3106 ppm.

Book IV Part 5 Ch. 35

Dependency Graph

Depends on (3)

Depended on by (4)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.a_sector_nlo_pmns