Registry · Proposition V.P128 conjectural formalized

V.P128 — Asymmetry in sigma-Exponents: Delta_pq - Delta_pr approx 2/13 (CF-structural candidate)

Conjectural: the asymmetry delta = Delta_pq - Delta_pr = 0.29 (from grid: 1.16-0.87) may arise from CF(iota_tau^{-1}) structure with a_2=13: delta_CF = 2/a_2 = 2/13 = 0.1538. The CF candidate gives delta_CF=0.1538 vs empirical 0.29, so CF candidate is approximate only. Better candidate: delta = 1/a_2^2 + 1/a_2 = 1/169 + 1/13 = 0.0830 (closer). Full first-principles derivation still open (OQ-C3). The symmetric case delta=0 corresponds to one-parameter family giving 39.45, disproven.

Book V Part 5 Ch. 35

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.NeutrinoMode

Symbol: Tau.BookIV.Electroweak.sigma_exponent_asymmetry