REVIEW 3 major objections 3 minor
First Law for Nonsingular Black Holes in 2D Dilaton Gravity
T0 review · 3 major / 3 minor · reviewed 2026-08-04 · deepseek-v4-flash
Pith's one-line read For nonsingular black holes in two-dimensional dilaton gravity, the correct Hamiltonian energy is E=-c/2, and with it the first law of thermodynamics holds for the entire solution class.
desk verdict The paper's central variational step treats A∞ as fixed while varying c, but A∞=f∞+c; the proposed first law is not established. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The argument rests on the conserved Hamiltonian charge associated with a fixed asymptotic time-translation generator. The generator is normalized to unit norm at infinity by a factor 1/√A∞, and is kept fixed under variations of the solution, so that only the metric and dilaton vary. Evaluating the charge and its variation at spatial infinity yields δE=-δc/(2√A∞), which combines with the entropy S=2πφ_h and the correspondingly normalized temperature T_H=A'(x_h)/(4π√A∞) to give the first law. The same construction identifies the charge with the conserved Casimir function, the invariant mass parameter of two-dimensional dilaton gravity, which for these solutions is simply -c/2.
What would settle it
For the sine-Gordon solution A(x)=arctan(e^x)+c, compute δE - T_H δS while keeping δA∞=δc (since A∞=π/2+c). The energy variation then contains the extra term cδc/(4A∞^{3/2}); for c=-π/4 this is nonzero, so the first law fails under that natural variation, demonstrating that the result depends crucially on the fixed-normalization assumption.
Extended reading notes
Core claim
The central claim is that the apparent violation of the first law for the nonsingular 2D black hole is an artifact of using the wrong energy. In the correctly normalized covariant phase-space formalism, the Hamiltonian energy of the entire solution family A(x)=f(x)+c is E=-c/(2√A∞), reducing to E=-c/2 when the asymptotic metric value is set to unity. Under this definition, the variation of energy equals the Hawking temperature times the entropy variation, δE=T_H δS, so the first law holds exactly. The same energy coincides with the Casimir function, confirming that the Casimir mass is the physical energy associated with asymptotic time translations.
Load-bearing premise
The proof treats the asymptotic value A∞ as a fixed constant under variations of c, even though A∞=f(∞)+c changes when c does; if that variation is not dropped, the energy variation gains an extra term and the first law no longer follows.
Editorial extensions
If this is right
- The earlier regular black hole solution satisfies the first law once its energy is taken to be E=-c/2, resolving the apparent violation.
- Every static solution of the form A=f+c, including the sine-Gordon and arctan kink examples, has the same thermodynamic relation with no extra corrections.
- The Hawking temperature is rescaled by 1/√A∞ compared with the naive A'(x_h)/(4π), so temperature and entropy stay consistent with the standard first law.
- The Casimir function is confirmed as the physical black hole energy, giving a direct link between conserved charges and thermodynamics in dilaton gravity.
- The same fixed-generator normalization provides a template for checking first laws of regular black holes in higher-dimensional theories.
Reading between the lines
- The derivation holds only if the asymptotic value A∞ is treated as a fixed reference parameter; including its variation δA∞=δc would add a term to δE and break the first law, so the result is really about a specific normalization convention.
- The same normalization strategy could be tried on regular black holes in higher dimensions, where the metric function also approaches a constant different from 1 and the ADM mass may not be the correct Hamiltonian charge.
- One could test the integrated Smarr relation for these solutions under the same fixed generator; the paper states the relation but does not compute it for the new examples.
- The construction suggests a general recipe: for any one-parameter family of static black holes, fixing the asymptotic clock determines the physical energy up to a constant, so apparent first-law violations can be traced to a missing normalization factor.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies nonsingular black hole solutions in Weyl-fixed 2D dilaton gravity, constructing a family A(x)=f(x)+c by specifying the dilaton potential W(φ)=A'(x). Using the Iyer–Wald covariant phase space formalism, it proposes that the Hamiltonian energy is E=-c/(2√A∞) (or E=-c/2 after setting A∞=1), with the Hawking temperature renormalized as T_H=A'(x_h)/(4π√A∞), and claims that this restores the first law δE=T_H δS for all such solutions. It also identifies the energy with the Casimir function C=-c/2. The paper attributes the first-law violation reported by Ai (Ref. [29]) to an incorrect choice of energy.
Significance. The intended contribution—a first-principles covariant-phase-space derivation of the first law for a broad family of nonsingular 2D black holes, with the energy fixed by the asymptotic normalization—is a timely and useful goal. The construction of explicit nonsingular solutions (sine-Gordon and arctan kinks) and the use of Wald entropy are strengths, as is the explicit computation of the symplectic potential and Noether charge in Appendix A. However, the central claim is not established because the variational normalization of A∞ is inconsistent with the solution family; the first law is effectively imposed by choosing δA∞=0. The Casimir identification also suffers from an integration-constant ambiguity. If corrected, the approach could still be valuable, but in the present form the conclusion is circular.
major comments (3)
- [§III.C, Eqs. (58)–(68)] The variational treatment of A∞ is inconsistent. In Eq. (58), t^a is normalized by 1/√A∞ and δt^a=0 is imposed by declaring A∞ a fixed parameter. But for the solution family Eq. (9), A∞=lim_{x→∞}f(x)+c, so δA∞=δc. Thus Eq. (67), δE=-δc/(2√A∞)=δ(-c/(2√A∞)), is not the variation of the function E(c). Differentiating E(c) with A∞=A∞(c) gives an additional term cδc/(4A∞^{3/2}). The first-law check Eq. (73) holds only when this term vanishes, e.g. c=0. Alternatively, imposing δA∞=0 with δc≠0 is incompatible with A∞=f∞+c. This is not a derivation but a normalization convention chosen to force Eq. (73).
- [§IV, Eqs. (74)–(81)] The identification E=C depends on an unspecified integration constant. In Eq. (76), w(φ)=1/2∫^φ e^Q W dφ~ has no fixed lower limit. In Eq. (80), C=-1/2 A(x)+1/2∫^x A'(x~)dx~ = -c/2 - f(x0)/2 for lower limit x0. Equation (81) obtains -c/2 only by silently setting f(x0)=0. Without fixing this convention, the claimed match E=C is ambiguous.
- [§III.D, Eq. (73)] The first-law verification is vacuous under the stated assumptions. If A∞ is strictly fixed as a boundary parameter, then δA∞=0 combined with A∞=f∞+c forces δc=0, so both δE and δS vanish and Eq. (73) is an identity. The paper needs a variational principle in which c varies while the asymptotic normalization remains independent; this is not provided.
minor comments (3)
- [§III.C, Eq. (58)] The phrase 'A∞ should be treated as a fixed parameter' conflicts with A∞=lim_{x→∞} f(x)+c. Using different notation for the normalization constant (e.g., A_ref) and the asymptotic limit A∞ would make the two roles explicit.
- [§II.B] The ϕ⁴ kink example shown in Fig. 1 is referenced but no explicit potential or metric function is given in the text; add the corresponding formula.
- [§IV] The statement 'once the asymptotic time-translation generator is normalized with the reference choice A∞=1' is not justified for the explicit examples, where A∞=π/4 (sine-Gordon, c=-π/4) or π/2+c (arctan). Clarify how this normalization is achieved.
Circularity Check
First-law 'derivation' fixes δA∞=0 even though δA∞=δc, so Eq. (67) and hence the first law are imposed by the normalization convention.
-
other
[Sec. III.C, Eq. (58); Sec. III.C, Eq. (67); Sec. III.D, Eq. (73)]
"ta := 1√A∞ (∂/∂t)^a, δt^a = 0, where A∞ is the asymptotic value of the metric function and should be treated as a fixed parameter such that its variation is zero. ... δE=−δc/(2√A∞)=δ(−c/(2√A∞)). ... δE=−δc/(2√A∞)=THδS= A′(xh)/(4π√A∞) 2πδφh."
For every solution in the family A(x)=f(x)+c, A∞=lim f+c, so any nontrivial variation δc changes A∞ by δA∞=δc. The claimed equality δ(−c/(2√A∞)) = −δc/(2√A∞) requires δA∞=0. If A∞ is allowed to vary, differentiating E(c,A∞(c)) adds the term cδc/(4A∞^{3/2}). The paper suppresses this term by declaring A∞ fixed, but that declaration is incompatible with δA=δc at infinity; alternatively it forces δc=0, making the first-law check vacuous. Thus Eq. (73) reproduces −δc/(2√A∞) only because the normalization convention was chosen to make it do so, rather than as an independent consequence of the Iyer-Wald calculation.
full rationale
The paper is largely self-contained: the Wald entropy S=2πφh follows directly from Eq. (54), the solution construction in Sec. II is explicit, and the Casimir comparison in Sec. IV is an independent computation modulo an integration-constant subtlety. There is no load-bearing self-citation chain. However, the central first-law derivation contains a circular step. Eq. (58) stipulates δA∞=0, but since A∞=lim f+c for the solution family, this condition either contradicts δA=δc or trivializes the variation. Eq. (67) then uses δA∞=0 to identify −δc/(2√A∞) with the exact variation of −c/(2√A∞); once δA∞=δc is included, an extra term appears and the first-law check Eq. (73) fails. The claimed restoration of the first law therefore reduces to the normalization convention rather than following invariantly from the covariant phase space formalism. This is partial circularity in the central claim, warranting a score of 6.
Assumptions & free parameters
free parameters (1)
- c =
not fitted; e.g., c=-π/4 for sine-Gordon example
assumptions (5)
- domain assumption The dilaton gauge φ=x (k=1) is chosen without loss of generality.
- ad hoc to paper The asymptotic value A∞ is treated as a fixed parameter with δA∞=0 under variations.
- domain assumption The potential W(φ) is chosen so that W' stays finite and W decays at infinity, giving regular asymptotically flat geometries.
- standard math The Iyer-Wald formalism applies with the Hamiltonian charge defined by Eq. (59).
- standard math The entropy is given by the Wald formula S=2π φh.
Cite this review
Pith. "Pith review of First Law for Nonsingular Black Holes in 2D Dilaton Gravity." pith.science (2026). https://pith.science/paper/D3EG6SE7
@misc{pith2026260321186,
author = {Pith},
title = {Pith review of: First Law for Nonsingular Black Holes in 2D Dilaton Gravity},
year = {2026},
howpublished = {\url{https://pith.science/paper/D3EG6SE7}},
note = {Machine review of arXiv:2603.21186}
}
abstract
A central issue in the thermodynamics of nonsingular black holes is the apparent violation of the first law. In this work, we use 2D dilaton gravity as a simple theoretical setting to study this issue. We systematically construct a broad class of nonsingular black hole solutions with metric function $A(x)=f(x)+c$, through a procedure that is considerably simpler than in higher-dimensional theories. Using the Iyer-Wald covariant phase space formalism, we derive the correct energy formula and establish a consistent first law for this entire class of solutions. The apparent violation of the first law in a previous work arises because the energy used therein is not the Hamiltonian conjugate to the fixed time-translation generator adopted. Under the boundary conditions and normalization convention specified in the present work, the Iyer-Wald Hamiltonian energy is $E=-\frac{c}{2}$, and the first law is restored. Moreover, the energy formula agrees with the Casimir function in 2D dilaton gravity, thus confirming its interpretation as the physical black hole energy. Our results clarify the correct first law for 2D nonsingular black holes and may provide insights into the first law of nonsingular black holes in higher dimensions.
Figures
Reviewed August 4, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.