Recognition: 3 theorem links
· Lean TheoremWhen AdS₃ Grows Hair: Boson Stars, Black Holes, and Double-Trace Deformations
Pith reviewed 2026-05-08 18:04 UTC · model grok-4.3
The pith
Global AdS3 with double-trace deformation below a critical value becomes unstable to a zero-frequency boson star that serves as the true ground state.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
When the double-trace parameter satisfies κ less than κ_AdS, global AdS3 becomes unstable and its nonlinear endpoint is a zero-frequency boson star with energy below that of AdS3, thereby providing the true ground state of the theory. Axisymmetric and non-axisymmetric hairy black holes bifurcate from the BTZ family at the corresponding double-trace instability onset. In the microcanonical ensemble hairy black holes always carry greater entropy than BTZ at fixed mass and angular momentum and thus dominate whenever they exist. In the singular extremal limit axisymmetric black holes saturate a generalised minimum-energy theorem under double-trace boundary conditions.
What carries the argument
The double-trace deformation parameter κ that sets modified boundary conditions for the scalar field, allowing families of regular, horizonless boson stars and hairy black holes to exist as nonlinear solutions.
Load-bearing premise
The instability of global AdS3 evolves to the static zero-frequency boson star rather than to a different time-dependent or singular configuration.
What would settle it
A direct numerical time evolution of perturbed global AdS3 initial data under the double-trace conditions that either settles to the static boson star solution or evolves to a different final state.
read the original abstract
We analyse three-dimensional Einstein gravity coupled to a massive complex scalar field with double-trace boundary conditions. Using high-precision spectral methods, we construct regular AdS$_3$ boson stars together with axisymmetric and non-axisymmetric hairy black holes. For each azimuthal number $m$, the hairy black holes bifurcate from the BTZ family at the corresponding double-trace instability onset. When the double-trace parameter satisfies $\kappa < \kappa_{\rm AdS}$, global AdS$_3$ becomes unstable and we identify its nonlinear endpoint as a zero-frequency boson star with energy below that of AdS$_3$, thereby providing the true ground state of the theory. In the microcanonical ensemble, hairy black holes always carry greater entropy than BTZ at fixed mass and angular momentum, and thus dominate whenever they exist. With notable exceptions, typically hairy black holes do not dominate the canonical nor the grand-canonical ensembles. We further show that, in the singular extremal limit, axisymmetric black holes saturate a generalised minimum-energy theorem under double-trace boundary conditions. These results yield the full nonlinear phase diagram of AdS$_3$ gravity with double-trace deformations.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies 3D Einstein gravity coupled to a massive complex scalar with double-trace boundary conditions. Using high-precision spectral methods, it constructs regular boson stars and axisymmetric/non-axisymmetric hairy black holes. For each m, hairy BHs bifurcate from BTZ at the double-trace instability threshold. When κ < κ_AdS, global AdS3 is unstable; its nonlinear endpoint is identified as a zero-frequency boson star of lower energy, taken as the true ground state. Hairy BHs dominate the microcanonical ensemble at fixed M,J but typically do not dominate canonical or grand-canonical ensembles. In the singular extremal limit, axisymmetric solutions saturate a generalized minimum-energy theorem. The work yields the full nonlinear phase diagram.
Significance. If the central claims hold, the manuscript supplies the complete nonlinear phase structure of AdS3 gravity under double-trace deformations, including the ground state and ensemble dominance. The high-precision spectral constructions, explicit bifurcation from BTZ, and energy comparisons constitute a clear technical advance; the minimum-energy theorem in the extremal limit is a further strength.
major comments (2)
- [Abstract / phase-diagram discussion] Abstract and the section presenting the phase diagram: the claim that the zero-frequency boson star constitutes the nonlinear endpoint of the AdS3 instability (for κ < κ_AdS) rests on the existence of the static solution, its lower energy relative to AdS3, and the linear instability threshold, but is not supported by explicit time-dependent evolution of the Einstein-scalar system under the double-trace boundary conditions. This inference is load-bearing for the central claim about the true ground state.
- [Numerical methods / boson-star constructions] Section on numerical constructions: while high-precision spectral methods are used, the manuscript does not report explicit convergence tests, error bars, or direct comparisons against known analytic limits (e.g., the massless or κ=0 cases) in the main text or appendices; such checks are necessary to underwrite the reported bifurcation points and energy ordering.
minor comments (2)
- [Introduction] Notation for the double-trace parameter κ and the critical value κ_AdS should be defined once in the introduction with an explicit equation reference rather than only in the abstract.
- [Figures] Figure captions for the phase diagrams should include the precise values of m and κ ranges shown, together with a brief statement of the numerical resolution employed.
Simulated Author's Rebuttal
We thank the referee for their thorough review and for recognizing the technical contributions of our work on the nonlinear phase structure of AdS3 gravity with double-trace deformations. We address each major comment below and outline the revisions we will implement to strengthen the manuscript.
read point-by-point responses
-
Referee: [Abstract / phase-diagram discussion] Abstract and the section presenting the phase diagram: the claim that the zero-frequency boson star constitutes the nonlinear endpoint of the AdS3 instability (for κ < κ_AdS) rests on the existence of the static solution, its lower energy relative to AdS3, and the linear instability threshold, but is not supported by explicit time-dependent evolution of the Einstein-scalar system under the double-trace boundary conditions. This inference is load-bearing for the central claim about the true ground state.
Authors: We agree that our identification of the zero-frequency boson star as the nonlinear endpoint is an inference drawn from the existence of a static solution with lower energy than global AdS3, its bifurcation structure matching the linear instability, and the absence of other static competitors. Explicit time-dependent simulations of the Einstein-scalar system with the double-trace boundary conditions would provide direct dynamical confirmation, but such evolutions are computationally intensive and lie beyond the scope of the present work, which is devoted to the construction and thermodynamic analysis of static solutions. We will revise the abstract and the phase-diagram discussion to qualify the statement as a well-supported conjecture based on the static and linear evidence, while emphasizing that the core results—the construction of the boson stars and hairy black holes, their bifurcation from BTZ, and the microcanonical dominance—remain unaffected. revision: partial
-
Referee: [Numerical methods / boson-star constructions] Section on numerical constructions: while high-precision spectral methods are used, the manuscript does not report explicit convergence tests, error bars, or direct comparisons against known analytic limits (e.g., the massless or κ=0 cases) in the main text or appendices; such checks are necessary to underwrite the reported bifurcation points and energy ordering.
Authors: We thank the referee for this observation. Although the spectral method is designed for high accuracy, we acknowledge that the main text and appendices currently lack explicit documentation of convergence with respect to the number of Chebyshev modes, residual norms, and direct comparisons to the massless scalar limit or the κ=0 case (where analytic boson-star solutions are available). We will add a new subsection in the numerical methods section together with an appendix containing these tests, including tables of error estimates, convergence rates, and validation against known limits. This will directly support the reported bifurcation thresholds and energy comparisons. revision: yes
Circularity Check
No significant circularity; constructions are independent numerical solutions
full rationale
The paper solves the Einstein-scalar system with double-trace boundary conditions via high-precision spectral methods to construct static boson stars and hairy black holes. Linear instability thresholds are computed separately and used only to locate bifurcations; energies are compared directly from the solutions. No step equates a reported prediction to a fitted parameter by construction, nor does any load-bearing claim reduce to a self-citation chain or ansatz smuggled from prior work. The derivation remains self-contained against the field equations and boundary conditions.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Einstein gravity in 3D with negative cosmological constant coupled to a massive complex scalar
- domain assumption Existence and regularity of static axisymmetric and non-axisymmetric solutions under double-trace boundary conditions
Lean theorems connected to this paper
-
Foundation/RealityFromDistinction (spacetime emergence: signature (1,3))reality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We analyse three-dimensional Einstein gravity coupled to a massive complex scalar field with double-trace boundary conditions. ... we identify its nonlinear endpoint as a zero-frequency boson star with energy below that of AdS3, thereby providing the true ground state of the theory.
-
Cost.FunctionalEquation / AlphaCoordinateFixationwashburn_uniqueness_aczel / J_uniquely_calibrated_via_higher_derivative unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
β = κ α, where κ is, a priori, a real constant. These boundary conditions correspond holographically to double-trace deformations of the dual CFT operator.
-
Constants (parameter-free chain)constants_from_phi_ladder unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
For concreteness, we focus on the case µ²L² = −15/16 ... within the range −1 < µ²L² < 0 where double-trace boundary conditions of the form (2.22) are allowed.
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]
The Black Hole in Three Dimensional Space Time
M. Bañados, C. Teitelboim and J. Zanelli,The Black hole in three-dimensional space-time, Phys. Rev. Lett.69(1992) 1849 [hep-th/9204099]
work page Pith review arXiv 1992
-
[2]
Geometry of the (2+1) black hole,
M. Bañados, M. Henneaux, C. Teitelboim and J. Zanelli,Geometry of the (2+1) black hole, Phys. Rev. D48(1993) 1506 [gr-qc/9302012]
-
[3]
Carlip,The (2+1)-Dimensional black hole,Class
S. Carlip,The (2+1)-Dimensional black hole,Class. Quant. Grav.12(1995) 2853 [gr-qc/9506079]
-
[4]
S.W. Hawking and H.S. Reall,Charged and rotating AdS black holes and their CFT duals, Phys. Rev. D61(2000) 024014 [hep-th/9908109]
-
[5]
Birmingham,Choptuik scaling and quasinormal modes in the AdS / CFT correspondence, Phys
D. Birmingham,Choptuik scaling and quasinormal modes in the AdS / CFT correspondence, Phys. Rev. D64(2001) 064024 [hep-th/0101194]
- [6]
-
[7]
C. Dappiaggi, H.R.C. Ferreira and C.A.R. Herdeiro,Superradiance in the BTZ black hole with Robin boundary conditions,Phys. Lett. B778(2018) 146 [1710.08039]
- [8]
-
[9]
Breitenlohner and D.Z
P. Breitenlohner and D.Z. Freedman,Stability in Gauged Extended Supergravity,Annals Phys. 144(1982) 249
1982
-
[10]
Breitenlohner and D.Z
P. Breitenlohner and D.Z. Freedman,Positive Energy in anti-De Sitter Backgrounds and Gauged Extended Supergravity,Phys. Lett. B115(1982) 197
1982
-
[11]
Mezincescu and P.K
L. Mezincescu and P.K. Townsend,Stability at a Local Maximum in Higher Dimensional Anti-de Sitter Space and Applications to Supergravity,Annals Phys.160(1985) 406
1985
-
[12]
I.R. Klebanov and E. Witten,AdS / CFT correspondence and symmetry breaking,Nucl. Phys. B556(1999) 89 [hep-th/9905104]
-
[13]
Multitrace operators, boundary conditions, and AdS / CFT correspondence,
E. Witten,Multitrace operators, boundary conditions, and AdS / CFT correspondence, hep-th/0112258
work page internal anchor Pith review arXiv
- [14]
-
[15]
A. Sever and A. Shomer,A Note on multitrace deformations and AdS/CFT,JHEP07(2002) 027 [hep-th/0203168]
-
[16]
M. Berkooz, A. Sever and A. Shomer,‘Double-trace’ deformations, boundary conditions and space-time singularities,JHEP05(2002) 034 [hep-th/0112264]
-
[17]
T. Hertog and K. Maeda,Black holes with scalar hair and asymptotics in N = 8 supergravity, JHEP07(2004) 051 [hep-th/0404261]
-
[18]
T. Hertog and G.T. Horowitz,Towards a big crunch dual,JHEP07(2004) 073 [hep-th/0406134]
-
[19]
C. Martinez, R. Troncoso and J. Zanelli,Exact black hole solution with a minimally coupled scalar field,Phys. Rev. D70(2004) 084035 [hep-th/0406111]
-
[20]
T. Hertog and G.T. Horowitz,Designer gravity and field theory effective potentials,Phys. Rev. Lett.94(2005) 221301 [hep-th/0412169]. – 102 –
-
[21]
A.J. Amsel and D. Marolf,Energy Bounds in Designer Gravity,Phys. Rev. D74(2006) 064006 [hep-th/0605101]
-
[22]
T. Faulkner, G.T. Horowitz and M.M. Roberts,New stability results for Einstein scalar gravity,Class. Quant. Grav.27(2010) 205007 [1006.2387]
-
[23]
T. Faulkner, G.T. Horowitz and M.M. Roberts,Holographic quantum criticality from multi-trace deformations,JHEP04(2011) 051 [1008.1581]
-
[24]
A. Karch and M. Youssef,Dissipation in open holography,JHEP12(2025) 157 [2509.14312]
- [25]
-
[26]
Wald,Dynamics in Non-Globally-Hyperbolic Static Spacetimes,J
R.M. Wald,Dynamics in Non-Globally-Hyperbolic Static Spacetimes,J. Math. Phys.21 (1980) 2802
1980
-
[27]
A. Ishibashi and R.M. Wald,Dynamics in Non-Globally-Hyperbolic Static Spacetimes: II. General Analysis of Prescriptions for Dynamics,gr-qc/0305012
-
[28]
A. Ishibashi and R.M. Wald,Dynamics in Non-Globally-Hyperbolic Static Spacetimes: III. Anti-de Sitter Spacetime,hep-th/0402184
-
[29]
M. Henneaux, C. Martinez, R. Troncoso and J. Zanelli,Asymptotically anti-de Sitter spacetimes and scalar fields with a logarithmic branch,Phys. Rev. D70(2004) 044034 [hep-th/0404236]
-
[30]
M. Henneaux, C. Martinez, R. Troncoso and J. Zanelli,Asymptotic behavior and Hamiltonian analysis of anti-de Sitter gravity coupled to scalar fields,Annals Phys.322(2007) 824 [hep-th/0603185]
-
[31]
Allais,Double-trace deformations, holography and the c-conjecture,JHEP11(2010) 040 [1007.2047]
A. Allais,Double-trace deformations, holography and the c-conjecture,JHEP11(2010) 040 [1007.2047]
- [32]
-
[33]
Vortices in holographic superfluids and superconductors as conformal defects,
O.J.C. Dias, G.T. Horowitz, N. Iqbal and J.E. Santos,Vortices in holographic superfluids and superconductors as conformal defects,JHEP04(2014) 096 [1311.3673]
- [34]
-
[35]
S. Kinoshita, T. Kozuka, K. Murata and K. Sugawara,Quasinormal mode spectrum of the AdS black hole with the Robin boundary condition,Class. Quant. Grav.41(2024) 055010 [2305.17942]
- [36]
-
[37]
T. Katagiri and T. Harada,Stability of small charged anti-de Sitter black holes in the Robin boundary,Class. Quant. Grav.38(2021) 135026 [2006.10301]
- [38]
-
[39]
H.R.C. Ferreira and C.A.R. Herdeiro,Stationary scalar clouds around a BTZ black hole,Phys. Lett. B773(2017) 129 [1707.08133]. – 103 –
-
[40]
N. Cruz and J. Zanelli,Stellar equilibrium in (2+1)-dimensions,Class. Quant. Grav.12 (1995) 975 [gr-qc/9411032]
- [41]
-
[42]
K. Sakamoto and K. Shiraishi,Boson stars with large selfinteraction in (2+1)-dimensions: An Exact solution,JHEP07(1998) 015 [gr-qc/9804067]
-
[43]
K. Sakamoto and K. Shiraishi,Rotating boson stars with large selfinteraction in (2+1)-dimensions,Phys. Rev. D62(2000) 124014 [gr-qc/9910113]
-
[44]
Exact solutions for boson fermion stars in (2+1)-dimensions,
K. Sakamoto and K. Shiraishi,Exact solutions for boson fermion stars in (2+1)-dimensions, Phys. Rev. D58(1998) 124017 [gr-qc/9806040]
-
[45]
D. Astefanesei and E. Radu,Boson stars with negative cosmological constant,Nucl. Phys. B 665(2003) 594 [gr-qc/0309131]
-
[46]
D. Astefanesei and E. Radu,Rotating boson stars in (2+1)-dimenmsions,Phys. Lett. B587 (2004) 7 [gr-qc/0310135]
- [47]
-
[48]
S. Stotyn and R.B. Mann,Another Mass Gap in the BTZ Geometry?,J. Phys. A45(2012) 374025 [1203.0214]
- [49]
- [50]
- [51]
-
[52]
T. Ishii and K. Murata,Black resonators and geons in AdS5,Class. Quant. Grav.36(2019) 125011 [1810.11089]
- [53]
- [54]
-
[55]
M. Henneaux, C. Martinez, R. Troncoso and J. Zanelli,Black holes and asymptotics of 2+1 gravity coupled to a scalar field,Phys. Rev. D65(2002) 104007 [hep-th/0201170]
- [56]
-
[57]
M. Cárdenas, O. Fuentealba, C. Martínez and R. Troncoso,Gravity coupled to a scalar field from a Chern-Simons action: describing rotating hairy black holes and solitons with gauge fields,JHEP02(2023) 058 [2212.13094]
- [58]
-
[59]
A Stress tensor for Anti-de Sitter gravity,
V. Balasubramanian and P. Kraus,A Stress tensor for Anti-de Sitter gravity,Commun. Math. Phys.208(1999) 413 [hep-th/9902121]. – 104 –
-
[60]
Holographic Reconstruction of Spacetime and Renormalization in the AdS/CFT Correspondence
S. de Haro, S.N. Solodukhin and K. Skenderis,Holographic reconstruction of space-time and renormalization in the AdS / CFT correspondence,Commun. Math. Phys.217(2001) 595 [hep-th/0002230]
work page Pith review arXiv 2001
-
[61]
Lecture Notes on Holographic Renormalization
K. Skenderis,Lecture notes on holographic renormalization,Class. Quant. Grav.19(2002) 5849 [hep-th/0209067]
work page Pith review arXiv 2002
-
[62]
I. Papadimitriou and K. Skenderis,Thermodynamics of asymptotically locally AdS spacetimes, JHEP08(2005) 004 [hep-th/0505190]
-
[63]
Lee and R.M
J. Lee and R.M. Wald,Local symmetries and constraints,J. Math. Phys.31(1990) 725
1990
-
[64]
Black Hole Entropy is Noether Charge
R.M. Wald,Black hole entropy is the Noether charge,Phys. Rev. D48(1993) R3427 [gr-qc/9307038]
work page Pith review arXiv 1993
-
[65]
Some Properties of Noether Charge and a Proposal for Dynamical Black Hole Entropy
V. Iyer and R.M. Wald,Some properties of Noether charge and a proposal for dynamical black hole entropy,Phys. Rev. D50(1994) 846 [gr-qc/9403028]
work page Pith review arXiv 1994
-
[66]
A General Definition of "Conserved Quantities" in General Relativity and Other Theories of Gravity
R.M. Wald and A. Zoupas,A General definition of ‘conserved quantities’ in general relativity and other theories of gravity,Phys. Rev. D61(2000) 084027 [gr-qc/9911095]
work page Pith review arXiv 2000
-
[67]
Fefferman and C
C. Fefferman and C. Graham,Conformal invariants, inThe Mathematical Heritage of Élie Cartan (Lyon, 1984), vol. 98, pp. 95–116, Astérisque (1985)
1984
-
[68]
Graham,Volume and area renormalizations for conformally compact Einstein metrics, Rend
C.R. Graham,Volume and area renormalizations for conformally compact Einstein metrics, Rend. Circ. Mat. Palermo S63(2000) 31 [math/9909042]
-
[69]
M. Henningson and K. Skenderis,The Holographic Weyl anomaly,JHEP07(1998) 023 [hep-th/9806087]
work page Pith review arXiv 1998
-
[70]
I. Kanitscheider, K. Skenderis and M. Taylor,Holographic anatomy of fuzzballs,JHEP04 (2007) 023 [hep-th/0611171]
-
[71]
Instability in cosmological topologically massive gravity at the chiral point,
D. Grumiller and N. Johansson,Instability in cosmological topologically massive gravity at the chiral point,JHEP07(2008) 134 [0805.2610]
-
[72]
Topologically Massive Gravity and the AdS/CFT Correspondence
K. Skenderis, M. Taylor and B.C. van Rees,Topologically Massive Gravity and the AdS/CFT Correspondence,JHEP09(2009) 045 [0906.4926]
work page Pith review arXiv 2009
-
[73]
Numerical Methods for Finding Stationary Gravitational Solutions
O.J.C. Dias, J.E. Santos and B. Way,Numerical Methods for Finding Stationary Gravitational Solutions,Class. Quant. Grav.33(2016) 133001 [1510.02804]
-
[74]
A. Bzowski, P. McFadden and K. Skenderis,Scalar 3-point functions in CFT: renormalisation, beta functions and anomalies,JHEP03(2016) 066 [1510.08442]
-
[75]
Deser, R
S. Deser, R. Jackiw and G. ’t Hooft,Three-Dimensional Einstein Gravity: Dynamics of Flat Space,Annals Phys.152(1984) 220
1984
-
[76]
Deser and R
S. Deser and R. Jackiw,Three-Dimensional Cosmological Gravity: Dynamics of Constant Curvature,Annals Phys.153(1984) 405
1984
-
[77]
Ruffini and S
R. Ruffini and S. Bonazzola,Systems of selfgravitating particles in general relativity and the concept of an equation of state,Phys. Rev.187(1969) 1767
1969
-
[78]
Schunck and E.W
F.E. Schunck and E.W. Mielke,Rotating boson star as an effective mass torus in general relativity,Phys. Lett. A249(1998) 389
1998
-
[79]
Schunck and E.W
F.E. Schunck and E.W. Mielke,Boson stars: Rotation, formation, and evolution,Gen. Rel. Grav.31(1999) 787. – 105 –
1999
-
[80]
G.T. Horowitz and M.M. Roberts,Zero Temperature Limit of Holographic Superconductors, JHEP11(2009) 015 [0908.3677]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.