Registry · Theorem V.T260 conjectural formalized

V.T260 — Peak-Ratio Tension from Acoustic Physics

Peak ratios ℓ₂/ℓ₁=2.401 and ℓ₃/ℓ₁=3.611 are 1.7% and 2.0% below Planck. Deficit from higher ω_m/ω_b ratio (6.774 NLO vs 6.393 Planck) shifting matter-radiation equality to higher z_eq.

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.peak_ratio_tension