Quantitative Lorentzian isoperimetric inequalities

Christian Lange; Jonas W. Peteranderl

arxiv: 2510.26755 · v2 · submitted 2025-10-30 · 🧮 math.DG · math-ph· math.AP· math.MP

Quantitative Lorentzian isoperimetric inequalities

Christian Lange , Jonas W. Peteranderl This is my paper

Pith reviewed 2026-05-18 02:48 UTC · model grok-4.3

classification 🧮 math.DG math-phmath.APmath.MP

keywords Lorentzian isoperimetric inequalitystability estimatesFraenkel asymmetryBahn-Ehrlich inequalityCavalletti-Mondino inequalityHausdorff stabilityCauchy hypersurfacesMinkowski spacetime

0 comments

The pith

Lorentzian isoperimetric inequalities admit optimal stability estimates measured by Fraenkel asymmetry with universal constants.

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

The paper proves quantitative stability for two Lorentzian isoperimetric inequalities by showing that small isoperimetric deficit forces small Fraenkel asymmetry. For the Bahn-Ehrlich inequality the asymmetry appears quadratically in the stability bound, exactly as in the Euclidean case. For a version of the Cavalletti-Mondino inequality the dependence is initially linear, but adding one geometric correction term restores the quadratic behavior. Simple self-contained proofs of both inequalities are supplied, and the quantitative estimates are upgraded to Hausdorff closeness of Cauchy hypersurfaces inside a fixed conical Minkowski spacetime by using the Lipschitz bound supplied by the causal structure.

Core claim

What carries the argument

Fraenkel asymmetry as the quantitative measure of deviation from an optimal set, together with the causal structure of a fixed conical Minkowski spacetime that supplies a Lipschitz bound converting the stability estimate into Hausdorff closeness on Cauchy hypersurfaces.

If this is right

Small isoperimetric deficit implies small Fraenkel asymmetry, so nearly optimal sets are close to minimizers in the symmetric-difference sense.
The quadratic dependence for the Bahn-Ehrlich inequality gives the same strong control obtained in the Euclidean isoperimetric problem.
The linear dependence for the Cavalletti-Mondino version can be strengthened to quadratic by including one extra geometric term.
The stability upgrades to closeness in the Bahn-Ehrlich distance, which restricts to a Hausdorff-type metric on Cauchy hypersurfaces.

Where Pith is reading between the lines

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

The quadratic stability suggests that Lorentzian isoperimetric problems behave variationally like their Riemannian counterparts despite the indefinite signature.
The causal Lipschitz bound used for the Hausdorff upgrade may be available in other Lorentzian manifolds that admit a global time function with controlled light cones.
Similar deficit-to-asymmetry arguments could be tested on other volume-versus-area inequalities that appear in Lorentzian geometry.

Load-bearing premise

The upgrade from quantitative to Hausdorff stability assumes the setting is a fixed conical Minkowski spacetime that supplies a natural Lipschitz bound from the causal structure.

What would settle it

A sequence of sets in conical Minkowski spacetime whose isoperimetric deficit tends to zero while the Fraenkel asymmetry remains bounded below by a positive constant would falsify the claimed stability.

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.

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

Stability estimates for Lorentzian isoperimetric inequalities with explicit constants, but Hausdorff upgrade limited to Minkowski space.

read the letter

The main takeaway is that the authors give the first quantitative stability results for the Bahn-Ehrlich and a version of the Cavalletti-Mondino Lorentzian isoperimetric inequalities, using the Fraenkel asymmetry with explicit dimensional constants. They show quadratic dependence for Bahn-Ehrlich, which matches what happens in Euclidean space. For Cavalletti-Mondino they start with linear dependence but add an extra geometric term to get quadratic stability instead. They also include straightforward self-contained proofs of the underlying inequalities. This is useful because it makes the inequalities more quantitative and the proofs are accessible. The explicit constants are a real addition since many stability results hide the dependence on dimension. The weaker part is the Hausdorff stability upgrade. It only works in a fixed conical Minkowski spacetime by using the causal structure to get a Lipschitz bound when measuring distances between Cauchy hypersurfaces with the Bahn-Ehrlich distance. This does not extend immediately to general Lorentzian settings, so the claim for broader applicability has this gap. The paper targets researchers in differential geometry who work with Lorentzian metrics and isoperimetric problems. Someone interested in stability versions of geometric inequalities will find it relevant. It has enough substance to go to peer review, as the core contributions on stability look solid and the proofs are presented directly. I would send it out for refereeing. The specialized nature of the Hausdorff part is something referees can comment on, but the stability estimates stand on their own.

Referee Report

0 major / 3 minor

Summary. The manuscript establishes optimal stability estimates in terms of the Fraenkel asymmetry (quadratic for the Bahn-Ehrlich inequality, linear for a special version of the Cavalletti-Mondino inequality) with universal dimensional constants. It supplies simple self-contained proofs for these Lorentzian isoperimetric-type inequalities and, in a fixed conical Minkowski spacetime, upgrades the quantitative control to a Hausdorff stability estimate via a causal-structure Lipschitz bound and the Bahn-Ehrlich distance on Cauchy hypersurfaces. Refining the Cavalletti-Mondino inequality by an additional geometric term recovers quadratic stability.

Significance. If the derivations hold, the work supplies quantitative stability results for Lorentzian isoperimetric inequalities that parallel the Euclidean case, with explicitly universal constants and a clear distinction between linear and quadratic regimes. The self-contained proofs and the parameter-free character of the stability constants are notable strengths. The restriction of the Hausdorff upgrade to fixed conical Minkowski spacetime is stated explicitly and does not affect the central stability claims for the base inequalities.

minor comments (3)

Abstract, final sentence: the phrase 'this estimate is formulated in terms of a distance defined by Bahn and Ehrlich' would benefit from a parenthetical reference to the precise definition or section where the distance is introduced.
§3 (proof of Bahn-Ehrlich stability): the passage from the isoperimetric deficit to the Fraenkel asymmetry appears to rely on a standard Minkowski-space comparison; a one-sentence reminder of the comparison theorem used would improve readability.
Notation: the symbol for the additional geometric term introduced to recover quadratic stability in the Cavalletti-Mondino case is not defined until its first use; an earlier definition or forward reference would help.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and constructive report, which recognizes the main contributions of the paper: optimal stability estimates with universal constants for the Bahn-Ehrlich and Cavalletti-Mondino inequalities, self-contained proofs, and the Hausdorff upgrade in conical Minkowski spacetime. We are pleased with the recommendation for minor revision and note that no specific major comments or required changes were raised.

Circularity Check

0 steps flagged

No circularity; self-contained proofs build on external prior inequalities with standard Minkowski properties

full rationale

The paper supplies explicit self-contained proofs for the Bahn-Ehrlich and Cavalletti-Mondino isoperimetric inequalities before deriving stability estimates in terms of Fraenkel asymmetry. The Hausdorff upgrade is performed only inside a fixed conical Minkowski spacetime by invoking the causal structure's natural Lipschitz bound when applying the Bahn-Ehrlich distance; this step uses the ambient geometry directly rather than any fitted parameter, self-referential normalization, or load-bearing self-citation. No derivation reduces by construction to its own inputs, no uniqueness theorem is imported from the authors' prior work, and no ansatz is smuggled via citation. The central claims therefore remain independent of the present paper's own results.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard properties of Lorentzian manifolds and the causal structure of Minkowski space. No free parameters are introduced. No new entities are postulated.

axioms (1)

standard math Standard properties of the Lorentzian metric and causal structure in Minkowski spacetime hold.
Invoked throughout when defining isoperimetric inequalities and the Lipschitz bound from causality.

pith-pipeline@v0.9.0 · 5715 in / 1300 out tokens · 21863 ms · 2026-05-18T02:48:49.547351+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

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... 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.
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.1 (Stability for a generalized Bahn–Ehrlich isoperimetric inequality). Let M be a conical Minkowski spacetime in L^{n+1}, n∈N.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

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

Hausdorff-type metric geometry of the space of Cauchy hypersurfaces
math.DG 2026-04 unverdicted novelty 7.0

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.