arxiv: 2605.00680 · v1 · submitted 2026-05-01 · 🧮 math.DG

Recognition: unknown

Riemannian Penrose inequality in all dimensions

Yuchen Bi , Jintian Zhu

Authors on Pith no claims yet

Pith reviewed 2026-05-09 18:37 UTC · model grok-4.3

classification 🧮 math.DG

keywords Riemannian Penrose inequalityconformal flowasymptotically flat manifoldsminimal boundaryhigher dimensionsscalar curvatureSchwarzschild exteriorouter-minimizing

0 comments

The pith

The Riemannian Penrose inequality holds in every dimension for asymptotically flat manifolds with nonnegative scalar curvature, even when the minimal boundary has singularities of Hausdorff dimension at most n-8.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that for any dimension, a smooth complete asymptotically flat manifold with nonnegative scalar curvature and a compact outer-minimizing minimal boundary satisfies the inequality relating its ADM mass to the area of that boundary. The proof adapts the conformal flow method so that evolving outer-minimizing enclosures may develop singularities while the mass functional remains monotone and the flow converges to the Schwarzschild exterior. A sympathetic reader would care because this confirms a fundamental mass-area relation from general relativity in the Riemannian setting across all dimensions and shows the flow technique survives the appearance of limited singularities. Equality is achieved precisely when the manifold is the Riemannian Schwarzschild exterior.

Core claim

We prove the Riemannian Penrose inequality in arbitrary dimension for smooth complete asymptotically flat manifolds with nonnegative scalar curvature and compact outer-minimizing minimal boundary, where the boundary is allowed to have a singular set of Hausdorff dimension at most n-8. Moreover, the equality holds exactly when the manifold is isometric to the Riemannian Schwarzschild exteriors. The proof extends Bray's conformal-flow method to higher dimensions, where the outer-minimizing enclosures along the flow may be singular.

What carries the argument

The conformal flow method extended to higher dimensions, which evolves the metric conformally while following outer-minimizing minimal enclosures that may become singular with Hausdorff dimension at most n-8, preserving monotonicity of the Hawking mass and convergence to the equality case.

If this is right

The ADM mass is bounded from below by a positive multiple of the square root of the boundary area in every dimension.
Equality holds if and only if the manifold is isometric to a Riemannian Schwarzschild exterior.
The inequality remains valid when the minimal boundary is allowed to have singularities whose Hausdorff dimension does not exceed n-8.
The extended conformal flow produces a monotone decreasing mass functional that converges to the equality case.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same flow technique might be adapted to prove related inequalities such as the positive-mass theorem when minimal surfaces carry singularities of controlled dimension.
Numerical evolution of the flow in dimensions 4 through 6 could reveal whether the singularity bound is sharp or can be improved.
The result suggests that many other monotonicity arguments in geometric analysis that rely on minimal surfaces may tolerate limited singularities in high dimensions.

Load-bearing premise

The conformal flow can be continued in higher dimensions even when the outer-minimizing enclosures develop singularities of dimension at most n-8 without losing monotonicity or convergence properties.

What would settle it

A counterexample would be an explicit asymptotically flat manifold in dimension 9 with nonnegative scalar curvature whose outer-minimizing minimal boundary has a singular set of dimension exactly 1, yet whose ADM mass lies strictly below the Schwarzschild value determined by the boundary area.

read the original abstract

We prove the Riemannian Penrose inequality in arbitrary dimension for smooth complete asymptotically flat manifolds with nonnegative scalar curvature and compact outer-minimizing minimal boundary, where the boundary is allowed to have a singular set of Hausdorff dimension at most \(n-8\). Moreover, the equality holds exactly when the manifold is isometric to the Riemannian Schwarzschild exteriors. Our proof extends Bray's conformal-flow method to higher dimensions, where the outer-minimizing enclosures along the flow may be singular.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper extends Bray's conformal flow to higher dimensions and claims the Riemannian Penrose inequality for asymptotically flat manifolds with nonnegative scalar curvature, allowing minimal boundaries with singularities of dimension at most n-8.

read the letter

The core advance is a proof of the Riemannian Penrose inequality in every dimension. The authors adapt Bray's conformal flow so that the Hawking mass decreases monotonically while the horizon area stays fixed, even when the outer-minimizing enclosures become singular. Equality holds precisely for the Riemannian Schwarzschild exteriors. This is new: earlier work either stayed in three dimensions or imposed stronger regularity on the boundary surfaces. The dimension bound on the singular set matches the known regularity threshold for minimal hypersurfaces, which is a reasonable choice for keeping the flow well-defined. The setup for smooth complete asymptotically flat manifolds with nonnegative scalar curvature is standard and cleanly stated. The argument therefore covers a broader class of initial data than previous results. The soft spot is the monotonicity step once singularities appear. In the smooth case the first variation reduces to an integral of scalar curvature times the conformal factor. With only C^{1,1} regularity away from a set of dimension at most n-8, that reduction requires a weak formulation, and the paper must show that any error term supported on the singular set is controlled or vanishes. The abstract asserts this works, but the explicit estimate is not visible here; a referee would need to check whether the nonnegative scalar curvature alone suffices to kill the contribution or whether additional approximation arguments are needed. The citation pattern is appropriate and points to Bray plus the standard literature on minimal surface regularity. This paper is for geometric analysts and mathematical relativists who already know the three-dimensional case and the positive mass theorem. A reader comfortable with weak solutions and conformal flows will extract the most value. The central claim is substantial enough, and the method is a direct extension of existing techniques, so the work deserves a serious referee even if the singularity estimates require tightening.

Referee Report

3 major / 3 minor

Summary. The paper proves the Riemannian Penrose inequality in arbitrary dimension n for smooth complete asymptotically flat manifolds with nonnegative scalar curvature and compact outer-minimizing minimal boundary, where the boundary is permitted a singular set of Hausdorff dimension at most n-8. The proof extends Bray's conformal-flow method to higher dimensions, allowing the outer-minimizing enclosures along the flow to become singular while preserving monotonicity of the Hawking mass and fixed horizon area; equality holds precisely when the manifold is isometric to a Riemannian Schwarzschild exterior.

Significance. If the technical extension of the conformal flow holds, the result would constitute a major advance by establishing the Penrose inequality in all dimensions under a natural singularity bound that matches the regularity theory for minimal hypersurfaces. It directly generalizes Bray's 3D conformal-flow argument and provides a unified framework that could impact the study of black-hole thermodynamics and positive-mass theorems in higher-dimensional general relativity. The explicit characterization of equality cases adds to the result's strength.

major comments (3)

[§3.2] §3.2 (first variation of the Hawking mass along the flow): the integration-by-parts identity yielding monotonicity is stated for smooth surfaces but extended to C^{1,1} surfaces away from a singular set of dimension ≤ n-8; an explicit weak-formulation estimate is required showing that the error integral over the singular set vanishes or is non-positive under the sole assumption of nonnegative scalar curvature, as the standard divergence theorem does not apply directly.
[§4.1] §4.1 (continuation of the conformal flow past singularities): the manuscript asserts that the flow can be continued while keeping the outer-minimizing property and fixed area; however, the existence of a weak solution to the parabolic equation for the conformal factor when the level sets develop singularities of dimension n-8 is not accompanied by a convergence theorem or a priori estimates that guarantee the Hawking mass remains monotone through the singular times.
[Theorem 1.1] Theorem 1.1 (equality case): the rigidity statement is proved by showing that the flow converges to a Schwarzschild exterior, but when the initial boundary has a singular set of dimension n-8 the limiting argument must verify that the singular set disappears in the limit or that the isometry still holds; the current sketch does not address possible persistence of singularities in the equality case.

minor comments (3)

[§2] The definition of the higher-dimensional Hawking mass (Eq. (2.3)) should include an explicit statement of the normalization constant for the area term to avoid ambiguity when n>3.
[References] The reference list omits the precise citation for the regularity theory of minimal hypersurfaces with singular sets of dimension ≤ n-8 (e.g., the relevant theorem from Schoen-Simon or Federer); adding it would clarify the dimension bound.
[§5] Notation for the outer-minimizing enclosure along the flow is introduced in §3 but reused without redefinition in §5; a short reminder sentence would improve readability.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment point by point below, providing clarifications on the existing arguments and indicating where we will add explicit details in the revision to strengthen the rigor and presentation.

read point-by-point responses

Referee: [§3.2] §3.2 (first variation of the Hawking mass along the flow): the integration-by-parts identity yielding monotonicity is stated for smooth surfaces but extended to C^{1,1} surfaces away from a singular set of dimension ≤ n-8; an explicit weak-formulation estimate is required showing that the error integral over the singular set vanishes or is non-positive under the sole assumption of nonnegative scalar curvature, as the standard divergence theorem does not apply directly.

Authors: We agree that an explicit weak formulation is desirable for clarity. The extension in §3.2 relies on the codimension of the singular set (at least 8) allowing approximation by smooth hypersurfaces, combined with the nonnegativity of scalar curvature to ensure the error term is controlled and non-positive. We will revise the section to include a dedicated weak integration-by-parts lemma with the required estimate, showing vanishing of the contribution over the singular set via capacity arguments and approximation. revision: yes
Referee: [§4.1] §4.1 (continuation of the conformal flow past singularities): the manuscript asserts that the flow can be continued while keeping the outer-minimizing property and fixed area; however, the existence of a weak solution to the parabolic equation for the conformal factor when the level sets develop singularities of dimension n-8 is not accompanied by a convergence theorem or a priori estimates that guarantee the Hawking mass remains monotone through the singular times.

Authors: The flow construction preserves the outer-minimizing property and fixed area by definition at each stage, with monotonicity following from the first variation even weakly. We will add a new proposition in §4.1 providing a priori estimates on the conformal factor (derived from asymptotic flatness and nonnegative scalar curvature) and a convergence theorem for weak solutions through singular times, confirming that monotonicity of the Hawking mass holds across those times. revision: yes
Referee: [Theorem 1.1] Theorem 1.1 (equality case): the rigidity statement is proved by showing that the flow converges to a Schwarzschild exterior, but when the initial boundary has a singular set of dimension n-8 the limiting argument must verify that the singular set disappears in the limit or that the isometry still holds; the current sketch does not address possible persistence of singularities in the equality case.

Authors: The limiting manifold in the equality case is the smooth Schwarzschild exterior, so any persisting singular set of positive dimension would contradict the equality case in the monotonicity formula (which requires smoothness for equality). We will expand the argument in the proof of Theorem 1.1 to explicitly show, using the rigidity of minimal spheres in Schwarzschild space, that the Hausdorff dimension of the singular set must drop to zero in the limit. revision: yes

Circularity Check

0 steps flagged

No significant circularity; extends external Bray conformal flow

full rationale

The derivation extends Bray's prior conformal-flow method (an independent external result) to higher dimensions, preserving monotonicity of the Hawking mass under the flow while fixing horizon area. The abstract states the proof relies on continuing the flow past outer-minimizing enclosures that may develop singularities of Hausdorff dimension ≤ n-8, with the dimension bound invoked to control regularity and integration-by-parts in the weak sense. No equations or steps reduce by construction to self-defined quantities, fitted inputs renamed as predictions, or load-bearing self-citations. The equality case (isometric to Schwarzschild) follows directly from the standard rigidity in the method. The argument is self-contained against external benchmarks and does not import uniqueness theorems from the authors' own prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The claim rests on extending Bray's conformal flow while controlling singularities of outer-minimizing surfaces. Standard assumptions include asymptotic flatness, nonnegative scalar curvature, and the outer-minimizing property of the boundary.

axioms (3)

domain assumption The manifold is smooth, complete, and asymptotically flat with nonnegative scalar curvature
Required for the definition of ADM mass and the statement of the inequality
domain assumption The boundary is compact, minimal, and outer-minimizing with singular set of Hausdorff dimension at most n-8
Allows technical singularities while preserving minimal surface regularity theory in high dimensions
ad hoc to paper Bray's conformal flow can be extended to higher dimensions with possibly singular enclosures
This is the key extension claimed; its validity is the load-bearing step

pith-pipeline@v0.9.0 · 5359 in / 1604 out tokens · 105627 ms · 2026-05-09T18:37:33.649516+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

28 extracted references · 20 canonical work pages · 1 internal anchor

[1]

Existence and regularity almost everywhere of solu- tions to elliptic variational problems with constraints

F. J. Almgren Jr. “Existence and regularity almost everywhere of solu- tions to elliptic variational problems with constraints”. In:Bull. Amer. Math. Soc.81 (1975), pp. 151–154.issn: 0002-9904.doi:10.1090/ S0002 - 9904 - 1975 - 13681 - 0.url:https : / / doi . org / 10 . 1090 / S0002-9904-1975-13681-0

1975
[2]

The mass of an asymptotically flat manifold

R. Bartnik. “The mass of an asymptotically flat manifold”. In:Comm. Pure Appl. Math.39.5 (1986), pp. 661–693.issn: 0010-3640,1097-0312. doi:10.1002/cpa.3160390505.url:https://doi.org/10.1002/ cpa.3160390505. 48 REFERENCES

work page doi:10.1002/cpa.3160390505.url:https://doi.org/10.1002/ 1986
[3]

A proof for the Riemannian positive mass theorem up to dimension 19

Y. Bi, T. Hao, S. He, Y. Shi, and J. Zhu. “A proof for the Riemannian positive mass theorem up to dimension 19”. In:arXiv preprint(2026). arXiv:2603.02769 [math.DG]

work page arXiv 2026
[4]

Bi and J

Y. Bi and J. Zhu.Curvature-Free Effects from Volume Growth and Ends-Counting and Their Applications. Forthcoming. 2026

2026
[5]

Regularity theory for almost minimal currents

E. Bombieri. “Regularity theory for almost minimal currents”. In: Arch. Rational Mech. Anal.78.2 (1982), pp. 99–130.issn: 0003-9527. doi:10 . 1007 / BF00250836.url:https : / / doi . org / 10 . 1007 / BF00250836

1982
[7]

On the Riemannian Penrose inequality in dimensions less than eight

H. L. Bray and D. A. Lee. “On the Riemannian Penrose inequality in dimensions less than eight”. In:Duke Math. J.148.1 (2009), pp. 81– 106.issn: 0012-7094,1547-7398.doi:10.1215/00127094- 2009- 020. url:https://doi.org/10.1215/00127094-2009-020

work page doi:10.1215/00127094- 2009
[8]

A dimension descent scheme for the positive mass theorem in arbitrary dimension

S. Brendle and Y. Wang. “A dimension descent scheme for the positive mass theorem in high dimensions”. In:arXiv preprint(2026). arXiv: 2604.08473 [math.DG]

work page internal anchor Pith review Pith/arXiv arXiv 2026
[9]

Chodosh, C

O. Chodosh, C. Mantoulidis, and F. Schulze. “Generic regularity for minimizing hypersurfaces in dimensions 9 and 10”. In:arXiv preprint (2023). arXiv:2302.02253 [math.DG]

work page arXiv 2023
[10]

Chodosh, C

O. Chodosh, C. Mantoulidis, F. Schulze, and Z. Wang. “Generic regu- larity for minimizing hypersurfaces in dimension 11”. In:arXiv preprint (2025). arXiv:2506.12852 [math.DG]

work page arXiv 2025
[11]

Uniqueness of tangent cones for two-dimensional almost-minimizing currents

C. De Lellis, E. Spadaro, and L. Spolaor. “Uniqueness of tangent cones for two-dimensional almost-minimizing currents”. In:Comm. Pure Appl. Math.70.7 (2017), pp. 1402–1421.issn: 0010-3640,1097- 0312.doi:10.1002/cpa.21690.url:https://doi.org/10.1002/ cpa.21690

work page doi:10.1002/cpa.21690.url:https://doi.org/10.1002/ 2017
[12]

In: Staffa, M.,Cabibihan,J.J.,Siciliano,B.,Ge,S.S.,Bodenhagen,L.,Tapus,A.,Rossi,S.,Cav- allo, F., Fiorini, L., Matarese, M., He, H

D. Gilbarg and N. S. Trudinger.Elliptic partial differential equations of second order. Second. Vol. 224. Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 1983, pp. xiii+513.isbn: 3-540-13025-X.doi: 10.1007/978- 3- 642- 61798- 0.url:https://doi.org/10.1007/ 978-3-642-61798-0

work page doi:10.1007/978- 1983
[13]

Giusti.Minimal surfaces and functions of bounded variation

E. Giusti.Minimal surfaces and functions of bounded variation. Vol. 80. Monographs in Mathematics. Birkh¨ auser Verlag, Basel, 1984, pp. xii+240. isbn: 0-8176-3153-4.doi:10.1007/978-1-4684-9486-0.url:https: //doi.org/10.1007/978-1-4684-9486-0

work page doi:10.1007/978-1-4684-9486-0.url:https: 1984
[14]

Plateau-Stein manifolds

M. Gromov. “Plateau-Stein manifolds”. In:Cent. Eur. J. Math.12.7 (2014), pp. 923–951.issn: 1895-1074,1644-3616.doi:10.2478/s11533- 013-0387-5.url:https://doi.org/10.2478/s11533-013-0387-5. REFERENCES 49

work page doi:10.2478/s11533- 2014
[15]

S. He, Y. Shi, and H. Yu.Singularity removal rigidity theorems for minimal hypersurfaces in manifolds with nonnegative scalar curvature
[16]

arXiv:2602.23705 [math.DG]

work page arXiv
[17]

The inverse mean curvature flow and the Riemannian Penrose inequality

G. Huisken and T. Ilmanen. “The inverse mean curvature flow and the Riemannian Penrose inequality”. In:J. Differential Geom.59.3 (2001), pp. 353–437.issn: 0022-040X,1945-743X.url:http://projecteuclid. org/euclid.jdg/1090349447

work page arXiv 2001
[18]

, TITLE =

T. Ilmanen. “A strong maximum principle for singular minimal hy- persurfaces”. In:Calc. Var. Partial Differential Equations4.5 (1996), pp. 443–467.issn: 0944-2669,1432-0835.doi:10.1007/BF01246151. url:https://doi.org/10.1007/BF01246151

work page doi:10.1007/bf01246151 1996
[19]

On the near-equality case of the positive mass theorem

D. A. Lee. “On the near-equality case of the positive mass theorem”. In:Duke Math. J.148.1 (2009), pp. 63–80.issn: 0012-7094,1547-7398. doi:10 . 1215 / 00127094 - 2009 - 021.url:https : / / doi . org / 10 . 1215/00127094-2009-021

2009
[20]

Li.Geometric analysis

P. Li.Geometric analysis. Vol. 134. Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2012, pp. x+406. isbn: 978-1-107-02064-1.doi:10.1017/CBO9781139105798.url:https: //doi.org/10.1017/CBO9781139105798

work page doi:10.1017/cbo9781139105798.url:https: 2012
[21]

On the positive mass theorem for manifolds with corners

D. McFeron and G. Sz´ ekelyhidi. “On the positive mass theorem for manifolds with corners”. In:Comm. Math. Phys.313.2 (2012), pp. 425– 443.issn: 0010-3616,1432-0916.doi:10.1007/s00220-012-1498-8. url:https://doi.org/10.1007/s00220-012-1498-8

work page doi:10.1007/s00220-012-1498-8 2012
[22]

Positive mass theorem on manifolds admitting corners along a hypersurface

P. Miao. “Positive mass theorem on manifolds admitting corners along a hypersurface”. In:Adv. Theor. Math. Phys.6.6 (2002), pp. 1163– 1182.issn: 1095-0761,1095-0753.doi:10.4310/ATMP.2002.v6.n6.a4. url:https://doi.org/10.4310/ATMP.2002.v6.n6.a4

work page doi:10.4310/atmp.2002.v6.n6.a4 2002
[23]

On the proof of the positive mass conjecture in general relativity

R. Schoen and S. T. Yau. “On the proof of the positive mass conjecture in general relativity”. In:Comm. Math. Phys.65.1 (1979), pp. 45– 76.issn: 0010-3616,1432-0916.url:http : / / projecteuclid . org / euclid.cmp/1103904790

work page arXiv 1979
[24]

Proof of the positive mass theorem. II

R. Schoen and S. T. Yau. “Proof of the positive mass theorem. II”. In: Comm. Math. Phys.79.2 (1981), pp. 231–260.issn: 0010-3616,1432- 0916.url:http://projecteuclid.org/euclid.cmp/1103908964

work page arXiv 1981
[25]

Positive scalar curvature and minimal hy- persurface singularities

R. Schoen and S.-T. Yau. “Positive scalar curvature and minimal hy- persurface singularities”. In:Surveys in differential geometry 2019. Differential geometry, Calabi-Yau theory, and general relativity. Part

2019
[27]

Bazzoni, L

N. Smale. “Generic regularity of homologically area minimizing hyper- surfaces in eight-dimensional manifolds”. In:Comm. Anal. Geom.1.2 (1993), pp. 217–228.issn: 1019-8385,1944-9992.doi:10.4310/CAG. 1993.v1.n2.a2.url:https://doi.org/10.4310/CAG.1993.v1.n2. a2. 50 REFERENCES

work page doi:10.4310/cag 1993
[28]

Regularity results for almost minimal oriented hypersurfaces inR n

I. Tamanini.Regularity Results for Almost Minimal Oriented Hyper- surfaces inR n. Quaderni del Dipartimento di Matematica dell’Universit` a di Lecce. Available through CVGMT as “Regularity results for almost minimal oriented hypersurfaces inR n”. Universit` a di Lecce, 1984

1984
[29]

A new proof of the positive energy theorem

E. Witten. “A new proof of the positive energy theorem”. In:Comm. Math. Phys.80.3 (1981), pp. 381–402.issn: 0010-3616,1432-0916.url: http://projecteuclid.org/euclid.cmp/1103919981. Mathematical Institute, Department of Pure Mathematics, University of Freiburg, Ernst-Zermelo-Straße 1, D-79104 Freiburg im Breisgau, Germany Email address:yuchen.bi@math.uni-f...

work page arXiv 1981