Registry · Theorem V.T94 tau-effective formalized

V.T94 — Ringdown Uniqueness Theorem

The quasi-normal mode spectrum {(f_n, tau_n)} of a coherent instance is determined uniquely by the mass M_f of the merged instance. No other parameter (holonomy configuration, perturbation shape) affects frequencies or damping times -- the tau-analogue of the no-hair theorem.

Book V Part 5 Ch. 41

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.BinaryMergersGW

Symbol: Tau.BookV.Astrophysics.RingdownUniquenessTheorem