A proof of the reverse isoperimetric inequality using a geometric-analytic approach

Basic Information

• Paper ID: 2508.13235
• Title: A proof of the reverse isoperimetric inequality using a geometric-analytic approach
• Author: Naman Kumar (Indian Institute of Technology Gandhinagar)
• Classification: gr-qc (General Relativity and Quantum Cosmology), hep-th (High Energy Physics - Theory), math-ph (Mathematical Physics), math.DG (Differential Geometry), math.MP (Mathematical Physics)
• Publication Date: October 15, 2025
• Paper Link: https://arxiv.org/abs/2508.13235

Abstract

This paper proves the Reverse Isoperimetric Inequality (RII), a core conjecture in extended black hole thermodynamics, through a geometric-analytic dual approach applicable to black holes in Einstein gravity with D≥4 dimensions. The research demonstrates that the reversal of the conventional isoperimetric inequality originates from the curved background structure governed by Einstein's equations, thereby highlighting the fundamental role of gravity in the reverse isoperimetric properties of AdS black hole horizons.

Research Background and Motivation

Core Problem

The reverse isoperimetric inequality is an important conjecture in extended black hole thermodynamics, mathematically expressed as: $\left(\frac{(D-1)V}{A_{D-2}}\right)^{\frac{1}{D-1}} \geq \left(\frac{A}{A_{D-2}}\right)^{\frac{1}{D-2}}$

where V is the thermodynamic volume, A is the outer horizon area, and $A_{D-2}$ is the unit sphere volume.

Significance

1. Thermodynamic Significance: In extended black hole thermodynamics, the cosmological constant is identified as pressure $P = -\Lambda/8\pi$
2. Geometric Significance: This inequality demonstrates that spherically symmetric AdS-Schwarzschild black holes maximize entropy at fixed geometric volume
3. Physical Intuition: "Black holes prefer to be round"—spherical surfaces maximize entropy in AdS space

Existing Limitations

• RII has remained a conjecture lacking rigorous mathematical proof
• Violations are known to exist in certain cases, such as charged BTZ black holes (superentropic black holes)
• These RII-violating black holes are thermodynamically unstable

Core Contributions

1. First Rigorous Proof: Provides the first geometric-analytic proof of RII for AdS black holes in Einstein gravity with D≥4 dimensions
2. Dual Methodology: Combines geometric rigidity theory and variational analysis, providing complementary proof pathways
3. Physical Insights: Reveals the fundamental role of gravitational focusing effects in RII
4. Extended Applications: Proves applicability to charged black holes and rotating Kerr-AdS black holes
5. Theoretical Foundation: Provides solid mathematical foundations for extended black hole thermodynamics

Detailed Methodology

Problem Formulation

Prove that AdS-Schwarzschild black holes maximize entropy among all static spherically symmetric black holes under the constraint of fixed thermodynamic volume V, thereby verifying the correctness of the reverse isoperimetric inequality.

Method One: Geometric Rigidity Argument

1+1+2 Spacetime Decomposition

Employs a 1+1+2 decomposition of the D-dimensional spacetime M into:

• Timelike direction: timelike unit vector $u^μ$
• Radial direction: spacelike unit vector $e^μ$
• 2-dimensional cross-section: orthogonal 2-space

Projection tensors are defined as: $h^{μν} = g^{μν} + u^μu^ν, \quad N^{μν} = h^{μν} - e^μe^ν$

Gravitational Focusing Effect

In the AdS background, $R_{ab}e^ae^b = \Lambda < 0$, the Raychaudhuri equation yields: $\hat{θ} < 0$ where $\hat{θ}$ is the slice expansion scalar, with the negative sign corresponding to contraction under conformal rescaling.

Sherif-Dunsby Rigidity Theorem

Theorem: If a compact 3-manifold admits non-negative scalar curvature and admits a conformal transformation $\tilde{h}_{ab} = e^{2φ}h_{ab}$ preserving scalar curvature with $φ < 0$, then the manifold is isometric to the round 3-sphere.

Application: Gravitational focusing provides the condition $φ < 0$, ensuring that volume-preserving normal deformations can only return to the spherical configuration. Therefore, the round $S^3$ is the unique stable extremal geometry.

Method Two: Variational Analysis

Effective Action

Starting from the Euclidean Einstein-Hilbert action: $I[g] = -\frac{1}{16πG}\int_M (R-2Λ)\sqrt{g}d^Dx - \frac{1}{8πG}\int_{\partial M} K\sqrt{γ}d^{D-1}x$

On Einstein backgrounds, the total on-shell Euclidean action can be expressed as: $I_E = I_{slice} - \frac{A}{4G}$

where the slice functional is defined as: $I_{slice} \propto -A[S] - λV[S]$ with $λ = \frac{(\tilde{D}-2)Λβ}{16πG}$ serving as an effective Lagrange multiplier implementing the volume constraint.

Variational Calculation

For volume-preserving deformations $X^a \to X^a + φn^a$, the first-order variations of area and volume are: $δA = \int_S H φ dA, \quad δV = \int_S φ dA$

The volume-preserving condition $δV = 0$ requires $\int_S φ dA = 0$.

The stationarity condition $δI_{slice} = 0$ yields the constant mean curvature condition: $H = -λ = \text{const}$

Second-Order Variation and Stability

The second-order variation is: $δ^2I_{slice}|_{δV=0} = \int_S \left(-|∇φ|^2 + (|K|^2 + R_{ab}n^an^b - H^2)φ^2\right)dA$

For round 2-spheres in AdS backgrounds, the second-order variation for spherical harmonic modes $\ell ≥ 2$ is: $δ^2I_{slice}^{(\ell)} = -\left\{\frac{\ell(\ell+D-3)}{R^2} + \frac{(D-2)}{R^2} + \frac{(2D-3)}{l^2}\right\}$

Therefore $δ^2I_{slice}^{(\ell≥2)} < 0$, indicating that the round sphere is a strict local maximum of area (entropy).

Technical Innovations

1. Geometric-Analytic Dual Verification: Two independent methods reach identical conclusions, enhancing proof reliability
2. Critical Role of Gravitational Focusing: First explicit clarification of the fundamental importance of gravitational focusing in RII
3. Application of Conformal Rigidity: Innovative application of rigidity theorems from differential geometry to black hole thermodynamics
4. Off-shell Analysis: Analyzes properties of on-shell solutions through off-shell deformations

Extended Applications

Charged Black Holes

For Reissner-Nordström black holes, in the ensemble with fixed charge Q, the variational principle of the Maxwell action vanishes at boundary conditions: $δ(I_M + I_{bdy}) = 0$ Therefore, charged spherically symmetric black holes likewise maximize entropy and satisfy RII.

Rotating Black Holes

For Kerr-AdS black holes, utilizing thermodynamic stability conditions, the strict concavity of entropy with respect to angular momentum J is proven: $\left(\frac{∂^2S}{∂J^2}\right)_V = -\frac{Δ}{Φ_{TT}Φ_{ΩΩ}} < 0$

Combined with the fact that $J=0$ is a local maximum, we obtain: $S(V,J) ≤ S(V,0), \quad \text{with strict inequality when } J ≠ 0$

Experimental Verification

Theoretical Verification

This paper is primarily a theoretical proof, verified through:

1. Geometric Consistency: Both methods yield identical conclusions
2. Agreement with Known Results: Consistent with known maximum entropy properties of AdS-Schwarzschild black holes
3. Boundary Cases: Correctly predicts entropy reduction in rotating and charged cases
4. Dimensional Generalization: Proof naturally extends from D=4 to D≥4

Applicability Range Verification

The proof applies to black holes satisfying:

• Static, asymptotically AdS
• Compact, connected, spherical topology horizons
• Fixed volume V (and charge Q) ensemble
• Einstein gravity theory

Related Work

Extended Black Hole Thermodynamics

• Kastor, Ray, Traschen (2009): First proposed extended thermodynamics framework
• Dolan (2011): Developed pressure-volume thermodynamics
• Cvetic et al. (2011): Initially proposed the RII conjecture

Isoperimetric Inequality Theory

• Classical isoperimetric inequality: Circles minimize area in Euclidean space
• Reverse isoperimetric phenomena: Opposite behavior in AdS space
• Geometric rigidity theory: Obata theorem and Yamabe problem

Black Hole Thermodynamic Stability

• Johnson (2020): Thermodynamic instability of superentropic black holes
• Hennigar et al. (2015): Identification and classification of superentropic black holes

Conclusions and Discussion

Main Conclusions

1. Rigorous Proof of RII: Provides complete proof for AdS black holes in Einstein gravity with D≥4 dimensions
2. Geometric Origin: The reversal of RII originates from the curved background structure governed by Einstein's equations
3. Universality: The proof applies to static spherically symmetric, charged, and rotating black holes
4. Stability Connection: The theoretical explanation for the connection between RII violations and thermodynamic instability is established

Limitations

1. Dimensional Restriction: Proof applies only to D≥4; violations are known in D=3 (BTZ black holes)
2. Topological Restriction: Requires compact, spherical topology horizons
3. Theory Restriction: Applies only to Einstein gravity, excluding modified gravity theories
4. Asymptotic Restriction: Considers only asymptotically AdS cases

Future Directions

1. Modified Gravity: Study RII in f(R), Gauss-Bonnet, and other theories
2. Quantum Corrections: Consider higher-curvature corrections or quantum effects
3. Holographic Duality: Understand RII from the AdS/CFT perspective
4. Other Asymptotics: Extend to asymptotically flat or de Sitter cases
5. Non-compact Cases: Study explicit proofs of RII violations in superentropic black holes

In-Depth Evaluation

Strengths

1. Mathematical Rigor: Provides the first rigorous proof of a long-standing conjecture
2. Methodological Innovation: Cleverly combines differential geometry and variational methods
3. Physical Insights: Deeply reveals the fundamental role of gravitational focusing
4. Completeness: Provides unified treatment of multiple black hole types
5. Clarity: Logical arguments are clear with complete technical details

Weaknesses

1. Limited Applicability: Proof conditions are restrictive, not covering all known cases
2. Computational Complexity: Some technical details (e.g., higher-dimensional generalizations) are handled relatively briefly
3. Experimental Verification: As purely theoretical work, lacks numerical verification or concrete computational examples

Impact

1. Theoretical Breakthrough: Resolves a core problem in extended black hole thermodynamics
2. Methodological Contribution: Provides new analytical frameworks for similar geometric-physical problems
3. Interdisciplinary Value: Connects differential geometry, gravity theory, and thermodynamics
4. Foundation for Future Work: Establishes basis for similar problems in modified and quantum gravity

Application Scenarios

1. Theoretical Physics Research: Black hole thermodynamics and gravity theory studies
2. Mathematical Physics: Geometric analysis and variational problems
3. Holographic Theory: Entropy bounds in AdS/CFT correspondence
4. Cosmological Applications: Similar problems in de Sitter space

References

The paper cites 22 important references, covering:

• Foundational works in extended black hole thermodynamics 1-3
• Van der Waals fluids and heat engine theory 4-6
• Geometric rigidity and conformal transformation theory 19-20
• Superentropic black holes and thermodynamic stability 14-16
• Quantum corrections and holographic theory 17,21

This paper provides rigorous mathematical proof for a core conjecture in extended black hole thermodynamics. It not only resolves an important theoretical problem but also provides new perspectives for understanding the deep connections between gravity, geometry, and thermodynamics. Its geometric-analytic dual methodology holds significant methodological value for research in related fields.