{"id":"5d407846-e558-47b8-ad59-e933c344c6d1","arxiv_id":"2506.18524","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For Kerr-AdS black holes crossing the Hawking-Reall bound, stationary gravitational modes exist for all sufficiently large azimuthal numbers, and the parameters accumulate on the threshold as the azimuthal number grows.","lead":"This paper proves that rotating black holes in anti-de Sitter space develop non-decaying gravitational wave modes exactly when a rotation speed crosses a known stability bound. The result is a rigorous confirmation of a suspected instability threshold for Kerr-AdS black holes at high angular frequencies.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Boundary condition (1.7) is applied with an implicit complex conjugation absent from the displayed equations, so Lemma 2.6's κ construction proves a different condition than the one stated.","rationale":"The reader's weakest assumption concerned uniform high-frequency estimates in the no-rebound Proposition 4.1. I do not dispute that this is a reasonable point to check, but the single most concrete internal inconsistency I find is in the translation from the shooting target Q(0)=0 to a true Teukolsky mode satisfying the stated conformal boundary conditions. The displayed boundary conditions (1.7) and (2.7) lack complex conjugates, while the proof of Lemma 2.6 uses conjugated quantities; without the overlines the chosen constants κ do not make the boundary terms vanish. This is load-bearing because it sits at the final step of Theorem 1.1. The issue appears to be a fixable typo rather than a fatal flaw: if (1.7) and (2.7) are corrected to read R[+2]-\\overline{R[-2]}=0 and R[+2]'+\\overline{R[-2]}'=0, the algebra of Lemma 2.6 closes and the rest of the shooting argument is unaffected. I also note a smaller technical gap in the application of Lemma 4.6 to Q'': the f there is built from r-derivatives of V0, while (2.10b) needs r⋆-derivatives; the missing factor Δ/(r²+a²) is bounded below on the relevant set, so this appears repairable. Since the existing conditional verdict already accommodates corrections to the statement and proof, I recommend leaving the verdict unchanged.","tokens_in":21901,"tokens_out":38655,"duration_ms":376801,"concrete_test":"Re-derive the two cases of Lemma 2.6 using the literal definitions in the paper: R[+2]=R, R[-2]=κR, and boundary conditions (2.7) without overlines. In the R(0)=0 case, evaluate (R[+2])'+(R[-2])' at r⋆=0 with κ=-\\bar R'(0)/R'(0): it equals R'(0)-\\bar R'(0). In the R(0)≠0 case, evaluate R[+2]-R[-2] at r⋆=0 with κ=\\bar R(0)/R(0): it equals R(0)-\\bar R(0). If either expression is non-zero for a generic ODE solution (for instance, the WKB basis R1 from §5, for which R1(0) is real and R1'(0) is purely imaginary), the proof is proving a different boundary condition. Then consult [GH23] to determine whether (1.7) should read \\tilde α[+2]=\\overline{\\tilde α[-2]} and ∂_{r⋆}\\tilde α[+2]=-\\overline{∂_{r⋆}\\tilde α[-2]}; if so, correct (1.7)/(2.7) and the theorem statement accordingly.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing point is the final bridge from the shooting target Q[R](0)=0 to the Teukolsky boundary conditions. Lemma 2.5 asserts that (1.7) is equivalent to (2.7), displayed without complex conjugation: R[+2]-R[-2]=0 and R[+2]'+R[-2]'=0 at r⋆=0. Lemma 2.6 then sets R[+2]:=R and R[-2]:=κR. In the case R(0)=0 it chooses κ=-\\bar R'(0)/R'(0); the second condition (2.7) then reads R'(0)+κR'(0)=R'(0)-\\bar R'(0), which is not zero for a generic complex solution (e.g. the WKB solution R1 of §5 has R1(0) real and R1'(0) purely imaginary). In the case R(0)≠0 it chooses κ=\\bar R(0)/R(0); the first condition (2.7) reads R(0)-κR(0)=R(0)-\\bar R(0), again not zero. The algebra in the proof only closes if the boundary conditions are R[+2]-\\overline{R[-2]}=0 and R[+2]'+\\overline{R[-2]}'=0, with R[-2]=κR. Thus the proof establishes a mode for the conjugated conditions, not for (1.7)/(2.7) as stated. Since Theorem 1.1 asserts regularity plus (1.7), this is exactly where the shooting result becomes a gravitational mode. The fix is likely to insert overlines in (1.7) and (2.7), but as written the central statement and its proof are inconsistent.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves that for any continuous path of admissible Kerr-adS parameters crossing the Hawking-Reall bound, for all sufficiently large azimuthal numbers |m| there exist parameter values on the path at which the spin-±2 Teukolsky equations admit non-trivial regular stationary modes satisfying horizon regularity and conformal boundary conditions, with the mode parameters accumulating at the Hawking-Reall threshold as |m| tends to infinity. It also proves a complementary high-frequency mode stability result when the Hawking-Reall bound holds. The method separates variables, reduces the two spin-±2 radial equations to a single complex radial ODE, and uses the real quantity Q[R] = (|R|^2)' as a shooting 'bullet' toward the boundary condition Q[R](0)=0. The proof combines uniform angular eigenvalue asymptotics near the threshold, a no-rebound property for Q, and a two-term WKB analysis near conformal infinity above the threshold.","tokens_in":22212,"tokens_out":15171,"duration_ms":137043,"significance":"If the conjugation issue described below is repaired, this is a significant rigorous confirmation of the Hawking-Reall instability picture for gravitational perturbations of Kerr-adS, complementing the earlier mode stability results of Graf-Holzegel and the numerics of Cardoso-Dias-Hartnett-Lehner-Santos. The paper introduces a genuinely new non-variational shooting scheme for the complex Teukolsky system, and the WKB estimates are presented with explicit error bounds. The use of previously established facts from [GH23] is clearly identified and does not appear circular. The paper also supplies a clean high-frequency mode stability theorem under the Hawking-Reall bound.","major_comments":[{"comment":"The boundary conditions (1.7) and (2.7) are displayed without complex conjugation, but the construction in Lemma 2.6 proves the conjugated conditions R[+2] - conjugate(R[-2]) = 0 and (R[+2])' + (conjugate(R[-2]))' = 0. For instance, if R(0)=0 and R'(0)=i, the choice kappa = -conjugate(R'(0))/R'(0) = 1 gives (R[+2])' + (R[-2])' = 2i, which is not zero, so the displayed (2.7) is not what is established. The algebra in the remainder of Lemma 2.6 also only closes with the conjugated conditions, and the reciprocal Lemma 2.7 needs the same convention. Since Theorem 1.1 is stated with (1.7), the theorem and its proof are inconsistent as written. This is a local but load-bearing correction: add the conjugations in (1.7), (2.7), and in the equivalence stated in Lemma 2.5.","section":"Section 1, Eq. (1.7); Section 2.1, Eq. (2.7); Lemma 2.6"},{"comment":"The proof reduces without comment to strictly rotating parameters a(s)>0. This excludes paths with a(0)=0, which are allowed by Theorem 1.1, and Propositions 4.1 and 5.1, as well as Lemma 4.3, genuinely require a>0 with constants that are not uniform as a tends to 0. The gap is repairable by choosing s0 in (0,s_HR) with a(s0)>0 and applying the shooting argument to the subpath [s0,1]; the dependence of m0 on s0 and the preservation of the accumulation statement (1.10) should be stated explicitly.","section":"Section 6.2, first paragraph"}],"minor_comments":[{"comment":"The sentence 'for all s in (s_HR,s_c), there exists m3(s) such that for all |m| >= m3, s not in J = [0,s_m]' is confusing: J is a subset, not an interval, and the conclusion being drawn is that s > s_m. Rephrase as 's not in J, i.e. s > s_m'.","section":"Section 6.2, final paragraph"},{"comment":"The remark asserts that metric reconstruction associates non-trivial stationary solutions of the linearised Einstein equations to the modes of Theorem 1.1, but no proof or reference for this specific reconstruction step is given; if retained, it should be labelled as expected or supported by a cited argument.","section":"Remark 3 after Theorem 1.1"},{"comment":"After (5.11), the absorption of the V00''(0) term into the error term A |omega r_star|^3 is not shown; a one-sentence justification would improve the readability of the sign argument.","section":"Section 5.2, proof of Lemma 5.5"}],"recommendation":"major_revision","confidential_remarks":"The conjugation issue is the reason for major revision; it is almost certainly a typo in the displayed formulas rather than a conceptual flaw, and I would be willing to accept after verifying the corrected Lemma 2.7. The strict-rotation reduction is also easy to fix. I saw no circularity in the use of [GH23]."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read it. The core result is real and substantial: a shooting argument using the real-valued quantity Q = (|R|^2)' gets around the obstruction that the Teukolsky radial ODEs are complex, and high-frequency WKB control near the boundary produces stationary modes accumulating at the Hawking-Reall threshold. That is genuinely new; Dold's wave-equation construction does not handle the spin-2 system, and Graf-Holzegel's mode stability stops below threshold. The angular eigenvalue asymptotics, uniform over compact parameter sets, and the no-rebound Proposition 4.1 are carefully done. The mode stability side, Theorem 1.2, is a clean corollary of the energy identity.\n\nBut there is a real problem in the final step. Lemma 2.5 states the boundary conditions (2.7) without complex conjugation: R[+2]-R[-2]=0 and R[+2]'+R[-2]'=0 at r*=0. Lemma 2.6 sets R[-2]=kappa R and chooses kappa by conjugating the solution. The algebra in the proof only closes for the conjugated conditions. For example, when R(0)=0 the proof chooses kappa=-conj(R'(0))/R'(0) and then needs R'+kappa R'=0, which gives R'-conj(R')=0, not zero for generic complex R. I checked against the WKB solutions: R1(0) is real and R1'(0) is purely imaginary, so this is not a formal corner case. The proof itself writes R[+2]-R[-2] as R-conj(kappa)conj(R), which is only true if R[-2] were conj(kappa)conj(R), not kappa R. So as written, Theorem 1.1 proves a mode for the conjugated boundary conditions, not for (1.7)/(2.7). This is load-bearing because it is exactly the bridge from the shooting construction to a gravitational Teukolsky mode. I suspect the physical conformal boundary conditions are indeed the conjugated ones and the displayed equations are missing overlines, but the author has to fix both the statements and Lemma 2.6 before the theorem is supported.\n\nTwo minor concerns: the proof restricts to strictly rotating parameter paths by fiat, which is probably harmless but should be stated as an explicit assumption or handled in the argument; and Remark 3 claims metric reconstruction without proof. Neither affects the main analytic construction.\n\nOverall this is a serious paper and deserves refereeing. The referee should insist on the boundary-condition correction and ask the author to confirm that the uniform estimates imported from GH23 cover the whole parameter path, including the approach to the Hawking-Reall threshold.","headline":"Strong, novel shooting/WKB proof of stationary Teukolsky modes crossing the Hawking-Reall threshold, but the final boundary-condition bridge has a complex-conjugation mismatch that must be fixed before the theorem as stated is proved.","tokens_in":22752,"tokens_out":4662,"would_cite":true,"duration_ms":45081,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q76","83C57","34E20","35P05"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that stationary gravitational modes of Kerr–anti-de Sitter black holes must appear exactly when the Hawking–Reall bound is crossed, for large azimuthal numbers.","keywords":["stationary modes","Teukolsky equations","Kerr–anti-de Sitter","Hawking–Reall bound","shooting method","WKB approximation","mode stability","linearized Einstein equations"],"falsifier":"Take a concrete continuous path of Kerr–adS parameters crossing the Hawking–Reall bound, fix a large |m|, and compute the normalized radial solution R(s) shooting from the horizon. If for some s in the crossing interval Q[R(s)] vanishes at an interior point r_* < 0 with Q' = 0 and Q'' ≥ 0, Proposition 4.1 is false and Theorem 1.1 collapses. Alternatively, a numerical search that finds no stationary mode for any |m| ≥ m_0 along a crossing path would contradict the theorem.","tokens_in":21669,"feed_emoji":"🕳️","tokens_out":5769,"duration_ms":50079,"temperature":0.7,"pith_summary":"This paper proves that stationary (non-decaying, time-independent up to rotation) gravitational perturbation modes must appear on every Kerr–anti-de Sitter black hole exactly when its parameters cross the Hawking–Reall bound, provided the azimuthal number |m| is taken large enough. The result matters because these modes are suspected to mark the onset of a genuine linear instability of the black hole, and they explain where mode stability ends. The proof cannot use variational methods, so the author develops a shooting-type continuity argument that tracks the real quantity Q = (|R|^2)' along solutions of the separated radial Teukolsky equation. Below the bound Q stays positive; above the bound, a WKB calculation shows Q must turn negative; the no-rebound property forces the crossing exactly at the conformal boundary.","feed_headline":"Stationary Kerr-adS modes pinned to the Hawking–Reall threshold","feed_subtitle":"A shooting argument localizes the onset of gravitational perturbation modes for large azimuthal number m.","key_machinery":"The central object is the real-valued bullet quantity Q[R] = (|R|^2)' along solutions R of the separated radial Teukolsky ODE, because the conformal boundary condition for stationary modes reduces exactly to Q[R](0) = 0. Proposition 4.1 establishes a no-rebound property: if Q and Q' both vanish at an interior point, then Q'' < 0 (or R is trivial), so the first time Q touches zero it must be at the boundary r_* = 0. Uniform positivity of Q below the Hawking–Reall bound follows from an energy identity plus the angular eigenvalue asymptotics of Section 3; negativity above the bound comes from a high-frequency WKB expansion in powers of 1/|m|, where the leading pure-wave terms have Q = 0 identically and the next-order correction must be computed to fix the sign.","core_discovery":"The paper establishes Theorem 1.1: for any continuous path of admissible Kerr–anti-de Sitter parameters (M(s), a(s), k(s)) that starts strictly below the Hawking–Reall bound a < k r_+^2 and ends strictly above it, and for all azimuthal numbers |m| ≥ m_0 (depending on the path), there is a parameter value s_m on the path for which the Teukolsky system with conformal boundary conditions admits a non-trivial regular stationary mode. Moreover, these parameters s_m accumulate at the Hawking–Reall threshold as |m| → ∞. The companion Theorem 1.2 proves that no such modes exist below the bound for large |m|, so the threshold is precisely the location where the modes condense.","pith_inferences":["If stationary modes appear at the threshold, the nonlinear black resonators that are expected to bifurcate from Kerr–adS should also emerge precisely there; the parameter s_m from Theorem 1.1 gives a concrete branch along which such bifurcations could be sought.","The no-rebound mechanism is likely to extend to other separated Teukolsky-like systems (e.g., higher spins or charged black holes) whenever a real quantity of the form (|R|^2)' can be defined and its second derivative controlled at interior zeros.","A numerical computation along a single crossing path for a large fixed |m| could directly verify the prediction s_m → s_HR; the paper itself does not compute such numbers.","The WKB sign analysis may be sensitive to the choice of boundary conditions at infinity; changing the conformal boundary conditions could shift or even remove the mode, a possibility the current argument does not address."],"forward_implications":["Stationary modes, and therefore non-decaying gravitational perturbations, exist on every Kerr–adS black hole whose parameters cross the Hawking–Reall bound, for all sufficiently large azimuthal numbers.","The set of parameters admitting such modes accumulates exactly on the Hawking–Reall threshold as |m| → ∞.","Below the bound, for large |m|, no non-trivial stationary modes exist (Theorem 1.2), so mode stability holds there within this high-frequency regime.","By the metric reconstruction method, each such mode yields a non-trivial stationary solution to the linearised Einstein equations around the Kerr–adS family, as the paper claims in Remark 3."],"supporting_citations":[{"why":"Supplies the uniform high-frequency bounds on V00 and the angular eigenvalues, the mode stability framework, and the Wronskian non-vanishing argument used in the reduction to the single radial ODE.","marker":"[GH23]"},{"why":"Introduces the Hawking–Reall bound whose crossing is the central threshold of the theorem.","marker":"[HR99]"},{"why":"Gives the shooting-and-continuity template for constructing stationary modes on Kerr–adS in the (conformal) wave equation case, which the present paper adapts to the Teukolsky system.","marker":"[Dol17]"},{"why":"Provides the separated form of the Teukolsky equations on Kerr–de Sitter / adS spacetimes used throughout the paper.","marker":"[Kha83]"},{"why":"Derives the Teukolsky equations for gravitational perturbations of rotating black holes, the equations under study.","marker":"[Teu72]"},{"why":"Gives the Liouville–Green (WKB) error bounds that underpin the asymptotic sign analysis of Q above the Hawking–Reall threshold.","marker":"[Olv61]"},{"why":"Numerically predicts the appearance of stationary modes at the onset of the superradiant instability, providing the physical evidence that Theorem 1.1 confirms analytically.","marker":"[CDH+14]"},{"why":"Supplies the foundational shooting argument that this paper's continuity scheme adapts to the coupled Teukolsky system.","marker":"[Shl14]"}],"fun_headline_variants":["Shooting proof pins Kerr-adS modes to Hawking–Reall threshold","Kerr-adS modes condense at Hawking–Reall for large m","Shooting argument localizes Kerr-adS mode onset at threshold","Large-m Kerr-adS modes mark Hawking–Reall boundary","WKB shooting locates stationary Kerr-adS modes exactly"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof depends on uniform high-frequency estimates for the radial potential that remain valid all the way up to the Hawking–Reall threshold; if those estimates degenerate at the threshold, the no-rebound property could fail and the first zero of Q could occur inside the domain rather than at the boundary.","fun_headline_variants_meta":{"raw":{"variants":["Shooting proof pins Kerr-adS modes to Hawking–Reall threshold","Kerr-adS modes condense at Hawking–Reall for large m","Shooting argument localizes Kerr-adS mode onset at threshold","Large-m Kerr-adS modes mark Hawking–Reall boundary","WKB shooting locates stationary Kerr-adS modes exactly"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000213,"raw_usage":{"total_tokens":1367,"prompt_tokens":839,"completion_tokens":528,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":455,"completion_tokens_details":{"reasoning_tokens":435}},"tokens_in":455,"tokens_out":528,"duration_ms":4805,"temperature":1.0,"reasoning_tokens":435,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T18:48:57.027366+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a concrete continuous path of Kerr–adS parameters crossing the Hawking–Reall bound, fix a large |m|, and compute the normalized radial solution R(s) shooting from the horizon. If for some s in the crossing interval Q[R(s)] vanishes at an interior point r_* < 0 with Q' = 0 and Q'' ≥ 0, Proposition 4.1 is false and Theorem 1.1 collapses. Alternatively, a numerical search that finds no stationary mode for any |m| ≥ m_0 along a crossing path would contradict the theorem.","supporting_citations":[],"review_version":2}