Registry · Theorem IV.T109 tau-effective formalized

IV.T109 — Level~0 mass ratio formula

The Level 0 mass ratio formula is R_0 = iota_tau^(-7) - sqrt(3)*iota_tau^(-2) approx 1838.7. The bulk term iota_tau^(-7) is the leading breathing-mode eigenvalue from the Epstein zeta; the correction sqrt(3)*iota_tau^(-2) is the three-fold lemniscate spectral distance. Matches CODATA to 7.7 ppm.

Book IV Part 2 Ch. 12

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Calibration.CalibrationAnchorExt

Symbol: Tau.BookIV.Calibration.Level0MassRatioFormula