Registry · Theorem V.T256 conjectural formalized

V.T256 — Peak Height Ratios from Baryon Loading

Peak heights governed by baryon loading (1+R_b)/(1-R_b)=4.19 (compression/rarefaction ratio) and Silk damping envelope exp(−(ℓ_n/ℓ_D)²). Full D_ℓ ratios require Boltzmann transfer function.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.PeakHeightRatios