Registry · Definition V.D318 tau-effective formalized

V.D318 — NLO Sound Horizon at Drag Epoch

r_d(NLO) = 149.04 Mpc at +13280 ppm from Planck 147.09. Improved from LO +18063 ppm (26.5% reduction). Residual deficit from ω_b undershoot.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

V.D317 V.T191

Depended on by (5)

V.D331 V.P181 V.P185 V.T258 V.T262

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.BAOSoundHorizon