Registry · Proposition V.P160 conjectural not_applicable

V.P160 — DESI Comparison

DESI DR2 tension: Δw₀/σ ≈ 1.9σ, Δwₐ/σ ≈ 2.1σ. τ closer to DESI than ΛCDM on w₀ (−0.960 vs −1.0). CPL is poor approximation for non-monotonic τ-w(z); DESI DR3 model-independent w(z) will be decisive.

Book V Part 5 Ch. 45

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.H0TensionLCDM