Registry · Proposition IV.P196 tau-effective formalized

IV.P196 — PMNS Large Mixing from A-Sector Rotation and QLC Complementarity

Conjectural PMNS framework: full mixing matrix = sigma-polarity structure (near-identity per V.T174) + A-sector R_23(arcsin(1/(1+iota_tau))) rotation (~48 deg) + QLC complementarity for theta_12. Quantitative: theta_23 approx 48.2 deg (PDG 49.1, -1.8%), theta_12 approx 32 deg (PDG 33.4, -4.2%), theta_13 approx 9.85 deg (PDG 8.57, +15%). Status: all three angles have structural derivation but none achieves tau-effective (sub-1%) precision. Open: why 1/(1+iota_tau) for atmospheric mixing? Why QLC holds to 1.5 deg?

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (4)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.pmns_mixing_framework_conj