Registry · Definition V.D329 tau-effective formalized

V.D329 — ω_m–Peaks Pareto Barrier

1D Pareto frontier parameterised by λ=(1−δ_h)(1−δ_m). Density regime: ω_m +17 ppm, r_d −1269 ppm, but ℓ₁ +7337. Peaks regime: ℓ₁ +119 ppm but ω_m +52280. Crossover at λ≈1.0004: |ℓ₁|≈|ℓ₃|≈1650 ppm. Structural barrier from z_eq driving ℓ₁ and ℓ₃ in opposite directions.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.ParetoBarrier