Registry · Proposition IV.P208 tau-effective skeleton

IV.P208 — Electron g-2 QED Series with α_τ: −3 ppm at NLO

Full QED series with α_τ = (121/225)ι_τ⁴: a_e^LO = α/(2π) at +1525 ppm, a_e^NLO at −3 ppm, a_e^NNLO at +10 ppm from Harvard 2023 experimental value 0.00115965218059(13). Alternating convergence brackets experiment. Precision limited by α_τ at 9.8 ppm from CODATA. Zero free parameters.

Book IV Part 2 Ch. 20

Dependency Graph

Depends on (1)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.ElectronMass

Symbol: Tau.BookIV.QuantumMechanics.ae_qed_series