Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

Static charged dilaton black hole cannot be overcharged by gedanken experiments

T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Second-order perturbation effects prevent gedanken overcharging of charged static dilaton black holes, preserving the weak cosmic censorship conjecture.

desk verdict 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. read the letter →

arxiv 1909.02219 v2 pith:H5JRG2QV submitted 2019-09-05 hep-th

Jie Jiang , Banglin Deng , Zhaohui Chen This is my paper · ORCID
classification hep-th MSC 83C5783C7583C22
keywords weakcosmiccensorshipgedankenexperimentdilatonblackholeEinstein-Maxwell-dilatontheoryNoether-chargeformalismsecond-orderperturbationinequalityovercharginghorizonstability
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

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.

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 (2)
  1. [Sec. IV, 'Additional assumption' and Eq. (52)] 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.
  2. [Sec. IV, Eqs. (43)-(49)] 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.
minor comments (4)
  1. [Sec. V, Eq. (61)] The denominator in Eq. (61) should be 2M² rather than 2M; as printed, the expression is dimensionally inconsistent.
  2. [Sec. IV, after Eq. (44)] 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.
  3. [Sec. VI] The conclusion states that the black hole 'will never be overspun classically,' but the paper concerns overcharging, not overspinning; this wording should be corrected.
  4. [References] References [7] and [10] are identical, and references [24] and [27] are identical; the duplicate entries should be merged.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the no-overcharge bound is an output of the second-order perturbation inequality and the GMGHS area formula, not an input.

full rationale

The paper's central bound h(λ)=2M(λ)^2−Q(λ)^2 ≥ 2M^2−Q^2>0 (Eq. (62)) is obtained by combining the optimal first-order condition δM−Φ_HδQ=0 (Eq. (34)), the second-order inequality δ²M−Φ_Hδ²Q ≥ (2M²−Q²)δQ²/(4M³) (Eq. (56)), and the expansion of h(λ) (Eq. (58)). Eq. (56) itself follows from EΣ1(φ,δφ)=EΣ1(φ,δφ_DL) (Eq. (52)) and the two-variation of the background area A=8π(2M²−Q²) (Eqs. (27),(55)). The equality (52) is justified by the explicitly stated 'Additional assumption' of linear stability of the nonextremal GMGHS solution. That assumption is an external dynamical input; it is not fitted to the final h(λ)>0 inequality and it does not by itself assert the second-order bound that the derivation produces. The paper contains no parameter fits passed off as predictions, no same-author uniqueness theorem is invoked as an external fact, and no known result is merely renamed. The unproved stability assumption is a legitimate correctness limitation but not a circular step.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central argument rests on the standard Iyer-Wald formalism plus two physical assumptions: the null energy condition and late-time linear stability. The stability assumption is the only one that is specific to this paper and is not proven. No free parameters are fitted and no new entities are introduced.

assumptions (6)
  • standard math The Iyer-Wald Noether charge formalism and its first and second variational identities are valid for the Einstein-Maxwell-dilaton theory.
    This is the established framework from Refs. [28,33] and is used throughout Secs. II and IV to derive the perturbation inequalities.
  • domain assumption The null energy condition holds for the first- and second-order perturbed matter stress-energy tensors.
    Used to obtain the first-order inequality (33), the second-order inequality (39), and the positivity of the horizon electromagnetic/dilaton contributions (49). It is a standard condition for classical matter.
  • ad hoc to paper The unperturbed nonextremal static charged dilaton black hole is linearly stable, and source-free linear perturbations settle down to another static dilaton black hole at late times.
    Introduced explicitly in Sec. IV as the 'Additional assumption'. It is required for the late-time matching E_{Sigma1}(phi,delta-phi)=E_{Sigma1}(phi,delta-phi_DL) used in Eq. (52). No proof or citation is supplied.
  • domain assumption The matter perturbation is confined to a compact portion of the future horizon.
    This is the standard Sorce-Wald setup described in Sec. IV; it makes the flux integrals and boundary terms well defined.
  • domain assumption A gauge choice with xi^a delta A_a = 0 on the horizon can be imposed.
    Used in Sec. IV to simplify the electromagnetic symplectic current integrals (43)-(45). The vector potential admits this gauge freedom.
  • standard math The background is the GMGHS solution with Q^2=2MD and horizon area A_B=8pi(2M^2 - Q^2).
    Exact background solution (25) with constraint (26) taken from Ref. [32]; the area formula is used in Eq. (55).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Static charged dilaton black hole cannot be overcharged by gedanken experiments." pith.science (2026). https://pith.science/paper/H5JRG2QV

@misc{pith2026190902219,
  author       = {Pith},
  title        = {Pith review of: Static charged dilaton black hole cannot be overcharged by gedanken experiments},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/H5JRG2QV}},
  note         = {Machine review of arXiv:1909.02219}
}
read the original abstract

We consider the new version of the gedanken experiments proposed recently by Sorce and Wald to overcharge a static charged dilaton black hole. First of all, we derive the first-order and second-order perturbation inequalities in the Einstein-Maxwell-dilaton gravitational theory based on the Iyer-Wald formalism. As a result, we find that the weak cosmic censorship conjecture associated with this black hole can be protected after taking into account the second-order perturbation inequality, although violated by the scene without considering this inequality. Therefore, there is no violation of the weak cosmic censorship conjecture around the charged static dilaton black holes in Einstein-Maxwell-dilaton gravity

Figures

Figures reproduced from arXiv: 1909.02219 by the authors.

Figure 1
Figure 1. FIG. 1. Penrose diagrams representing the causal structure of the static charged dilaton blacks [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. The First Law and Weak Cosmic Censorship for de Sitter Black Holes

    gr-qc 2024-11 accept novelty 6.0 of 10

    An Iyer-Wald first law is established for general perturbations of Reissner-Nordstrom-de Sitter black holes, and a second-order Sorce-Wald argument shows that near-extremal such black holes cannot be overcharged under...

Reference graph

Works this paper leans on

29 extracted references · 27 canonical work pages · cited by 1 Pith paper

  1. [1]

    Penrose, Gen

    R. Penrose, Gen. Relativ. Gravit. 34, 1141 (2002)

    work page 2002

  2. [2]

    R. M. Wald, arXiv:gr-qc/9710068

    arXiv

  3. [3]

    R. M. Wald, Ann. Phys. (N.Y .) 82, 548 (1974)

    work page 1974

  4. [4]

    V . E. Hubeny, Phys. Rev. D 59, 064013 (1999)

    work page 1999

  5. [5]

    de Felice and Y

    F. de Felice and Y . Y u,Classical Quantum Gravity 18, 1235 (2001)

    work page 2001

  6. [10]

    Jacobson and T

    T. Jacobson and T. P . Sotiriou, Phys. Rev. Lett. 103, 141101 (2009)

    work page 2009

  7. [11]

    Jacobson and T

    T. Jacobson and T. P . Sotiriou, J. Phys. Conf. Ser. 222, 012041 (2010)

    work page 2010

  8. [12]

    G. E. A. Matsas and A. R. R. da Silva, Phys. Rev. Lett. 99, 181301 (2007)

    work page 2007

Show all 29 references
  1. [13]

    Saa and R

    A. Saa and R. Santarelli, Phys. Rev. D 84, 027501 (2011)

    2011

  2. [14]

    Hod, Phys

    S. Hod, Phys. Rev. D 66, 024016 (2002)

    2002

  3. [15]

    Gao and Y

    S. Gao and Y . Zhang, Phys. Rev. D 87, 044028 (2013)

    2013

  4. [16]

    Li and C

    Z. Li and C. Bambi, Phys. Rev. D 87, 124022 (2013)

    2013

  5. [17]

    Dzta and I

    K. Dzta and I. Semiz, Phys. Rev. D 88, 064043 (2013)

    2013

  6. [18]

    Dzta, Gen

    K. Dzta, Gen. Relativ. Gravit. 46, 1709 (2014)

    2014

  7. [19]

    G. Z. Tth, Classical Quantum Gravity 33, 115012 (2016)

    2016

  8. [20]

    Gwak and B

    B. Gwak and B. H. Lee, J. Cosmol. Astropart. Phys. 02 (2016) 015

    2016

  9. [21]

    Gwak and B

    B. Gwak and B. H. Lee, Phys. Lett. B 755, 324 (2016)

    2016

  10. [22]

    Cardoso and L

    V . Cardoso and L. Queimada, Gen. Relativ. Gravit. 47, 150 (2015)

    2015

  11. [23]

    K. S. Revelar and I. V ega, Phys. Rev. D 96, 064010 (2017)

    2017

  12. [24]

    Sorce and R

    J. Sorce and R. M. Wald, Phys. Rev. D 96, 104014 (2017) . STA TIC CHARGED DILA TON BLACK HOLE CANNOT … PHYS. REV . D 100, 066024 (2019) 066024-7

    2017

  13. [25]

    Chirco, S

    G. Chirco, S. Liberati, and T. P . Sotiriou, Phys. Rev. D 82, 104015 (2010)

    2010

  14. [26]

    H. M. Siahaan, Phys. Rev. D 93, 064028 (2016)

    2016

  15. [27]

    Sorce and R

    J. Sorce and R. M. Wald, Phys. Rev. D 96, 104014 (2017)

    2017

  16. [28]

    Iyer and R

    V . Iyer and R. M. Wald, Phys. Rev. D 50, 846 (1994)

    1994

  17. [29]

    J. An, J. Shan, H. Zhang, and S. Zhao, Phys. Rev. D 97, 104007 (2018)

    2018

  18. [30]

    B. Ge, Y . Mo, S. Zhao, and J. Zheng, Phys. Lett. B 783, 440 (2018)

    2018

  19. [31]

    T. Y . Y u and W. Y . Wen,Phys. Lett. B 781, 713 (2018)

    2018

  20. [32]

    Aniceto and J

    P . Aniceto and J. V . Rocha, J. High Energy Phys. 05 (2017) 035

    2017

  21. [33]

    Iyer and R

    V . Iyer and R. M. Wald, Phys. Rev. D 52, 4430 (1995). JIE JIANG, BANGLIN DENG, and ZHAOHUI CHEN PHYS. REV . D 100, 066024 (2019) 066024-8

    1995

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.