Registry · Definition V.D331 tau-effective formalized

V.D331 — BAO NNLO Distance Table

D_V/r_d at all 5 DESI Y1 bins (z=0.51–2.33) at NNLO. All sub-1300 ppm from Planck ΛCDM: LRG1 +1201, LRG2 +1174, LRG3+ELG1 +1150, ELG2 +1120, QSO +1079. Mean |Δ|=1145 ppm. Residual dominated by r_d=146.90 Mpc (−1292 ppm from Planck).

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.BAONNLO