Recognition: 2 theorem links
· Lean TheoremQuantum Solitons
Pith reviewed 2026-05-10 19:10 UTC · model grok-4.3
The pith
Geometries from branes in a four-dimensional AdS C-metric describe the quantum backreaction of thermal fields in AdS3.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We construct geometries describing the quantum backreaction of thermal fields in AdS3. The solutions are obtained from branes in a four-dimensional AdS C-metric. They can be viewed as solutions of the semiclassical effective theory on the brane, which couples three-dimensional gravity to the CFT dual to the four-dimensional bulk. This brane construction is related by a double analytic continuation to earlier studies of quantum BTZ solutions. There are two families of solutions, labelled by the asymptotic mass. Solutions with negative mass correspond to the back-reaction of a thermal CFT state on global AdS3. Solutions with positive mass have a horizon for zero back-reaction, which is replace
What carries the argument
The brane embedded in the four-dimensional AdS C-metric after double analytic continuation, which supplies explicit solutions to the semiclassical effective theory coupling 3D gravity to a thermal CFT.
If this is right
- Negative-mass solutions describe the back-reaction of a thermal CFT state on global AdS3.
- Positive-mass solutions replace the zero-backreaction horizon with a smooth origin.
- Thermodynamics and the first law hold in a two-brane configuration that includes both the quantum soliton and the quantum BTZ brane.
- The solutions supply explicit examples of semiclassical effective-theory geometries in three dimensions.
Where Pith is reading between the lines
- This brane-based method supplies a concrete route to generate quantum-corrected AdS3 geometries without solving the semiclassical equations from scratch.
- The double analytic continuation technique may extend to other higher-dimensional black-hole solutions to produce analogous lower-dimensional quantum corrections.
- Such explicit backreacted geometries could serve as test cases for holographic calculations of entanglement or information flow in the presence of thermal fields.
Load-bearing premise
The brane construction accurately captures the semiclassical effective theory on the brane which couples three-dimensional gravity to the CFT dual to the four-dimensional bulk, and that the double analytic continuation from quantum BTZ studies preserves the physical content.
What would settle it
A direct evaluation of the CFT stress tensor on one of the backreacted geometries that fails to satisfy the semiclassical Einstein equations with that source would falsify the construction.
read the original abstract
We construct geometries describing the quantum backreaction of thermal fields in AdS$_3$. The solutions are obtained from branes in a four-dimensional AdS C-metric. They can be viewed as solutions of the semiclassical effective theory on the brane, which couples three-dimensional gravity to the CFT dual to the four-dimensional bulk. This brane construction is related by a double analytic continuation to earlier studies of quantum BTZ solutions. There are two families of solutions, labelled by the asymptotic mass. Solutions with negative mass correspond to the back-reaction of a thermal CFT state on global AdS$_3$. Solutions with positive mass have a horizon for zero back-reaction, which is replaced by a smooth origin in the back-reacted solution. We study the thermodynamics and first law on the brane, which we argue is realised in a two-brane setup where we include both the quantum BTZ brane and our quantum soliton brane.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs geometries describing the quantum backreaction of thermal fields in AdS3, obtained from branes in a four-dimensional AdS C-metric. These are presented as solutions to the semiclassical effective theory on the brane (3D gravity coupled to the dual CFT), related by double analytic continuation to prior quantum BTZ studies. Two families are identified by asymptotic mass sign: negative-mass solutions describe thermal CFT backreaction on global AdS3, while positive-mass solutions replace the horizon with a smooth origin. Thermodynamics and the first law are analyzed in a two-brane setup incorporating both the quantum BTZ and soliton branes.
Significance. If the central identification is verified, this provides explicit constructions of backreacted AdS3 geometries, including novel smooth-origin solitons, extending quantum BTZ results via a brane embedding technique. The two-brane thermodynamic framework offers a concrete realization of the first law that could facilitate further semiclassical calculations in AdS3/CFT2.
major comments (2)
- [Abstract and §1 (construction overview)] The central claim that the 4D brane geometries satisfy the 3D semiclassical Einstein equations with CFT stress-tensor backreaction (stated in the abstract and introduction) lacks an explicit computation of the induced T_μν on the brane or direct substitution into the effective 3D equations. The double analytic continuation is invoked without demonstrating that higher-order or non-local CFT contributions are preserved, leaving the identification unverified.
- [§4 (positive-mass solutions)] For the positive-mass family (§4), the statement that the horizon is replaced by a smooth origin requires an explicit check that the induced 3D metric is regular (e.g., finite curvature invariants or coordinate-independent regularity conditions) and that the backreacted geometry solves the semiclassical equations at that point; the current description relies on the 4D embedding without this 3D verification.
minor comments (2)
- [§2 (mass labeling)] Clarify the relation between the asymptotic mass parameter used here and the standard BTZ mass parameter to avoid potential notational confusion in comparisons.
- [§5 (thermodynamics)] The two-brane thermodynamic setup would benefit from an explicit diagram or coordinate chart showing the relative positions of the quantum BTZ and soliton branes.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the constructive comments. We address each major point below and indicate the revisions that will be incorporated.
read point-by-point responses
-
Referee: [Abstract and §1 (construction overview)] The central claim that the 4D brane geometries satisfy the 3D semiclassical Einstein equations with CFT stress-tensor backreaction (stated in the abstract and introduction) lacks an explicit computation of the induced T_μν on the brane or direct substitution into the effective 3D equations. The double analytic continuation is invoked without demonstrating that higher-order or non-local CFT contributions are preserved, leaving the identification unverified.
Authors: The brane construction is obtained by embedding a 3D hypersurface in a 4D solution of Einstein gravity with negative cosmological constant; the induced 3D geometry therefore satisfies the semiclassical equations by construction once the CFT stress tensor is identified with the appropriate combination of the 4D extrinsic curvature and brane tension. The double analytic continuation maps the previously verified quantum BTZ solutions onto the present family while preserving the local conformal structure and the form of the non-local contributions, because the continuation acts analytically on the metric and the CFT is defined on the same conformal boundary. Nevertheless, we agree that an explicit extraction of T_μν and its substitution into the 3D equations would strengthen the presentation. We will add this calculation, together with a short appendix confirming that higher-order terms remain consistent under the continuation, in the revised manuscript. revision: yes
-
Referee: [§4 (positive-mass solutions)] For the positive-mass family (§4), the statement that the horizon is replaced by a smooth origin requires an explicit check that the induced 3D metric is regular (e.g., finite curvature invariants or coordinate-independent regularity conditions) and that the backreacted geometry solves the semiclassical equations at that point; the current description relies on the 4D embedding without this 3D verification.
Authors: We agree that regularity must be verified directly in the induced 3D geometry rather than inferred solely from the 4D bulk. Although the 4D embedding is smooth across the origin, we will compute the 3D curvature invariants (Ricci scalar, Kretschmann scalar) in regular coordinates centered at the origin and confirm that they remain finite. We will also substitute the induced metric and the corresponding T_μν into the semiclassical equations at that locus to verify that they hold. These explicit checks will be added to §4. revision: yes
Circularity Check
No significant circularity in the derivation
full rationale
The paper derives the geometries explicitly by placing branes in the four-dimensional AdS C-metric, yielding an independent geometric construction that does not presuppose the target 3D semiclassical equations. The subsequent statement that these solutions 'can be viewed as' describing quantum backreaction is an interpretive link via double analytic continuation to prior quantum BTZ work, but this connection is presented as a relation rather than the source of the solutions themselves. No equations reduce to each other by construction, no parameters are fitted to a subset and renamed as predictions, and no central premise is justified solely by an unverified self-citation chain. The overall chain is self-contained, resting on the 4D brane setup.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The brane in the 4D AdS C-metric yields a consistent semiclassical 3D gravity plus CFT system
- domain assumption Double analytic continuation from quantum BTZ preserves the physical backreaction content
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We construct geometries describing the quantum backreaction of thermal fields in AdS3. The solutions are obtained from branes in a four-dimensional AdS C-metric... related by a double analytic continuation to earlier studies of quantum BTZ solutions.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The effective action for the theory on the brane is I_brane = ... + I_CFT
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
R. Emparan, G. T. Horowitz and R. C. Myers,Exact description of black holes on branes, JHEP01(2000) 007 [hep-th/9911043]
-
[2]
R. Emparan, G. T. Horowitz and R. C. Myers,Exact description of black holes on branes. 2. Comparison with BTZ black holes and black strings,JHEP01(2000) 021 [hep-th/9912135]
-
[3]
E. Panella, J. F. Pedraza and A. Svesko,Three-Dimensional Quantum Black Holes: A Primer, Universe10(2024), no. 9 358 [2407.03410]. – 38 –
-
[4]
R. Emparan, A. Fabbri and N. Kaloper,Quantum black holes as holograms in AdS brane worlds,JHEP08(2002) 043 [hep-th/0206155]
-
[5]
R. Emparan, A. M. Frassino and B. Way,Quantum BTZ black hole,JHEP11(2020) 137 [2007.15999]
-
[6]
R. Emparan, J. F. Pedraza, A. Svesko, M. Tomaˇ sevi´ c and M. R. Visser,Black holes in dS3, JHEP11(2022) 073 [2207.03302]
-
[7]
E. Panella and A. Svesko,Quantum Kerr-de Sitter black holes in three dimensions,JHEP06 (2023) 127 [2303.08845]
- [8]
-
[9]
A. Climent, R. Emparan and R. A. Hennigar,Chemical potential and charge in quantum black holes,JHEP08(2024) 150 [2404.15148]
-
[10]
A. Climent, R. A. Hennigar, E. Panella and A. Svesko,Nucleation of charged quantum de-Sitter3 black holes,JHEP05(2025) 086 [2410.02375]
-
[11]
D. Bhattacharya, R. A. Hennigar, R. B. Mann and M. Zhang,Charged rotating quantum black holes,JHEP11(2025) 165 [2506.19941]
-
[12]
R. Emparan and M. Tomaˇ sevi´ c,Strong cosmic censorship in the BTZ black hole,JHEP06 (2020) 038 [2002.02083]
-
[13]
M. Kolanowski and M. Tomaˇ sevi´ c,Singularities in 2D and 3D quantum black holes,JHEP12 (2023) 102 [2310.06014]
- [14]
-
[15]
G. T. Horowitz and R. C. Myers,The AdS / CFT correspondence and a new positive energy conjecture for general relativity,Phys. Rev. D59(1998) 026005 [hep-th/9808079]
work page Pith review arXiv 1998
-
[16]
Shahbazi-Moghaddam,Constraints on the resolution of spacetime singularities,2510.25927
A. Shahbazi-Moghaddam,Constraints on the resolution of spacetime singularities,2510.25927
- [17]
-
[18]
B. Czech, J. L. Karczmarek, F. Nogueira and M. Van Raamsdonk,Rindler Quantum Gravity, Class. Quant. Grav.29(2012) 235025 [1206.1323]
-
[19]
R. Emparan and J. M. Magan,Tearing down spacetime with quantum disentanglement,JHEP 03(2024) 078 [2312.06803]
-
[20]
V. Balasubramanian and S. F. Ross,The Dual of nothing,Phys. Rev. D66(2002) 086002 [hep-th/0205290]
- [21]
- [22]
-
[23]
R. Emparan,AdS / CFT duals of topological black holes and the entropy of zero energy states, JHEP06(1999) 036 [hep-th/9906040]
-
[24]
B. S. Kay and R. M. Wald,Theorems on the Uniqueness and Thermal Properties of Stationary, Nonsingular, Quasifree States on Space-Times with a Bifurcate Killing Horizon,Phys. Rept. 207(1991) 49–136
1991
-
[25]
A. Karch and L. Randall,Locally localized gravity,JHEP05(2001) 008 [hep-th/0011156]
work page Pith review arXiv 2001
-
[26]
S. de Haro, K. Skenderis and S. N. Solodukhin,Gravity in warped compactifications and the holographic stress tensor,Class. Quant. Grav.18(2001) 3171–3180 [hep-th/0011230]
-
[27]
Surface terms as counterterms in the AdS / CFT correspondence,
R. Emparan, C. V. Johnson and R. C. Myers,Surface terms as counterterms in the AdS / CFT correspondence,Phys. Rev. D60(1999) 104001 [hep-th/9903238]
- [28]
- [29]
- [30]
-
[31]
I. Papadimitriou and K. Skenderis,Thermodynamics of asymptotically locally AdS spacetimes, JHEP08(2005) 004 [hep-th/0505190]
-
[32]
Setting the boundary free in AdS/CFT
G. Compere and D. Marolf,Setting the boundary free in AdS/CFT,Class. Quant. Grav.25 (2008) 195014 [0805.1902]
work page Pith review arXiv 2008
-
[33]
A. Anabal´ on, F. Gray, R. Gregory, D. Kubizˇ n´ ak and R. B. Mann,Thermodynamics of Charged, Rotating, and Accelerating Black Holes,JHEP04(2019) 096 [1811.04936]
-
[34]
H. Kudoh and Y. Kurita,Thermodynamics of four-dimensional black objects in the warped compactification,Phys. Rev. D70(2004) 084029 [gr-qc/0406107]
- [35]
- [36]
- [37]
- [38]
-
[39]
Hayward,Gravitational action for space-times with nonsmooth boundaries,Phys
G. Hayward,Gravitational action for space-times with nonsmooth boundaries,Phys. Rev. D47 (1993) 3275–3280. – 40 –
1993
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.