Finite-data inverse resonance recovery of Kerr parameters
Summary
Finite-data inverse resonance recovery of Kerr parameters
Why this matters
Clarifies what mathematical inverse problems can and cannot justify for “spectroscopy” claims.
Exact scope
- Background / setting
- Asymptotically flat four-dimensional general relativity unless the statement specifies otherwise.
- Equation type
- PDE level: inverse-problem, spectral-operator.
- Linearity
- Primarily stationary or linearized reductions unless the statement says otherwise.
- Regularity
- Smooth / Sobolev classes as in the problem statement; tighten when citing a specific theorem.
- Parameter regime
- Subextremal Kerr (or Kerr–de Sitter where tagged); spectral parameters $(l,m)$ and frequency $ω$ regimes as in cited microlocal frameworks.
- Asymptotics
- asymptotically-flat
- Gauge / formulation
- State gauge/fixing class compatible with cited stability or interior programs (e.g. generalized harmonic, double-null interior charts).
Status explanation
Entry imported without two independent bibliographic pointers in this repository; treat theorem-level claims as unverified here.
Problem statement
From a finite set of observed quasinormal frequencies (with stated error bars) associated to a subextremal Kerr background, derive stability estimates for $(M,a)$ and quantify when uniqueness fails (e.g. isospectral ambiguities).
What is already known
- Microlocal/resolvent frameworks yield decay and mode stability for waves on exact Kerr and Kerr–de Sitter under stated spectral assumptions.Regime: Linear waves; fixed background.Standard input for QNM expansions and superradiance discussions.
- Nonlinear Kerr stability is proved in a small-$|a|/M$ vacuum window (Klainerman–Szeftel).Regime: Nonlinear vacuum, restricted parameters.Closest nonlinear analogue for exterior stability conjectures.
- Complete QNM expansion as a spectral representation (including branch cuts) for Kerr remains an open mathematical framework problem.Regime: Spectral theory on Kerr.Distinguishes partial mode stability from full expansion/completeness.
Progress summary: Linearized spectral uniqueness programs exist in fragments; a definitive finite-data theorem with realistic noise model is not asserted on this site. See .
What remains open
Explicit theorems with hypotheses on mode set, error, and parameter range, plus counterexamples or non-uniqueness mechanisms where they occur.
Mathematical prerequisites
Complex analysis of resonance poles; inverse spectral theory; stability of nonlinear least- squares maps; possible connections to scattering phase.
Scope / taxonomy note
Completion criteria
Explicit theorems with hypotheses on mode set, error, and parameter range, plus counterexamples or non-uniqueness mechanisms where they occur.
Implications if solved
Grounds physics-facing inference in rigorous spectral inverse theory.
Formal verification suitability
FV: medium
Finite-dimensional parameter recovery from finitely many spectral data points is closer to classical analysis than full nonlinear stability, though uniqueness proofs may still be analytic.
See Formal verification for how this database uses these labels.
References
- primary Global analysis of linear waves on Kerr–de Sitter space — Hintz, Vasy (2016) Linear wave decay and spectral gap on Kerr–de Sitter; standard microlocal input for $Lambda>0$ decay.
- survey Brief introduction to the nonlinear stability of Kerr — Klainerman, Szeftel (2022) Program overview, gauge structure, and relation between linear tools and nonlinear stability.
Depends on
Related problems
Related by shared tags
- K-406 — Spectral stability and pseudospectrum of Kerr QNMs
- K-407 — QNM excitation factors and universality theorems
- K-401 — QNM completeness for Kerr ringdown expansions
- K-403 — Scattering theory for linearized gravity on Kerr
- K-404 — Zero-frequency structure and tail universality
- K-624 — Prove a sharp characterization of near-extremal QNM clustering with explicit remainders.
Editorial / maintainer notes
Mixed relevance; connects to observationally adjacent topics only through stated hypotheses.