{"id":"24f45522-9562-4da0-bbb8-d4c6c16f7b62","arxiv_id":"1908.10856","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"On subextremal Kerr backgrounds, solutions of the scalar wave equation arising from sufficiently regular localized data are uniformly bounded and extend continuously to the Cauchy horizon.","lead":"This paper proves that solutions to the massless scalar wave equation on rotating Kerr black hole spacetimes remain bounded all the way to the inner Cauchy horizon. It is a rigorous step in the mathematical stability analysis of black hole interiors.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Unproved uniform positivity of the blueshift coefficient β in (106) is the load-bearing premise; the paper only computes the |a|≪M limit and cites the Reissner–Nordström analogy, while all later blueshift-region estimates depend on it.","rationale":"The reader's weakest-assumption analysis identifies the same point that I find most load-bearing: the asserted uniform positive lower bound β in the blueshift region, equation (106), is used throughout Sections 4.3 and 4.4 but is not proved for the full subextremal range. My own reading of the manuscript confirms this. The main theorem and the weighted energy theorem both depend on this positivity: the choice of the hypersurface γ, the pointwise decay of Ω² in J+(γ), the smallness of the bulk/error coefficients, and therefore the closure of the energy estimates all require a strictly positive β. This is a genuine conditional point rather than a settled flaw: the assertion is explicitly checkable from the metric coefficients, and the paper itself only gives the slowly rotating limit. I do not see a more serious internal inconsistency. The proof is not circular—the exterior decay theorem is used only as an input—and the overall strategy is coherent. If the positivity test confirms (106), the manuscript is complete modulo the usual requests for more details in the delegated steps; if it does not, the central claim is unproved. Since the reader's conditional verdict already reflects exactly this uncertainty, my stress-test does not move the verdict. I therefore mark agreement with the reader and leave the verdict unchanged rather than escalating to reject, because the concern is a missing verification rather than a demonstrated falsehood.","tokens_in":49939,"tokens_out":18144,"duration_ms":206369,"concrete_test":"Compute q_ζ(r,θ;a,M)=(2(M−r)+Δ ∂_rR²/R²)·Q/(ΣR²), where Δ=r²−2Mr+a² and R², Q, Σ are defined in Section 2.2, on a dense grid over a/M∈(0,1), r∈(r_−,r_+), and θ∈[0,π]. For each subextremal a, check whether there exists r_blue>r_− such that inf{q_ζ : r∈[r_blue,r_−], θ∈[0,π]} = β>0, and record β(a,M). If for some a the infimum is zero or negative for every r_blue arbitrarily close to r_−, then (106) is false and the proof of Theorem 1.1 has a genuine gap. If, as expected, the infimum is achieved at r=r_− and equals 2(M−r_−)·Q/(ΣR²)|_{r=r_−}>0 uniformly in θ, then the assertion is correct and the missing step is a short analytic proof that should be added to Section 2.2.7.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 1.1 requires, as its key blueshift input, that there exist r*_blue and a constant β>0 such that −2∂_ζΩ/Ω ≥ β for ζ=u,v in B={r*≥r*_blue} (equation (106), Section 2.2.7). This positivity controls the distortion of the weighted multiplier S=S0 in J−(γ)∩B, fixes the hypersurface γ through the condition α>(p+1)/β (Section 4.3.1), yields the pointwise Ω² decay (160)–(165), and makes the bulk/error coefficients in Lemmas 4.14 and 4.16 small. If for some subextremal a the quantity −2∂_ζΩ/Ω were not uniformly positive on any neighborhood of the Cauchy horizon, the positivity of K_S0, the finite-volume estimate Vol(J+(γ))<C, and the absorption argument in J+(γ) would all break down. The paper does not prove this positivity. Footnote 6 explicitly treats only the |a|≪M limit, and the surrounding text asserts that r*_blue can be chosen sufficiently large without giving a uniform estimate for 0<|a|<M. This is not a circularity or an internal contradiction, but it is an unverified premise on which the central claim rests. The quantity is explicit: with Ω²=−Δ/R² and ∂_ζr=ΔQ/(ΣR²), one has −2∂_ζΩ/Ω = (2(M−r)+Δ∂_rR²/R²)·Q/(ΣR²), and the first factor is positive only near r=r_−. A direct verification is therefore possible and would settle the issue.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves Theorem 1.1: for a massless scalar wave on a fixed subextremal Kerr background with 0 < |a| < M, arising from sufficiently regular localized Cauchy data, the solution is uniformly bounded in the black hole interior up to and including the Cauchy horizon, to which it extends continuously. The proof is an extension of the author's Reissner–Nordström analysis [30]. It imports polynomial decay along the event horizon from [27], uses the geometry and metric estimates of Dafermos–Luk [19], and combines a redshift vector field near H+, a noshift argument in the intermediate region, and a blueshift analysis near CH+. The blueshift part distinguishes a hypersurface γ of logarithmic distance from r* = r*_blue, uses a weighted multiplier S0 before γ and S = |u|^p ∂u + v^p(∂v + b̃φ ∂φ̃) after γ, controls error terms from commutation with angular momentum operators, and derives pointwise bounds via Sobolev embedding on the spheres.","tokens_in":50253,"tokens_out":24176,"duration_ms":244066,"significance":"If the proof is completed as intended, this is a significant result: it would establish uniform boundedness of scalar waves at the Kerr Cauchy horizon for the full subextremal range, without symmetry assumptions, complementing the instability results of Luk–Sbierski (infinite non-degenerate energy) and the C0 stability of Dafermos–Luk for the vacuum equations. The paper is careful to rely on independent exterior decay results and geometric bounds, and the constant in Theorem 1.1 is explicit in terms of the data; there is no circularity in the central argument. The main weaknesses are that several load-bearing estimates in the blueshift region are only sketched, and one displayed absorption estimate (Lemmas 4.14 and 4.19) appears to pair terms with the wrong flux components as written.","major_comments":[{"comment":"The absorption argument in Lemma 4.14 is not internally consistent as written: the first line of K̃_S in (169) contains |u|^p(∂uψ)^2/(2Ω²), which is naturally bounded by the v = const flux JS_μ n^μ_{v=const} in (156), while (171) bounds it by JS_μ n^μ_{u=const} in (157); the second line is mismatched in the opposite way. As a result, the displayed estimate (172) does not follow from (171), and the smallness of δ1 and δ2 is not established. The same pattern appears for the W-multiplier in §4.6, equations (196)–(200). Since Proposition 4.15 and hence Theorem 4.18 depend on Lemma 4.14, this needs to be carefully rewritten.","section":"§4.4.2 (Eqs. (169)–(172))"},{"comment":"The Cauchy–Schwarz treatment of the ∂u b̃φ cross terms is too compressed. The estimate (168) produces a term with coefficient v^p √(∂u b̃φ)/(4Ω²) multiplying (∂vψ)^2; when this is incorporated into K̃_S in (169), the subsequent bounds (173)–(174) replace √(∂u b̃φ) by a pointwise decaying quantity, but after the division by Ω² that is explicit in (169) an extra factor Ω^{-1} remains. The authors must show how this factor is absorbed by the corresponding boundary flux before claiming the stated smallness. As written, the displayed estimates do not justify the claimed δ1 and δ2 rates.","section":"§4.4.2 (Eqs. (168), (173)–(174))"},{"comment":"The lower bound (106) is asserted for the whole subextremal range, with footnote 6 treating only the |a| ≪ M limit. All later blueshift estimates, including the choice α > (p+1)/β in (130) and the pointwise decays (160)–(165), depend on it. The authors should include the direct verification: with (61) and (81), -2∂_ζΩ/Ω = (2(M-r) + Δ ∂_rR²/R²) Q/(ΣR²), which tends to the strictly positive limit 2(M-r_-)Q/(ΣR²) as r → r_-; by continuity and compactness of the sphere this gives a uniform β on {r* ≥ r*_blue} for r*_blue sufficiently close to CH+. The claim is true, but the proof is missing.","section":"§2.2.7 (Eq. (106))"},{"comment":"The continuity statement for ψ at CH+ is part of Theorem 1.1, but Section 5 only sketches it in one sentence and refers to the author's thesis [31]. A self-contained argument, for example exhibiting a uniform modulus of continuity from the weighted higher-order energy estimates (220)–(221), should be provided, since the theorem asserts not just L∞ boundedness but continuous extendability.","section":"§5"}],"minor_comments":[{"comment":"Equations (77)–(78) appear to be inconsistent with the exact differentials (46)–(47); for example (46) gives ∂r/∂θ⋆ = GQP²Δ/(ΣR²), whereas (77) states ΔP/(ΣR²). The subsequent bounds (79)–(80) are consistent with the exact expressions, so the displayed identities should be corrected or the notation clarified.","section":"§2.2.2 (Eqs. (77)–(78))"},{"comment":"The integral display (199)–(200) uses the integration limits and notation of Lemma 4.14 (uγ, vγ) rather than the region R_V = {u1 ≤ u ≤ u2}; this makes the proof difficult to follow and should be rewritten.","section":"§4.6 (Lemma 4.19)"},{"comment":"The Sobolev inequality on the non-round spheres S²_{u,v} is invoked without comment on uniform control of the Sobolev constant in (u,v). Since the spheres vary and may degenerate at the poles, a brief justification, or a reference showing that the sphere metrics are uniformly equivalent to the round metric, is needed.","section":"§4.5.1 (Eq. (187))"},{"comment":"The notation 'M > |a| ≠ 0' should be 'M > |a| > 0' (or the a = 0 case should be explicitly included or excluded), for clarity.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The main architecture is plausible and the result, if completed, is important. My principal concern is that the blueshift absorption estimates in §4.4.2 and §4.6, which are the heart of the proof, are not written out correctly as displayed (wrong flux pairing and unaccounted powers of Ω). The stress-test issue about β in (106) is real but easily fixable. I would advise asking for a full rewrite of these sections before publication, but I do not see an obvious counterexample or circularity. The paper also relies on the author's own thesis for several details (dyadic summation, continuity), which should be made accessible in the journal version."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is the first proof that massless scalar waves, without symmetry assumptions, stay uniformly bounded on the full subextremal Kerr interior, up to and including the Cauchy horizon, with continuous extension. If it closes, it resolves a genuine open problem in the poor man's linear stability program for black hole interiors, complementing the exterior decay of Dafermos–Rodnianski–Shlapentokh-Rothman and the instability results of Luk–Sbierski on the same background.\n\nWhat the paper does well: the redshift/noshift/blueshift decomposition is standard and cleanly generalized from the author's Reissner–Nordström paper, with the new complication—error terms from commuting with non-Killing angular operators—explicitly identified and controlled. The proof is not circular; it builds on independent external inputs, and the free parameters (p, α, q) have explicit choice conditions. I found no internal contradiction.\n\nThe main soft spot is exactly what the stress-test note flags: the uniform lower bound β>0 in (106) is asserted, not proved, and every estimate in the blueshift region depends on it. But the note's own computation shows the premise is true—near r=r− the quantity −2∂ζΩ/Ω approaches 2(M−r−)Q/(ΣR²)>0, so the conclusion follows by continuity for every subextremal a. This is a presentational gap, not a probably-false premise. A referee should ask the author to write out that one computation.\n\nTwo lesser issues. The paper delegates a lot of the technical detail to [30] and the author's thesis [31]; for a first Kerr proof, that is a lot of \"see my previous paper.\" And the continuity statement at CH+ is sketched in a sentence with a footnote to the thesis. Both are fixable.\n\nWho gets value: mathematical relativists working on linear waves, black hole interiors, and Strong Cosmic Censorship. They will read this carefully. I'd send it to a serious referee with a request to verify (106) explicitly and expand the delegated estimates. Conditional acceptance is the right verdict.","headline":"First boundedness result for scalar waves on the full subextremal Kerr interior; the proof architecture is credible, but the key blueshift positivity premise is asserted rather than proved—verifiable by direct computation and almost certainly true, so this is a fixable gap, not a fatal one.","tokens_in":50814,"tokens_out":5427,"would_cite":true,"duration_ms":51001,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","35L05","83C75"],"pacs":[],"model":"deepseek-v4-flash","headline":"Massless scalar waves on every subextremal Kerr black hole are uniformly bounded up to the Cauchy horizon, to which they extend continuously.","keywords":["massless scalar wave","Kerr interior","Cauchy horizon boundedness","blueshift region","weighted energy estimates","angular momentum commutation","strong cosmic censorship"],"falsifier":"Compute the quantity $-2\\,\\partial_\\zeta\\Omega/\\Omega$ for $\\zeta=u,v$ using the metric coefficient $\\Omega^2=-\\Delta/R^2$ throughout the interior for a grid of subextremal parameters, say $|a|/M=0.1,0.3,\\dots,0.99$, and determine whether a threshold $r_\\star^{\\mathrm{blue}}$ exists such that both quantities are bounded below by a positive constant $\\beta$ for all $r_\\star\\geq r_\\star^{\\mathrm{blue}}$. If for some allowed $a$ the quantity fails to have such a positive lower bound, the blueshift-region estimate (106) fails and the proof collapses.","tokens_in":49675,"feed_emoji":"🌀","tokens_out":8477,"duration_ms":92398,"temperature":0.7,"pith_summary":"The paper is trying to establish that on every subextremal Kerr background, massless scalar waves arising from well-behaved localized data stay uniformly bounded throughout the black hole interior, including the Cauchy horizon, to which they extend continuously. If true, this removes the possibility of scalar-field blow-up at the Kerr Cauchy horizon for any nonzero rotation rate, and it provides the boundedness half of the linear stability picture relevant to the strong cosmic censorship question. The route is a chain of weighted energy estimates that first imports polynomial decay along the event horizon from previous exterior work, then pushes the estimates through the redshift, noshift, and blueshift regions of the interior. The genuinely new step is controlling error terms that appear because the angular momentum operators used for commuting are not all Killing; in the spherically symmetric charged case those terms are absent.","feed_headline":"Scalar waves stay bounded across Kerr's inner horizon","feed_subtitle":"A chain of weighted energy estimates takes exterior decay into the black hole interior, for every subextremal spin.","key_machinery":"The engine is the vector-field method in Eddington–Finkelstein normalized double-null coordinates $(u,v,\\theta_\\star,\\tilde\\varphi)$, in which the metric takes the form $g=-2\\Omega^2(du\\otimes dv+dv\\otimes du)+\\cdots$. The interior is cut into redshift, noshift, and blueshift regions by the coordinate $r_\\star$; the blueshift region is where the argument lives or dies. There the metric coefficient $\\Omega^2$ decays exponentially along the characteristics, and the proof uses the weighted multiplier $S=|u|^p\\partial_u+v^p\\partial_v+v^p b_{\\tilde\\varphi}\\partial_{\\tilde\\varphi}$ together with a spacelike hypersurface $\\gamma$ that sits a logarithmic $v$-distance behind a constant-$r_\\star$ hypersurface, chosen so that the integrated bulk and error terms become small. Commutation is by the standard angular momentum operators $Y_i$ ($i=1,2,3$; only $\\partial_{\\tilde\\varphi}$ is Killing), and the final pointwise step is Sobolev embedding on the two-spheres $\\mathbb{S}^2_{u,v}$, whose volume element differs from the round one by a bounded factor $L$. The positivity of the bulk term in the blueshift region rests on the asserted uniform lower bound on $-2\\,\\partial_\\zeta\\Omega/\\Omega$ for $\\zeta=u,v$.","core_discovery":"The central result, Theorem 1.1, claims that on subextremal Kerr spacetime with $M>|a|\\neq 0$, any solution of $\\Box_g\\psi=0$ arising from sufficiently regular localized Cauchy data satisfies $|\\psi|\\leq C$ globally in the black hole interior, with $C$ explicitly computable from $a$, $M$, and a norm of the initial data, and that $\\psi$ extends continuously to the bifurcate Cauchy horizon. The proof establishes the stronger weighted-energy statement of Theorem 1.2: for a weight exponent $p>1$ tied to the horizon decay rate, weighted fluxes of $\\psi$ and its angular derivatives up to second order are finite all the way to the Cauchy horizon in a neighborhood of timelike infinity. Pointwise boundedness then follows by Sobolev embedding on the non-round spheres $\\mathbb{S}^2_{u,v}$. The paper frames this as the Kerr analog of its earlier Reissner–Nordstr\\\"om result, with the new difficulty being the control of error terms produced by commuting with non-Killing angular momentum operators.","pith_inferences":["If Theorem 1.1 is correct, the Kerr Cauchy horizon is $C^0$-stable with respect to massless scalar waves for every subextremal spin; this is compatible with, not contradicted by, known instability results showing that non-degenerate energy generically blows up, because the theorem bounds $\\psi$ itself rather than its derivatives.","A direct analytic or numerical check of the asserted uniform lower bound on $-2\\,\\partial_\\zeta\\Omega/\\Omega$ across the full range $|a|<M$ would settle the proof's main unproved input: a single parameter value where the lower bound fails would invalidate the result as stated.","The same weighted-energy template, with the admissible weight tied to the exterior decay rate, suggests that faster exterior decay would permit heavier interior weights; whether an analogous hierarchy can be closed for gravitational perturbations is left open by this paper."],"forward_implications":["Massless scalar fields never blow up on the Kerr Cauchy horizon for any subextremal rotation parameter, since the uniform bound $|\\psi|\\leq C$ holds up to and including $\\mathcal{CH}^+$.","Each solution extends continuously to the bifurcate Cauchy horizon, so well-defined limiting values of the field exist there rather than divergent or oscillatory behavior.","The weighted energy bounds hold with polynomial weights $v^p$ and $|u|^p$ for $p>1$ up to the Cauchy horizon near timelike infinity, giving quantitative $L^2$ control on the field and its first two angular derivatives.","The boundedness is global in the interior: combining the two ends near timelike infinity and invoking Cauchy stability on the remaining compact region covers the entire black hole interior.","The result covers the full subextremal range $M>|a|\\neq 0$, so it is not restricted to slow rotation."],"supporting_citations":[{"why":"Supplies the polynomial decay of the solution and its derivatives along the event horizon that seeds every interior estimate.","marker":"[27]"},{"why":"Provides the improved exterior decay rate that widens the admissible choice of the weight exponent $p$ in the interior estimates.","marker":"[49]"},{"why":"Establishes the Reissner–Nordstr\\\"om template this paper follows, including the redshift/noshift/blueshift decomposition and the role of the hypersurface $\\gamma$.","marker":"[30]"},{"why":"Supplies the double-null coordinate construction, the bounds on metric coefficients and their derivatives, and the structural constants used throughout Sections 2 and 4.","marker":"[19]"},{"why":"Provides the redshift vector field and the positivity of its bulk term used in the redshift region of the interior.","marker":"[23]"},{"why":"Introduced the Eddington–Finkelstein-like double-null coordinates that the whole analysis uses.","marker":"[59]"}],"fun_headline_variants":["Kerr interior: scalar waves bounded to Cauchy horizon","Massless waves stay bounded inside Kerr black holes","No blow-up for scalar waves in Kerr's interior","Bounded scalar waves on Kerr backgrounds","Scalar waves reach Cauchy horizon without blow-up"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes that inside the blueshift region the metric coefficient $\\Omega$ decays along the null directions at a rate uniformly bounded away from zero, for every subextremal rotation parameter, yet the paper only demonstrates this decay rate in the slow-rotation limit and otherwise invokes an analogy with the charged case.","fun_headline_variants_meta":{"raw":{"variants":["Kerr interior: scalar waves bounded to Cauchy horizon","Massless waves stay bounded inside Kerr black holes","No blow-up for scalar waves in Kerr's interior","Bounded scalar waves on Kerr backgrounds","Scalar waves reach Cauchy horizon without blow-up"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000799,"raw_usage":{"total_tokens":3522,"prompt_tokens":959,"completion_tokens":2563,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":575,"completion_tokens_details":{"reasoning_tokens":2506}},"tokens_in":575,"tokens_out":2563,"duration_ms":19143,"temperature":1.0,"reasoning_tokens":2506,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T10:31:38.944029+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the quantity $-2\\,\\partial_\\zeta\\Omega/\\Omega$ for $\\zeta=u,v$ using the metric coefficient $\\Omega^2=-\\Delta/R^2$ throughout the interior for a grid of subextremal parameters, say $|a|/M=0.1,0.3,\\dots,0.99$, and determine whether a threshold $r_\\star^{\\mathrm{blue}}$ exists such that both quantities are bounded below by a positive constant $\\beta$ for all $r_\\star\\geq r_\\star^{\\mathrm{blue}}$. If for some allowed $a$ the quantity fails to have such a positive lower bound, the blueshift-region estimate (106) fails and the proof collapses.","supporting_citations":[{"cited_title":"Weak null singularities in general relativity","cited_arxiv_id":"1311.4970","evidence_quote":"Provides the improved exterior decay rate that widens the admissible choice of the weight exponent $p$ in the interior estimates."},{"cited_title":"Time-Translation Invariance of Scattering Maps and Blue-Shift Instabilities on Kerr Black Hole Spacetimes","cited_arxiv_id":"1512.08260","evidence_quote":"Establishes the Reissner–Nordstr\\\"om template this paper follows, including the redshift/noshift/blueshift decomposition and the role of the hypersurface $\\gamma$."},{"cited_title":"On the global uniqueness for the Einstein-Maxwell-scalar field system with a cosmological constant. Part 1: Well posedness and breakdown criterion","cited_arxiv_id":"1406.7245","evidence_quote":"Supplies the double-null coordinate construction, the bounds on metric coefficients and their derivatives, and the structural constants used throughout Sections 2 and 4."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduced the Eddington–Finkelstein-like double-null coordinates that the whole analysis uses."}],"review_version":1}