Registry · Theorem V.T168 tau-effective formalized

V.T168 — QNM Fundamental Frequency Ratio = ι_τ⁻¹

For a τ-BH with T² horizon topology (r/R=ι_τ), the ratio of inner-cycle QNM frequency to outer-cycle QNM frequency is f(0,1)/f(1,0)=R/r=ι_τ⁻¹=2.92993724102442. This is structurally distinct from the Schwarzschild l=2 overtone ratio ≈0.928. Lab verification: for M=30 M_☉, f(1,0)=538.45 Hz, f(0,1)=1577.62 Hz, ratio=2.929937 (exact). Provides a falsifiable GW spectroscopy signature.

Book V Part 6 Ch. 50

Dependency Graph

Depends on (1)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Gravity.BHTopoModes

Symbol: Tau.BookV.Gravity.qnm_ratio_is_iota_inv