Registry · Proposition V.P150 tau-effective formalized

V.P150 — Equal-Mass Energy Fraction

Equal-mass non-spinning merger: eta = iota_tau^2/4 ~ 2.91%. Compared to NR ~5%: the deficit is attributed to spin contribution (remnant a* ~ 0.67). GW150914: eta_pred ~ 2.90% vs observed ~4.7%.

Book V Part 6 Ch. 53

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.MergerNormalForm

Symbol: Tau.BookV.Cosmology.equal_mass_eta_ppm