pith. sign in

arxiv: 2605.02176 · v1 · submitted 2026-05-04 · 🧮 math.AP

Volumetric density estimates for nonlocal minimal surfaces

Mateusz Kwa\'snicki , Jack Thompson This is my paper

Pith reviewed 2026-05-08 19:06 UTC · model grok-4.3

classification 🧮 math.AP
keywords nonlocal minimal surfacesvolumetric density estimatesviscosity subsolutionsnonlocal mean curvaturefractional Laplacianfat boundarysymmetric kernels
0
0 comments X

The pith

Viscosity subsolutions to nonlocal mean curvature equations satisfy universal volumetric density estimates at all scales.

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

The paper proves that viscosity subsolutions to nonlocal mean curvature-type equations have universal lower bounds on their volume inside balls of any radius. These bounds apply to general symmetric kernels that are comparable to the fractional Laplacian. A further result shows that any such subsolution with density below a universal threshold must have a topological boundary of positive Lebesgue measure. The estimates therefore prevent these nonlocal surfaces from becoming arbitrarily sparse at any length scale.

Core claim

Viscosity subsolutions to nonlocal mean curvature-type equations satisfy universal volumetric estimates at all scales for general symmetric kernels comparable to the fractional Laplacian. Furthermore, subsolutions with low density necessarily have fat boundaries, that is, topological boundaries with positive Lebesgue measure.

What carries the argument

The viscosity subsolution concept for the nonlocal mean curvature operator defined by symmetric kernels comparable to the fractional Laplacian, used to derive scale-invariant volume lower bounds.

If this is right

  • Any such subsolution occupies a definite positive fraction of volume in every ball, independent of radius.
  • Low-density subsolutions cannot have boundaries of Lebesgue measure zero.
  • The density controls remain uniform across all length scales.
  • The results apply to the full class of kernels satisfying the stated symmetry and comparability conditions.

Where Pith is reading between the lines

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

  • The density bounds may be useful for controlling convergence or regularity of sequences of nonlocal minimal surfaces.
  • The fat-boundary conclusion could link to questions about the Hausdorff dimension of interfaces in nonlocal problems.
  • Numerical approximation of solutions could test whether the constants in the estimates are sharp.

Load-bearing premise

The kernels are symmetric and comparable to the fractional Laplacian; without this comparability the universal estimates need not hold.

What would settle it

Construct or exhibit a viscosity subsolution for a symmetric kernel comparable to the fractional Laplacian that occupies zero volume inside some ball or that has low density yet a boundary of Lebesgue measure zero.

read the original abstract

In this article, we prove that viscosity subsolutions to nonlocal mean curvature-type equations satisfy universal volumetric estimates at all scales. Our results hold for general symmetric kernels that are comparable to the fractional Laplacian. Furthermore, we prove that subsolutions with low density (with respect to a universal constant) necessarily have `fat boundary', that is, have topological boundary with positive Lebesgue measure.

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 proves that viscosity subsolutions to nonlocal mean curvature-type equations satisfy universal volumetric density estimates at all scales. The results apply to general symmetric kernels comparable to the fractional Laplacian. It further shows that subsolutions with low density (below a universal constant) necessarily have fat boundaries, i.e., topological boundaries with positive Lebesgue measure.

Significance. If the claims hold, the work extends the density theory for nonlocal minimal surfaces from the fractional Laplacian to a broader class of symmetric kernels under explicit comparability assumptions. The scale-independent estimates and the fat-boundary conclusion supply new tools for regularity theory and geometric measure theory in the nonlocal setting. The approach relies on standard viscosity techniques without introducing free parameters or ad-hoc reductions.

minor comments (3)
  1. [Abstract] The abstract states the kernel comparability hypothesis clearly but could add one sentence quantifying the constants (e.g., the ratio bounds between the kernel and |x|^{-n-2s}) to make the setting immediately visible to readers.
  2. [Main theorem] In the statement of the main density estimate, confirm that the universal constant is independent of the particular kernel within the comparability class; this is asserted but the dependence (or independence) on the comparability constants should be tracked explicitly in the proof.
  3. [Section on fat boundaries] The fat-boundary result is interesting; a brief remark on whether the positive-measure conclusion is sharp (e.g., an example where the boundary has measure zero but density is still low) would strengthen the discussion.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment and recommendation to accept the manuscript. The referee's summary accurately captures our main results on universal volumetric density estimates for viscosity subsolutions to nonlocal mean curvature-type equations under general symmetric kernels comparable to the fractional Laplacian, as well as the fat-boundary conclusion for low-density subsolutions.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The manuscript states and proves direct theorems on volumetric density estimates for viscosity subsolutions to nonlocal mean curvature equations, under the explicit hypothesis that kernels are symmetric and comparable to the fractional Laplacian. No quantity is defined in terms of itself, no fitted parameter is relabeled as a prediction, and no load-bearing step reduces to a self-citation chain or imported uniqueness result. The argument proceeds by standard viscosity techniques from the stated assumptions without internal reduction to the target estimates. The derivation is therefore self-contained against the given hypotheses.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The results rest on the standard definition of viscosity subsolutions for nonlocal curvature equations and the assumption that kernels are symmetric and comparable to the fractional Laplacian; these are domain assumptions rather than derived quantities.

axioms (2)
  • domain assumption Viscosity subsolution definition for nonlocal mean curvature-type equations
    Invoked as the class of objects to which the estimates apply; standard in the field but not proved here.
  • domain assumption Kernels are symmetric and comparable to the fractional Laplacian
    Explicitly stated as the setting in which the results hold.

pith-pipeline@v0.9.0 · 5341 in / 1361 out tokens · 33834 ms · 2026-05-08T19:06:04.957136+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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

24 extracted references · 24 canonical work pages

  1. [1]

    Nonlocal minimal surfaces: recent developments, applications, and future directions , volume =

    Serra, Joaquim , date =. Nonlocal minimal surfaces: recent developments, applications, and future directions , volume =. doi:10.1007/s40324-023-00345-1 , pages =

    work page doi:10.1007/s40324-023-00345-1

  2. [2]

    Regularity results for nonlocal minimal surfaces , isbn =

    Cinti, Eleonora , date =. Regularity results for nonlocal minimal surfaces , isbn =. Current trends in analysis, its applications and computation , publisher =. doi:10.1007/978-3-030-87502-2_45 , series =

    work page doi:10.1007/978-3-030-87502-2_45

  3. [3]

    Cozzi, Matteo and Thompson, Jack , title =

    work page

  4. [4]

    Some perspectives on (non)local phase transitions and minimal surfaces , volume =

    Dipierro, Serena and Valdinoci, Enrico , date =. Some perspectives on (non)local phase transitions and minimal surfaces , volume =. doi:10.1142/S1664360723300013 , pages =

    work page doi:10.1142/s1664360723300013

  5. [5]

    Nonlocal minimal surfaces: interior regularity, quantitative estimates and boundary stickiness , url =

    Dipierro, Serena and Valdinoci, Enrico , date =. Nonlocal minimal surfaces: interior regularity, quantitative estimates and boundary stickiness , url =. Recent developments in nonlocal theory , publisher =. doi:10.1515/9783110571561-006 , pages =

    work page doi:10.1515/9783110571561-006

  6. [6]

    doi:10.1007/s00526-024-02846-x , pages =

    Moy, Julien , date =. doi:10.1007/s00526-024-02846-x , pages =

    work page doi:10.1007/s00526-024-02846-x

  7. [7]

    Calibrations and null-Lagrangians for nonlocal perimeters and an application to the viscosity theory , volume =

    Cabré, Xavier , date =. Calibrations and null-Lagrangians for nonlocal perimeters and an application to the viscosity theory , volume =. doi:10.1007/s10231-020-00952-z , pages =

    work page doi:10.1007/s10231-020-00952-z

  8. [8]

    and Mora-Corral, Carlos , date =

    Bellido, José C. and Mora-Corral, Carlos , date =. Existence for nonlocal variational problems in peridynamics , volume =. doi:10.1137/130911548 , pages =

    work page doi:10.1137/130911548

  9. [9]

    Lectures on Minimal Surface Theory , url =

    White, Brian , date =. Lectures on Minimal Surface Theory , url =

    work page

  10. [10]

    Pogorelov, A. V. , date =. On the stability of minimal surfaces , volume =

    work page

  11. [11]

    Proofs of some classical theorems in minimal surface theory , volume =

    Meeks,. Proofs of some classical theorems in minimal surface theory , volume =. doi:10.1512/iumj.2005.54.2638 , pages =

    work page doi:10.1512/iumj.2005.54.2638 2005

  12. [12]

    and Minicozzi,

    Colding, Tobias H. and Minicozzi,. Estimates for parametric elliptic integrands , issn =. doi:10.1155/S1073792802106106 , pages =

    work page doi:10.1155/s1073792802106106

  13. [13]

    Fractional Sobolev spaces on Riemannian manifolds , volume =

    Caselli, Michele and Florit-Simon, Enric and Serra, Joaquim , date =. Fractional Sobolev spaces on Riemannian manifolds , volume =. doi:10.1007/s00208-024-02894-w , pages =

    work page doi:10.1007/s00208-024-02894-w

  14. [14]

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

    Thompson, Jack , date =. Density estimates and the fractional Sobolev inequality for sets of zero s -mean curvature , volume =. doi:10.1007/s00526-025-03137-9 , pages =

    work page doi:10.1007/s00526-025-03137-9

  15. [15]

    Stable s -minimal cones in

    Cabré, Xavier and Cinti, Eleonora and Serra, Joaquim , date =. Stable s -minimal cones in. doi:10.1515/crelle-2019-0005 , pages =

    work page doi:10.1515/crelle-2019-0005 2019

  16. [16]

    Stable s -minimal cones in R^2 are flat for s 0 , volume =

    Caselli, Michele , date =. Stable s -minimal cones in R^2 are flat for s 0 , volume =. doi:10.1016/j.na.2025.113828 , pages =

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

  17. [17]

    2025 , eprint=

    Yau's conjecture for nonlocal minimal surfaces , author=. 2025 , eprint=

    work page 2025

  18. [18]

    Quantitative flatness results and

    Cinti, Eleonora and Serra, Joaquim and Valdinoci, Enrico , date =. Quantitative flatness results and. doi:10.4310/jdg/1563242471 , pages =

    work page doi:10.4310/jdg/1563242471

  19. [19]

    and Fusco, N

    Figalli, A. and Fusco, N. and Maggi, F. and Millot, V. and Morini, M. , date =. Isoperimetry and stability properties of balls with respect to nonlocal energies , volume =. doi:10.1007/s00220-014-2244-1 , pages =

    work page doi:10.1007/s00220-014-2244-1

  20. [20]

    Universal Hardy-Sobolev inequalities on hypersurfaces of Euclidean space

    Cabré, Xavier and Cozzi, Matteo and Csató, Gyula , date =. A fractional Michael-Simon Sobolev inequality on convex hypersurfaces , volume =. doi:10.4171/aihpc/39 , pages =

    work page doi:10.4171/aihpc/39

  21. [21]

    Hitchhiker's guide to the fractional Sobolev spaces , journal =

    Di Nezza, Eleonora and Palatucci, Giampiero and Valdinoci, Enrico , date =. Hitchhiker's guide to the fractional Sobolev spaces , volume =. doi:10.1016/j.bulsci.2011.12.004 , pages =

    work page doi:10.1016/j.bulsci.2011.12.004 2011

  22. [22]

    Sobolev and mean-value inequalities on generalized submanifolds of Rn

    Maggi, Francesco , date =. Sets of finite perimeter and geometric variational problems , volume =. doi:10.1017/CBO9781139108133 , keywords =

    work page doi:10.1017/cbo9781139108133

  23. [23]

    A course in minimal surfaces , volume =

    Colding, Tobias Holck and Minicozzi,. A course in minimal surfaces , volume =. doi:10.1090/gsm/121 , keywords =

    work page doi:10.1090/gsm/121

  24. [24]

    and Roquejoffre, J.-M

    Caffarelli, L. and Roquejoffre, J.-M. and Savin, O. , date =. Nonlocal minimal surfaces , volume =. doi:10.1002/cpa.20331 , pages =

    work page doi:10.1002/cpa.20331