Registry · Definition IV.D359 tau-effective formalized

IV.D359 — Wolfenstein η̄ from 5-Generator Pentagon: CP Violation from ω-Period

Wolfenstein η̄ from 5-generator pentagon: the 5 generators {α,π,γ,η,ω} divide ω-period 2π into steps of 2π/5. Best τ-candidate: η̄ = ι_τ^(-1/4)·κ_D^(5/4)/√5 at -2285 ppm from PDG 0.348. Pentagon tangent formulas give ρ̄·(tan(2π/5)-tan(π/5)) at 75275 ppm. Structural derivation of exponents conjectural.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

Depended on by (5)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.wolfenstein_eta_pentagon