Registry · Theorem V.T185 tau-effective formalized

V.T185 — QNM Frequency Ratio = ι_τ⁻¹ ≈ 2.930 as Clean S²/T² Discriminator

The T² QNM frequency ratio ω(0,1)/ω(1,0)=ι_τ⁻¹≈2.930 is a clean discriminator against S² (Schwarzschild overtone ratio ≈0.928). No parameter overlap: T² predicts [2.5,3.4], S² predicts [0.8,1.1]. For GW150914: T² inner mode at ~789 Hz vs outer at ~269 Hz. Any GW detector resolving two QNM frequencies can distinguish T² from S² topology.

Book V Part 6 Ch. 50

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Gravity.BHTopoModes

Symbol: Tau.BookV.Gravity.qnm_frequency_ratio_discriminator