The spacetime Penrose inequality under a quasi final state hypothesis

Abstract: Penrose's original heuristic for his eponymous spacetime inequality -- a conjectured lower bound on the ADM mass in terms of the area of a horizon cross-section -- relies on the black hole final state conjecture. In this paper we isolate a substantially weaker but precise late-time condition, which we call the quasi final state hypothesis and prove the spacetime Penrose inequality under this hypothesis. More precisely, for an asymptotically flat globally hyperbolic spacetime with a black-hole-type apparent horizon tube ${H}{app}$ satisfying the dominant energy condition and the quasi final state hypothesis, we show that every asymptotically flat initial data set whose boundary is a MOTS cross-section of ${H}{app}$ satisfies the spacetime Penrose inequality. The quasi final state hypothesis requires only a late-time decay condition on the normal component of the shift and the ratio of timelike to spacelike mean curvature, together with convergence of the cross-sectional areas of ${H}_{app}$ to a finite limit. Our approach is new and formulated directly in spacetime. The main geometric object is what we call a \emph{tangentially maximal} hypersurface, carrying a foliation by spacelike spheres whose timelike mean curvature vanishes. We show that these hypersurfaces are governed by a quasilinear inward-parabolic PDE, and we develop the corresponding a priori theory and prove global existence. On these hypersurfaces, the spacetime Hawking mass reduces to the Riemannian Hawking mass, and the dominant energy condition gives nonnegative scalar curvature. The Riemannian Penrose inequality, combined with the area laws for dynamical and isolated horizons, then yields the result.

• The paper proves the spacetime Penrose inequality under a quasi final state hypothesis by constructing tangentially maximal hypersurfaces.
• It leverages a novel inward-parabolic PDE to achieve uniform geometric estimates, linking late-time horizon areas with initial mass bounds.
• The approach relaxes strict convergence requirements, ensuring ADM mass lower bounds in dynamic and nonstationary black hole settings.

The Spacetime Penrose Inequality under Quasi Final State Hypothesis

Introduction and Context

The Penrose inequality posits a lower bound on the ADM mass of an asymptotically flat initial data set in general relativity in terms of the area of black hole horizons. This conjecture draws from the weak cosmic censorship hypothesis and black hole area theorems, presenting a deep connection between global spacetime structure and quasi-local geometric properties. While the Riemannian (time-symmetric) case was conclusively established by Huisken–Ilmanen and Bray, the fully general spacetime version, especially for non-time-symmetric initial data, remains a major open problem in mathematical relativity.

This paper reconsiders the spacetime Penrose inequality, introducing the quasi final state hypothesis—a significantly weaker late-time requirement than the classical black hole final state conjecture involving convergence to a Kerr solution. The main result is a proof of the spacetime Penrose inequality under this quasi final state hypothesis, with a new geometric-analytic construction based directly in spacetime, rather than solely on initial data.

Main Contributions

Quasi Final State Hypothesis

The quasi final state hypothesis requires only that in a coordinate chart covering the late-time exterior of the black hole region:

• The normal component of the shift vector $\beta^\perp$ decays to zero on fixed radial tails as $t\to\infty$.
• The ratio of timelike to spacelike mean curvature of coordinate spheres decays to zero as $t\to\infty$.
• The areas of cross-sections of the final apparent horizon stabilize to a finite limit.

Importantly, this hypothesis does not demand the full convergence of the geometry to Kerr or even to any stationary state, only the decay of specific geometric quantities that directly enter the Penrose heuristic and analytic proof.

Tangentially Maximal Hypersurfaces and the TMCF

A principal analytic construct is the tangentially maximal hypersurface: a spacelike hypersurface foliated by spheres whose mean curvature vector is tangent to the hypersurface (the TMCF condition). Under the dominant energy condition:

1. The spacetime Hawking mass of each leaf equals its Riemannian Hawking mass.
2. The induced Riemannian metric has nonnegative scalar curvature.

Thus, tangentially maximal hypersurfaces serve as natural settings to import sharp Riemannian geometric inequalities into a fully Lorentzian spacetime context.

The existence of such comparison hypersurfaces at arbitrarily late times is established by solving a novel quasilinear inward-parabolic PDE for the graph function that describes the hypersurface.

Proof Structure

The proof proceeds as follows:

• Existence and uniform estimates of tangentially maximal hypersurfaces are established on exterior tails at late times via the TMCF equation under the quasi final state hypothesis.
• On these slices, the Riemannian Penrose inequality applies by Huisken–Ilmanen, and the area law for dynamical/isolated horizons ensures the limiting area at late times dominates any earlier apparent horizon cross-section.
• Passage to the limit as the slices approach the final horizon yields the sharp Penrose inequality for the initial data set.

Key Theorem

For any asymptotically flat initial data set whose boundary is a MOTS cross-section of the apparent horizon tube, in a globally hyperbolic spacetime with a black-hole-type outer apparent horizon and satisfying the dominant energy condition and the quasi final state hypothesis, the following holds: $m_{ADM} \geq \sqrt{\frac{|S|}{16\pi}}$ where $S$ is the area of the MOTS boundary, and $m_{ADM}$ is the ADM mass. The final area is guaranteed to be at least as large as the initial; hence the inequality is robust to dynamical or nonstationary late-time behavior.

Numerical and Rigorous Guarantees

The approach ensures sharp constants (i.e., saturation in Schwarzschild) and retains the optimal form of the Penrose bound. Furthermore, non-increasing area across MOTS jumps is explicitly required to ensure the chain of inequalities, directly excluding scenarios illustrated by Ben–Dov’s counterexamples in spherically symmetric spacetimes that violate naive initial data estimates.

The analytic control derived for the PDE for the comparison hypersurfaces includes global existence, gradient, and Hessian bounds on exterior tails, and uniform spacelikeness for sufficiently late slabs. The method’s robustness to weak convergence assumptions and non-decaying metric components beyond the critical mean curvature ratios is particularly notable compared to approaches that require near-stationarity.

Implications and Future Directions

This work significantly relaxes the required assumptions to establish the sharp spacetime Penrose inequality, moving away from demanding convergence to Kerr-type final states. This advances both the rigorous understanding of black hole area/ADM mass relations and the development of fully Lorentzian comparison techniques. The construction of tangentially maximal slices—governed by a tractable parabolic equation—promises further technical applications in quasi-local mass monotonicity and horizon stability problems.

From a theoretical standpoint, the equality case points towards rigidity phenomena: equality in the inequality excludes dynamical horizon behavior and enforces stationary, null horizon evolution. While this falls short of a complete Schwarzschild (or Kerr) rigidity result, it provides a framework for connecting global geometric inequalities to strong uniqueness statements under modest late-time geometric control.

Potential extensions include:

• Adaptation to non-asymptotically flat (e.g., asymptotically hyperboloidal) settings.
• Further weakening decay/gauge assumptions near the horizon using horizon-adapted PDE analysis.
• Connecting this framework to nonlinear stability and final state results for generic gravitational collapse.
• Exploring analogous inequalities for matter-coupled Einstein systems (e.g., Einstein–Maxwell or Einstein–Vlasov).

Conclusion

This paper establishes the sharp spacetime Penrose inequality under a quasi final state hypothesis that is strictly weaker than convergence to Kerr. The underlying methodology leverages directly spacetime-based geometric analysis—tangentially maximal hypersurfaces—together with precise PDE control, thus providing both new insights and effective analytic tools for the study of black hole quasi-local geometry and global energetic bounds in general relativity. The approach further clarifies the causal/geometric restrictions necessary for such inequalities, unifying and clarifying prior counterexamples and partial results.

---

Reference:

"The spacetime Penrose inequality under a quasi final state hypothesis" (2605.18730)