Reverse Isoperimetric Conjecture as a Noether-Charge Stability Theorem

Abstract: The reverse isoperimetric conjecture asserts that, at fixed thermodynamic volume, Schwarzschild--AdS black holes maximize entropy. We prove that this statement is the fixed-volume form of a boundary-completed Noether-charge stability theorem. The essential observation is that the bulk Hollands--Wald canonical energy is not the full entropy Hessian: along exact stationary black-hole families it vanishes, and the missing curvature is supplied by a constrained asymptotic charge Hessian. Combining this boundary term with bulk canonical-energy positivity gives entropy concavity on admissible fixed-volume components, while zero-energy rigidity determines the equality sector. The theorem reproduces the Einstein-gravity area-volume inequality and extends naturally to Wald entropy in higher-derivative theories. Known violations are thereby reinterpreted as failures of compactness, positivity, or rigidity rather than failures of the variational mechanism.

• The paper establishes the reverse isoperimetric inequality as a boundary-completed stability theorem using the Noether-charge formalism.
• It demonstrates that entropy maximization at fixed thermodynamic volume in AdS black holes requires both bulk and boundary canonical energies.
• Implications extend to Einstein, higher-derivative, and exotic gravitational theories, providing a unified framework for black hole thermodynamics.

Reverse Isoperimetric Conjecture as a Noether-Charge Stability Theorem

Overview

The paper "Reverse Isoperimetric Conjecture as a Noether-Charge Stability Theorem" (2606.28427) establishes a rigorous and general theoretical framework recasting the reverse isoperimetric inequality (RII) as a covariant stability criterion within the Noether-charge formalism. The central technical achievement is the demonstration that entropy maximization at fixed thermodynamic volume in (asymptotically) AdS black holes is not governed solely by the bulk Hollands–Wald canonical energy, but crucially requires a boundary-completed canonical energy incorporating a constrained asymptotic Noether charge Hessian. This formulation yields a precise characterization of both local and global entropy maxima, with implications for Einstein and higher-derivative gravitational theories.

Reverse Isoperimetric Inequality and Extended Black Hole Thermodynamics

The RII posits that among all AdS black holes with identical thermodynamic volume, the Schwarzschild–AdS solution achieves maximal entropy. The formal origin lies in the identification of the cosmological constant as a pressure $P$ and its conjugate, the thermodynamic volume $V$, as central variables in black hole thermodynamics. In Einstein gravity, the geometric form of the inequality relates area $A$ and volume $V$ of the event horizon:

$$R \equiv \left( \frac{(D-1) V}{\omega_{D-2}} \right)^{1/(D-1)} \left( \frac{\omega_{D-2}}{A} \right)^{1/(D-2)} \geq 1$$

where $\omega_{D-2}$ is the area of the unit $(D-2)$-sphere. The bound is saturated for Schwarzschild–AdS, while charged or rotating solutions generically yield $R > 1$, indicating lower entropy at fixed volume. In general diffeomorphism-invariant theories, area is supplanted by Wald or Iyer–Wald entropy.

Noether-Charge Framework and Stability

A critical insight of this work is that the entropy optimization problem subject to a fixed volume constraint is fundamentally a stability problem for a boundary-completed canonical energy functional, $E_{\chi,V}$. This object extends the conventional bulk canonical energy of Hollands–Wald by appending a boundary term: the constrained second variation of the asymptotic Noether charge, evaluated at fixed thermodynamic volume. The full entropy Hessian along stationary black hole families is then given by

$$\mathrm{Hess}_X(S)(v,v) = -\frac{2\pi}{\kappa_X} E_{\chi,V}(v,v)$$

for tangent vectors $V$0 in the fixed-volume phase space. Here, $V$1 vanishes along stationary perturbations, transferring the entire entropy curvature in these directions to the boundary term. This boundary-corrected energy thus detects entropy monotonicity and reveals the mechanism by which entropy can decrease with the onset of rotation or charge at fixed volume.

Global Theorem and Sectoral Admissibility

The main theorem asserts that for any admissible component $V$2 of fixed thermodynamic volume in the phase space of stationary, asymptotically AdS black hole solutions, the Schwarzschild–AdS solution yields maximal entropy:

$V$3

with equality only along the allowed static equality sector $V$4. This admissibility demands that (i) the component is connected via admissible stationary paths; (ii) boundary-completed stability (positivity of $V$5) holds everywhere; (iii) properness (prevention of escapes to non-compact/singular phases) is ensured; and (iv) zero-energy paths only traverse the equality sector.

This approach reframes the RII as a consequence of Noether-charge positivity and rigidity, replacing previous geometric or analytic proofs with a physically motivated covariant stability principle.

Detailed Decomposition of Perturbations

Perturbations around a stationary background are decomposed as:

• Stationary sector ($V$6): Tangent to exact stationary black hole families, controlled entirely by the boundary Noether charge Hessian, as the bulk canonical energy vanishes identically.
• Dynamical sector ($V$7): Orthogonal, charge-free non-stationary perturbations, probed by the bulk canonical energy. Stability here is enforced by positivity arguments analogous to those used in black hole linear stability, e.g., via Regge–Wheeler–Zerilli or Kodama–Ishibashi frameworks.

Positivity of the boundary block is equivalent to thermodynamic stability (concavity of entropy) in the stationary sector. The bifurcation of stability responsibilities leads to a composite positivity criterion encompassing both dynamical and thermodynamic sectors.

Numerical, Analytical, and Structural Insights

• Kerr–AdS example: An explicit perturbative calculation at fixed thermodynamic volume demonstrates that rotating away from Schwarzschild–AdS at fixed $V$8 lowers entropy, with the deficit captured solely by the boundary-completed energy. Kerr–AdS branches are strictly not in the equality sector.
• Charged (RN–AdS) branch: Static charged black holes (with variable charge allowed) saturate the bound due to invariance of entropy at fixed volume. These are genuine equality-degenerate directions in the permitted sector.
• Super-entropic black holes: RII-violating (super-entropic) solutions are explained as lying outside the admissible sector, either due to non-compactness, disconnectedness, or instability—never as failures of the variational mechanism.

Extensions to Higher-Derivative and Exotic Sectors

This formalism naturally incorporates higher-derivative gravity by replacing $V$9 with the appropriate Wald entropy functional. The theorem is valid as long as positivity of $A$0 is preserved in the admissible sector. Known violations in, e.g., Einstein–Horndeski–Maxwell gravity with axionic couplings, are reinterpreted as sectoral non-admissibility or breakdown of boundary-completed positivity.

Theoretical and Practical Implications

The boundary-completed Noether-charge viewpoint unifies the thermodynamic and dynamic stability perspectives in black hole phase space analysis. Practically, it delineates the precise domain where entropy–volume inequalities are assured and demystifies apparent counterexamples. Theoretically, it introduces a robust template for stability analyses in generalized gravitational systems (including higher curvature and matter-coupled theories), and for the study of phase transitions and extremality in extended black hole thermodynamics.

The formal distinction between bulk and boundary contributions clarifies the role of stationary vs. dynamical stability, opening the possibility for new invariants and criteria in the study of gravitational microstates and statistical mechanics.

Conclusion

This paper rigorously recasts the reverse isoperimetric inequality as a boundary-completed canonical energy stability condition within the Noether-charge formalism. The proposed criterion precisely specifies the conditions for entropy maximization at fixed thermodynamic volume across Einstein and higher-derivative gravity theories. This approach not only reproduces established results in standard settings, but also transparently identifies the structural reasons for exceptions, laying the groundwork for future analyses of gravitational thermodynamics and stability in broad and intricate sectors of general relativity and beyond.