Registry · Definition IV.D343 tau-effective formalized

IV.D343 — Neutrino Exponent Best-Fit

Best-fit exponents p=3.7, q=4.8, r=2.8 for sigma-polarity matrix M. Shape parameters: Delta_pq=q-p=1.1 approx 14/13 (CF-motivated), Delta_pr=p-r=0.9 approx 12/13. Best integer approximation: (p,p+1,p-1) gives ratio 39.45 (21.1% from PDG 32.58). Scale invariance: R(p+n,q+n,r+n)=R(p,q,r). Overall scale p approx 3.7 set by A-sector coupling to tau^1 base.

Book IV Part 4 Ch. 32

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.NeutrinoMode

Symbol: bestFitExponents