Density estimates and the fractional Sobolev inequality for sets of zero $s$-mean curvature

Jack Thompson

arxiv: 2406.04618 · v2 · submitted 2024-06-07 · 🧮 math.AP

Density estimates and the fractional Sobolev inequality for sets of zero s-mean curvature

Jack Thompson This is my paper

Pith reviewed 2026-05-24 00:02 UTC · model grok-4.3

classification 🧮 math.AP

keywords density estimatesfractional perimetermean curvaturesets of finite perimeterSobolev inequality

0 comments

The pith

Sets with zero s-mean curvature satisfy a uniform lower bound on perimeter in every ball centered on the reduced boundary.

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

The paper establishes a surface density lower bound for sets of locally finite perimeter that have zero s-mean curvature. For any such set E the perimeter inside a ball of radius R centered at a reduced-boundary point is at least C R to the n-1, where C depends only on dimension n and the fractional parameter s. The same constant remains controlled as s approaches 1 from below. This density control is then used to prove that the fractional Sobolev inequality holds when restricted to the boundary of E.

Core claim

Measurable sets E subset R^n that have locally finite perimeter and zero s-mean curvature obey the surface density estimate Per(E; B_R(x)) greater than or equal to C R^{n-1} for every R greater than 0 and every x in the reduced boundary of E. The constant C depends only on n and s and stays bounded as s tends to 1 from below. The same density control implies that the fractional Sobolev inequality is valid when stated on the boundary of any such set.

What carries the argument

The zero s-mean curvature condition on a set of locally finite perimeter, which is used to derive a uniform positive lower bound on the perimeter measure in balls centered at reduced-boundary points.

If this is right

The lower bound on perimeter is uniform across all scales and all locations on the reduced boundary.
The constant in the density estimate does not blow up when the fractional parameter s approaches the classical case s equals 1.
The fractional Sobolev inequality holds when the functions are restricted to the boundary of any set satisfying the zero s-mean curvature condition.

Where Pith is reading between the lines

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

The density estimate may be useful for proving regularity or classification results for fractional minimal surfaces.
The result suggests that zero s-mean curvature sets behave like classical minimal surfaces in terms of local volume growth even for s far from 1.
One could test whether the same density bound continues to hold for nonlocal curvature notions that are not exactly the s-mean curvature.

Load-bearing premise

The sets are required to have locally finite perimeter so that the reduced boundary is well-defined and the zero s-mean curvature condition can be stated.

What would settle it

A single measurable set of locally finite perimeter whose reduced boundary contains a point x and a sequence of radii R_k going to zero such that Per(E; B_{R_k}(x)) divided by R_k to the n-1 tends to zero would falsify the density claim.

read the original abstract

We prove that measurable sets $E\subset \mathbb R^n$ with locally finite perimeter and zero $s$-mean curvature satisfy the surface density estimates: \begin{align*} \operatorname{Per} (E; B_R(x)) \geq CR^{n-1} \end{align*} for all $R>0$, $x\in \partial^\ast E$. The $C$ depends only on $n$ and $s$, and remains bounded as $s\to 1^-$. As an application, we prove that the fractional Sobolev inequality holds on the boundary of sets with zero $s$-mean curvature.

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

The paper gives a lower density bound on perimeter for zero s-mean curvature sets, with the constant bounded as s approaches 1, plus a direct application to the fractional Sobolev inequality on the boundary.

read the letter

The core result is a surface density lower bound Per(E; B_R(x)) ≥ C R^{n-1} for sets with zero s-mean curvature, where C depends only on n and s and stays controlled as s → 1^-. This is then used to obtain the fractional Sobolev inequality on the boundary of such sets. The uniformity in s is the part that stands out as new relative to earlier nonlocal minimal surface work, since it lets the estimate connect more cleanly to the classical case without the constant blowing up. The setup stays minimal—measurable sets with locally finite perimeter—which is the right minimal assumption to make the reduced boundary and the mean curvature condition well-defined. The application follows in a straightforward way once the density is in hand, because the lower bound controls the surface measure needed for the inequality. The stress-test note is right that no internal inconsistency shows up in the claim structure itself. The main soft spot is that the abstract alone does not show the derivation steps for the uniform bound, so one still needs to check whether the proof avoids any s-dependent blow-up in the constants or approximations. That is a standard verification step rather than a red flag. This is aimed at people working in nonlocal geometric measure theory and regularity for fractional perimeters. A reader already familiar with the local density estimates and the s → 1 limit will see the most value. The result looks like a useful technical tool rather than a broad conceptual shift, but the claim is precise enough that it deserves a serious referee to check the details.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that measurable sets E ⊂ R^n of locally finite perimeter with zero s-mean curvature satisfy the lower density bound Per(E; B_R(x)) ≥ C R^{n-1} for all R > 0 and x ∈ ∂*E, where C depends only on n and s and remains bounded as s → 1^-. As an application, the fractional Sobolev inequality is shown to hold on the boundary of such sets.

Significance. If the result holds, the uniform-in-s density estimates strengthen the regularity theory for nonlocal minimal surfaces by providing a lower bound stable under the local limit s → 1^-, which is a load-bearing step for many compactness and regularity arguments in the field. The application to the fractional Sobolev inequality on the boundary supplies a new geometric setting in which such inequalities are valid, potentially useful for trace theorems and embedding results on nonlocal minimal hypersurfaces.

minor comments (2)

The abstract states the density estimate and the Sobolev application but does not indicate the precise location in the manuscript where the uniformity of C as s → 1^- is established; a forward reference to the relevant theorem or proposition would improve readability.
Notation for the reduced boundary ∂*E and the perimeter measure Per(E; ·) is introduced without an explicit reminder of the standard definitions from geometric measure theory; adding a brief sentence in the introduction would aid readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, the accurate summary of the main results, and the recommendation of minor revision. The significance highlighted aligns with our motivation for the work. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper derives surface density lower bounds directly from the given assumptions of locally finite perimeter and zero s-mean curvature (a standard condition for nonlocal minimal surfaces), without any reduction to fitted parameters, self-definitional loops, or load-bearing self-citations. The fractional Sobolev inequality application is presented as a consequence of the density estimate. The derivation chain is self-contained against external benchmarks in the literature on nonlocal perimeters.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard assumptions in geometric measure theory and the definition of fractional mean curvature; no free parameters or new entities are introduced based on the abstract.

axioms (2)

domain assumption The fractional mean curvature is well-defined for sets of locally finite perimeter
Invoked to state the main theorem in the abstract.
standard math Standard properties of the perimeter measure and reduced boundary hold in R^n
Required to formulate the density estimate and the reduced boundary ∂*E.

pith-pipeline@v0.9.0 · 5624 in / 1446 out tokens · 32505 ms · 2026-05-24T00:02:19.217988+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.

Theorem 1.1 … Per(E;BR) ≥ CR^{n-1} … Hs,E=0 on ∂*E … interpolation inequality … Caffarelli-Silvestre extension … ΦE,x monotone
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

Corollary 3.2 … Pers(E;BR) ≤ C(ε^{-(1-s)/s} R^{1-s} Per(E;BδR) + …)

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.

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

[1]

Universal Hardy-Sobolev inequalities on hypersurfaces of Euclidean space

url: https://doi.org/10.4171/aihpc/39. [CFS24a] Michele Caselli, Enric Florit-Simon, and Joaquim Serra. Fractional Sobolev spaces on Riemannian manifolds. 2024. arXiv: 2402.04076 [math.AP] . [CFS24b] Michele Caselli, Enric Florit-Simon, and Joaquim Serra. Yau’s conjecture for nonlocal minimal surfaces. 2024. arXiv: 2306.07100 [math.DG] . [CM22] Xavier Cab...

work page doi:10.4171/aihpc/39 2024
[2]

Sobolev and mean-value inequalities on generalized submanifolds of Rn

xx+454. isbn: 978-1-107-02103-7. doi: 10.1017/CBO9781139108133. url: https: //doi.org/10.1017/CBO9781139108133. [MS73] J. H. Michael and L. M. Simon. “Sobolev and mean-value inequalities on generalized submanifolds of Rn”. In: Communications on Pure and Applied Mathematics 26 (1973), REFERENCES 17 pp. 361–379. issn: 0010-3640,1097-0312. doi: 10.1002/cpa.3...

work page doi:10.1017/cbo9781139108133 1973

[1] [1]

Universal Hardy-Sobolev inequalities on hypersurfaces of Euclidean space

url: https://doi.org/10.4171/aihpc/39. [CFS24a] Michele Caselli, Enric Florit-Simon, and Joaquim Serra. Fractional Sobolev spaces on Riemannian manifolds. 2024. arXiv: 2402.04076 [math.AP] . [CFS24b] Michele Caselli, Enric Florit-Simon, and Joaquim Serra. Yau’s conjecture for nonlocal minimal surfaces. 2024. arXiv: 2306.07100 [math.DG] . [CM22] Xavier Cab...

work page doi:10.4171/aihpc/39 2024

[2] [2]

Sobolev and mean-value inequalities on generalized submanifolds of Rn

xx+454. isbn: 978-1-107-02103-7. doi: 10.1017/CBO9781139108133. url: https: //doi.org/10.1017/CBO9781139108133. [MS73] J. H. Michael and L. M. Simon. “Sobolev and mean-value inequalities on generalized submanifolds of Rn”. In: Communications on Pure and Applied Mathematics 26 (1973), REFERENCES 17 pp. 361–379. issn: 0010-3640,1097-0312. doi: 10.1002/cpa.3...

work page doi:10.1017/cbo9781139108133 1973