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

This paper presents a proof of the reverse isoperimetric inequality for black holes in Einstein gravity with $D \geq 4$ using a geometric-analytic approach, demonstrating that the reversal of the usual inequality stems from the curved background structure dictated by Einstein's equations.

The Gist

Imagine you are a cosmic architect tasked with building the most efficient "energy storage unit" in the universe: a black hole.

For a long time, physicists have been debating a specific rule about these black holes, known as the Reverse Isoperimetric Inequality. To understand what this paper proves, let's break it down using a simple analogy: The Balloon vs. The Squashed Ball.

The Basic Idea: Shape Matters

In our everyday world (Euclidean space), if you have a fixed amount of air (volume) and you want to make a balloon, the shape that uses the least amount of rubber (surface area) is a perfect sphere. This is the classic "Isoperimetric Inequality." Nature loves efficiency; it prefers spheres because they minimize surface area for a given volume.

The Twist:
In the strange, curved universe of Anti-de Sitter (AdS) space (a specific type of gravitational environment where black holes live), the rules flip. The paper argues that for black holes, the "perfect sphere" doesn't just minimize surface area; it actually maximizes entropy (disorder or information content).

The conjecture (which this paper proves) is: If you have a black hole with a fixed "thermodynamic volume," the round, spherical black hole holds the most entropy. Any other shape (squashed, stretched, or spinning) will have less entropy.

Think of it like this: In this specific cosmic neighborhood, the universe "prefers" black holes to be perfectly round balls. If you try to deform them, you lose "information" (entropy).

The Two-Pronged Attack

The author, Naman Kumar, uses two different methods to prove this, like a detective using both a magnifying glass and a fingerprint scanner.

1. The Geometric Approach: The "Sticky Rubber Sheet"

Imagine the black hole's horizon (its surface) is a rubber sheet floating in a fluid that is constantly trying to squeeze it inward (this is gravitational focusing).

• The Setup: The author takes a perfect sphere and tries to wiggle it into weird shapes without changing its total volume.
• The Rigidity Theorem: He uses a mathematical tool called the Sherif-Dunsby rigidity theorem. Think of this as a rule that says, "If you try to stretch a sphere in this specific cosmic fluid, the fluid fights back so hard that the sphere snaps back to being round."
• The Result: The math shows that any attempt to deform the sphere (while keeping the volume fixed) is unstable. The universe forces the black hole to stay round because that is the only shape that can "survive" the gravitational squeeze without losing entropy. It's like trying to push a round ball into a square hole; the ball just won't fit without breaking the rules of the game.

2. The Analytic Approach: The "Energy Landscape"

Now, imagine entropy as the height of a hill. You want to find the highest peak (maximum entropy).

• The Test: The author looks at the "slope" of this hill. If you are at the top of a round sphere, and you take a tiny step in any direction (deforming the shape), do you go up or down?
• The Calculation: Using advanced calculus (specifically looking at "second variations"), he proves that if you are on a round sphere, any step you take leads downhill.
• The Conclusion: The round sphere is the absolute peak. It is the "local maximum." You cannot find a higher point of entropy by changing the shape.

What About Spinning Black Holes?

You might ask, "What about the Kerr-AdS black holes? They spin, so they aren't perfect spheres; they bulge at the equator."

The paper addresses this too. It treats a spinning black hole as a "deformed" version of a round sphere.

• The Analogy: Imagine a figure skater spinning. As they spin faster, they flatten out.
• The Finding: The paper proves that this "flattening" (spinning) is exactly like taking that step downhill on the entropy hill. A spinning black hole has less entropy than a non-spinning (Schwarzschild) black hole of the same volume.
• The Thermodynamic Proof: The author also shows that entropy is "strictly concave" regarding spin. This is a fancy way of saying: "The more you spin, the more entropy you lose." The state with zero spin (the perfect sphere) is the winner.

Why Does This Matter?

This isn't just about math puzzles. It tells us something profound about gravity:

1. Gravity Loves Roundness: In the deep structure of Einstein's equations, gravity acts like a force that compels black holes to be spherical to maximize their disorder (entropy).
2. Stability: The black holes that violate this rule (called "superentropic" black holes) are unstable. They are like a house of cards; they might exist for a moment, but they will collapse or change because they are fighting against the fundamental laws of gravity.
3. The "Thermodynamic Volume": The paper clarifies that when we talk about the "size" of a black hole in this context, we aren't just measuring the empty space inside. We are measuring a "thermodynamic volume" that includes the pressure of the universe itself. Even with this complex definition, the sphere still wins.

The Bottom Line

Naman Kumar has provided a rigorous proof that in Einstein's gravity, the most efficient, high-entropy black hole is the one that looks like a perfect ball.

If you try to squish it, stretch it, or spin it, you are essentially "wasting" entropy. The universe, governed by these specific equations, demands that black holes be round to be at their most "entropic" (and therefore, most stable) state. It's a beautiful confirmation that even in the chaotic world of black holes, there is a fundamental preference for symmetry and roundness.

Technical Summary

Here is a detailed technical summary of the paper "A proof of the reverse isoperimetric inequality using a geometric–analytic approach" by Naman Kumar.

1. Problem Statement

The paper addresses the Reverse Isoperimetric Inequality (RII), a central conjecture in extended black hole thermodynamics. In standard Euclidean geometry, the isoperimetric inequality states that for a fixed volume, a sphere minimizes the surface area. Conversely, the RII conjecture posits that for Anti-de Sitter (AdS) black holes, the round sphere (specifically the Schwarzschild-AdS black hole) maximizes the entropy (horizon area) for a fixed thermodynamic volume $V$.

While the RII has been verified for specific cases (e.g., AdS-Schwarzschild, Kerr-AdS) and is known to be violated by "superentropic" black holes (which are thermodynamically unstable), a general, rigorous proof for Einstein gravity in dimensions $D \geq 4$ has been lacking. The paper aims to provide this general proof.

2. Methodology

The author employs a two-pronged geometric-analytic approach to prove that the Schwarzschild-AdS black hole is the unique entropy maximizer at fixed thermodynamic volume.

A. Geometric Approach (Rigidity and Focusing)

• 1+1+2 Decomposition: The spacetime is decomposed using a 1+1+2 formalism, splitting the 3-space orthogonal to a timelike vector into a preferred spacelike direction and a 2-sheet.
• Gravitational Focusing: In an Einstein background with a negative cosmological constant ($\Lambda < 0$), the Raychaudhuri equation dictates that spacelike congruences undergo "gravitational focusing" (contraction). This implies the sheet expansion scalar $\hat{\theta}$ becomes negative.
• Sherif–Dunsby Rigidity Theorem: The author applies a theorem stating that a compact 3-manifold with non-negative scalar curvature, admitting a proper conformal transformation that preserves scalar curvature while having a negative conformal factor (derived from the focusing condition), must be isometric to a round sphere ($S^3$).
• Application: By fixing the thermodynamic volume (volume-preserving deformations) and the background curvature (fixed $\Lambda$), the theorem proves that any deviation from a round horizon shape is not a stable extremum. Thus, the round $S^2$ horizon is the unique stable configuration.

B. Analytic Approach (Variational Analysis)

• Euclidean Action: The analysis utilizes the Euclidean Einstein-Hilbert action supplemented by the Gibbons-Hawking-York (GHY) boundary term.
• Slice Functional: The on-shell action is decomposed into a bulk volume term and a boundary term. The author defines a "slice functional" $I_{\text{slice}}[S] = -A[S] - \lambda V[S]$, where $A$ is the horizon area, $V$ is the volume, and $\lambda$ acts as a Lagrange multiplier enforcing the volume constraint.
• Second Variation Analysis: The stability of the round sphere is tested by calculating the second variation of the slice functional under normal deformations ($\phi$).
  • The first variation yields the condition of Constant Mean Curvature (CMC).
  • The second variation is expanded in spherical harmonics ($\ell$). For volume-preserving deformations ($\ell \geq 2$), the quadratic form is shown to be strictly negative ($\delta^2 I < 0$) in AdS space.
  • This confirms that the round sphere is a strict local maximum of entropy (area) at fixed volume.

C. Extension to Rotating Black Holes (Kerr-AdS)

• Off-shell Deformation: The author treats the Kerr-AdS black hole as an off-shell deformation of the round sphere. The analysis shows that turning on rotation corresponds to an $\ell=2$ axisymmetric deformation.
• Thermodynamic Concavity: Using the generalized Helmholtz potential, the author demonstrates that the entropy $S(V, J)$ is strictly concave with respect to angular momentum $J$ along the thermodynamically stable branch.
• Result: Since $J=0$ (Schwarzschild-AdS) is a local maximum and the function is concave, any non-zero angular momentum ($J \neq 0$) strictly lowers the entropy for a fixed thermodynamic volume.

3. Key Contributions

1. General Proof of RII: The paper provides the first general proof of the Reverse Isoperimetric Inequality for stationary, asymptotically AdS black holes in Einstein gravity for $D \geq 4$.
2. Uniqueness of Schwarzschild-AdS: It establishes that the Schwarzschild-AdS black hole is the unique global maximizer of entropy for a fixed thermodynamic volume and pressure, among all static and rotating solutions.
3. Geometric Mechanism: The proof elucidates that the reversal of the isoperimetric inequality is not accidental but originates fundamentally from the structure of curved backgrounds governed by Einstein's equations (specifically gravitational focusing in AdS space).
4. Resolution of the "Roundness" Conjecture: It mathematically validates the physical intuition that "black holes like to be round" in the context of extended thermodynamics.
5. Clarification of Volume Definitions: The paper rigorously distinguishes between geometric volume and thermodynamic volume, showing that for rotating black holes, the thermodynamic volume includes rotation-dependent contributions, and comparisons must be made using the thermodynamic volume to satisfy the conjecture.

4. Key Results

• Inequality: For any black hole in Einstein gravity with $D \geq 4$, the inequality holds:
  $$\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 equality holds if and only if the black hole is Schwarzschild-AdS.
• Entropy Maximization: $S_{\text{Kerr}}(V) < S_{\text{Schwarzschild}}(V)$ for any fixed thermodynamic volume $V$ and non-zero angular momentum $J$.
• Stability Condition: The violation of RII (superentropic black holes) is linked to thermodynamic instability (negative heat capacity) and non-compact horizons, which fall outside the scope of the proof's assumptions (compact, connected, spherical topology).

5. Significance

• Foundational Thermodynamics: This work solidifies the theoretical framework of extended black hole thermodynamics (Black Hole Chemistry), confirming that the mass of an AdS black hole acts as enthalpy and that the thermodynamic volume behaves consistently with the RII.
• Gravity-Entropy Link: It highlights a deep connection between the geometric properties of spacetime (curvature, focusing) and information-theoretic quantities (entropy), suggesting that the "roundness" of black holes is a consequence of Einstein's equations rather than just a statistical preference.
• Future Directions: The paper outlines clear paths for extending these results to modified gravity theories (e.g., $f(R)$, Gauss-Bonnet), quantum corrections, and non-AdS asymptotics (e.g., de Sitter space), providing a robust baseline for future investigations into the interplay between geometry and thermodynamics.

In summary, Naman Kumar successfully bridges geometric rigidity theorems with analytic variational calculus to prove that in the extended phase space of AdS black holes, the spherical, non-rotating configuration is the state of maximum entropy for a given volume, thereby resolving a long-standing conjecture in gravitational thermodynamics.