{"id":"688d6981-1be0-43e9-8fec-112a755d4f53","arxiv_id":"1909.02219","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Using second-order perturbation inequalities from the Iyer-Wald formalism, the authors prove that a static charged dilaton black hole cannot be overcharged, so weak cosmic censorship is not violated in this process.","lead":"This paper shows that a charged black hole with a dilaton field cannot be overcharged by dropping in matter, once second-order corrections are included. It extends a recent formal argument by Sorce and Wald to a new family of black holes, supporting the weak cosmic censorship conjecture.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The no-overcharge result depends on the unproved 'Additional assumption' that linearized EMD perturbations settle to the static GMGHS family; Eq. (52) uses it to identify the symplectic integral with the stationary-family value, so the central bound Eq.","rationale":"The reader's identification of the linear-stability assumption as the weakest point is correct. I checked the formal steps from the first-order optimality condition (34) through the second-order inequality (56) and the final bound h(λ) ≥ 2M² - Q² > 0 in Eq. (62); the algebra is internally consistent and the sign conventions check out. The only stage at which an unproved dynamical input enters is the late-time matching E_Σ1(φ,δφ) = E_Σ1(φ,δφ_DL), and the paper's 'Additional assumption' is precisely that input, stated without proof or reference. Because the Iyer-Wald symplectic current is not automatically conserved on Σ1 unless the linearized fields satisfy the source-free equations and are stationary at the boundaries, the equality in Eq. (52) is nontrivial. If the GMGHS background had, for example, a non-decaying l=0 dilaton mode or a tail that contributes to the symplectic product, the area-variation formula in Eq. (53) would acquire an extra term and the bound in Eq. (56) could fail. This does not mean the conclusion is wrong; the Sorce-Wald framework requires the same kind of stability for Kerr-Newman, and it is widely believed to hold there. But the published record for the EMD/GMGHS system is thinner, and the paper itself labels the property an assumption. I also noticed a minor typo in Eq. (61), where the denominator should be 2M² rather than 2M, but it is confined to the old-version comparison and does not affect the main inequality. Therefore the appropriate verdict remains conditional, and I see no grounds to move it.","tokens_in":9393,"tokens_out":23735,"duration_ms":258463,"concrete_test":"Independently re-derive Eq. (52) without invoking the verbal stability assumption: on a late-time surface Σ1, keep the full symplectic integrand for the linearized metric, Maxwell, and dilaton fields and verify that the integral depends only on the perturbed ADM charges (δM,δQ) at infinity and the area boundary term at B1. If any additional l=0 dilaton or electromagnetic term survives, Eq. (53) is incomplete. A direct numerical route is to evolve a generic l=0 linearized perturbation on the GMGHS background and check whether at late times the perturbation coincides, in the symplectic-product norm, with the static-family variation carrying the same δM and δQ.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing point is the 'Additional assumption' in Sec. IV: the nonextremal GMGHS background is asserted to be linearly stable in the strong sense that every source-free solution of the linearized Einstein-Maxwell-dilaton equations approaches a perturbation toward another static charged dilaton black hole at late times. This assumption is used twice: it allows the equations of motion to be treated as source-free on Σ1, and, more importantly, it underlies the replacement E_Σ1(φ,δφ)=E_Σ1(φ,δφ_DL) in Eq. (52). It is also needed for the boundary terms at S=H∩Σ1 in Eqs. (43) and (47) to vanish. Without the equality in Eq. (52), the subsequent computation E_Σ1 = -κ/(8π) δ²A_B^DL in Eq. (53) and the second-order inequality in Eq. (56) do not follow. The assumption is stated but neither proved nor cited. If the true late-time linearized solution retains a non-decaying or slowly decaying mode with a nonzero symplectic product against the stationary perturbation, or if the dilaton field has hair beyond the (M,Q) family, then Eq. (52) would have an extra term and the bound on δ²M - Φ_H δ²Q could be altered. The central claim 'cannot be overcharged' is therefore conditional on this dynamical stability property.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper applies the Sorce-Wald second-order gedanken-experiment formalism to the static, spherically symmetric GMGHS black hole in four-dimensional Einstein-Maxwell-dilaton theory. Using the Iyer-Wald Noether-charge framework, the authors derive first- and second-order perturbation inequalities for the mass and charge. Under an explicit 'additional assumption' that the nonextremal background is linearly stable in the strong sense that source-free linearized perturbations settle down to another member of the static GMGHS family, they obtain, for an optimal first-order perturbation with δM−Φ_HδQ=0, the second-order inequality δ²M−Φ_Hδ²Q ≥ (2M²−Q²)δQ²/(4M³). They then define h(λ)=2M(λ)²−Q(λ)² and show that the second-order inequality implies h(λ)≥2M²−Q²>0, so the horizon cannot be destroyed at second order. The authors contrast this with the first-order ('old') gedanken experiment, where h(λ) can become negative, and conclude that weak cosmic censorship is preserved for these black holes.","tokens_in":9719,"tokens_out":26407,"duration_ms":295039,"significance":"The paper extends the Sorce-Wald no-overcharge result from Kerr-Newman black holes to the GMGHS dilaton background, whose causal structure is qualitatively different because the inner horizon is replaced by a singular surface. The derivation is a direct adaptation of a well-established formalism and contains no fitted free parameters; the algebra from the perturbation inequalities to h(λ)≥h0 is straightforward and, if the stated assumptions are granted, correct. The main value is therefore conditional: it demonstrates how the second-order Iyer-Wald inequalities can be applied to theories with a scalar field, but the strength of the final no-overcharge claim depends entirely on a dynamical stability-cum-settling property that is neither proved nor cited.","major_comments":[{"comment":"The replacement E_{Σ1}(φ,δφ)=E_{Σ1}(φ,δφ_DL) in Eq. (52) is the load-bearing step that converts the canonical-energy integral over the late-time hypersurface into the computable second variation of the area in Eq. (53). This step requires that any source-free linearized solution on Σ1 can be identified at late times with a perturbation along the stationary GMGHS family. The 'Additional assumption' states exactly this settling property, but no proof or citation is supplied. The assumption is used not only to set the source terms to zero on Σ1 but also to discard the boundary term at S=H∩Σ1 in the horizon integrals (43) and (47). If the late-time linearized solution retains non-decaying modes, or power-law tails with nonzero symplectic product against the stationary perturbation, Eq. (52) acquires additional terms and the bounds in Eqs. (54) and (56) would not follow. The authors should either provide a reference establishing the settling property for nonextremal GMGHS backgrounds, prove it, or state explicitly in the abstract and conclusion that the no-overcharge result is conditional on this conjecture.","section":"Sec. IV, 'Additional assumption' and Eq. (52)"},{"comment":"Equation (49) asserts that E_H(φ,δφ)=∫_H tildeϵ ξ_a k_b (δ²T_EM^{ab}+δ²T_DIL^{ab}) ≥0, with the justification 'using the null energy condition.' This is not immediate, because for a function f(λ)=T_ab(λ)k^a k^b that is pointwise nonnegative, δ²f(0)≥0 only if f'(0)=0. The vanishing of the first-order flux of the dynamical electromagnetic and dilaton stress tensors through the horizon is not demonstrated in the text; it presumably follows from the optimal first-order condition on the external matter together with the linearized Raychaudhuri equation δϑ=0, but that argument is missing. Please display the derivation from Eqs. (45), (47), and (48) to Eq. (49), including all signs and index conventions, so that the non-negativity leading to Eq. (50) can be verified by the reader.","section":"Sec. IV, Eqs. (43)-(49)"}],"minor_comments":[{"comment":"The denominator in Eq. (61) should be 2M² rather than 2M; as printed, the expression is dimensionally inconsistent.","section":"Sec. V, Eq. (61)"},{"comment":"The phrase 'δGab has the form (21)' should refer to Eq. (20), where the stationary form of the Maxwell field on the horizon is defined.","section":"Sec. IV, after Eq. (44)"},{"comment":"The conclusion states that the black hole 'will never be overspun classically,' but the paper concerns overcharging, not overspinning; this wording should be corrected.","section":"Sec. VI"},{"comment":"References [7] and [10] are identical, and references [24] and [27] are identical; the duplicate entries should be merged.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The core calculation is a faithful adaptation of Sorce-Wald, and the explicit statement of the additional assumption is a strength. The main risk is that the abstract and conclusion present the no-overcharge result unconditionally even though the derivation depends on a linear-stability/settling property for the GMGHS family that is neither proved nor cited. If the authors can cite supporting stability results or reframe the claims as conditional, the paper would be acceptable; without that, the central claim should be regarded as a conditional result rather than an established no-go statement."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nQuick take: this paper extends the Sorce-Wald second-order gedanken experiment to the static charged (GMGHS) dilaton black hole in Einstein-Maxwell-dilaton theory. It works through the Iyer-Wald formalism, gets the first- and second-order perturbation inequalities, and shows that once the second-order term is included, the function h(λ) = 2M^2 − Q^2 stays positive, so the horizon survives. The old test-particle argument gave h(λ) possibly negative; the second-order inequality restores weak cosmic censorship in this setting. That is a genuine, if incremental, result.\n\nWhat is good: the paper is careful with the Noether charge and symplectic current in EMD, including the dilaton's contribution to the horizon symplectic current. The final bound (Eq. 62) follows from the stated assumptions, and no parameters are fitted. The derivation is reproducible in structure, following Sorce-Wald closely. The main new element is the dilaton coupling, and the horizon integrals are handled cleanly under the stationarity of the late-time perturbation.\n\nSoft spots: the paper explicitly states an \"Additional assumption\" in Sec. IV: the nonextremal background is linearly stable in the strong sense that any source-free linearized solution settles at late times to a perturbation toward another static solution in the same family. This is load-bearing. It is used to replace E_Σ1(φ, δφ) with E_Σ1(φ, δφ_DL) in Eq. (52), which leads directly to the second-order inequality in Eq. (56). Without that equality, the central bound does not follow. The assumption is neither proved nor cited. That makes the result conditional: if true, the argument works; if false, there could be an extra term in Eq. (52). I would not call this a fatal flaw—the assumption is standard in this literature and the paper flags it openly—but it is a real gap that a referee should ask about. Also, some horizon integral evaluations (Eqs. 43–48) are sketched rather than fully displayed, though they look plausible.\n\nIn my reading, the stress-test note about the linear-stability assumption is on target. It is the weak point of the paper, and the paper's own conditional framing is honest about it.\n\nWho this is for: people working on weak cosmic censorship and gedanken experiments in modified gravity. It is not a breakthrough, but it fills a clear gap in the Sorce-Wald program. I would bring it to a reading group and would likely cite it if I did follow-up work on EMD black hole destruction. It deserves serious peer review—indeed it already appeared in PRD, and it would merit a referee rather than a desk reject.\n\nRecommendation: engage with it. The result is solid under its stated assumption; the open question is whether that stability property actually holds. That is a worthwhile question for the community.","headline":"A clean application of the Sorce-Wald second-order method to a new black hole family; the result is real but explicitly conditional on an unproved linear-stability assumption.","tokens_in":10214,"tokens_out":1933,"would_cite":true,"duration_ms":17548,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","83C75","83C22"],"pacs":[],"model":"deepseek-v4-flash","headline":"Second-order perturbation effects prevent gedanken overcharging of charged static dilaton black holes, preserving the weak cosmic censorship conjecture.","keywords":["weak cosmic censorship","gedanken experiment","dilaton black hole","Einstein-Maxwell-dilaton theory","Noether-charge formalism","second-order perturbation inequality","overcharging","horizon stability"],"falsifier":"Compute or observe a linearized disturbance of the subextremal static charged dilaton black hole that does not relax to a static dilaton solution at late times, or construct a matter perturbation satisfying the null energy condition for which the second-order inequality $\\delta^2M-\\Phi_H\\delta^2Q \\ge \\frac{2M^2-Q^2}{4M^3}\\delta Q^2$ fails; either would reopen the overcharging window and break the paper's conclusion.","tokens_in":9194,"feed_emoji":"🕳️","tokens_out":8672,"duration_ms":78112,"temperature":0.7,"pith_summary":"This paper establishes that a static charged dilaton black hole in Einstein-Maxwell-dilaton gravity cannot be overcharged by the modern gedanken-experiment protocol when second-order perturbations are included. Earlier test-particle estimates suggested such black holes could be overcharged, which would threaten the weak cosmic censorship conjecture. Using the Noether-charge formalism for diffeomorphism-covariant theories, the authors derive first- and second-order perturbation inequalities and show that the horizon-condition function $h(\\lambda)=2M(\\lambda)^2-Q(\\lambda)^2$ stays positive under the optimal first-order perturbation. The conclusion is that weak cosmic censorship is protected around these black holes, with the second-order inequality acting as an effective backreaction or self-energy term.","feed_headline":"Gedanken overcharging fails for charged dilaton black holes","feed_subtitle":"Including second-order perturbation corrections keeps the horizon intact and preserves weak cosmic censorship.","key_machinery":"The central machinery is the Noether-charge variational formalism for diffeomorphism-covariant theories, applied to the Einstein-Maxwell-dilaton Lagrangian. The first and second variational identities convert matter flux through the horizon into inequalities for the perturbed mass and charge: first order gives $\\delta M-\\Phi_H\\delta Q\\ge0$, and under the optimal first-order choice the second order gives $\\delta^2M-\\Phi_H\\delta^2Q\\ge E_{\\Sigma_1}(\\phi,\\delta\\phi)$. A late-time matching step, using an auxiliary family of static dilaton solutions, evaluates $E_{\\Sigma_1}$ and yields the explicit lower bound of the second-order inequality. The load-bearing object is the combination $h(\\lambda)=2M(\\lambda)^2-Q(\\lambda)^2$: the old test-particle calculation leaves room for $h<0$, while the second-order bound pins $h(\\lambda)\\ge2M^2-Q^2>0$ and keeps the horizon intact.","core_discovery":"For the static charged dilaton solution of Einstein-Maxwell-dilaton gravity, the paper proves that an optimal first-order perturbation satisfying $\\delta M - \\Phi_H \\delta Q = 0$ together with the second-order inequality $\\delta^2 M - \\Phi_H \\delta^2 Q \\ge \\frac{2M^2-Q^2}{4M^3}\\,\\delta Q^2$ forces the combination $h(\\lambda)=2M(\\lambda)^2-Q(\\lambda)^2$ to satisfy $h(\\lambda)\\ge 2M^2-Q^2>0$ to second order in the perturbation parameter. Because $h>0$ is precisely the condition that the singular surface remains hidden behind a horizon, the black hole cannot be overcharged. The paper therefore concludes that the weak cosmic censorship conjecture is not violated around charged static dilaton black holes in this theory.","pith_inferences":["Editorial inference: the same second-order mechanism is likely to protect rotating or higher-dimensional dilaton black holes, since the proof uses only energy conditions plus the static family's area formula; extending the area-function calculation would test this.","Editorial inference: if the linear-stability assumption fails, a genuinely different overcharging channel might exist; numerical evolution of linearized perturbations on the subextremal background could decide whether this door is open.","Editorial inference: the explicit second-order bound could be compared with self-force or backreaction calculations for charged matter falling into a dilaton black hole, giving an independent check of whether the inequality correctly encodes backreaction."],"forward_implications":["No gedanken experiment of this modern type can overcharge a static charged dilaton black hole in Einstein-Maxwell-dilaton gravity, so weak cosmic censorship survives this class of attacks.","The second-order perturbation inequality closes the loophole left open by test-particle calculations, playing the role of backreaction or self-energy for the infalling matter.","The protection extends to black holes whose inner horizon is replaced by a singular surface, widening the class of spacetimes in which the gedanken bound works.","The no-overcharging conclusion is established at second order, matching the order at which the perturbation inequalities are derived."],"supporting_citations":[{"why":"Supplies the modern gedanken-experiment protocol and the second-order perturbation-inequality strategy this paper adapts to dilaton gravity.","marker":"[27]"},{"why":"Supplies the Noether-charge variational identities that produce the first- and second-order perturbation inequalities.","marker":"[28]"},{"why":"Establishes the old test-particle result that overcharging is possible when second-order backreaction is neglected, the baseline this paper overturns.","marker":"[31]"},{"why":"Gives the static charged dilaton solution and its causal structure, including the singular surface that replaces the inner horizon.","marker":"[32]"},{"why":"Supplies the Noether-current decomposition used in deriving the variational identities.","marker":"[33]"}],"fun_headline_variants":["Overcharging fails for dilaton black holes with second-order terms","Second-order perturbations protect dilaton black holes from overcharging","Gedanken overcharging impossible for charged dilaton black holes","No overcharging for dilaton black holes once second-order effects count"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire bound rests on the assumption that a small disturbance of this black hole settles down to another slightly different static dilaton black hole at late times; if disturbances keep ringing forever, the key comparison that produces the inequality does not go through.","fun_headline_variants_meta":{"raw":{"variants":["Overcharging fails for dilaton black holes with second-order terms","Second-order perturbations protect dilaton black holes from overcharging","Gedanken overcharging impossible for charged dilaton black holes","No overcharging for dilaton black holes once second-order effects count"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000457,"raw_usage":{"total_tokens":2231,"prompt_tokens":821,"completion_tokens":1410,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":437,"completion_tokens_details":{"reasoning_tokens":1339}},"tokens_in":437,"tokens_out":1410,"duration_ms":11343,"temperature":1.0,"reasoning_tokens":1339,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T04:56:20.993325+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute or observe a linearized disturbance of the subextremal static charged dilaton black hole that does not relax to a static dilaton solution at late times, or construct a matter perturbation satisfying the null energy condition for which the second-order inequality $\\delta^2M-\\Phi_H\\delta^2Q \\ge \\frac{2M^2-Q^2}{4M^3}\\delta Q^2$ fails; either would reopen the overcharging window and break the paper's conclusion.","supporting_citations":[{"cited_title":"Sorce and R","cited_arxiv_id":null,"evidence_quote":"Supplies the modern gedanken-experiment protocol and the second-order perturbation-inequality strategy this paper adapts to dilaton gravity."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the old test-particle result that overcharging is possible when second-order backreaction is neglected, the baseline this paper overturns."},{"cited_title":"Aniceto and J","cited_arxiv_id":null,"evidence_quote":"Gives the static charged dilaton solution and its causal structure, including the singular surface that replaces the inner horizon."},{"cited_title":"Iyer and R","cited_arxiv_id":null,"evidence_quote":"Supplies the Noether-current decomposition used in deriving the variational identities."}],"review_version":1}