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

Abstract: We present the first proof of the reverse isoperimetric inequality for black holes in arbitrary dimension using a two-pronged geometric-analytic approach. The proof holds for compact Riemannian hypersurfaces in AdS space and seems to be a generic property of black holes in the extended phase space formalism. Using Euclidean gravitational action, we show that, among all hypersurfaces of given volume, the round sphere in the $D$-dimensional Anti-de Sitter space maximizes the area (and hence the entropy). This analytic result is supported by a geometric argument in a $1+1+2$ decomposition of spacetime: gravitational focusing enforces a strictly negative conformal deformation, and the Sherif-Dunsby rigidity theorem then forces the deformed 3-sphere to be isometric to the round 3-sphere, establishing the round sphere as the extremal surface, in fact, a maximally entropic surface. Our work establishes that the reversal of the usual isoperimetric inequality occurs due to the structure of the curved background governed by Einstein's equation, underscoring the role of gravity in the reverse isoperimetric inequality for black hole horizons in AdS space.