Registry · Proposition
V.P97
tau-effective
formalized
V.P97 — Ringdown damping is structural
Every ringdown mode has strictly positive damping rate sigma_n > 0 for all n >= 1, so the ringdown terminates in finite proper time. The damping is structural: it follows from the spectral gap of the progression operator rho on higher harmonic subspaces and the Bounded Time Theorem.