pith. machine review for the scientific record. sign in

arxiv: 2512.07825 · v3 · submitted 2025-12-08 · 🌀 gr-qc · hep-th

Recognition: 2 theorem links

· Lean Theorem

Novel thermodynamic inequality for rotating AdS black holes

Authors on Pith no claims yet

Pith reviewed 2026-05-17 00:23 UTC · model grok-4.3

classification 🌀 gr-qc hep-th
keywords thermodynamic inequalityrotating AdS black holescosmic censorshipKerr-AdSblack stringsreverse isoperimetric inequalitynaked singularities
0
0 comments X

The pith

Rotating AdS black holes obey 4πJ²/(3MV) < 1 to keep singularities hidden behind horizons.

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

The paper proposes a new thermodynamic inequality 4πJ²/(3MV) < 1 for stationary asymptotically Anti-de Sitter rotating black holes. It arises from requiring that an identity linking thermodynamic variables has real roots that correspond to solutions with event horizons. A sympathetic reader would care because this condition would rule out naked singularities and thereby support the cosmic censorship conjecture. The authors verify the inequality for the Kerr-AdS black hole and for uncharged rotating AdS black strings across different horizon topologies. They further show that the reverse isoperimetric inequality continues to hold when rotation is present and conjecture a higher-dimensional version.

Core claim

We propose a new thermodynamic inequality for stationary and asymptotically Anti-de Sitter rotating black holes, 4πJ²/(3MV)<1. This inequality is derived by analyzing the roots of the identity relating the thermodynamic variables, ensuring the avoidance of naked singularities, and consequently preventing violations of the cosmic censorship conjecture. We examine the Kerr-AdS black hole as well as uncharged rotating AdS black strings, and find strong supporting evidence for the inequality across different horizon topologies. Using this inequality, we further demonstrate that the reverse isoperimetric inequality remains unchanged in the presence of rotation.

What carries the argument

Analysis of the roots of the thermodynamic identity that relates mass M, angular momentum J, and thermodynamic volume V, requiring real roots to ensure an event horizon exists.

Load-bearing premise

Requiring real roots of the thermodynamic identity is both necessary and sufficient to guarantee an event horizon and thereby enforce cosmic censorship.

What would settle it

A rotating asymptotically AdS black hole solution in which 4πJ²/(3MV) is greater than or equal to 1 yet the geometry still possesses an event horizon and no naked singularity.

read the original abstract

We propose a new thermodynamic inequality for stationary and asymptotically Anti-de Sitter rotating black holes, $ 4\pi J^2/(3MV)<1 $. This inequality is derived by analyzing the roots of the identity relating the thermodynamic variables, ensuring the avoidance of naked singularities, and consequently preventing violations of the cosmic censorship conjecture. We examine the Kerr-AdS black hole as well as uncharged rotating AdS black strings, and find strong supporting evidence for the inequality across different horizon topologies. Using this inequality, we further demonstrate that the reverse isoperimetric inequality ($ {\cal R}\geq 1 $), remains unchanged, in the presence of rotation. Our investigations of a broad class of black hole solutions provide additional confirmation of the proposed inequality. Assuming that the reverse isoperimetric inequality in the presence of rotation continues to hold in higher dimensions, we conjecture the corresponding higher-dimensional generalization of the inequality.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript proposes a new thermodynamic inequality 4πJ²/(3MV)<1 for stationary asymptotically Anti-de Sitter rotating black holes. It is derived by analyzing the roots of a thermodynamic identity relating M, J and V, with the existence of real roots taken to guarantee an event horizon and thereby uphold cosmic censorship. The authors verify the inequality explicitly for the Kerr-AdS black hole and for uncharged rotating AdS black strings (different horizon topologies), show that the reverse isoperimetric inequality remains valid under rotation, and report supporting evidence from a broader class of solutions. They conjecture a higher-dimensional generalization assuming the reverse isoperimetric inequality continues to hold.

Significance. If the central claim is established, the inequality supplies a new, parameter-free thermodynamic constraint on rotating AdS black holes that directly ties thermodynamic variables to the absence of naked singularities. The explicit verification on Kerr-AdS and rotating AdS black strings, together with the demonstration that the reverse isoperimetric inequality is preserved in the presence of rotation, constitute concrete supporting evidence. The conjecture for higher dimensions, if confirmed, would extend the result beyond four-dimensional stationary solutions.

major comments (2)
  1. [Section 2] The derivation (Section 2 and the paragraph following Eq. (3)) treats the existence of real roots of the thermodynamic identity as both necessary and sufficient for the presence of an event horizon. While this is checked for Kerr-AdS and rotating AdS black strings, the manuscript does not supply a general argument establishing that the root condition maps one-to-one onto horizon existence when horizon topology changes or when additional matter fields are present; this step is load-bearing for the claimed link to cosmic censorship.
  2. [Concluding remarks] The higher-dimensional conjecture (final paragraph) assumes that the reverse isoperimetric inequality continues to hold with rotation in D>4, yet no supporting calculation or reference is provided for even a single higher-dimensional rotating AdS solution; this assumption is central to the proposed generalization.
minor comments (2)
  1. [Introduction] The thermodynamic volume V is introduced without an explicit definition in the opening paragraphs; a brief reminder of its standard definition (e.g., via the first law) would improve readability.
  2. [Section 3] Figure 1 (or the corresponding plot of the inequality boundary) lacks axis labels indicating the range of the rotation parameter a/L; adding these would make the supporting evidence easier to assess.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major comment below and indicate the revisions we will make.

read point-by-point responses
  1. Referee: [Section 2] The derivation (Section 2 and the paragraph following Eq. (3)) treats the existence of real roots of the thermodynamic identity as both necessary and sufficient for the presence of an event horizon. While this is checked for Kerr-AdS and rotating AdS black strings, the manuscript does not supply a general argument establishing that the root condition maps one-to-one onto horizon existence when horizon topology changes or when additional matter fields are present; this step is load-bearing for the claimed link to cosmic censorship.

    Authors: We acknowledge that the manuscript verifies the correspondence between real roots and horizon existence explicitly only for the Kerr-AdS black hole and rotating AdS black strings (including different horizon topologies), together with supporting checks on a broader class of solutions. No general proof is supplied that the root condition is necessary and sufficient for arbitrary horizon topologies or when additional matter fields are present. We will revise Section 2 and the relevant discussion to state the scope of the verification more precisely and to clarify that the proposed link to cosmic censorship is supported by the thermodynamic identity and the explicit cases examined, while noting that a fully general demonstration lies beyond the present work. revision: partial

  2. Referee: [Concluding remarks] The higher-dimensional conjecture (final paragraph) assumes that the reverse isoperimetric inequality continues to hold with rotation in D>4, yet no supporting calculation or reference is provided for even a single higher-dimensional rotating AdS solution; this assumption is central to the proposed generalization.

    Authors: The conjecture is already framed conditionally on the assumption that the reverse isoperimetric inequality continues to hold under rotation in higher dimensions. The manuscript contains no explicit calculation or reference for any D>4 rotating AdS solution. We will revise the final paragraph to emphasize the conditional character of the conjecture and to identify the verification of the reverse isoperimetric inequality in higher dimensions as an open question for future investigation. revision: yes

Circularity Check

0 steps flagged

Derivation from root analysis of thermodynamic identity is self-contained

full rationale

The paper obtains the inequality 4πJ²/(3MV)<1 by requiring real roots of the standard thermodynamic identity in the variables M, J, V for stationary asymptotically AdS rotating black holes; this algebraic condition is presented as necessary to ensure an event horizon and thereby support cosmic censorship. The derivation proceeds from the identity itself rather than by fitting parameters to data, redefining quantities in terms of the target result, or relying on load-bearing self-citations. Explicit checks for Kerr-AdS and rotating AdS black strings supply independent verification across topologies, and the demonstration that the reverse isoperimetric inequality remains unchanged follows directly from the same root condition without circular reduction. The central claim therefore remains non-circular and self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the existence of a thermodynamic identity whose roots determine horizon formation, on the cosmic censorship conjecture as a selection principle, and on the validity of the reverse isoperimetric inequality when rotation is included.

axioms (2)
  • domain assumption Standard thermodynamic relations for asymptotically AdS black holes hold and connect mass, angular momentum, and thermodynamic volume.
    Invoked when the authors analyze the roots of the identity relating thermodynamic variables.
  • domain assumption Naked singularities are forbidden by the cosmic censorship conjecture.
    Used to interpret the absence of real roots as a physical requirement.

pith-pipeline@v0.9.0 · 5444 in / 1392 out tokens · 43206 ms · 2026-05-17T00:23:26.397345+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

45 extracted references · 45 canonical work pages · 26 internal anchors

  1. [1]

    J. D. Bekenstein, Phys. Rev. D7, 2333-2346 (1973) doi:10.1103/PhysRevD.7.2333

  2. [2]

    S. W. Hawking, Commun. Math. Phys.43, 199-220 (1975) [erratum: Commun. Math. Phys.46, 206 (1976)] doi:10.1007/BF02345020

  3. [3]

    J. M. Maldacena, Adv. Theor. Math. Phys.2, 231-252 (1998) doi:10.4310/ATMP.1998.v2.n2.a1 [arXiv:hep-th/9711200 [hep-th]]

  4. [4]

    Enthalpy and the Mechanics of AdS Black Holes

    D. Kastor, S. Ray and J. Traschen, Class. Quant. Grav.26, 195011 (2009) doi:10.1088/0264-9381/26/19/195011 [arXiv:0904.2765 [hep-th]]

  5. [5]

    Black Hole Enthalpy and an Entropy Inequality for the Thermodynamic Volume

    M. Cvetic, G. W. Gibbons, D. Kubiznak and C. N. Pope, Phys. Rev. D84, 024037 (2011) doi:10.1103/PhysRevD.84.024037 [arXiv:1012.2888 [hep-th]]

  6. [6]

    P-V criticality of charged AdS black holes

    D. Kubiznak and R. B. Mann, JHEP07, 033 (2012) doi:10.1007/JHEP07(2012)033 [arXiv:1205.0559 [hep-th]]

  7. [7]

    C. V. Johnson, Class. Quant. Grav.31, 205002 (2014) doi:10.1088/0264-9381/31/20/205002 [arXiv:1404.5982 [hep-th]]

  8. [8]

    Holographic Black Hole Chemistry

    A. Karch and B. Robinson, JHEP12, 073 (2015) doi:10.1007/JHEP12(2015)073 [arXiv:1510.02472 [hep-th]]

  9. [9]

    Al Balushi, R

    A. Al Balushi, R. A. Hennigar, H. K. Kunduri and R. B. Mann, Phys. Rev. Lett. 126, no.10, 101601 (2021) doi:10.1103/PhysRevLett.126.101601 [arXiv:2008.09138 [hep-th]]

  10. [10]

    M. R. Visser, Phys. Rev. D105, no.10, 106014 (2022) doi:10.1103/PhysRevD.105.106014 [arXiv:2101.04145 [hep-th]]

  11. [11]

    A. M. Frassino, J. F. Pedraza, A. Svesko and M. R. Visser, Phys. Rev. Lett.130, no.16, 161501 (2023) doi:10.1103/PhysRevLett.130.161501 [arXiv:2212.14055 [hep-th]]

  12. [12]

    M. B. Ahmed, W. Cong, D. Kubizˇ n´ ak, R. B. Mann and M. R. Visser, Phys. Rev. Lett.130, no.18, 181401 (2023) doi:10.1103/PhysRevLett.130.181401 [arXiv:2302.08163 [hep-th]]

  13. [13]

    Thermodynamics of rotating black holes and black rings: phase transitions and thermodynamic volume

    N. Altamirano, D. Kubiznak, R. B. Mann and Z. Sherkatghanad, Galaxies2, 89-159 (2014) doi:10.3390/galaxies2010089 [arXiv:1401.2586 [hep-th]]

  14. [14]

    B. P. Dolan, D. Kastor, D. Kubiznak, R. B. Mann and J. Traschen, Phys. Rev. D 87, no.10, 104017 (2013) doi:10.1103/PhysRevD.87.104017 [arXiv:1301.5926 [hep-th]]

  15. [15]

    Accelerating Black Hole Chemistry

    R. Gregory and A. Scoins, Phys. Lett. B796, 191-195 (2019) doi:10.1016/j.physletb.2019.06.071 [arXiv:1904.09660 [hep-th]]

  16. [16]

    X. H. Feng and H. Lu, Phys. Rev. D95, no.6, 066001 (2017) doi:10.1103/PhysRevD.95.066001 [arXiv:1701.05204 [hep-th]]. 6

  17. [17]

    C. V. Johnson, Mod. Phys. Lett. A35, no.13, 2050098 (2020) doi:10.1142/S0217732320500984 [arXiv:1906.00993 [hep-th]]

  18. [18]

    C. V. Johnson, V. L. Martin and A. Svesko, Phys. Rev. D101, no.8, 086006 (2020) doi:10.1103/PhysRevD.101.086006 [arXiv:1911.05286 [hep-th]]

  19. [19]

    Four-dimensional black holes with unusual horizons

    D. Klemm, Phys. Rev. D89, no.8, 084007 (2014) doi:10.1103/PhysRevD.89.084007 [arXiv:1401.3107 [hep-th]]

  20. [20]

    R. A. Hennigar, D. Kubizˇ n´ ak and R. B. Mann, Phys. Rev. Lett.115, no.3, 031101 (2015) doi:10.1103/PhysRevLett.115.031101 [arXiv:1411.4309 [hep-th]]

  21. [21]

    R. A. Hennigar, D. Kubizˇ n´ ak, R. B. Mann and N. Musoke, JHEP06, 096 (2015) doi:10.1007/JHEP06(2015)096 [arXiv:1504.07529 [hep-th]]

  22. [22]

    Rotating black holes in 4d gauged supergravity

    A. Gnecchi, K. Hristov, D. Klemm, C. Toldo and O. Vaughan, JHEP01, 127 (2014) doi:10.1007/JHEP01(2014)127 [arXiv:1311.1795 [hep-th]]

  23. [23]

    Appels, L

    M. Appels, L. Cuspinera, R. Gregory, P. Krtouˇ s and D. Kubizˇ n´ ak, JHEP02, 195 (2020) doi:10.1007/JHEP02(2020)195 [arXiv:1911.12817 [hep-th]]

  24. [24]

    A. M. Frassino, R. B. Mann and J. R. Mureika, JHEP11, 112 (2019) doi:10.1007/JHEP11(2019)112 [arXiv:1906.07190 [gr-qc]]

  25. [25]

    A. M. Frassino, R. B. Mann and J. R. Mureika, Phys. Rev. D92, no.12, 124069 (2015) doi:10.1103/PhysRevD.92.124069 [arXiv:1509.05481 [gr-qc]]

  26. [26]

    A. M. Frassino, R. A. Hennigar, J. F. Pedraza and A. Svesko, Phys. Rev. Lett. 133, no.18, 181501 (2024) doi:10.1103/PhysRevLett.133.181501 [arXiv:2406.17860 [hep-th]]

  27. [27]

    Carter, Commun

    B. Carter, Commun. Math. Phys.10, no.4, 280-310 (1968) doi:10.1007/BF03399503

  28. [28]

    M. M. Caldarelli, G. Cognola and D. Klemm, Class. Quant. Grav.17, 399-420 (2000) doi:10.1088/0264-9381/17/2/310 [arXiv:hep-th/9908022 [hep-th]]

  29. [29]

    Extended phase space thermodynamics for charged and rotating black holes and Born-Infeld vacuum polarization

    S. Gunasekaran, R. B. Mann and D. Kubiznak, JHEP11, 110 (2012) doi:10.1007/JHEP11(2012)110 [arXiv:1208.6251 [hep-th]]

  30. [30]

    S. W. Hawking, C. J. Hunter and M. Taylor, Phys. Rev. D59, 064005 (1999) doi:10.1103/PhysRevD.59.064005 [arXiv:hep-th/9811056 [hep-th]]

  31. [31]

    G. W. Gibbons, H. Lu, D. N. Page and C. N. Pope, J. Geom. Phys.53, 49-73 (2005) doi:10.1016/j.geomphys.2004.05.001 [arXiv:hep-th/0404008 [hep-th]]

  32. [32]

    M. Amo, A. M. Frassino and R. A. Hennigar, Phys. Rev. Lett.131, no.24, 241401 (2023) doi:10.1103/PhysRevLett.131.241401 [arXiv:2307.03011 [gr-qc]]

  33. [33]

    J. P. S. Lemos, Phys. Lett. B353, 46-51 (1995) doi:10.1016/0370-2693(95)00533-Q [arXiv:gr-qc/9404041 [gr-qc]]

  34. [34]

    J. P. S. Lemos and V. T. Zanchin, Phys. Rev. D54, 3840-3853 (1996) doi:10.1103/PhysRevD.54.3840 [arXiv:hep-th/9511188 [hep-th]]. 7

  35. [35]

    M. H. Dehghani, Phys. Rev. D66, 044006 (2002) doi:10.1103/PhysRevD.66.044006 [arXiv:hep-th/0205129 [hep-th]]

  36. [36]

    H. R. Bakhtiarizadeh, Gen. Rel. Grav.57, no.7, 103 (2025) doi:10.1007/s10714-025-03441-x [arXiv:2501.09375 [gr-qc]]

  37. [37]

    Z. W. Chong, M. Cvetic, H. Lu and C. N. Pope, Nucl. Phys. B717, 246-271 (2005) doi:10.1016/j.nuclphysb.2005.03.034 [arXiv:hep-th/0411045 [hep-th]]

  38. [38]
  39. [39]

    Thermodynamics of Charged, Rotating, and Accelerating Black Holes

    A. Anabal´ on, F. Gray, R. Gregory, D. Kubizˇ n´ ak and R. B. Mann, JHEP04, 096 (2019) doi:10.1007/JHEP04(2019)096 [arXiv:1811.04936 [hep-th]]

  40. [40]

    Rotating Charged Black Hole Solution in Heterotic String Theory

    A. Sen, Phys. Rev. Lett.69, 1006-1009 (1992) doi:10.1103/PhysRevLett.69.1006 [arXiv:hep-th/9204046 [hep-th]]

  41. [41]

    G. W. Gibbons and K. i. Maeda, Nucl. Phys. B298, 741-775 (1988) doi:10.1016/0550-3213(88)90006-5

  42. [42]

    Garfinkle, G

    D. Garfinkle, G. T. Horowitz and A. Strominger, Phys. Rev. D43, 3140 (1991) [erratum: Phys. Rev. D45, 3888 (1992)] doi:10.1103/PhysRevD.43.3140

  43. [43]

    Zhang and J

    M. Zhang and J. Jiang, Eur. Phys. J. C81, no.11, 967 (2021) doi:10.1140/epjc/s10052-021-09753-x [arXiv:2110.09077 [gr-qc]]

  44. [44]

    D. Wu, P. Wu, H. Yu and S. Q. Wu, Phys. Rev. D102, no.4, 044007 (2020) doi:10.1103/PhysRevD.102.044007 [arXiv:2007.02224 [gr-qc]]

  45. [45]

    Sharif and Q

    M. Sharif and Q. Ama-Tul-Mughani, Eur. Phys. J. Plus136, no.3, 284 (2021) doi:10.1140/epjp/s13360-021-01270-w Supplemental Material Kerr-Newman-AdS black hole. The metric of the KN-AdS black hole expressed in the Boyer–Lindquist-like coordinates take the form [27] ds2=−∆r ρ2 dt− asin 2 θ Ξ dϕ 2 + ρ2 ∆r dr2 + ρ2 ∆θ dθ2 + sin2 θ∆θ ρ2 adt− r2 +a 2 Ξ dϕ 2 ,(2...