Registry · Definition IV.D381 tau-effective formalized

IV.D381 — Wolfenstein A NLO: Confinement Correction

A_NLO = A_LO·(1-ι_τ³) = (1-3ι_τ²/2)(1-ι_τ³) = 0.7925 at +3109 ppm from PDG 0.790±0.012. LO was +44642 ppm, 14× improvement. δ_A = ι_τ^dim(τ³) is fundamental confinement suppression scale.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.wolfenstein_a_nlo