Pith. sign in

REVIEW 2 major objections 4 minor 2 cited by

Quantitative Lorentzian isoperimetric inequalities in conical Minkowski spacetimes

T0 review · 2 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash

Pith's one-line read This paper proves sharp quantitative stability for Lorentzian isoperimetric inequalities in conical Minkowski spacetimes: the Fraenkel asymmetry is controlled quadratically by the Bahn–Ehrlich deficit, linearly by the Cavalletti–Mondino def

desk verdict Solid quantitative stability results, but the arXiv abstract promises a Hausdorff estimate the paper does not deliver; fix that and the paper is referee-ready. read the letter →

arxiv 2510.26755 v3 pith:4VBVKJ7S submitted 2025-10-30 math.DG math-phmath.APmath.MP

classification math.DGmath-phmath.APmath.MP MSC 53C50
keywords quantitativestabilityLorentzianisoperimetricinequalityFraenkelasymmetryconicalMinkowskispacetimeachronalhypersurfacereversehyperboloidrigidityHausdorff
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 establishes optimal stability estimates for reverse isoperimetric inequalities in Lorentzian geometry. In a conical Minkowski spacetime, every achronal Lipschitz hypersurface with finite cone volume satisfies a quadratic bound on its Fraenkel asymmetry in terms of the Bahn–Ehrlich isoperimetric deficit, and the exponent 2 is shown to be optimal. The related Cavalletti–Mondino inequality has a stronger linear stability behavior, also optimal, but subtracting a relative volume excess from its deficit restores the familiar quadratic stability. The proofs are self-contained for the Bahn–Ehrlich inequality and reduce the quantitative question to a sharpened convexity estimate of Minkowski type. If correct, these results say that nearly optimal achronal hypersurfaces are nearly hyperboloids, with a rate that cannot be improved.

What carries the argument

The key mechanism is the radial graph representation of an achronal Lipschitz hypersurface: S = S_f = {f(x)x : x ∈ π(S)} for some domain in the unit hyperboloid H, with ln f being 1-Lipschitz with respect to the hyperbolic metric. This converts cone volume and area into explicit integrals, V(C(S)) = (1/(n+1))∫ f^{n+1} dμ and A(S) = ∫ f^n √(1−|∇ln f|^2) dμ. The stability proof decomposes the domain into sub- and superlevel sets of f, applies a quantitative Minkowski-type convexity inequality (Lemma 4.2) to the two pieces, and uses a comparison lemma showing the geometric Fraenkel asymmetry is equivalent, up to a factor 2, to an L1-distance between f^{n+1} and a constant. A compact exhaustion

What would settle it

Fix a conical Minkowski spacetime, choose a smooth mean-zero φ on a ball in H, and consider S_ε = graph(1 + εφ) as in the sharpness section. Compute lim_{ε→0} δ_BE(S_ε)/A_F(S_ε)^2. If this ratio diverges to +∞ for any φ, the quadratic bound with a finite dimension-only constant is false; if it tends to 0, the claimed optimality of the exponent 2 fails. The paper asserts the ratio stays bounded for all such φ and is positive for suitable φ, so a single explicit computation to the contrary would refute Theorem 1.1.

Watch

Extended reading notes

Core claim

The central discovery is that the Lorentzian isoperimetric inequality bounding the area of an achronal hypersurface by the volume of its past cone admits a sharp quantitative form: for every achronal Lipschitz hypersurface S in a conical Minkowski spacetime, A_F(S)^2 ≤ 16(n+1)^2/n · δ_BE(S), and the exponent 2 is optimal. When the analogous deficit is measured as δ_CM(S) = (n+1)V(C(S))/(A(S)·dist(O,S)) − 1, the stability becomes linear, A_F(S) ≤ 2(n+1)δ_CM(S), also with optimal exponent. Defining a refined deficit δ*_CM(S) = δ_CM(S) − E(S), where E(S) is the relative volume excess between the cone over S and the past hyperboloid at distance dist(O,S), recovers quadratic stability with the sa

Load-bearing premise

The linear and refined quadratic stability results for the Cavalletti–Mondino inequality rely on the imported isoperimetric inequality δ_CM(S) = (n+1)V(C(S))/(A(S)·dist(O,S)) − 1 ≥ 0 for every achronal Lipschitz hypersurface; the paper does not reprove this, so if its hypotheses are more restrictive than stated, the advertised stability bounds would hold only on a narrower class of hypersurfaces.

Editorial extensions

If this is right

  • Every achronal Lipschitz hypersurface with finite cone volume and finite projected measure satisfies A_F(S)^2 ≤ 16(n+1)^2/n · δ_BE(S); in particular, the estimate covers Cauchy hypersurfaces in any conical Minkowski spacetime.
  • The stability constant depends only on the dimension, not on the shape of the cone, in contrast to the Euclidean relative isoperimetric stability inside convex cones.
  • For the Cavalletti–Mondino deficit the linear bound A_F(S) ≤ 2(n+1)δ_CM(S) is sharp, so near-optimal hypersurfaces are forced toward hyperboloids at a faster rate than in the Bahn–Ehrlich case.
  • Subtracting the relative volume excess gives a refined deficit δ*_CM = δ_CM − E(S) with quadratic stability; the refinement lies between the Bahn–Ehrlich and Cavalletti–Mondino deficits and inherits sharpness and rigidity.
  • As noted in the paper, the stability estimates yield improved upper area bounds for acausal hypersurfaces in cosmological and black-hole-type settings covered by the Cavalletti–Mondino inequality.
  • The abstract also advertises a Hausdorff-type stability estimate for Cauchy hypersurfaces, obtained by upgrading the quantitative control using a Lipschitz bound supplied by the causal structure.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Because the stability constants are cone-independent, a natural conjecture is that analogous quantitative control holds for spacelike Cauchy graphs in more general warped Robertson–Walker spacetimes where the radial graph representation and a reverse triangle inequality remain available.
  • The transition from linear to quadratic stability when subtracting E(S) suggests that the volume-excess term acts as a symmetry-breaking correction; one could test whether the stability exponent is governed by how the distance-to-boundary enters the volume normalization.
  • A direct extension would be to study the family of deficits δ_α = δ_CM − αE(S) and identify the value of α that optimizes the stability exponent or the constant; δ*_CM corresponds to α = 1.
  • The sharpness construction with perturbations r_ε = 1 + εφ shows δ_CM ~ ε, δ*_CM ~ ε^2, and A_F ~ ε; computing these asymptotics numerically for several explicit φ would provide a concrete check of the claimed exponents.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper proves quantitative stability versions of Lorentzian isoperimetric inequalities for achronal Lipschitz hypersurfaces in conical Minkowski spacetimes. Theorem 1.1 gives a quadratic bound on the Fraenkel asymmetry in terms of the Bahn–Ehrlich deficit, A_F(S)^2 ≤ 16(n+1)^2/n δ_BE(S), with exponent 2 optimal. Proposition 1.2 relates the BE deficit to the Cavalletti–Mondino deficit and a relative volume excess, leading to a linear stability estimate for the CM inequality (Corollary 1.3), and a quadratic stability estimate for a refined CM deficit (Corollary 1.4). The paper also gives self-contained proofs of the underlying BE inequality via Hölder/Bernoulli and a geometric simplex argument, a quantitative Minkowski inequality (Lemma 4.2), and sharpness examples (Section 5). Appendices provide complementary stability results and an improved constant for the refined CM inequality.

Significance. If the identified issues are fixed, this is a valuable contribution: it introduces quantitative Lorentzian isoperimetric stability with explicit dimension-dependent constants, a quadratic exponent matching the Euclidean case for the BE inequality, and a linear exponent for the special CM inequality with a quadratic refinement. The proofs are elementary and largely self-contained, and the paper provides machine-checkable-style derivations from first principles. The sharpness examples and the improved constant in Appendix B are useful additions. However, the advertised Hausdorff stability estimate is missing, and the constant in Theorem 1.1 is not established as written; these must be addressed before the paper can be considered complete.

major comments (2)
  1. [Abstract / §1.2] The abstract's final sentences advertise a main result: a Lipschitz bound upgrades the quantitative control to a Hausdorff stability estimate formulated in terms of a distance defined by Bahn and Ehrlich. No such theorem, definition, or proof appears in the body; §1.2 (structure) also omits it. This is not a stylistic gap but an omitted advertised result. The authors should either add the statement and proof (including the definition of the Bahn–Ehrlich distance) or remove the claim from the abstract.
  2. [§4.5, application of Lemma 4.2] The displayed inequality after 'Applying Lemma 4.2 to the second inequality' omits a factor 2^{-1/(n+1)}. With a=V(C(B1)), b=V(C(B2)), Lemma 4.2 multiplied by (n+1)(σ/2)^{1/(n+1)} gives (n+1)σ^{1/(n+1)}2^{-1/(n+1)} n/(4(n+1)^2) max{a,b}^{-(n+2)/(n+1)} |a-b|^2, not σ^{1/(n+1)} n/(4(n+1)) V^{-(n+2)/(n+1)} |a-b|^2. Consequently the proof yields A_F^2 ≤ 16·2^{1/(n+1)}(n+1)^2/n δ_BE, not the stated constant in Theorem 1.1. The quadratic exponent and the strategy are intact; please correct the constant in the theorem or the proof.
minor comments (4)
  1. [§4.5] The definition of Ω2 should read {f>t0} ∪ E2; the text currently has {f<t0} ∪ E2 twice, which is inconsistent with the subsequent disjointness and measure statements.
  2. [§4.5] The equality V(C(S)ΔB_t0(M)) = V(C(B1)) - V(C(B2)) has the wrong sign; it should be |V(C(B1)) - V(C(B2))| (or V(C(B2)) - V(C(B1))). Since the quantity is squared, the argument is unaffected.
  3. [§5] The asymptotic expansions for δ_CM and δ*_CM omit the (inf φ)^2 term that arises from expanding 1/dist(O,S_ε). Moreover, if the second-order term of E is kept, the coefficient of ∫φ^2 in δ*_CM is n/2 rather than n as displayed. The boundedness of the quotients in (19) is unaffected, but the formulas should be corrected.
  4. [§2.2 / introduction] The notation B_t(M) is used in the introduction's definition (2) but defined only later in §2.2. A forward pointer or a brief definition at first use would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular reduction found: the BE inequality and its quantitative stability are proved from first principles, and the CM-type corollaries are derived from the proven BE inequality.

full rationale

The paper's derivation chain is self-contained and does not reduce to its own inputs. The Bahn–Ehrlich inequality (δ_BE ≥ 0) is proved in §3.3 (Theorem 3.3) by two direct functional-analytic arguments (Hölder and Bernoulli) starting from the graph representation established in Lemma 3.2, which is itself proved from the timelike-curve estimates of Lemma 3.1. The main stability result, Theorem 1.1, is then proved in §4.5 using this BE inequality together with the quantitative Minkowski inequality of Lemma 4.2, the equivalence of the two asymmetry notions in Lemma 4.3, and the compact-reduction Lemma 4.4. No parameter is fitted to data and no 'prediction' is a renamed input: the Fraenkel asymmetry is measured against the constant-radius cone B_t(M), while the deficit is a separately defined isoperimetric quantity. Proposition 1.2 derives the relation between δ_CM and δ_BE algebraically via Bernoulli's inequality, so Corollaries 1.3 and 1.4 do not rely on [CM25] for their validity; the citation is credit/motivation, not a load-bearing imported theorem. Appendix B reproves the refined CM stability directly from the proven BE inequality. The authors' own prior works appear only in the literature survey (§1.1) and are not used as inputs to any proof. The one substantive concern in the manuscript is not circularity: the abstract advertises a Hausdorff stability estimate 'formulated in terms of a distance defined by Bahn and Ehrlich,' but no such theorem, definition, or proof appears in the body. That is an omission or scope mismatch, not a construction that equates an output with an input. Accordingly, the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters or invented entities. The paper's only novel definitional input is the refined deficit δ*_CM, which is a composite of existing quantities. All other ingredients are standard mathematics or externally cited theorems.

assumptions (5)
  • standard math Minkowski space Lorentzian geometry: reverse triangle inequality, hyperboloid model of hyperbolic space, Lorentzian volume form coincides with Euclidean volume form
    Section 2.1; used throughout for definitions of volume, area, and distance.
  • domain assumption Graph representation of achronal Lipschitz hypersurfaces: S = S_f with ln f 1-Lipschitz with respect to the intrinsic metric of π(S)
    Lemma 3.2, proven using standard causality results [Ge06], [Pe72], [On83]; it underlies all functional representations.
  • domain assumption Cavalletti–Mondino inequality (3) holds for achronal Lipschitz hypersurfaces in conical Minkowski spacetimes
    Imported from [CM25]; used directly in Corollaries 1.3 and 1.4. Not reproved in this paper.
  • standard math Bahn–Ehrlich inequality (1) holds for achronal Lipschitz hypersurfaces and their measurable subsets
    Reproven in Theorem 3.3 by Hölder and Bernoulli inequalities; original proof in [BE99].
  • standard math Area and volume formulas for Lipschitz hypersurfaces (equations (10) and (12))
    Derived from the diffeomorphism Φ(r,x)=rx and the Gram determinant computation; standard geometric measure theory.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quantitative Lorentzian isoperimetric inequalities in conical Minkowski spacetimes." pith.science (2026). https://pith.science/paper/4VBVKJ7S

@misc{pith2026251026755,
  author       = {Pith},
  title        = {Pith review of: Quantitative Lorentzian isoperimetric inequalities in conical Minkowski spacetimes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4VBVKJ7S}},
  note         = {Machine review of arXiv:2510.26755}
}
read the original abstract

We establish optimal stability estimates in terms of the Fraenkel asymmetry with universal dimensional constants for a Lorentzian isoperimetric inequality due to Bahn and Ehrlich and, as a consequence, for a special version of a Lorentzian isoperimetric inequality due to Cavalletti and Mondino. For the Bahn--Ehrlich inequality the Fraenkel asymmetry enters the stability result quadratically like in the Euclidean case while for the Cavalletti--Mondino inequality the Fraenkel asymmetry enters linearly. As it turns out, refining the latter inequality through an additional geometric term allows us to recover the more common quadratic stability behavior. Along the way, we provide simple, self-contained proofs for the above isoperimetric-type inequalities. Moreover, in a fixed conical Minkowski spacetime, we use a Lipschitz bound, naturally provided by the causal structure, to upgrade our quantitative control to a Hausdorff stability estimate. This estimate is formulated in terms of a distance defined by Bahn and Ehrlich, which restricts to a natural Hausdorff-type metric on the space of Cauchy hypersurfaces.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

  1. Constant mean curvature surfaces in the sub-Lorentzian Heisenberg group

    math.DG 2026-05 unverdicted novelty 7.0 of 10

    Classification of boost-symmetric CMC surfaces in the sub-Lorentzian Heisenberg group yields a family of smooth acausal surfaces conjectured to be isoperimetric maximizers.

  2. Hausdorff-type metric geometry of the space of Cauchy hypersurfaces

    math.DG 2026-04 unverdicted novelty 7.0 of 10

    A Hausdorff-type metric is placed on the space of Cauchy hypersurfaces in globally hyperbolic spacetimes, yielding completeness and local compactness results that generalize earlier work by Beem and Takahashi.

Reference graph

Works this paper leans on

60 extracted references · 6 linked inside Pith · cited by 2 Pith papers

  1. [1]

    Abedin, J

    F. Abedin, J. Corvino, S. Kapita, and H. Wu, On isoperimetric surfaces in general relativity, II, J. Geom. Phys. 59 (2009), no. 11, 1453--1460

  2. [2]

    J. M. Aldaz, A stability version of Hölder's inequality, J. Math. Anal. Appl. 343 (2008), no. 2, 842--852

  3. [3]

    S. B. Alexander, M. Graf, M. Kunzinger, C. Sämann, Generalized cones as Lorentzian length spaces: causality, curvature, and singularity theorems, Comm. Anal. Geom. 31 (2023), no. 6, 1469--1528

  4. [4]

    Bahn and P

    H. Bahn and P. Ehrlich, A Brunn-Minkowski type theorem on the Minkowski spacetime, Canad. J. Math. 51 (1999), no. 3, 449--469

  5. [5]

    Bahn, Isoperimetric inequalities and conjugate points on Lorentzian surfaces, J

    H. Bahn, Isoperimetric inequalities and conjugate points on Lorentzian surfaces, J. Geom. 65 (1999), no. 1-2, 31--49

  6. [6]

    Beckenbach and R

    E. Beckenbach and R. Bellman, Inequalities, Springer-Verlag, Berlin (1961)

  7. [7]

    Bernstein, Über die isoperimetriche Eigenschaft des Kreises auf der Kugeloberflache und in der Ebene, Math

    F. Bernstein, Über die isoperimetriche Eigenschaft des Kreises auf der Kugeloberflache und in der Ebene, Math. Ann. 60 (1905), 117--136

  8. [8]

    Bianchi and H

    G. Bianchi and H. Egnell, A note on the Sobolev inequality, J. Funct. Anal. 100 (1991), no. 1, 18--24

Show all 60 references
  1. [9]

    Bonnesen, \"Uber das isoperimetrische Defizit ebener Figuren, Math

    T. Bonnesen, \"Uber das isoperimetrische Defizit ebener Figuren, Math. Ann. 91 (1924), 252--268

  2. [10]

    H. L. Bray and P. T. Chruściel, The Penrose Inequality, In: The Einstein Equations and the Large Scale Behavior of Gravitational Fields. 50 Years of the Cauchy Problem in General Relativity, Birkhäuser, Basel (2004)

  3. [11]

    Brendle and M

    S. Brendle and M. Eichmair, Isoperimetric and Weingarten surfaces in the Schwarzschild manifold, J. Differential Geom. 94 (2013), no. 3, 387--407

  4. [12]

    Brigati, J

    G. Brigati, J. Dolbeault, and N. Simonov, Logarithmic S obolev and interpolation inequalities on the sphere: Constructive stability results , Ann. Inst. H. Poincar \'e C Anal. Non Lin \'e aire 41 (2024), no. 5, 1289--1321

  5. [13]

    Burago, Yu

    D. Burago, Yu. Burago, and S. Ivanov, A course in metric geometry, Graduate Studies in Mathematics 33, AMS, Providence RI (2001)

  6. [14]

    E. A. Carlen, R. L. Frank, and E. H. Lieb, S tability estimates for the lowest eigenvalue of a S chrödinger operator , Geom. Funct. Anal. 24 (2014), 63--84

  7. [15]

    J. A. Carrillo, M. G. Delgadino, J. Dolbeault, R. L. Frank, and F. Hoffmann, Reverse Hardy–Littlewood–Sobolev inequalities, J. Math. Pures Appl. 132 (2019), 133--165

  8. [16]

    Cavalletti and A

    F. Cavalletti and A. Mondino, A review of Lorentzian synthetic theory of timelike Ricci curvature bounds, Gen. Relativity Gravitation 54 (2022), no. 137

  9. [17]

    Cavalletti and A

    F. Cavalletti and A. Mondino, A sharp isoperimetric-type inequality for Lorentzian spaces satisfying timelike Ricci lower bounds, Preprint (2025), arXiv:2401.03949v2

  10. [18]

    Chavel, Isoperimetric Inequalities, Cambridge Tracts in Mathematics 145, Cambridge University Press, Cambridge (2001)

    I. Chavel, Isoperimetric Inequalities, Cambridge Tracts in Mathematics 145, Cambridge University Press, Cambridge (2001)

  11. [19]

    Chodosh, M

    O. Chodosh, M. Eichmair, Y. Shi, and H. Yu, Isoperimetry, scalar curvature, and mass in asymptotically flat Riemannian 3-manifolds, Comm. Pure Appl. Math. 74 (2021), no. 4, 865--905

  12. [20]

    Cicalese and G

    M. Cicalese and G. P. Leonardi, A Selection Principle for the Sharp Quantitative Isoperimetric Inequality, Arch. Ration. Mech. Anal. 206 (2012), 617--643

  13. [21]

    Dolbeault, M

    J. Dolbeault, M. J. Esteban, A. Figalli, R. L. Frank, and M. Loss, Sharp stability for S obolev and log- S obolev inequalities, with optimal dimensional dependence , Camb. J. Math. 13 (2025), no. 2, 359--430

  14. [22]

    Eichmair and J

    M. Eichmair and J. Metzger, Unique isoperimetric foliations of asymptotically flat manifolds in all dimensions, Invent. Math. 194 (2013), no. 3, 591--630

  15. [23]

    L. C. Evans and R. F. Gariepy, Measure Theory and Fine Properties of Functions. Revised Edition, CRC Press, New York (2015)

  16. [24]

    Figalli, Stability in Geometric and Functional Inequalities, In: European Congress of Mathematics, Eur

    A. Figalli, Stability in Geometric and Functional Inequalities, In: European Congress of Mathematics, Eur. Math. Soc., Z\"urich (2013), 585--599

  17. [25]

    Figalli and E

    A. Figalli and E. Indrei, A Sharp Stability Result for the Relative Isoperimetric Inequality Inside Convex Cones, J. Geom. Anal. 23 (2013), 938--969

  18. [26]

    Figalli and D

    A. Figalli and D. Jerison, Quantitative stability for the B runn- M inkowski inequality , Adv. Math. 314 (2017), 1--47

  19. [27]

    Figalli, F

    A. Figalli, F. Maggi, and C. Mooney, The sharp quantitative E uclidean concentration inequality , Camb. J. Math. 6 (2018), no. 1, 59--87

  20. [28]

    Figalli, F

    A. Figalli, F. Maggi, and A. Pratelli, A mass transportation approach to quantitative isoperimetric inequalities, Invent. Math. 182 (2010), 167--211

  21. [29]

    Figalli and Y

    A. Figalli and Y. R.-Y. Zhang, Sharp gradient stability for the S obolev inequality , Duke Math. J. 171 (2022), no. 12, 2407--2459

  22. [30]

    Figalli and Y

    A. Figalli and Y. R.-Y. Zhang, Strong stability of convexity with respect to the perimeter, Preprint (2023), arXiv:2307.01633

  23. [31]

    R. L. Frank, Degenerate stability of some S obolev inequalities , Ann. Inst. H. Poincar \'e C Anal. Non Lin \'e aire 39 (2022), no. 6, 1459--1484

  24. [32]

    R. L. Frank, The sharp Sobolev inequality and its stability: An introduction, In: Geometric and Analytic Aspects of Functional Variational Principles: Cetraro, Italy 2022, Springer, Cham (2024), 1--64

  25. [33]

    R. L. Frank, T. König, and H. Tang, Reverse conformally invariant Sobolev inequalities on the sphere, J. Funct. Anal. 282 (2022), no. 4, 109339

  26. [34]

    R. L. Frank and J. W. Peteranderl, Degenerate stability of the C affarelli-- K ohn-- N irenberg inequality along the F elli-- S chneider curve , Calc. Var. Partial Differential Equations 63 (2024), no. 44

  27. [35]

    R. L. Frank and J. W. Peteranderl, The sharp _2 -curvature inequality on the sphere in quantitative form, Preprint (2024), arXiv:2412.12819

  28. [36]

    R. L. Frank, J. W. Peteranderl, and L. Read, Sharp quantitative integral inequalities for harmonic extensions, Preprint (2025), arXiv:2508.09940

  29. [37]

    Fuglede, Stability in the isoperimetric problem for convex or nearly spherical domains in R^n , Trans

    B. Fuglede, Stability in the isoperimetric problem for convex or nearly spherical domains in R^n , Trans. Amer. Math. Soc. 314 (1989), 619--638

  30. [38]

    Fusco, The quantitative isoperimetric inequality and related topics, Bull

    N. Fusco, The quantitative isoperimetric inequality and related topics, Bull. Math. Sci. 5 (2015), 517--607

  31. [39]

    Fusco, F

    N. Fusco, F. Maggi, and A. Pratelli, The sharp quantitative isoperimetric inequality, Ann. Math. 168 (2008), 941--980

  32. [40]

    Gamow, Mass defect curve and nuclear constitution, Proc

    G. Gamow, Mass defect curve and nuclear constitution, Proc. R. Soc. Lond. Ser. A 126 (1930), 632--644

  33. [41]

    Gerhardt, Curvature problems, Series in Geometry and Topology 39, International Press of Boston Inc., Sommerville (2006)

    C. Gerhardt, Curvature problems, Series in Geometry and Topology 39, International Press of Boston Inc., Sommerville (2006)

  34. [42]

    R. Gong, Q. Yang, and S. Zhang, A simple proof of reverse Sobolev inequalities on the sphere and Sobolev trace inequalities on the unit ball, Preprint (2025), arXiv:2503.20350

  35. [43]

    Guan and G

    P. Guan and G. Wang, Geometric inequalities on locally conformally flat manifolds, Duke Math. J. 124 (2004), no. 1, 177--212

  36. [44]

    Guerra, X

    A. Guerra, X. Lamy, and K. Zemas, Sharp quantitative stability of the M \"obius group among sphere-valued maps in arbitrary dimension , Trans. Amer. Math. Soc. 378 (2025), 1235--1259

  37. [45]

    R. R. Hall, A quantitative isoperimetric inequality in n-dimensional space, J. Reine Angew. Math. 428 (1992), 161--176

  38. [46]

    Huisken, An isoperimetric concept for mass and quasilocal mass , Oberwolfach Rep

    G. Huisken, An isoperimetric concept for mass and quasilocal mass , Oberwolfach Rep. 3 (2006), 87--88

  39. [47]

    Knüpfer and C

    H. Knüpfer and C. Muratov, On an isoperimetric problem with a competing nonlocal term I. The planar case, Commun. Pure Appl. 66 (2025), 1129--1162

  40. [48]

    Knüpfer and C

    H. Knüpfer and C. Muratov, On an isoperimetric problem with a competing nonlocal term II. The general case, Commun. Pure Appl. 67 (2014), 1974--1994

  41. [49]

    K \"o nig, Stability inequalities with explicit constants for a family of reverse Sobolev inequalities on the sphere, Preprint (2025), arXiv:2504.19939

    T. K \"o nig, Stability inequalities with explicit constants for a family of reverse Sobolev inequalities on the sphere, Preprint (2025), arXiv:2504.19939

  42. [50]

    K \"o nig and J

    T. K \"o nig and J. W. Peteranderl, An almost-almost-Schur lemma on the 3-sphere, Preprint (2025), arXiv:2510.25723

  43. [51]

    Kunzinger and C

    M. Kunzinger and C. Sämann, Lorentzian length spaces, Ann. Global Anal. Geom. 54 (2018), 399--447

  44. [52]

    Lambert and J

    B. Lambert and J. Scheuer, Isoperimetric problems for spacelike domains in generalized Robertson-Walker spaces, J. Evol. Equ. 21 (2021), 377--389

  45. [53]

    Lange, A

    C. Lange, A. Lytchak, and C. Sämann, Lorentz meets Lipschitz, Adv. Theor. Math. Phys. 25 (2021), no. 8, 2141--2170

  46. [54]

    P. L. Lions and F. Pacella, Isoperimetric inequalities for convex cones, Proc. Amer. Math. Soc. 109 (1990), 477--485

  47. [55]

    E. J. McShane, Extension of range of functions, Bull. Amer. Math. Soc. 40 (1934), no. 12, 837--842

  48. [56]

    O'Neill, Semi-Riemannian geometry

    B. O'Neill, Semi-Riemannian geometry. With applications to relativity, Pure and Applied Mathematics 103, Academic Press, New York (1983)

  49. [57]

    W. F. Osgood, A Jordan Curve of Positive Area, Trans. Amer. Math. Soc. 4 (1903), no. 1, 107--112

  50. [58]

    Osserman, The isoperimetric inequality, Bull

    R. Osserman, The isoperimetric inequality, Bull. Amer. Math. Soc. 84 (1978), 1182--1238

  51. [59]

    Penrose, Techniques of Differential Topology in Relativity, CBSM-NSF Regional Conf

    R. Penrose, Techniques of Differential Topology in Relativity, CBSM-NSF Regional Conf. Ser. in Appl. Math. 7, SIAM, Philadelphia (1972)

  52. [60]

    Tsai and K.-H

    C.-J. Tsai and K.-H. Wang, An isoperimetric-type inequality for spacelike submanifold in the Minkowski space, Int. Math. Res. Not. IMRN 2022 (2022), no. 1, 128--139

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.