{"id":"9a7560f3-cbba-4caf-9fda-c3320ab98403","arxiv_id":"2508.06620","paper_version":1,"verdict":"CONDITIONAL","confidence":"LOW","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Kerr-de Sitter black holes are conditionally nonlinearly stable for the full subextremal parameter range, assuming mode stability.","lead":"This paper proves that Kerr-de Sitter black holes are nonlinearly stable across the full subextremal range of parameters, assuming a standard spectral condition called mode stability. It extends earlier slowly rotating results, bringing the mathematical theory of black hole stability with a positive cosmological constant closer to completion.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Mode stability assumption is ambiguous: scalar Teukolsky mode stability may be insufficient for the nonlinear stability argument.","rationale":"The reader's weakest_assumption correctly identifies mode stability as the condition on which the central claim hinges. My stress-test agrees with that identification but sharpens it: the key is not just that mode stability is unproved, but that the exact mode stability needed for the nonlinear stability proof may be stronger or qualitatively different from the standard scalar wave mode stability. In the slowly rotating unconditional work, the authors had to handle gauge modes and the linearized Kerr-de Sitter family separately; those are not covered by Teukolsky mode stability. If the present paper's assumption is stated at the level of the full linearized operator, it is a legitimate but outstanding spectral conjecture; if it is stated only for scalar equations, there is a potential gap between the assumption and the conclusion. Because the full text is unreadable, this cannot be verified here. The recommended verdict remains CONDITIONAL: the claim is honestly conditional on a clear assumption, but the assumption's precise scope must be checked before the theorem can be taken as stated.","tokens_in":29387,"tokens_out":5737,"duration_ms":69480,"concrete_test":"Locate the formal statement of the mode stability assumption (likely in Section 2 or 3). Check whether it applies to the linearized gauge-fixed Einstein operator with the specific constraint-damping terms. Independently re-derive the decoupling in the linearized system: if the proof reduces the equation to a scalar Teukolsky equation plus a finite-dimensional gauge/stationary analysis, verify that every solution with non-negative imaginary frequency is accounted for. If the proof instead invokes a black-box mode stability for the full operator, test a representative subextremal case (e.g., M=1, a=0.8, Lambda=0.1) by numerically searching for non-decaying modes of the gauge-fixed operator; any unaccounted mode invalidates the reduction.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The theorem is explicitly conditional on \"mode stability,\" but the proof requires a spectral statement for the full linearized, gauge-fixed Einstein operator: no resonances with non-negative imaginary frequency except for the linearized Kerr-de Sitter family and pure gauge modes. Standard mode stability for the scalar wave or Teukolsky equation does not automatically rule out coupled linearized modes, stationary/gauge solutions, or resonances introduced by the constraint-damping modification. The abstract does not specify the precise operator or the exact spectral assumption, and the supplied full text is corrupted, so this cannot be audited. If the paper assumes only the standard scalar mode stability, the nonlinear stability conclusion may rely on an unstated extra condition; if it assumes the full linearized mode stability, that assumption is strictly stronger and remains unproven for the full subextremal range.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims a conditional nonlinear stability theorem for Kerr-de Sitter spacetimes with positive cosmological constant, covering the full subextremal parameter range rather than the slowly rotating case treated unconditionally by Hintz and Vasy. The abstract states: under the assumption that mode stability holds, small vacuum perturbations of any subextremal Kerr-de Sitter spacetime remain bounded and decay to a nearby Kerr-de Sitter solution. The proof is said to follow the Hintz–Vasy microlocal framework, with two technical novelties: an implementation of constraint damping valid in the full subextremal range, and a verification of the subprincipal symbol condition at the trapped set. The theorem is openly conditional, and the linear spectral assumption is isolated rather than hidden. However, the supplied full text is badly corrupted: most body text and displayed equations are unreadable, so the mathematical argument could not be independently audited from the manuscript file.","tokens_in":29497,"tokens_out":7035,"duration_ms":92804,"significance":"If correct, this is a significant contribution to the nonlinear stability program for Kerr-de Sitter spacetimes. It reduces the full subextremal case to a single linear spectral assumption and identifies the additional technical obstacles beyond the slow-rotation case. The explicit conditionality is a strength: the result is honestly stated and provides a clear target for future work on mode stability. I found no obvious circularity: mode stability is an external linear input, not a restatement of the nonlinear conclusion. The value of the paper, however, depends crucially on the precise meaning of 'mode stability' and on the correctness of the two technical verifications, neither of which could be checked from the supplied text.","major_comments":[{"comment":"The theorem is conditional on 'mode stability', but the abstract does not specify which operator this refers to. Standard scalar or Teukolsky mode stability—absence of non-decaying scalar modes—does not by itself imply the spectral property needed by the nonlinear argument: absence of non-decaying resonances for the full linearized, gauge-fixed Einstein operator, including the constraint-damping modification. If the intended hypothesis is the stronger full-system statement, it should be stated as a numbered assumption with the operator, gauge, and boundary conditions explicitly listed; if it is the weaker scalar statement, an argument is needed showing that scalar mode stability controls the full linearized spectrum. This is load-bearing: every subsequent conclusion depends on this hypothesis. The corrupted text prevents locating the definition in the body, so the statement of the theore","section":"Abstract / §1"},{"comment":"The first claimed novelty is the implementation of constraint damping in the full subextremal range. Constraint damping adds lower-order terms that can in principle change the location of resonances or introduce new ones. The proof must show that the spectral gap is preserved under this modification, and, in particular, that the mode stability assumption is made for the damped gauge-fixed operator rather than for an undamped 'physical' operator. The supplied text contains visible fragments of the relevant definitions but the equations are illegible. A precise lemma isolating the spectral statement for the damped operator is necessary for the nonlinear conclusion to follow.","section":"Technical sections (operator definition, unreadable in supplied text)"},{"comment":"The second novelty is the verification of a subprincipal symbol condition at the trapped set. This condition is central to the microlocal estimates that yield decay. The text appears to contain a long calculation, but the symbols and inequalities are corrupted in the supplied file. I could not identify the parameter ranges covered, the exact inequality verified, or whether the verification is uniform over the full subextremal range. This is a proof-critical point and must be legible before the paper can be accepted.","section":"Technical sections (trapped-set condition, unreadable in supplied text)"}],"minor_comments":[{"comment":"Please define 'subextremal' explicitly in the introduction, with the precise parameter domain (mass, spin, cosmological constant, and the condition that no degenerate horizons occur).","section":"Abstract / Introduction"},{"comment":"Please include a precise reference to the unconditional Hintz–Vasy slowly rotating theorem and state clearly why the new proof is needed beyond that case, e.g., which estimates fail or are not known to be uniform.","section":"Introduction"},{"comment":"The phrase 'mode stability holds for these spacetimes' should be expanded by one sentence in the introduction to specify the linear operator and the spectral statement. This would remove ambiguity and make the conditional theorem easier for readers to verify.","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":"The main obstacle is that the supplied PDF has an unusable text layer; I could not audit the proof. I am also concerned that the abstract's 'mode stability' is ambiguous between scalar/Teukolsky mode stability and full linearized gauge-fixed mode stability. If the authors assume only the scalar statement, the theorem likely overclaims; if they assume the full linearized statement, they should say so explicitly. Please obtain a clean PDF and check that the assumption is stated as a numbered, precise hypothesis. My recommendation is driven by these auditability issues, not by a detected mathematical error."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Chris — quick take on 2508.06620. The headline: this is the expected endpoint of the Hintz–Vasy program, nonlinear stability of Kerr-de Sitter in the full subextremal range, but explicitly conditional on mode stability. The abstract is admirably clear about that condition. If the proof is right, it's the first full-range result and a serious milestone.\n\nWhat's genuinely new: two technical steps, constraint damping across the full range and the subprincipal symbol condition at the trapped set. Those are plausible from the authors' prior work and the abstract states them without overclaiming. The reduction of nonlinear stability to a linear spectral input is standard for this microlocal framework, and they don't hide the condition.\n\nThe soft spots, in order of importance. First, 'mode stability' is underspecified in the abstract. The stress-test note is right: scalar Teukolsky mode stability does not obviously imply the spectral statement needed for the gauge-fixed linearized Einstein operator with constraint damping. The authors presumably mean the full linearized mode stability, but the paper needs to say that explicitly, and the proof has to identify exactly which resonances are excluded. If they only assume scalar mode stability, the conclusion likely doesn't follow. This is a genuine precision issue, not a manufactured one. Second, the theorem is conditional on a statement that remains unproven in the full subextremal range; that's honestly flagged, but it means the paper's central claim is conditional, and the value depends on the eventual mode stability proof. Third, the supplied full text is a garbled glyph stream, so I can't audit the argument. That's not the authors' fault in the arXiv file, but it means my verdict rests on the abstract and the prior framework.\n\nWho should read it: anyone working on black hole stability, especially the Kerr-de Sitter program. The conditional structure is worth discussing in a reading group even if the proof details are currently unreadable. It deserves a serious referee: the claim is important, the method extends a published framework, and the explicit condition makes the logical dependencies checkable. My recommendation: send it to peer review, with referees told to focus on the precise mode stability assumption and the two named technical novelties. If those hold up, it's an important paper even with the condition left open.","headline":"Conditional stability for full subextremal Kerr-de Sitter: a cleanly stated endpoint theorem with an underspecified mode-stability assumption and a proof we couldn't read.","tokens_in":30014,"tokens_out":2470,"would_cite":true,"duration_ms":27363,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","83C05"],"pacs":[],"model":"deepseek-v4-flash","headline":"Kerr-de Sitter black holes are nonlinearly stable across the full subextremal spin range, if mode stability holds.","keywords":["Kerr-de Sitter","nonlinear stability","mode stability","black holes","cosmological constant","Einstein equation","constraint damping","trapped set"],"falsifier":"Find a subextremal Kerr-de Sitter parameter pair for which the linearized Einstein equations admit a nontrivial solution with frequency $\\omega$ satisfying $\\mathrm{Im}\\,\\omega \\ge 0$ and appropriate boundary conditions—equivalently, a quasinormal mode crossing into the upper half-plane or onto the real axis. A numerical search across the subextremal parameter space for such non-decaying modes would falsify mode stability, and with it the paper's theorem.","tokens_in":1195,"feed_emoji":"🕳️","tokens_out":2838,"duration_ms":103112,"temperature":0.7,"pith_summary":"The paper shows that Kerr-de Sitter black holes—rotating black holes in a universe with positive cosmological constant—are nonlinearly stable throughout the full subextremal range, provided a linear spectral condition called mode stability holds. In concrete terms, any sufficiently small perturbation of such a spacetime remains bounded and decays to a nearby Kerr-de Sitter solution with slightly adjusted mass and angular momentum. This extends an earlier unconditional stability proof for slow rotation to all subextremal spins by introducing constraint damping that works across the whole parameter range and by verifying a subprincipal symbol condition at the trapped set. The result matters because it reduces a difficult nonlinear problem in general relativity to a single linear spectral check: once mode stability is proved, the nonlinear stability of Kerr-de Sitter becomes unconditional.","feed_headline":"Kerr-de Sitter black holes stable across all subextremal spins","feed_subtitle":"Small perturbations of any such black hole settle down to a nearby solution, given mode stability.","key_machinery":"Mode stability—the assumption that the linearized Einstein operator around subextremal Kerr-de Sitter has no nonzero bounded solutions in the relevant frequency range—is the input on which the theorem depends. The proof's engine is the damped linearized Einstein operator: adding constraint-damping terms that vanish on true solutions but suppress constraint violations, combined with a microlocal subprincipal symbol condition at the trapped set (the region of phase space where null geodesics stay bounded). These ingredients yield a resonance-free strip and exponential decay for linear perturbations, which the nonlinear iteration converts into stability.","core_discovery":"Let $g_b$ be a subextremal Kerr-de Sitter spacetime, meaning a Kerr-de Sitter solution with non-degenerate event and cosmological horizons and parameters in the full subextremal range. The paper claims that, conditional on mode stability for such spacetimes, the vacuum Einstein equation with positive cosmological constant is nonlinearly stable: for initial data sufficiently close to the Kerr-de Sitter data, the maximal development remains close to $g_b$ for all times and asymptotically decays to another Kerr-de Sitter solution. The proof adapts the slow-rotation strategy: it analyzes the linearized Einstein equation after adding constraint-damping terms, obtains high-energy resolvent estimat","pith_inferences":["Because the theorem excludes extremal Kerr-de Sitter, the boundary case at maximal spin remains open; mode stability and trapping are expected to degenerate there, so the extremal limit likely needs separate treatment.","The constraint-damped formulation used in the proof could double as a practical evolution system for numerical relativity, since it is engineered to keep constraint violations bounded over long times.","The same strategy may transfer to other families of de Sitter black holes, such as charged or higher-dimensional rotating solutions, once the analogous mode stability and subprincipal symbol conditions are verified."],"forward_implications":["Every sufficiently small perturbation of a subextremal Kerr-de Sitter spacetime stays bounded and converges to a nearby Kerr-de Sitter solution, conditional on mode stability.","The stability result holds across the entire subextremal parameter range, not just near zero rotation.","Proving mode stability for subextremal Kerr-de Sitter would turn the conditional theorem into an unconditional nonlinear stability statement.","The constraint-damping construction and the trapped-set subprincipal symbol verification are new tools valid in the full subextremal range and are reusable for related black hole stability problems.","The theorem sharpens the picture of black hole dynamics with positive cosmological constant: stable, decaying perturbations pick out a nearby Kerr-de Sitter end state."],"supporting_citations":[],"fun_headline_variants":["Kerr-de Sitter stable across all subextremal spins","Conditional stability for Kerr-de Sitter at any spin","Full-range Kerr-de Sitter stability, given mode stability","Mode stability implies Kerr-de Sitter nonlinear stability"],"cache_read_input_tokens":32000,"weakest_assumption_plain":"The paper assumes, without proof, that mode stability holds for every subextremal Kerr-de Sitter spacetime: no nonzero bounded solutions of the linearized Einstein equations exist in the relevant frequency range.","fun_headline_variants_meta":{"raw":{"variants":["Kerr-de Sitter stable across all subextremal spins","Conditional stability for Kerr-de Sitter at any spin","Full-range Kerr-de Sitter stability, given mode stability","Mode stability implies Kerr-de Sitter nonlinear stability"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000223,"raw_usage":{"total_tokens":1224,"prompt_tokens":604,"completion_tokens":620,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":348,"completion_tokens_details":{"reasoning_tokens":554}},"tokens_in":348,"tokens_out":620,"duration_ms":6695,"temperature":1.0,"reasoning_tokens":554,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T22:39:17.846801+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a subextremal Kerr-de Sitter parameter pair for which the linearized Einstein equations admit a nontrivial solution with frequency $\\omega$ satisfying $\\mathrm{Im}\\,\\omega \\ge 0$ and appropriate boundary conditions—equivalently, a quasinormal mode crossing into the upper half-plane or onto the real axis. A numerical search across the subextremal parameter space for such non-decaying modes would falsify mode stability, and with it the paper's theorem.","supporting_citations":[],"review_version":1}