pith. sign in

arxiv: 2605.31202 · v1 · pith:PLTNSUVUnew · submitted 2026-05-29 · 🧮 math.DG · math.AP

Mass-p-Capacity Inequalities in Asymptotically Flat Half-Spaces

Chao Xia , Jiabin Yin , Xingjian Zhou This is my paper

Pith reviewed 2026-06-28 21:05 UTC · model grok-4.3

classification 🧮 math.DG math.AP
keywords mass-capacity inequalitiesp-capacitary functionsasymptotically flat half-spacesscalar curvatureboundary mean curvatureSchwarzschild half-spacemonotone quantitiesADM mass
0
0 comments X

The pith

p-Capacitary functions imply sharp mass-capacity inequalities in asymptotically flat half-spaces.

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

The paper establishes general monotone quantities and sharp mass-capacity inequalities related to p-capacitary functions in 3-dimensional asymptotically flat half-spaces of simple topology with nonnegative scalar curvature and nonnegative boundary mean curvature. These inequalities attain equality on a Schwarzschild half-space outside a rotationally symmetric half sphere. This connects the total mass of the space to capacities defined via the p-Laplace equation. A sympathetic reader would care because the results give explicit lower bounds on mass in terms of capacity under curvature constraints that model gravitational systems with boundaries.

Core claim

In 3-dimensional asymptotically flat half-spaces of simple topology with nonnegative scalar curvature and nonnegative boundary mean curvature, general monotone quantities related to p-capacitary functions imply sharp mass-capacity inequalities that attain equality on the Schwarzschild half-space outside a rotationally symmetric half sphere.

What carries the argument

p-capacitary functions, which solve a nonlinear elliptic PDE and generate monotone quantities that relate directly to the ADM mass.

If this is right

  • The ADM mass is bounded from below by an explicit expression involving the p-capacity.
  • Equality holds exactly when the manifold is the Schwarzschild half-space outside a rotationally symmetric half-sphere.
  • Certain quantities built from the p-capacitary function are monotone.
  • The inequalities apply to half-spaces of simple topology under the stated curvature assumptions.

Where Pith is reading between the lines

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

  • The monotonicity properties might extend to other nonlinear capacities or to manifolds with different asymptotic structures.
  • These inequalities could supply new proofs or variants of positive mass results that incorporate boundary conditions.
  • The framework may connect to stability questions for initial data sets in general relativity.

Load-bearing premise

The manifold is a 3-dimensional asymptotically flat half-space of simple topology with nonnegative scalar curvature and nonnegative boundary mean curvature.

What would settle it

An asymptotically flat half-space satisfying the curvature conditions but where the ADM mass falls below the lower bound predicted by the p-capacity of some set would falsify the inequality.

read the original abstract

In this paper, we establish general monotone quantities and sharp mass-capacity inequalities related to $p$-capacitary functions in $3$-dimensional asymptotically flat half-spaces of simple topology with nonnegative scalar curvature and nonnegative boundary mean curvature. These inequalities attain equality on a Schwarzschild half-space outside a rotationally symmetric half sphere.

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.

Referee Report

0 major / 3 minor

Summary. The paper establishes general monotone quantities and sharp mass-p-capacity inequalities for p-capacitary functions in 3-dimensional asymptotically flat half-spaces of simple topology, assuming nonnegative scalar curvature and nonnegative boundary mean curvature. Equality holds precisely on the Schwarzschild half-space exterior to a rotationally symmetric hemisphere.

Significance. If the derivations hold, the results extend mass-capacity comparison techniques to the half-space setting with boundary, providing monotone quantities that could support rigidity statements and positive mass theorems under standard curvature hypotheses. The equality case on the model space is a standard strength of such comparison results.

minor comments (3)
  1. §2, Definition 2.3: the normalization of the p-capacity at infinity is stated without an explicit comparison to the Euclidean half-space case; adding a short remark on the asymptotic decay would clarify the monotone quantity construction.
  2. Theorem 1.1: the statement of the inequality does not specify the range of p explicitly in the main theorem (though it appears in §3); moving the range to the theorem statement would improve readability.
  3. Figure 1: the caption refers to 'the model half-sphere' but the figure itself lacks a label for the boundary component; this is a minor clarity issue.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work and the recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The abstract and claims describe derivation of monotone quantities and sharp mass-p-capacity inequalities from nonnegative scalar curvature and boundary mean curvature assumptions in asymptotically flat half-spaces, with equality on the Schwarzschild model. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations are present in the provided text. The derivation chain appears self-contained via standard geometric identities, consistent with independent results in the field.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the geometric setting stated in the abstract; no free parameters, new entities, or additional axioms are mentioned.

axioms (1)
  • domain assumption The manifold is a 3-dimensional asymptotically flat half-space of simple topology with nonnegative scalar curvature and nonnegative boundary mean curvature.
    These conditions are explicitly required for the stated inequalities to hold.

pith-pipeline@v0.9.1-grok · 5569 in / 1141 out tokens · 36601 ms · 2026-06-28T21:05:30.943709+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

42 extracted references · 31 canonical work pages

  1. [1]

    A geometric ca- pacitary inequality for sub-static manifolds with harmonic potentials

    Virginia Agostiniani, Lorenzo Mazzieri, and Francesca Oronzio. “A geometric ca- pacitary inequality for sub-static manifolds with harmonic potentials” . In: Math. Eng. 4.2 (2022), Paper No. 013, 40. issn: 2640-3501. doi: 10.3934/mine.2022013. url: https://doi.org/10.3934/mine.2022013

    work page doi:10.3934/mine.2022013 2022

  2. [2]

    A new proof of the Riemannian Penrose inequality

    Virginia Agostiniani et al. “A new proof of the Riemannian Penrose inequality” . In: Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 34.3 (2023), pp. 715–726. issn: 1120-6330,1720-0768. doi: 10.4171/rlm/1024. url: https://doi.org/10.4171/ rlm/1024

    work page doi:10.4171/rlm/1024 2023

  3. [3]

    A positive mass the- orem for asymptotically flat manifolds with a non-compact boundary

    Sérgio Almaraz, Ezequiel Barbosa, and Levi Lopes de Lima. “A positive mass the- orem for asymptotically flat manifolds with a non-compact boundary” . In: Comm. Anal. Geom. 24.4 (2016), pp. 673–715. issn: 1019-8385,1944-9992. doi: 10.4310/ CAG.2016.v24.n4.a1. url: https://doi.org/10.4310/CAG.2016.v24.n4.a1

    work page doi:10.4310/cag.2016.v24.n4.a1 2016

  4. [4]

    Mass, center of mass and isoperimetry in asymptotically flat 3-manifolds

    Sérgio Almaraz and Levi Lopes de Lima. “Mass, center of mass and isoperimetry in asymptotically flat 3-manifolds” . In: Calc. Var. Partial Differential Equations 62.7 (2023), Paper No. 196, 41. issn: 0944-2669,1432-0835. doi: 10.1007/s00526- 023-02519-1. url: https://doi.org/10.1007/s00526-023-02519-1

    work page doi:10.1007/s00526- 2023

  5. [5]

    The asymptotic behaviour of p-capacitary potentials in asymptotically conical manifolds

    Luca Benatti, Mattia Fogagnolo, and Lorenzo Mazzieri. “The asymptotic behaviour of p-capacitary potentials in asymptotically conical manifolds” . In: Math. Ann. 388.1 (2024), pp. 99–139. issn: 0025-5831,1432-1807. doi: 10.1007/s00208-022- 02515-4. url: https://doi.org/10.1007/s00208-022-02515-4

    work page doi:10.1007/s00208-022- 2024

  6. [6]

    Interior and boundary regularity for a class of free boundary problems

    E Dl BENEDETIO. “Interior and boundary regularity for a class of free boundary problems” . In: Free boundary problems: theory and applications 78 (1983), p. 383

    1983

  7. [7]

    On the capacity of surfaces in manifolds with nonnegative scalar curvature

    Hubert Bray and Pengzi Miao. “On the capacity of surfaces in manifolds with nonnegative scalar curvature” . In: Invent. Math. 172.3 (2008), pp. 459–475. issn: 0020-9910,1432-1297. doi: 10.1007/s00222- 007- 0102- x . url: https://doi. org/10.1007/s00222-007-0102-x

    work page doi:10.1007/s00222- 2008

  8. [8]

    Proof of the Riemannian Penrose inequality using the positive mass theorem

    Hubert L. Bray. “Proof of the Riemannian Penrose inequality using the positive mass theorem” . In: J. Differential Geom. 59.2 (2001), pp. 177–267. issn: 0022- 040X,1945-743X. url: http://projecteuclid.org/euclid.jdg/1090349428

    arXiv 2001

  9. [9]

    On the Riemannian Penrose inequality in di- mensions less than eight

    Hubert L. Bray and Dan A. Lee. “On the Riemannian Penrose inequality in di- mensions 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-020 2009

  10. [10]

    Harmonic functions and the mass of 3-dimensional asymp- totically flat Riemannian manifolds

    Hubert L. Bray et al. “Harmonic functions and the mass of 3-dimensional asymp- totically flat Riemannian manifolds” . In: J. Geom. Anal. 32.6 (2022), Paper No. 184, 29. issn: 1050-6926,1559-002X. doi: 10.1007/s12220- 022- 00924- 0 . url: https://doi.org/10.1007/s12220-022-00924-0 . 44 REFERENCES

    work page doi:10.1007/s12220- 2022

  11. [11]

    Monotonicity of the p-Green functions

    Pak-Yeung Chan et al. “Monotonicity of the p-Green functions” . In:Int. Math. Res. Not. IMRN 9 (2024), pp. 7998–8025. issn: 1073-7928,1687-0247. doi: 10.1093/ imrn/rnae030. url: https://doi.org/10.1093/imrn/rnae030

    work page doi:10.1093/imrn/rnae030 2024

  12. [12]

    Stable minimal hypersurfaces in R4

    Otis Chodosh and Chao Li. “Stable minimal hypersurfaces in R4” . In:Acta Math. 233.1 (2024), pp. 1–31. issn: 0001-5962,1871-2509. doi: 10 . 4310 / acta . 2024 . v233.n1.a1. url: https://doi.org/10.4310/acta.2024.v233.n1.a1

    work page doi:10.4310/acta.2024.v233.n1.a1 2024

  13. [13]

    Asymptotic estimates in weighted Hölder spaces for a class of elliptic scale-covariant second order operators

    Piotr T. Chruściel. “Asymptotic estimates in weighted Hölder spaces for a class of elliptic scale-covariant second order operators” . In: Ann. Fac. Sci. Toulouse Math. (5) 11.1 (1990), pp. 21–37. issn: 0240-2955. url: http://www.numdam.org/item? id=AFST_1990_5_11_1_21_0

    1990

  14. [14]

    Symmetry results for crit- ical anisotropic p-Laplacian equations in convex cones

    Giulio Ciraolo, Alessio Figalli, and Alberto Roncoroni. “Symmetry results for crit- ical anisotropic p-Laplacian equations in convex cones” . In: Geom. Funct. Anal. 30.3 (2020), pp. 770–803. issn: 1016-443X,1420-8970. doi: 10.1007/s00039-020- 00535-3. url: https://doi.org/10.1007/s00039-020-00535-3

    work page doi:10.1007/s00039-020- 2020

  15. [15]

    A mass-transportation ap- proach to sharp Sobolev and Gagliardo-Nirenberg inequalities

    D. Cordero-Erausquin, B. Nazaret, and C. Villani. “A mass-transportation ap- proach to sharp Sobolev and Gagliardo-Nirenberg inequalities” . In: Adv. Math. 182.2 (2004), pp. 307–332. issn: 0001-8708,1090-2082. doi: 10 . 1016 / S0001 - 8708(03)00080-X. url: https://doi.org/10.1016/S0001-8708(03)00080-X

    work page doi:10.1016/s0001-8708(03)00080-x 2004

  16. [16]

    C1 + ￿ local regularity of weak solutions of degenerate elliptic equations

    E. DiBenedetto. “C1 + ￿ local regularity of weak solutions of degenerate elliptic equations” . In: Nonlinear Analysis: Theory, Methods & Applications 7.8 (1983), pp. 827–850. issn: 0362-546X. doi: https://doi.org/10.1016/0362-546X(83) 90061 - 5. url: https : / / www . sciencedirect . com / science / article / pii / 0362546X83900615

    work page doi:10.1016/0362-546x(83 1983

  17. [17]

    Cedzich, J

    Michael Eichmair and Thomas Koerber. “Doubling of asymptotically flat half- spaces and the Riemannian Penrose inequality” . In: Comm. Math. Phys. 400.3 (2023), pp. 1823–1860. issn: 0010-3616,1432-0916. doi: 10.1007/s00220- 023- 04635-7. url: https://doi.org/10.1007/s00220-023-04635-7

    work page doi:10.1007/s00220- 2023

  18. [18]

    Monotone quantities of p-harmonic functions and their applications

    Sven Hirsch, Pengzi Miao, and Luen-Fai Tam. “Monotone quantities of p-harmonic functions and their applications” . In: Pure Appl. Math. Q. 20.2 (2024), pp. 599–

    2024

  19. [19]

    issn: 1558-8599,1558-8602. doi: 10 . 4310 / pamq . 2024 . v20 . n2 . a1. url: https://doi.org/10.4310/pamq.2024.v20.n2.a1

    work page doi:10.4310/pamq.2024.v20.n2.a1 2024

  20. [20]

    The inverse mean curvature flow and the Riemannian Penrose inequality

    Gerhard Huisken and Tom Ilmanen. “The inverse mean curvature flow and the Riemannian Penrose inequality” . In: J. Differential Geom. 59.3 (2001), pp. 353–

    2001

  21. [21]

    url: http://projecteuclid.org/euclid.jdg/ 1090349447

    issn: 0022-040X,1945-743X. url: http://projecteuclid.org/euclid.jdg/ 1090349447

    1945

  22. [22]

    Heintze-Karcher inequality for anisotropic free boundary hy- persurfaces in convex domains

    Xiaohan Jia et al. “Heintze-Karcher inequality for anisotropic free boundary hy- persurfaces in convex domains” . In: J. Math. Study 57.3 (2024), pp. 243–258. issn: 2096-9856,2617-8702

    2024

  23. [23]

    The Riemannian Penrose inequality for asymptotically flat man- ifolds with non-compact boundary

    Thomas Koerber. “The Riemannian Penrose inequality for asymptotically flat man- ifolds with non-compact boundary” . In:J. Differential Geom. 124.2 (2023), pp. 317–

    2023

  24. [24]

    doi: 10.4310/jdg/1686931603

    issn: 0022-040X,1945-743X. doi: 10.4310/jdg/1686931603 . url: https: //doi.org/10.4310/jdg/1686931603. REFERENCES 45

    work page doi:10.4310/jdg/1686931603 1945

  25. [25]

    Boundary regularity for solutions of degenerate elliptic equa- tions

    Gary M. Lieberman. “Boundary regularity for solutions of degenerate elliptic equa- tions” . In:Nonlinear Anal. 12.11 (1988), pp. 1203–1219. issn: 0362-546X,1873-5215. doi: 10.1016/0362-546X(88)90053-3 . url: https://doi.org/10.1016/0362- 546X(88)90053-3

    work page doi:10.1016/0362-546x(88)90053-3 1988

  26. [26]

    A partially overdetermined problem for the p-Laplace equation in a convex cone

    Hui Ma, Mingxuan Yang, and Jiabin Yin. “A partially overdetermined problem for the p-Laplace equation in a convex cone” . In: Nonlinear Anal. 253 (2025), Paper No. 113743, 17. issn: 0362-546X,1873-5215. doi: 10.1016/j.na.2024.113743 . url: https://doi.org/10.1016/j.na.2024.113743

    work page doi:10.1016/j.na.2024.113743 2025

  27. [27]

    Capacity, quasi-local mass, and singular fill-ins

    Christos Mantoulidis, Pengzi Miao, and Luen-Fai Tam. “Capacity, quasi-local mass, and singular fill-ins” . In: J. Reine Angew. Math. 768 (2020), pp. 55–92. issn: 0075- 4102,1435-5345. doi: 10.1515/crelle-2019-0040 . url: https://doi.org/10. 1515/crelle-2019-0040

    work page doi:10.1515/crelle-2019-0040 2020

  28. [28]

    Weak solutions of inverse mean curvature flow for hypersur- faces with boundary

    Thomas Marquardt. “Weak solutions of inverse mean curvature flow for hypersur- faces with boundary” . In: J. Reine Angew. Math. 728 (2017), pp. 237–261. issn: 0075-4102,1435-5345. doi: 10.1515/crelle-2014-0116. url: https://doi.org/ 10.1515/crelle-2014-0116

    work page doi:10.1515/crelle-2014-0116 2017

  29. [29]

    Mass, conformal capacity, and the volumetric Penrose inequality

    Liam Mazurowski and Xuan Yao. “Mass, conformal capacity, and the volumetric Penrose inequality” . In: Comm. Anal. Geom. 33.10 (2026), pp. 2355–2394. issn: 1019-8385,1944-9992. doi: 10.4310/cag.260419225838. url: https://doi.org/ 10.4310/cag.260419225838

    work page doi:10.4310/cag.260419225838 2026

  30. [30]

    Monotone quantities for p-harmonic functions and the sharp p-Penrose inequality

    Liam Mazurowski and Xuan Yao. “Monotone quantities for p-harmonic functions and the sharp p-Penrose inequality” . In: Math. Res. Lett. 32.3 (2025), pp. 957–

    2025

  31. [31]

    doi: 10.4310/mrl.250731120814

    issn: 1073-2780,1945-001X. doi: 10.4310/mrl.250731120814 . url: https: //doi.org/10.4310/mrl.250731120814

    work page doi:10.4310/mrl.250731120814 1945

  32. [32]

    Mass, capacitary functions, and the mass-to-capacity ratio

    Pengzi Miao. “Mass, capacitary functions, and the mass-to-capacity ratio” . In: Peking Math. J. 8.2 (2025), pp. 351–404. issn: 2096-6075,2524-7182. doi: 10.1007/ s42543-023-00071-7 . url: https://doi.org/10.1007/s42543-023-00071-7

    work page doi:10.1007/s42543-023-00071-7 2025

  33. [33]

    Comparison theorems for 3D manifolds with scalar curvature bound

    Ovidiu Munteanu and Jiaping Wang. “Comparison theorems for 3D manifolds with scalar curvature bound” . In: Int. Math. Res. Not. IMRN 3 (2023), pp. 2215–2242. issn: 1073-7928,1687-0247. doi: 10 . 1093 / imrn / rnab307. url: https : / / doi . org/10.1093/imrn/rnab307

    work page doi:10.1093/imrn/rnab307 2023

  34. [34]

    Geometry of three-dimensional manifolds with positive scalar curvature

    Ovidiu Munteanu and Jiaping Wang. “Geometry of three-dimensional manifolds with positive scalar curvature” . In: Amer. J. Math. 148.1 (2026), pp. 131–160. issn: 0002-9327,1080-6377. doi: 10.1353/ajm.2026.a980770. url: https://doi.org/ 10.1353/ajm.2026.a980770

    work page doi:10.1353/ajm.2026.a980770 2026

  35. [35]

    ADM mass, area and capacity in asymptotically flat 3-manifolds with nonnegative scalar curvature

    Francesca Oronzio. “ADM mass, area and capacity in asymptotically flat 3-manifolds with nonnegative scalar curvature” . In: Commun. Contemp. Math. 27.9 (2025), Pa- per No. 2550011, 35. issn: 0219-1997,1793-6683. doi: 10.1142/S0219199725500117. url: https://doi.org/10.1142/S0219199725500117

    work page doi:10.1142/s0219199725500117 2025

  36. [36]

    The connectivity at infinity of a manifold and Lq,p-Sobolev inequalities

    Stefano Pigola, Alberto G. Setti, and Marc Troyanov. “The connectivity at infinity of a manifold and Lq,p-Sobolev inequalities” . In: Expo. Math. 32.4 (2014), pp. 365– 46 REFERENCES

    2014

  37. [37]

    issn: 0723-0869,1878-0792. doi: 10 . 1016 / j . exmath . 2013 . 12 . 006. url: https://doi.org/10.1016/j.exmath.2013.12.006

    work page doi:10.1016/j.exmath.2013.12.006 2013

  38. [38]

    Quantum commitments andsignatures without one-way functions,

    Sandro Salsa. Partial differential equations in action . Third. Vol. 99. Unitext. From modelling to theory, La Matematica per il 3+2. Springer, [Cham], 2016, pp. xviii+686. isbn: 978-3-319-31237-8; 978-3-319-31238-5. doi: 10.1007/978-3- 319-31238-5. url: https://doi.org/10.1007/978-3-319-31238-5

    work page doi:10.1007/978-3- 2016

  39. [39]

    On the capacity of surfaces in asymptotically flat half-space

    Daniel Silva. “On the capacity of surfaces in asymptotically flat half-space” . In: Lett. Math. Phys. 115.2 (2025), Paper No. 42, 19. issn: 0377-9017,1573-0530. doi: 10.1007/s11005-025-01928-x . url: https://doi.org/10.1007/s11005-025- 01928-x

    work page doi:10.1007/s11005-025-01928-x 2025

  40. [40]

    Scalar curvature and harmonic maps to S1

    Daniel L. Stern. “Scalar curvature and harmonic maps to S1” . In: J. Differential Geom. 122.2 (2022), pp. 259–269. issn: 0022-040X,1945-743X. doi: 10.4310/jdg/ 1669998185. url: https://doi.org/10.4310/jdg/1669998185

    work page doi:10.4310/jdg/ 2022

  41. [41]

    [Kri12a] Amalendu Krishna

    Chao Xia, Jiabin Yin, and Xingjian Zhou. “New monotonicity for p-capacitary functions in 3-manifolds with nonnegative scalar curvature” . In: Adv. Math. 440 (2024), Paper No. 109526, 40. issn: 0001-8708,1090-2082. doi: 10.1016/j.aim. 2024.109526. url: https://doi.org/10.1016/j.aim.2024.109526

    work page doi:10.1016/j.aim 2024

  42. [42]

    Sharp upper bounds of p-capacity in convex cone and asymptotically flat half-space

    Jiabin Yin and Xingjian Zhou. “Sharp upper bounds of p-capacity in convex cone and asymptotically flat half-space” . In: Letters in Mathematical Physics 116.2 (2026), p. 34. School of Mathematical Sciences, Xiamen University, 361005, Xiamen, P.R. China Email address : chaoxia@xmu.edu.cn School of Mathematics and Statistics, Xingyang Normal University, 541...

    2026