Registry · Theorem V.T267 tau-effective formalized

V.T267 — BAO Sub-1300 ppm at NNLO

Every D_V(z)/r_d deviates from Planck ΛCDM by <1300 ppm at all 5 DESI bins. NLO→NNLO improvement: D_V/r_d 21×, D_M/r_d 18×, D_H/r_d 26×. All residual dominated by r_d(NNLO)=146.90 Mpc being 1292 ppm below Planck.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

V.D331 V.T265

Depended on by (2)

V.P185 V.P186

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.bao_nnlo_sub_1300