Registry · Proposition V.P81 tau-effective formalized

V.P81 — Merger Graviton Count

The graviton count from a binary BH merger N_graviton ~ E_GW/(hbar omega_peak) ~ eta_GW M c^2 / (hbar 2 pi f_peak), where f_peak ~ c^3/(GM), providing an estimate of the quantum granularity of the classical GW signal.

Book V Part 5 Ch. 41

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.BinaryMergersGW

Symbol: Tau.BookV.Astrophysics.MergerGravitonCount