Pith. sign in

REVIEW 2 major objections 1 cited by

Curvature inequalities and rigidity for constant mean curvature and spacetime constant mean curvature surfaces

T0 review · 2 major / 0 minor · reviewed 2026-07-13 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Stable spacetime constant-mean-curvature surfaces obey the sharp bound |H⃗|^{2} ≤ 16π/|Σ| under the dominant energy condition; equality forces the enclosed region’s development to be a Minkowski causal diamond, and a weaker constant-mode st

desk verdict We only have the abstract for the CMC/STCMC paper; the supplied “full text” is an unrelated quantum-optics manuscript, so the claimed inequalities and Minkowski rigidity cannot be checked. read the letter →

arxiv 2603.16707 v3 pith:GR2OYSUQ submitted 2026-03-17 math.DG gr-qcmath-phmath.MP

Alejandro Peñuela Diaz This is my paper · ORCID
classification math.DGgr-qcmath-phmath.MP MSC 53C4253C5083C0553C24
keywords constantmeancurvaturespacetimeChristodoulou–YauinequalityHawkingenergydominantconditionrigidityMinkowskidiamondstabilityofsurfaces
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves curvature inequalities and rigidity theorems for surfaces of constant mean curvature type in both Riemannian and Lorentzian geometry. In the Riemannian setting it shows that the classical Christodoulou–Yau inequality H^{2} ≤ 16π/|Σ| continues to hold under a strictly weaker stability hypothesis that only controls the constant mode of the second variation; when equality holds and an extrinsic-curvature sign condition is satisfied, the enclosed region must be Euclidean. The same pattern extends to higher dimensions and to hyperbolic and spherical ambient spaces. In the Lorentzian setting the authors introduce a stability theory for spacetime constant mean curvature (STCMC) surfaces and prove the analogous sharp inequality |H⃗|^{2} ≤ 16π/|Σ| under the dominant energy condition. Equality, under suitable geometric assumptions, forces the maximal globally hyperbolic development of the enclosed spacelike region to be isometric to a causal diamond in Minkowski spacetime. As a direct consequence the Hawking quasi-local energy is non-negative and rigid when evaluated on stable STCMC surfaces. The paper also analyses existing STCMC foliations, showing that asymptotic leaves remain stable under positive-mass conditions while local matter density and shear control the instability of local leaves.

What carries the argument

A newly introduced stability theory for spacetime constant mean curvature (STCMC) surfaces, together with a weaker “constant-mode” stability condition for ordinary CMC surfaces that only requires non-negativity of the second variation on constant functions; both notions convert the second-variation inequality into the sharp integral curvature bound and, at equality, into rigidity.

What would settle it

Construct (or rule out) a stable STCMC surface in a spacetime that satisfies the dominant energy condition, for which |H⃗|^{2} = 16π/|Σ|, yet whose maximal globally hyperbolic development is not isometric to a Minkowski causal diamond; any such example would falsify the rigidity claim.

Watch

Extended reading notes

Core claim

Under the dominant energy condition every stable STCMC surface satisfies the sharp inequality |H⃗|^{2} ≤ 16π/|Σ|; when equality holds and suitable geometric assumptions are met, the maximal globally hyperbolic development of the enclosed spacelike region is a causal diamond in Minkowski spacetime. In the Riemannian setting the same numerical bound for CMC surfaces already follows from a weaker stability condition that only controls the constant mode of the second variation, and equality plus an extrinsic-curvature sign condition forces the enclosed region to be Euclidean.

Load-bearing premise

The rigidity statements rest on “suitable geometric assumptions” and on a newly defined notion of stability for STCMC surfaces; if that stability condition is too strong or the geometric assumptions exclude the physically relevant cases, the identification of equality with Minkowski diamonds fails.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 0 minor

Summary. The abstract claims curvature inequalities and rigidity for CMC surfaces in Riemannian geometry and for spacetime CMC (STCMC) surfaces in Lorentzian geometry. In the Riemannian setting it asserts that the Christodoulou–Yau inequality H² ≤ 16π/|Σ| continues to hold under a weaker stability hypothesis that controls only the constant mode of the second variation, with equality plus an extrinsic-curvature sign condition forcing the enclosed region to be Euclidean (with extensions to higher dimensions and constant-curvature backgrounds). In the Lorentzian setting it introduces a stability theory for STCMC surfaces, proves the sharp bound |H⃗|² ≤ 16π/|Σ| under the dominant energy condition, and claims that equality (under suitable geometric assumptions) implies that the maximal globally hyperbolic development of the enclosed region is a causal diamond in Minkowski spacetime, yielding positivity and rigidity of the Hawking energy on stable STCMC surfaces; asymptotic STCMC leaves are asserted to be stable under positive mass while local leaves are controlled by matter density and shear.

Significance. If the stated theorems are correct, the work would be a substantial contribution to geometric analysis and mathematical general relativity: a genuine weakening of the stability hypothesis for Christodoulou–Yau-type inequalities, a new second-variation framework for STCMC surfaces, a sharp DEC-based curvature bound, and a Minkowski-diamond rigidity theorem that would give a clean positivity/rigidity statement for the Hawking quasi-local energy on a natural class of surfaces. Those results would be of clear interest to the geometric-analysis and mathematical-GR communities. However, the supplied full-text body is an unrelated quantum-optics manuscript (Kibble–Zurek mechanism in the open quantum Rabi model), so none of the claimed definitions, operators, or proofs can be examined and the significance cannot be confirmed from the submission as received.

major comments (2)
  1. The full manuscript body supplied with the submission does not match the title, abstract, or arXiv identifier 2603.16707. The body is the quant-ph paper “Kibble–Zurek Mechanism in the Open Quantum Rabi Model” (arXiv:2603.16709). Consequently there are no definitions of the STCMC stability operator or its function space, no second-variation formulae, no proofs of the claimed inequalities, and no rigidity arguments. The central mathematical claims of the abstract cannot be checked against any supporting text.
  2. Even restricting attention to the abstract of 2603.16707, the load-bearing equality-case rigidity (“under suitable geometric assumptions, the MGHD is isometric to a causal diamond in Minkowski spacetime”) and the newly introduced STCMC stability theory remain unspecified: the precise second-variation operator, the class of admissible variations, and the geometric assumptions that convert |H⃗|² = 16π/|Σ| into Minkowski rigidity are not stated. Without those ingredients the rigidity and Hawking-energy conclusions cannot be assessed for hidden strength or for exclusion of physically relevant data.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity identifiable: abstract builds on external Christodoulou–Yau/DEC inputs; full text is the wrong paper, so the STCMC derivation chain cannot be reduced to its inputs.

full rationale

The supplied CACHEABLE full manuscript is arXiv:2603.16709 (Kibble–Zurek in the open quantum Rabi model), not 2603.16707. Consequently the load-bearing objects of the claimed paper—the precise STCMC second-variation operator, its domain, the definition of “stable,” and the “suitable geometric assumptions” that convert equality into a Minkowski causal diamond—are invisible and cannot be checked for self-definitional or fitted-input reductions. From the abstract alone the derivation chain is standard and non-circular: the Riemannian inequality is obtained by weakening the classical Christodoulou–Yau stability hypothesis (an external, well-known result) to control only the constant mode of the second variation; the Lorentzian inequality is proved under the dominant energy condition (again external) for a newly introduced stability class; equality-case rigidity is stated under additional geometric hypotheses rather than by tautological redefinition of the energy or the stability operator. Defining a stability notion and then proving inequalities for surfaces that satisfy it is ordinary mathematical practice, not a circular step under the enumerated patterns. No fitted parameters are renamed as predictions, no uniqueness theorem is imported solely from overlapping authors to forbid alternatives, and no known empirical pattern is merely renamed. Score 0 is therefore the only honest outcome on the available text; a higher score would require manufacturing circularity from an absent derivation.

Assumptions & free parameters 0 free parameters · 4 assumptions · 1 invented entities

Abstract-only review of a pure math/GR paper. Load-bearing background is standard: nonnegative scalar curvature or dominant energy condition, classical second-variation stability for CMC, existence of maximal globally hyperbolic developments, and the definition of Hawking energy. The paper invents (or newly axiomatizes) a stability notion for STCMC surfaces; that is the main ad-hoc entity. No free numerical parameters appear. Full axiom list cannot be audited without the body.

assumptions (4)
  • domain assumption Dominant energy condition (DEC) on the spacetime initial data or ambient Lorentzian manifold.
    Invoked in the abstract as the hypothesis under which |H⃗|² ≤ 16π/|Σ| is proved for stable STCMC surfaces.
  • domain assumption Nonnegative scalar curvature (or constant-curvature ambient metrics in the hyperbolic/spherical extensions) for the Riemannian CMC results.
    Standard background for Christodoulou–Yau-type inequalities; abstract states the inequality in this setting.
  • domain assumption Existence and uniqueness (up to isometry) of the maximal globally hyperbolic development of the enclosed spacelike region.
    Used for the equality-case rigidity claim identifying the development with a Minkowski causal diamond.
  • ad hoc to paper A newly introduced second-variation / stability operator for STCMC surfaces whose nonnegativity on (at least) constant modes implies the curvature inequality.
    Abstract: “we introduce a stability theory for spacetime constant mean curvature (STCMC) surfaces.” The precise bilinear form is not given in the abstract.
invented entities (1)
  • Stability theory / stability operator for STCMC surfaces
    purpose: Provide the analytic hypothesis under which the sharp |H⃗|² ≤ 16π/|Σ| inequality and Hawking-energy positivity are proved in the Lorentzian setting.
    Abstract presents this as introduced in the paper; without the body one cannot see whether it reduces to a known operator or is genuinely new. independent_evidence is false because no external falsifiable handle is stated beyond the theorems that use it.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Curvature inequalities and rigidity for constant mean curvature and spacetime constant mean curvature surfaces." pith.science (2026). https://pith.science/paper/GR2OYSUQ

@misc{pith2026260316707,
  author       = {Pith},
  title        = {Pith review of: Curvature inequalities and rigidity for constant mean curvature and spacetime constant mean curvature surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GR2OYSUQ}},
  note         = {Machine review of arXiv:2603.16707}
}
abstract

We establish curvature inequalities and rigidity results for surfaces satisfying constant mean curvature type conditions in both Riemannian and Lorentzian geometry. In the Riemannian setting, we study constant mean curvature (CMC) surfaces. Building on the Christodoulou-Yau inequality $H^2\leq 16\pi / |\Sigma|$ (with $H$ the mean curvature and $|\Sigma |$ the area) for CMC surfaces on three-dimensional manifolds with nonnegative scalar curvature, we show that the inequality holds under a weaker stability condition controlling only the constant mode of the second variation. Combined with an extrinsic curvature sign condition, equality forces the region enclosed by the surface to be Euclidean. These results extend to higher dimensions and to the hyperbolic and spherical settings. In the Lorentzian setting, we introduce a stability theory for spacetime constant mean curvature (STCMC) surfaces and prove the sharp inequality $|\vec{H}|^2\leq 16\pi / |\Sigma|$ under the dominant energy condition. We also obtain rigidity for the equality case: under suitable geometric assumptions, the maximal globally hyperbolic development of the enclosed spacelike region is isometric to a causal diamond in Minkowski spacetime. In particular, this implies positivity and rigidity for the Hawking quasi-local energy in the general spacetime setting when evaluated on stable STCMC surfaces. Finally, we analyze the known STCMC foliations in the spacelike and null settings. We show that asymptotic leaves are stable under positive mass conditions, whereas the local matter density and shear govern the instability of local foliations.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A note on the stability of surfaces along null cones under area-preserving variations

    math.DG 2026-07 accept novelty 5.5 of 10

    Stable spacelike cross-sections of null cones have non-negative Hawking energy under DEC, and the only stable cross-sections of the Minkowski lightcone are round spheres.

Reference graph

Works this paper leans on

54 extracted references · cited by 1 Pith paper

  1. [1]

    Integrating out the bath degrees of freedom yields an effective Euclidean action [34, 37, 38]

    This critical point separates a delocalized phase, characterized by spin tunneling between the up and down states, from a local- ized phase, where the tunneling amplitude is renormal- ized to zero when� � � �[35, 36]. Integrating out the bath degrees of freedom yields an effective Euclidean action [34, 37, 38]. This maps the problem onto a one- dimensiona...

  2. [2]

    Kimet al., Nature���, 500 (2023)

    Y. Kimet al., Nature���, 500 (2023)

    2023

  3. [3]

    L¨ oschnauer, J

    C. L¨ oschnauer, J. Mosca Toba, A. Hughes, S. King, M. Weber, R. Srinivas, R. Matt, R. Nourshargh, D. All- cock, C. Ballance, C. Matthiesen, M. Malinowski, and T. Harty, PRX Quantum�, 040313 (2025)

    2025

  4. [4]

    Acharyaet al., Nature���, 676 (2023)

    R. Acharyaet al., Nature���, 676 (2023)

    2023

  5. [5]

    S. A. Moseset al., Physical Review X��, 041052 (2023)

    2023

  6. [6]

    S. J. Everedet al., Nature���, 268 (2023)

    2023

  7. [7]

    Sachdev, 2nd ed

    S. Sachdev, 2nd ed. (Cambridge University Press, 2011)

    2011

  8. [8]

    T. W. B. Kibble, J. Phys. A: Math. Gen.�, 1387 (1976)

    1976

Show all 54 references
  1. [9]

    W. H. Zurek, Nature���, 505 (1985)

    1985

  2. [10]

    Chuang, R

    I. Chuang, R. Durrer, N. Turok, and B. Yurke, Science ���, 1336 (1991)

    1991

  3. [11]

    B¨ auerle, Y

    C. B¨ auerle, Y. M. Bunkov, S. N. Fisher, H. Godfrin, and G. R. Pickett, Nature���, 332 (1996)

    1996

  4. [12]

    V. M. H. Ruutu, V. B. Eltsov, A. J. Gill, T. W. B. Kibble, M. Krusius, Y. G. Makhlin, B. Pla¸ cais, G. E. Volovik, and W. Xu, Nature���, 334 (1996)

    1996

  5. [13]

    D. Chen, M. White, C. Borries, and B. DeMarco, Physi- cal Review Letters���, 235304 (2011)

    2011

  6. [14]

    S. Ulm, J. Roßnagel, G. Jacob, C. Deg¨ unther, S. T. Dawkins, U. G. Poschinger, R. Nigmatullin, A. Retzker, M. B. Plenio, F. Schmidt-Kaler, and K. Singer, Nature Communications�, 2290 (2013)

    2013

  7. [16]

    Caneva, R

    T. Caneva, R. Fazio, and G. E. Santoro, Phys. Rev. B ��, 104426 (2008)

    2008

  8. [17]

    Polkovnikov, Phys

    A. Polkovnikov, Phys. Rev. B��, 161201 (2005)

    2005

  9. [18]

    S. M. Griffin, M. Lilienblum, K. T. Delaney, Y. Kumagai, M. Fiebig, and N. A. Spaldin, Phys. Rev. X�, 041022 (2012)

    2012

  10. [19]

    Arceci, S

    L. Arceci, S. Barbarino, D. Rossini, and G. E. Santoro, Phys. Rev. B��, 054301 (2017)

    2017

  11. [20]

    Puebla, A

    R. Puebla, A. Smirne, S. F. Huelga, and M. B. Plenio, Phys. Rev. Lett.���, 230602 (2020)

    2020

  12. [21]

    Oshiyama, N

    H. Oshiyama, N. Shibata, and S. Suzuki, Journal of the Physical Society of Japan��, 104002 (2020)

    2020

  13. [22]

    Bando, Y

    Y. Bando, Y. Susa, H. Oshiyama, N. Shibata, M. Ohzeki, F. J. G´ omez-Ruiz, D. A. Lidar, A. del Campo, S. Suzuki, and H. Nishimori, Phys. Rev. Research�, 033369 (2020)

    2020

  14. [23]

    Debecker, L

    B. Debecker, L. Pausch, J. Louvet, T. Bastin, J. Martin, and F. m. c. Damanet, Phys. Rev. A���, 012210 (2025)

    2025

  15. [24]

    J. M. Kosterlitz and D. J. Thouless, Journal of Physics C: Solid State Physics�, 1181 (1973)

    1973

  16. [25]

    Resnick, J

    D. Resnick, J. Garland, J. Boyd, S. Shoemaker, and R. Newrock, Physical Review Letters��, 1542 (1981)

    1981

  17. [26]

    Hadzibabic, P

    Z. Hadzibabic, P. Kr¨ uger, M. Cheneau, B. Battelier, and J. Dalibard, Nature���, 1118 (2006)

    2006

  18. [27]

    S. R. White, Phys. Rev. Lett.��, 2863 (1992)

    1992

  19. [28]

    Schollw¨ ock, Annals of Physics���, 96 (2011)

    U. Schollw¨ ock, Annals of Physics���, 96 (2011)

    2011

  20. [29]

    Paeckel, T

    S. Paeckel, T. K¨ ohler, A. Swoboda, S. R. Manmana, U. Schollw¨ ock, and C. Hubig, Annals of Physics���, 167998 (2019)

    2019

  21. [30]

    Haegeman, C

    J. Haegeman, C. Lubich, I. Casas, U. Schollw¨ ock, and F. Verstraete, Phys. Rev. B��, 165116 (2016)

    2016

  22. [31]

    A. W. Chin, A. Rivas, S. F. Huelga, and M. B. Plenio, Journal of Mathematical Physics��, 092109 (2010)

    2010

  23. [33]

    Damski, Physical Review Letters��, 035701 (2005)

    B. Damski, Physical Review Letters��, 035701 (2005)

    2005

  24. [34]

    Zueco and J

    D. Zueco and J. Garc´ ıa-Ripoll, Phys. Rev. A��, 013807 (2019)

    2019

  25. [35]

    De Filippis, A

    G. De Filippis, A. de Candia, G. Di Bello, C. A. Perroni, L. M. Cangemi, A. Nocera, M. Sassetti, R. Fazio, and V. Cataudella, Phys. Rev. Lett.���, 210404 (2023)

    2023

  26. [36]

    K. L. Hur, Annals of Physics���, 2208 (2008)

    2008

  27. [37]

    Le Hur (CRC Press, Boca Raton, 2010) 1st ed., pp

    K. Le Hur (CRC Press, Boca Raton, 2010) 1st ed., pp. 217–240

    2010

  28. [38]

    R. P. Feynman, Phys. Rev.��, 660 (1955)

    1955

  29. [39]

    Weiss, World Scientific�, 588 (2012)

    U. Weiss, World Scientific�, 588 (2012)

    2012

  30. [40]

    Minnhagen, Phys

    P. Minnhagen, Phys. Rev. Lett.��, 2351 (1985)

    1985

  31. [41]

    Weber and P

    H. Weber and P. Minnhagen, Phys. Rev. B��, 5986 (1988)

    1988

  32. [42]

    Kubo, Journal of the Physical Society of Japan��, 570 (1957)

    R. Kubo, Journal of the Physical Society of Japan��, 570 (1957)

    1957

  33. [43]

    Fishman, S

    M. Fishman, S. White, and E. Stoudenmire, SciPost Physics Codebases 10.21468/scipostphyscodeb.4 (2022). 6

    2022 doi

  34. [44]

    M. P. Zaletel, R. S. K. Mong, C. Karrasch, J. E. Moore, and F. Pollmann, Phys. Rev. B��, 165112 (2015)

    2015

  35. [45]

    De Filippis, A

    G. De Filippis, A. de Candia, A. S. Mishchenko, L. M. Cangemi, A. Nocera, P. A. Mishchenko, M. Sassetti, R. Fazio, N. Nagaosa, and V. Cataudella, Phys. Rev. B ���, L060410 (2021)

    2021

  36. [46]

    Di Bello, A

    G. Di Bello, A. Ponticelli, F. Pavan,et al., Communica- tions Physics�, 364 (2024)

    2024

  37. [47]

    Parlato, G

    D. Parlato, G. Di Bello, F. Pavan, G. De Filippis, and C. A. Perroni, Phys. Rev. B���, 224314 (2025)

    2025

  38. [48]

    J. M. Kosterlitz, Journal of Physics C: Solid State Physics �, 1046 (1974)

    1974

  39. [49]

    De Grandi, V

    C. De Grandi, V. Gritsev, and A. Polkovnikov, Phys. Rev. B��, 012303 (2010)

    2010

  40. [50]

    De Grandi, V

    C. De Grandi, V. Gritsev, and A. Polkovnikov, Phys. Rev. B��, 224301 (2010)

    2010

  41. [51]

    De Grandi and A

    C. De Grandi and A. Polkovnikov, inQuantum Quench- ing, Annealing and Computation, Lecture Notes in Physics, Vol. 802, edited by A. K. Chandra, A. Das, and B. K. Chakrabarti (Springer, Heidelberg, 2010) pp. 75– 114

    2010

  42. [52]

    Dziarmaga and W

    J. Dziarmaga and W. H. Zurek, Scientific Reports�, 5950 (2014)

    2014

  43. [53]

    Hwang, R

    M.-J. Hwang, R. Puebla, and M. B. Plenio, Phys. Rev. Lett.���, 180404 (2015)

    2015

  44. [54]

    Puebla, M.-J

    R. Puebla, M.-J. Hwang, J. Casanova, and M. B. Plenio, Phys. Rev. Lett.���, 073001 (2017)

    2017

  45. [55]

    Defenu, T

    N. Defenu, T. Enss, M. Kastner, and G. Morigi, Phys. Rev. Lett.���, 240403 (2018). ��� ������� ���������� �������� ��� ���������� ���� ���������� The relaxation time�is estimated from the asymptotic decay of the longitudinal magnetization Σ �(�). Here, we provide a detailed an...

    2018

  46. [56]

    The long-time dynamics is heavily dominated by this low-frequency be- havior. Consequently, increasing the atom-field coupling �directly enhances the effective coupling with the bath, ultimately driving the system toward the Berezinskii- Kosterlitz-Thouless (BKT) critical poin...

Pith tools

Reviewed July 13, 2026 · model on record in the stance chip above.