Neutrino Phase Shift on CMB Peaks
Bashinsky-Seljak neutrino phase shift φ_ν = 0.191π × N_eff/(N_eff+15/4). For τ (N_eff=3): φ_ν = 0.0849π. For SM (N_eff=3.044): φ_ν = 0.0856π. Differential Δφ_ν = 0.00069π shifts peaks by Δℓ ≈ 0.21, below current sensitivity. Mass-dependent correction Δφ_mass ≈ f_ν×0.19π = 0.004 r
What this page is
This is a public Results-lane surface for a noteworthy Physics Registry item. It is generated from the Corpus Registry triage catalogue and keeps the generic Result catalogue unchanged.
Registry evidence
- Registry item: V.T194
- Type: theorem
- Scope: tau-effective
- Lean status: formalized
- Book / part / chapter: Book V · Part 6 · Chapter 56
Result summary
Bashinsky-Seljak neutrino phase shift φ_ν = 0.191π × N_eff/(N_eff+15/4). For τ (N_eff=3): φ_ν = 0.0849π. For SM (N_eff=3.044): φ_ν = 0.0856π. Differential Δφ_ν = 0.00069π shifts peaks by Δℓ ≈ 0.21, below current sensitivity. Mass-dependent correction Δφ_mass ≈ f_ν×0.19π = 0.004 rad is 1.4% of φ_ν. CMB-S4 sensitivity at ~1.5σ for the N_eff distinction.
Related Results surfaces
Reading role
Use as Registry evidence for an existing Results surface.
Claim boundary
This page reports a Registry-backed internal result surface. It is not an external validation claim, a scientific consensus claim, or independent acceptance.
Curation rationale
- physics-facing terms: cmb, mass, neutrino
- candidate is better handled as evidence for an inferred existing public surface
Review notes
- No additional review notes recorded.