Registry · Theorem IV.T184 conjectural skeleton

IV.T184 — PMNS θ₁₃ from Cubic Crossing Amplitude at +5000 ppm

sin²θ₁₃ = ι_τ³/(1+ι_τ)² = 0.02211 at +5000 ppm from PDG 0.02200±0.00007. Cubic crossing amplitude ι_τ^dim(τ³) with two-vertex normalisation (1+ι_τ)². First θ₁₃ prediction in τ-framework. Within 1.6σ.

Book IV Part 5 Ch. 35

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.theta13_cubic