Registry · Proposition IV.P198 tau-effective formalized

IV.P198 — CKM Unitarity Triangle Angles from tau-Framework

CKM unitarity triangle angles from tau-parameters: beta = arctan(eta_bar/(1-rho_bar)) = 22.48 deg (PDG 22.2 deg, +12587 ppm using PDG eta_bar); gamma = arctan(eta_bar/rho_bar) = 65.44 deg (PDG approx 68 deg); alpha = pi - beta - gamma = 92.08 deg (PDG approx 88 deg). With rho_bar = 1/(2*pi) (tau-effective): beta = 22.48 deg. The angles are consistent at 1-2% level. The Jarlskog invariant J = lambda_C^2 * A^2 * eta_bar (to leading order) uses tau-effective lambda_C and A.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (4)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.ckm_unitarity_triangle_conj