Registry · Definition V.D38 tau-effective formalized

V.D38 — Neutrino decoupling orbit depth

The neutrino decoupling orbit depth n_nu is the orbit depth at which the pi-sector (weak force) interaction rate Gamma_pi(n_nu) drops below the base progression rate on tau^1. Since n_nu < n_rec, the cosmic neutrino background encodes H_partial[omega] at an earlier, higher-energy orbit depth.

Book V Part 1 Ch. 9

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Temporal.BoundaryData

Symbol: Tau.BookV.Temporal.NeutrinoDecouplingOrbitDepth