Skip to content

Critical Response and Noncommuting Limits

Scrollable formula. Use Left and Right arrow keys to reveal hidden content.

Scrollable table. Use Left and Right arrow keys to reveal additional columns.

Scrollable figure. Use Left and Right arrow keys to inspect hidden content.

Near-extremal response is “critical” only after the observable and scaling experiment are specified. Throat symmetry can determine exponents and scaling functions when surface gravity, frequency detuning, radius, and time are taken to their limiting values together. A detector at fixed exterior radius or a source with a different normalization also samples far-zone connection coefficients. The universal and exterior-sensitive statements are therefore competing only when their domains are blurred.

Evidence cutoff: 2026-08-12. The evidence and literature status on this page are assessed through this date.

Helpful background. Black-Hole Geometry and Mechanics supplies extremal Kerr and NHEK; PDEs and Green Functions for Gravitation supplies uniform asymptotics and limit exchange; Formulations of General Relativity supplies field and gauge choices; Events, Intervals, and Minkowski Geometry fixes observer and Fourier conventions; Black-Hole Perturbation Theory supplies retarded response normalization.

Write μ=GM\mu=GM and use

σ=r+−r−r+=4μκ,x=r−r+r+.\sigma=\frac{r_+-r_-}{r_+}=4\mu\kappa, \qquad x=\frac{r-r_+}{r_+}.

For a mode e−iωt+imϕe^{-i\omega t+im\phi}, a near-horizon response can have the schematic scaling form

Rσ∼σp Cfar(ω,ℓ,m;source)F ⁣(U,X,W),\mathcal R_\sigma \sim \sigma^p\, \mathcal C_{\mathrm{far}}(\omega,\ell,m;\text{source}) \mathcal F\!\left( U,X,W \right),

with scaled variables

U=κt,X=xσ,W=ω−mΩHκ.U=\kappa t,\qquad X=\frac{x}{\sigma},\qquad W=\frac{\omega-m\Omega_H}{\kappa}.

The exponent pp and function F\mathcal F may follow from NHEK weight and spin, while Cfar\mathcal C_{\mathrm{far}} carries matching, source projection, and normalization. A universal statement is justified when UU, XX, and WW remain in a declared compact range and the error bound is uniform there. Holding tt, xx, or ω\omega fixed instead asks a different question. The formula alone does not supply that uniform error bound. For a propagating pulse, retain the specified source-time convention. In the Kerr transient calculation it is T=2κ(v−v′−2r∗′)T=2\kappa(v-v'-2r_*'), not an unqualified coordinate tt. This far-source time-origin convention is not an exact wavefront calculation.

The NHEK limit itself uses r−r+=O(λμ)r-r_+=O(\lambda\mu), t=O(μ/λ)t=O(\mu/\lambda), and ω−mΩH=O(λ/μ)\omega-m\Omega_H=O(\lambda/\mu). Bardeen and Horowitz establish the limiting geometry and its SL(2,R)×U(1)SL(2,\mathbb R)\times U(1) symmetry in Bardeen and Horowitz 1999, §§ 2–3, pp. 3–9. Symmetry constrains a throat problem; it does not select an asymptotically flat source or detector.

EvidenceParameters and region held fixedSupported conclusionBoundary of the conclusion
Bardeen–Horowitz 1999Exact extremality first; scaled (T,R,Φ)(T,R,\Phi) fixedSmooth NHEK vacuum limit with enhanced symmetryNot the fixed-radius extremal Kerr exterior; no retarded amplitude at infinity
Amsel et al. 2009Isolated asymptotically NHEK domain with specified flux and charge constraintsBoundary and linearization-stability conditions can remove nominal throat dynamicsDoes not impose the matching data of an asymptotically flat Kerr exterior
Yang et al. 2013κ→0\kappa\to0 with synchronous detuning and matched near/far regionsZero-damped poles cluster at mΩHm\Omega_H; a damped branch may coexistPole family is not a completeness theorem or an upper-half-plane instability
Aretakis, 2013 preprint v2; published 2015Exact κ=0\kappa=0, regular compact horizon sections, specified geometric hypotheses and nonzero scalar chargeCharge obstructs section-norm decay; higher-derivative growth additionally assumes lower-order tangential decayNot nondecay at every angle, a finite-κ\kappa charge, or a nonlinear endpoint
Gralla–Zimmerman–Zimmerman 2016Fixed X=x/σX=x/\sigma and source-shifted TT, a far source with nonzero fixed projection, a declared component and nonaxisymmetric mode sectorLeading small-pole-shift NHM profile and derivative powers; principal and supplementary powers differNot an absolute unit-source normalization or a full Green-function remainder bound; regular observer frames differ, and local density is not integrated energy

The matrix records distinct operator domains and orders of limits. The zero-damped/damped branching and early power-law ringdown are supported by Yang et al. 2013, §§ III.B–D and V.A, pp. 7–10 and 16–17 (PDF). The exact scalar horizon theorem is supported by Aretakis 2013, Theorems 1–2 and proofs, pp. 11–12 (PDF). The cross-region near-extremal Green function and transient derivative scaling are supported by Gralla et al. 2016, §§ II–IV and Appendices A–B, pp. 2–7 (PDF). These results reinforce one another only after their data, field, and observation regimes are translated.

Controlled universality. In a double or triple scaling limit with U=κtU=\kappa t, X=x/σX=x/\sigma, and W=(ω−mΩH)/κW=(\omega-m\Omega_H)/\kappa fixed, the throat equation and conformal weight can determine response exponents, pole spacing, and part of the scaling function. Different asymptotically flat perturbations with nonzero projection onto the same throat representation may share these features after an overall amplitude is removed. This does not guarantee a convergent scaled frequency: the principal small-pole correction can retain a logarithmically rotating phase of fixed modulus, as shown on the ZDM page.

Exterior-sensitive response. A fixed-radius waveform, absorbed flux, or detector signal also depends on Cfar\mathcal C_{\mathrm{far}}, the source spectrum, angular projection, choice of regular tetrad, and propagation through the exterior potential. At exceptional weights, logarithms or a vanishing leading matching coefficient can alter the nominal scaling. Universality of a near-zone exponent therefore does not imply universality of an absolute asymptotic amplitude.

These positions are compatible. The first concerns a controlled scaling class; the second concerns the map from that class to a physical experiment. Amsel and collaborators provide a sharp boundary-condition counterexample: under their gravitational Teukolsky–Dirichlet conditions and full linearization-stability charges imposed at all times, the analyzed bulk gravitational dynamics is pure gauge. The scalar model uses its own generalized Dirichlet conditions; broader gravitational boundary domains are not settled by that calculation. See Amsel et al. 2009, §§ 4.5–5, pp. 31–32 (PDF). This does not refute matched throat excitations in asymptotically flat Kerr. It does refute any claim that local NHEK equations determine nontrivial dynamics independently of their boundary domain.

The elementary function

Aκ(t)=e−κtA_\kappa(t)=e^{-\kappa t}

already gives

lim⁡κ→0lim⁡t→∞Aκ(t)=0,lim⁡t→∞lim⁡κ→0Aκ(t)=1.\lim_{\kappa\to0}\lim_{t\to\infty}A_\kappa(t)=0, \qquad \lim_{t\to\infty}\lim_{\kappa\to0}A_\kappa(t)=1.

Holding U=κtU=\kappa t gives the crossover e−Ue^{-U}. Thus a family that decays for every subextremal member can have a nondecaying extremal limit. No positive imaginary frequency is needed.

Radial limits behave similarly. If F(U,X,W)\mathcal F(U,X,W) decays rapidly as X→∞X\to\infty, then at fixed x>0x>0 one has X=x/σ→∞X=x/\sigma\to\infty and the throat term can vanish, even when it is parametrically large at fixed XX. Each transverse derivative brings ∂x=σ−1∂X\partial_x=\sigma^{-1}\partial_X and may reverse the amplitude scaling. Statements about growth must name the derivative order and regular observer frame.

Frequency and time limits are linked by inversion. For each κ>0\kappa>0, the zero-damped poles are discrete and below the real axis. Taking κ→0\kappa\to0 can accumulate them at ω=mΩH\omega=m\Omega_H and produce a limiting branch singularity. Taking t→∞t\to\infty first at fixed κ\kappa selects the least-damped exponential within the pole contribution. The complete asymptotically flat response also retains its branch tail, which eventually dominates damped exponentials when excited. Replacing the pole sum by a cut before proving uniform convergence can therefore change the answer.

Finally, let a linear source have amplitude η\eta. The raw response tends to zero when η→0\eta\to0, whereas the susceptibility R/η\mathcal R/\eta can diverge as σp\sigma^p with p<0p<0. If ησp\eta\sigma^p ceases to be small, linear perturbation theory loses control; one cannot call the resulting extrapolation a nonlinear endpoint. The weak- source and extremal limits must be correlated before discussing backreaction.

Counterevidence and limits of present claims

Section titled “Counterevidence and limits of present claims”

Several observations prevent an overbroad “universal instability” conclusion. Zero-damped frequencies have Im⁡ω<0\operatorname{Im}\omega<0 for every fixed subextremal Kerr black hole. Transient growth is confined to a near-horizon layer and a long but finite time range. Data orthogonal to the leading throat mode can set its coefficient to zero. Real conformal weights at exceptional integer separation can require logarithmic matching. Isolated NHEK boundary conditions need not reproduce the asymptotically flat retarded problem.

Conversely, eventual decay at every fixed κ>0\kappa>0 is not a uniform bound as κ→0\kappa\to0. It does not erase the large energy density or tidal response an infalling observer may encounter in a layer x=O(σ)x=O(\sigma). The correct description is a singular, observer-dependent transient with established linear examples—not exponential mode instability and not automatically a nonlinear instability.

Near-horizon background classification remains in Black-Hole Geometry, while nonlinear endpoints and microscopic duals require additional dynamical and quantum input beyond this perturbative description.

Known scaling laws and unresolved limit exchanges

Section titled “Known scaling laws and unresolved limit exchanges”

As of the cutoff, the geometry, separated equations, ZDM/DM bifurcation, exact-extremal scalar theorem, and calculated near-extremal linear transient are established within the cited domains. A boundary-independent universal absolute response, a general theorem permitting all relevant limit exchanges, and a universal nonlinear endpoint are not established by this evidence set. Whether one normalized scaling law extends uniformly across fields, sources, near and far observers, and exceptional weights remains unresolved. There is no universal verdict beyond the explicitly controlled regimes in the matrix.

Progress could come from a uniform asymptotic expansion with a stated error across near and far observers; a theorem controlling the exchange of extremal, synchronous-frequency, and late-time limits; an independent near-extremal time-domain simulation with matched source and observer normalization; a new observable whose exterior connection coefficient is calculated; or a correction to a published scaling claim. Each comparison must specify the field, spin, data class, derivative, region, and limit order, not merely a new power of σ\sigma.

The exact theorem and separate transient calculation are developed on Aretakis Growth and Near-Extremal Transients. The complete chapter map is available at Near-Horizon and Near-Extremal Dynamics.

Let σ=4μκ\sigma=4\mu\kappa and consider the model throat contribution

Qσ(t,x)=σ−1/2e−κte−x/σ.Q_\sigma(t,x) =\sigma^{-1/2}e^{-\kappa t}e^{-x/\sigma}.

Evaluate it (a) at fixed σ>0\sigma>0 as t→∞t\to\infty, (b) with U=κtU=\kappa t and X=x/σX=x/\sigma fixed as σ→0\sigma\to0, and (c) at fixed tt and fixed x>0x>0 as σ→0\sigma\to0. Identify what is universal after normalization.

Solution

(a) At fixed positive σ\sigma, κ>0\kappa>0 and the time exponential forces Qσ→0Q_\sigma\to0. There is no permanent finite-κ\kappa growth.

(b) In scaled variables,

Qσ=σ−1/2e−Ue−X.Q_\sigma=\sigma^{-1/2}e^{-U}e^{-X}.

Its amplitude grows as σ−1/2\sigma^{-1/2} while the normalized response σ1/2Qσ=e−U−X\sigma^{1/2}Q_\sigma=e^{-U-X} has a finite universal profile.

(c) At fixed x>0x>0, e−x/σe^{-x/\sigma} beats every inverse power of σ\sigma, so Qσ→0Q_\sigma\to0. The same contribution is large for a throat-following observer and absent for a fixed exterior observer. The exponent −1/2-1/2 and scaled profile can be universal within the model, while the unscaled amplitude and its observability depend on region and normalization.

  • Amsel, A. J., Horowitz, G. T., Marolf, D., and Roberts, M. M. (2009). “No dynamics in the extremal Kerr throat.” Journal of High Energy Physics 2009(09), 044. DOI.
  • Aretakis, S. (2015). “Horizon instability of extremal black holes.” Advances in Theoretical and Mathematical Physics 19, 507–530. DOI. Open PDF, 2013 preprint v2.
  • Bardeen, J. M., and Horowitz, G. T. (1999). “The Extreme Kerr throat geometry: A vacuum analog of AdS2×S2AdS_2\times S^2.” Physical Review D 60, 104030. DOI.
  • Gralla, S. E., Zimmerman, A., and Zimmerman, P. (2016). “Transient instability of rapidly rotating black holes.” Physical Review D 94, 084017. DOI.
  • Yang, H., Zimmerman, A., Zenginoğlu, A., Zhang, F., Berti, E., and Chen, Y. (2013). “Quasinormal modes of nearly extremal Kerr spacetimes: Spectrum bifurcation and power-law ringdown.” Physical Review D 88, 044047. DOI.