Registry · Definition V.D316 conjectural formalized

V.D316 — Peak Position and Height Structure

Three acoustic peaks from M3h pipeline: ℓ₁=220.63 (+2840 ppm), ℓ₂=529.8 (−14326 ppm), ℓ₃=796.7 (−17400 ppm). Deviation pattern consistent with 2.66% sound horizon deficit. Universal ratios ℓ₂/ℓ₁=2.401, ℓ₃/ℓ₁=3.611 from neutrino phase shifts.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.PeakPositions