{"id":"484046b9-38f5-4f5d-a10f-a783710f1f57","arxiv_id":"1908.09854","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For Kerr-Newman-de Sitter spacetimes, the energy of test fields should be computed with the Killing field ∂t + (a/l^2)∂φ, and with this definition test fields cannot overcharge or overspin extremal black holes.","lead":"This paper identifies which time direction should be used to measure the energy of test fields falling into a spinning, charged black hole in a universe with a positive cosmological constant. With that energy definition, the authors prove that test fields cannot push an extremal black hole past its extremality limit to create a naked singularity.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Uniqueness of the energy Killing vector is proven only to first order in a; uncomputed higher-order coefficients leave the 'correct definition of energy' conditional.","rationale":"The reader's weakest-assumption analysis correctly identifies the incomplete uniqueness proof in Section 5 as the main gap. The manuscript itself flags the omitted higher-order coefficients, so this is not an invented objection. I do not see a more serious flaw in the construction: the interpolation argument in Sections 2–4 is self-consistent, the identities are explicitly given, and the divergence-theorem extension to arbitrary linearized perturbations is plausible. The remaining issue is that the paper's central claim to 'determine' the correct timelike Killing vector is only as strong as the vanishing of ε_n for all n. Since the theorem's proof imports Theorem 4.1 of [25] and uses K to connect test-field energy to the physical mass variation, an unresolved ambiguity in K would require re-examining the interpretation of ΔM, even though the specific K found may still be the right one. Thus a conditional verdict is appropriate; my analysis does not move it.","tokens_in":819,"tokens_out":1785,"duration_ms":266481,"concrete_test":"Extend the Mathematica computation of Section 5 by one order: compute the O(a^3) terms in G(r), H(r), and hence in Eq. (60), together with the corresponding O(a^3) term in ΔM in Eq. (61); impose E = ΔM as an identity in a and Δa and solve for ε2 (and ε3 if needed). If the system admits a solution with ε2 ≠ 0, the Section 5 uniqueness claim is false and the energy-Killing-vector determination is incomplete. If it forces ε2 = 0, the stated gap closes at this order and the conditional verdict can be upgraded.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Sections 2–4 give a plausible construction showing that K = X + (a/l^2)Y (dS) yields E = ΔM for interpolating and arbitrary linearized perturbations. The central theorem, however, relies on K being the unique energy-defining Killing vector associated with the physical mass M. Section 5 attempts to prove uniqueness among K̃ = γ(K + εY). It correctly derives γ(1 - εa) = 1, expands ε(a) = Σ ε_n a^n, and shows ε0 = ε1 = 0 by comparing E and ΔM to second order in a when a is varied. The authors then explicitly state they 'have not computed the higher order coefficients ε_n with n ≥ 2, but we expect them to also vanish.' This is an acknowledged omitted proof. Because the construction in Sections 2–3 used ΔJ = a ΔM, the data available there cannot by themselves distinguish K from K̃ with γ = 1/(1 - εa). A nonzero ε2 would yield another timelike Killing vector that reproduces ΔM on the constructed family, so the claim that K is 'the' correct energy Killing field is not fully established. The no-destruction theorem may still hold for the specifically constructed K, but the paper's central determination claim, and hence the application of Theorem 4.1 of [25], remains conditional.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper addresses the choice of timelike Killing vector field for defining the energy of test fields in Kerr-Newman-de Sitter spacetime. In Sections 2 and 3 the authors interpolate between two Kerr-(A)dS or Kerr-Newman-(A)dS metrics by promoting the mass parameter m (and, in Section 3, the charge parameter q) to functions of the radial coordinate, compute the effective energy-momentum tensor from the Einstein equations, and show that for the Killing vector K = X + (a/l^2)Y in the dS case (and K = X - (a/l^2)Y in AdS) the integrated energy and angular momentum equal the differences of the physical mass and angular momentum. Section 4 uses a divergence-theorem argument to extend this result from the special interpolating linearized solution to arbitrary linearized solutions. Section 5 attempts to prove uniqueness of K among Killing fields of the form K̃ = γ(K + εY), deriving the condition γ(1 - εa) = 1 and using a power-series expansion in a to show that the first two coefficients ε0 and ε1 vanish; the authors explicitly state that higher coefficients have not been computed. Section 6 then invokes Theorem 4.1 of the authors' earlier paper [25] to conclude that test fields cannot destroy extremal Kerr-Newman-dS black holes.","tokens_in":12984,"tokens_out":11441,"duration_ms":111180,"significance":"If the uniqueness step were completed, the paper would close a significant gap in the weak cosmic censorship literature for asymptotically de Sitter black holes, where there is no ADM mass and the choice of energy-defining Killing field is otherwise ambiguous. The interpolation identities (17), (23), (37), and (48) are explicit and verifiable, and the divergence-theorem argument in Section 4 is an elegant method for passing from a special linearized solution to arbitrary test fields. The final no-destruction statement is not simply a restatement of [25], because identifying the physical mass variation with the energy computed using K is a necessary nontrivial input. However, the central claim is currently conditional on an omitted piece of the uniqueness proof.","major_comments":[{"comment":"The uniqueness proof establishes only that ε0 = ε1 = 0 in the expansion ε(a) = Σ ε_n a^n. The authors state in Section 5 that they 'have not computed the higher order coefficients ε_n with n ≥ 2, but we expect them to also vanish.' This is an explicit gap: a nonzero ε2 would yield another Killing field K̃ = (K + εY)/(1 - εa) that also reproduces E = ΔM on the constructed interpolating family, so K would not be established as 'the' energy-defining Killing field. Since the application of Theorem 4.1 of [25] in Section 6 depends on identifying the physical energy with K, the main theorem remains conditional. The authors should either compute the higher-order coefficients or provide a structural argument showing that only the first two coefficients can be nonzero.","section":"Section 5, Eqs. (52)–(60)"},{"comment":"The uniqueness calculation is performed only in the uncharged Kerr-(A)dS case, whereas Theorem 6.1 concerns Kerr-Newman-dS black holes. The paper does not explain why the charged case reduces to the uncharged one, nor does it rule out an ε that depends on the charge parameter in addition to a. To support the claimed uniqueness of K in the charged setting, the authors should either extend the computation to nonzero fixed charge or give a clear argument that the charge terms cannot affect the relevant coefficients of ε.","section":"Section 5, restriction to q1 = q2 = 0"}],"minor_comments":[{"comment":"The formula E + ωL = (1 + ωa)ΔM appears to conflict with the definition L = -∫ T_μν Y^μ N^ν dV_3 in Eq. (18), which gives ∫ T(K + ωY)N = E - ωL = (1 - ωa)ΔM. The conclusion ω = 0 is unchanged, but the sign should be corrected for consistency with Eq. (53).","section":"Section 2, Eq. (25)"},{"comment":"The hypotheses on the arbitrary linearized metric (vanishing for r ≤ r1 and matching the final KN solution for r ≥ r2) are stated at the beginning of the section but should be repeated in the divergence-theorem paragraph, since the independence of the lateral boundary integrals relies on these assumptions.","section":"Section 4, Eqs. (50)–(51)"},{"comment":"The text contains several typographical artifacts, such as 'Kerr-Newm an' in the abstract and unusual spacing in some displayed equations; a careful proofreading pass is needed.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"The explicit integral computations in Sections 2–4 are sound and the missing step in Section 5 is computational in nature. If the authors can complete the uniqueness argument or prove that the higher-order coefficients vanish, the paper would be publishable; I would not reject on the basis of the current gap because the method is promising and the no-destruction result is likely correct, but the central claim as stated is not yet proven."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is worth reading: it extends Natário–Queimada–Vicente's no-destruction theorem to extremal Kerr-Newman–de Sitter, and it isolates the energy Killing field K = X + (a/l^2)Y for dS. The interpolation trick—letting m and q become functions of r—is genuinely useful, and the integral identities in Sections 2–3 are explicit and checkable. Section 4's divergence-theorem extension to arbitrary linearized perturbations (with the same spin parameter) is clean. Credit where due: this is careful work, and the dS case was missing.\n\nThe soft spot is Section 5. The authors want to rule out other Killing fields K̃ = γ(K + εY). They derive γ(1−εa)=1 and then, by varying the spin parameter a(r), show ε0=ε1=0 in the expansion ε(a)=Σε_n a^n. They then say \"we have not computed the higher order coefficients... but we expect them to also vanish.\" That is an omitted proof, and it is exactly the point where the uniqueness claim needs support. Worse, the calculation is an expansion in the background spin a0; even the vanishing of ε0 and ε1 is established only in a small-spin expansion truncated at O(a0^3). A nonzero ε2 would produce another Killing field that matches ΔM on the constructed family to the order computed, and the claim that K is \"the\" correct definition of energy would not be established for arbitrary spin. Since Theorem 6.1 leans on that claim via Theorem 4.1 of [25], the central conclusion is conditional as written.\n\nIs this a deal-breaker? I don't think so. The no-destruction result is very plausibly true, and the gap is explicit rather than hidden. A referee could reasonably ask the authors to complete the higher-order calculation or to re-state the theorem with the uniqueness claim softened to \"there exists a choice of K for which...\". It is also possible the uniqueness proof can be bypassed: for a generic test perturbation, ΔJ and ΔM are independent, and then any ε≠0 fails to make γ(ΔM−εΔJ)=ΔM for all perturbations. If that simpler argument works, Section 5 is overkill; if it does not, Section 5 needs finishing.\n\nThe references and citation pattern are fine; reliance on [25] is legitimate because it is an external published theorem. The paper is honestly written and clearly signals its own limitation.\n\nVerdict: worth a serious referee. I would send it out, with a request to fix or explicitly soften the uniqueness claim before acceptance.","headline":"A solid and genuinely useful extension of the no-destruction theorem to Kerr-Newman–de Sitter, but the uniqueness proof for the energy Killing field is explicitly incomplete and the stated theorem overreaches as written.","tokens_in":13493,"tokens_out":8435,"would_cite":true,"duration_ms":91881,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","83C75"],"pacs":["04.70.Bw","04.20.-q"],"model":"deepseek-v4-flash","headline":"This paper proves that test fields satisfying the null energy condition cannot overcharge or overspin an extremal Kerr-Newman-de Sitter black hole.","keywords":["weak cosmic censorship","extremal black holes","Kerr-Newman-de Sitter","test fields","Killing vector field","null energy condition","gedanken experiments","energy definition"],"falsifier":"Compute the coefficients $\\varepsilon_n$ for $n\\ge 2$ in the uniqueness expansion; if any is nonzero, $K$ is not the unique energy-defining Killing field and the application of the general theorem needs re-examination. Alternatively, exhibit a test field satisfying the null energy condition at the horizon that takes an extremal Kerr-Newman-de Sitter black hole to a configuration beyond extremality, which would directly falsify the no-destruction claim.","tokens_in":12515,"feed_emoji":"🕳️","tokens_out":10777,"duration_ms":97052,"temperature":0.7,"pith_summary":"The paper establishes which timelike Killing vector field defines the energy of test matter in Kerr-Newman-de Sitter spacetime, and uses that choice to prove that test fields satisfying the null energy condition at the event horizon cannot push an extremal de Sitter black hole past extremality. The problem is that asymptotically de Sitter spacetime has no ADM mass and no timelike Killing vector at infinity, so the energy of test matter is ambiguous; earlier literature used different Killing fields without proof. The authors construct spacetimes that interpolate between two Kerr-Newman-de Sitter solutions with different mass and charge parameters, compute the energy of the interpolating field with respect to a candidate Killing field, and show it equals the physical mass difference exactly for one candidate, $K=\\partial/\\partial t + (a/l^2)\\partial/\\partial\\varphi$. A linearized divergence-theorem argument then extends this energy identification to arbitrary test fields, and a power-series check on alternative Killing fields supports the uniqueness of this $K$, yielding the no-destruction result.","feed_headline":"Test fields can't destroy extremal de Sitter black holes","feed_subtitle":"In de Sitter spacetime, the right definition of energy makes extremal black holes safe from test-field destruction.","key_machinery":"The load-bearing object is the interpolation metric: take the Kerr-Newman-(A)dS metric and let $m=m(r)$, $q=q(r)$ pass smoothly from $(m_1,q_1)$ to $(m_2,q_2)$ between two radii. The Einstein equations then define the energy-momentum tensor of the interpolating (unphysical) field, and the radial integration identity $A(r)-B'(r)=1/\\Xi^2$ turns the energy flux computed with $K$ into $\\Delta M=(m_2-m_1)/\\Xi^2$. The companion linearized argument uses the divergence theorem on a hollow cylinder to show that all test fields share the model field's energy, and the uniqueness argument constrains any other Killing candidate $K+\\varepsilon Y$ by requiring $\\gamma(1-\\varepsilon a)=1$, then setting $\\varepsilon_0=\\varepsilon_1=0$ by a power series in $a$.","core_discovery":"The central claim is that in a Kerr-Newman-de Sitter background with rotation parameter $a$ and cosmological scale $l$, the timelike Killing vector field $K=\\partial_t+(a/l^2)\\partial_\\varphi$ is the correct generator of energy for test fields, and that with this definition the horizon generator is $K+\\Omega_H \\partial_\\varphi$. The proof uses an interpolation metric in which the mass parameter $m$ and charge parameter $q$ vary with the radial coordinate between two Kerr-Newman-(A)dS solutions; the Einstein equations fix the energy-momentum tensor of the interpolating field, and identities such as $A(r)-B'(r)=1/\\Xi^2$ convert the energy integral into exactly the physical mass difference $M_2-M_1$. A linearized argument shows the same energy is obtained for any test-field configuration, and a power-series check on candidate Killing fields $\\tilde K=\\gamma(K+\\varepsilon Y)$ yields $\\varepsilon_0=\\varepsilon_1=0$, so $K$ is unique at leading order. Applying the earlier general theorem, an extremal Kerr-Newman-de Sitter black hole that absorbs energy, angular momentum and charge from such test fields ends up either subextremal or extremal, never with a naked singularity.","pith_inferences":["If the higher-order coefficients $\\varepsilon_n$ for $n\\ge 2$ are computed and found to vanish, $K$ is the unique energy-defining Killing field; if one is nonzero, the physical-mass interpretation would need revisiting.","The interpolation construction suggests a route to a quasilocal mass for asymptotically de Sitter spacetimes: integrate the same energy flux up to the cosmological horizon rather than to infinity.","The same technique could be applied to near-extremal de Sitter black holes using second-order variations, paralleling the quasi-extremal analysis, to see whether the subextremal fallback persists.","A numerical experiment with finite-energy wave packets in extremal Kerr-Newman-de Sitter could map the boundary of the allowed parameter changes, making the theorem's inequality explicit."],"forward_implications":["In asymptotically de Sitter black-hole spacetimes, test-field energies should be computed with $K=\\partial_t+(a/l^2)\\partial_\\varphi$; using a different stationary Killing field generally gives the wrong energy and can lead to false cosmic-censorship-violation claims.","Extremal Kerr-Newman-de Sitter black holes are protected against test-field destruction: any absorption obeying the null energy condition at the horizon leaves the spacetime subextremal or extremal.","The same interpolation technique confirms the energy Killing field used earlier for the anti-de Sitter case, $K=\\partial_t-(a/l^2)\\partial_\\varphi$.","A finite-energy condition at infinity is essential: the no-destruction theorem applies to test fields satisfying the stated boundary conditions, not to fields with unbounded energy.","The result extends the original gedanken-experiment no-go to backgrounds with a positive cosmological constant, removing the need for an ADM mass."],"supporting_citations":[{"why":"Supplies Theorem 4.1, the general result that test fields satisfying the null energy condition cannot destroy extremal black holes once the correct energy Killing vector is used.","marker":"[25]"},{"why":"The original gedanken experiment of dropping test particles into an extremal Kerr-Newman black hole, which this paper extends to de Sitter.","marker":"[1]"},{"why":"Provides the Kerr-Newman-(A)dS metric in Boyer-Lindquist coordinates that the interpolation construction starts from.","marker":"[35]"},{"why":"Identifies the event-horizon Killing generator and thermodynamic angular velocity used to connect $K$ to the horizon.","marker":"[37]"},{"why":"Supplies the de Sitter black-hole thermodynamics that fixes the horizon generator in the first law.","marker":"[38]"},{"why":"Gives the second-order variation approach for quasi-extremal Kerr-Newman black holes, whose asymptotic-flat restriction motivates the dS energy question.","marker":"[26]"},{"why":"Fixes the energy Killing vector in the AdS case, confirming the corresponding choice in the present paper.","marker":"[29]"}],"fun_headline_variants":["Right Killing vector stops test-field destruction of extremal BHs","Energy definition preserves extremal de Sitter black holes","Test fields can't destroy extremal de Sitter BHs: proof","Unique energy choice saves extremal de Sitter BHs from test fields"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes that $K$ is the unique timelike Killing field defining energy: the authors show the first two power-series coefficients of any alternative vanish, but they do not compute the higher-order coefficients, so a nonzero higher-order coefficient would undermine uniqueness.","fun_headline_variants_meta":{"raw":{"variants":["Right Killing vector stops test-field destruction of extremal BHs","Energy definition preserves extremal de Sitter black holes","Test fields can't destroy extremal de Sitter BHs: proof","Unique energy choice saves extremal de Sitter BHs from test fields"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000694,"raw_usage":{"total_tokens":3082,"prompt_tokens":831,"completion_tokens":2251,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":447,"completion_tokens_details":{"reasoning_tokens":2178}},"tokens_in":447,"tokens_out":2251,"duration_ms":16167,"temperature":1.0,"reasoning_tokens":2178,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:00:25.635822+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the coefficients $\\varepsilon_n$ for $n\\ge 2$ in the uniqueness expansion; if any is nonzero, $K$ is not the unique energy-defining Killing field and the application of the general theorem needs re-examination. Alternatively, exhibit a test field satisfying the null energy condition at the horizon that takes an extremal Kerr-Newman-de Sitter black hole to a configuration beyond extremality, which would directly falsify the no-destruction claim.","supporting_citations":[{"cited_title":"Nat´ ario, L","cited_arxiv_id":null,"evidence_quote":"Supplies Theorem 4.1, the general result that test fields satisfying the null energy condition cannot destroy extremal black holes once the correct energy Killing vector is used."},{"cited_title":"Wald, Gedanken experiments to destroy a black hole , Ann","cited_arxiv_id":null,"evidence_quote":"The original gedanken experiment of dropping test particles into an extremal Kerr-Newman black hole, which this paper extends to de Sitter."},{"cited_title":"Caldarelli, G","cited_arxiv_id":null,"evidence_quote":"Provides the Kerr-Newman-(A)dS metric in Boyer-Lindquist coordinates that the interpolation construction starts from."},{"cited_title":"Dolan, D","cited_arxiv_id":null,"evidence_quote":"Identifies the event-horizon Killing generator and thermodynamic angular velocity used to connect $K$ to the horizon."},{"cited_title":"Kubiznak and F","cited_arxiv_id":null,"evidence_quote":"Supplies the de Sitter black-hole thermodynamics that fixes the horizon generator in the first law."},{"cited_title":"Sorce and R","cited_arxiv_id":null,"evidence_quote":"Gives the second-order variation approach for quasi-extremal Kerr-Newman black holes, whose asymptotic-flat restriction motivates the dS energy question."},{"cited_title":"Olea, Mass, angular momentum and thermodynamics in four-dimensi onal Kerr-AdS black holes, J","cited_arxiv_id":null,"evidence_quote":"Fixes the energy Killing vector in the AdS case, confirming the corresponding choice in the present paper."}],"review_version":1}