Registry · Theorem V.T258 tau-effective formalized

V.T258 — BAO Scale from NLO Pipeline

BAO distance ratios D_V/r_d at DESI redshifts computed from NLO pipeline. Self-consistent: both D_V and r_d shift with ω_m, ratio less sensitive. Within 1σ of DESI Y1 at all 5 redshift bins.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.bao_nlo_improvement