Registry · Definition V.D249 tau-effective skeleton

V.D249 — Neutrino Free-Streaming Scale from σ-Polarity Masses

Free-streaming wavenumber k_fs = 0.018 Ω_m^{1/2} (m/eV) h Mpc⁻¹ for each mass eigenstate from σ-polarity: k_fs(m₃) = 3.63×10⁻⁴ Mpc⁻¹ (dominant), k_fs(m₁) = 1.18×10⁻⁴ Mpc⁻¹ (lightest). The neutrino fraction f_ν = ω_ν/ω_m = Σm_ν/(94.07·ω_m) = 0.00643 for M3h. Below k_fs neutrino perturbations are erased; above k_fs neutrinos cluster like CDM.

Book V Part 1 Ch. 9

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.free_streaming_scale