Pith. sign in

REVIEW 2 major objections 6 minor 22 references

Optimal regularity up to the boundary for Plateau-quasi-minimizers

T0 review · 2 major / 6 minor · reviewed 2026-08-06 · deepseek-v4-flash

Pith's one-line read Plateau-quasi-minimizers with prescribed boundary data are, up to an equivalent set, exactly the bi-John domains with Ahlfors regular boundary.

desk verdict A serious, mostly careful paper with a plausible main theorem, but Lemma 3.4 has a real gap that blocks the direct implication as written; send it to a referee, not to the printer. read the letter →

arxiv 2507.13189 v1 pith:7TL6ZSFX submitted 2025-07-17 math.OC math.AP

classification math.OCmath.AP MSC 49Q2049Q0528A75
keywords Plateau'sproblemquasi-minimizersofperimetersetsfinitebi-JohndomainsAhlforsregularboundaryuniformrectifiabilityregularityco-dimensionone
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

This paper tries to prove that quasi-minimal solutions of Plateau's problem in co-dimension one, meaning sets whose boundary perimeter is within a fixed factor $Q$ of every admissible competitor, have optimal regularity all the way to the prescribed boundary. The main theorem characterizes them: a set with given boundary data outside a convex region is a Plateau-quasi-minimizer exactly when it can be replaced, up to a measure-zero change, by a bi-John domain with Ahlfors regular boundary. That matters because it converts a variational condition into a purely geometric one, and the resulting boundary regularity is used in phase-field approximations of Plateau's problem.

What carries the argument

Three mechanisms carry the argument. Hypothesis H packages the assumptions on the boundary datum: $\Sigma=\partial E_0\cap(D\setminus C)$ is Ahlfors regular, $E_0$ satisfies Condition B$'$ (balls of $E_0$ and of its complement on both sides of $\Sigma$), and the two regions outside $C$ are isoperimetric domains. Lemma 3.4 is the key local tool: for balls $B(x,r)$ that avoid $\Sigma$, it compares $P(\Omega_0,B(x,s))$ with $Q\,P(\Omega_0\setminus B(x,r),B(x,s))$ by cutting with the convex set $C$ and using the convex-intersection perimeter inequality (Lemma 2.6); this lets interior Ahlfors regularity and Condition B be replayed at boundary balls. The converse uses a weighted Plateau problem (Definition 5.7), whose minimizers are quasi-minimizers, together with a boundary-comparison estimate (Lemma 5.11) showing that two bi-John competitors with regular boundaries and the same boundary data must have the same boundary almost everywhere.

What would settle it

A concrete check is to compute, in the plane, $P(E\cap K,B(x,r))$ versus $P(E,B(x,r))$ when $E$ is a cusp-shaped set touching the convex set $K$ at a single boundary point with zero density, using boundary data of the type constructed in Section 6; if for some admissible $(D,C,E_0)$ satisfying Hypothesis H there is a Plateau-quasi-minimizer and a boundary ball with $\liminf_{r\to0}P(\Omega_0,B(x,r))/r^{N-1}=0$, then Theorem 3.1 is false, and more narrowly, any example with $P(E\cap K,B)>P(E,B)+c$ for some $c>0$ would disprove the local Lemma 2.6 step used in Lemma 3.4.

Watch

Extended reading notes

Core claim

The central claim is Theorem 5.1. Let $(D,C,E_0)$ satisfy Hypothesis H and let $\Omega_0$ be a competitor. Then $\Omega_0$ is a Plateau-quasi-minimizer if and only if there exists an equivalent open set $\Omega$ that is a bi-John domain with regular boundary in the sense of Definition 1.11, meaning $\Omega$ is open, $\operatorname{spt}\mu_\Omega=\partial\Omega$, and $\partial\Omega$ is Ahlfors regular in $D$. Equivalently, every co-dimension one quasi-optimal surface fixed outside a convex set is, up to a negligible modification, a domain whose interior and exterior are both John domains and whose boundary has Hausdorff measure comparable to $r^{N-1}$ in every ball; conversely, every such domain with the same boundary data is a quasi-minimizer. The forward direction is proved by establishing Ahlfors regularity up to the boundary, then uniform rectifiability and the Big Pieces of Lipschitz Graphs property up to the boundary, then isoperimetry for the domain and its complement, and finally invoking the John-domain criterion; the converse is proved through a weighted Plateau problem whose minimizers are automatically quasi-minimizers and which forces the boundary of the given bi-John domain to coincide almost everywhere with the minimizer.

Load-bearing premise

The boundary Ahlfors regularity step assumes a local version of the convex-cut perimeter inequality: replacing a set by its intersection with a convex set inside a ball never increases the perimeter measured in that ball, whereas the paper proves the inequality only for the whole domain.

Editorial extensions

If this is right

  • Every Plateau-quasi-minimizer has an equivalent open representative whose topological boundary is Ahlfors regular in $D$, so perimeter in balls scales like $r^{N-1}$ up to the boundary.
  • The same representative satisfies Condition B and hence has Big Pieces of Lipschitz Graphs, so the quasi-optimal surface is uniformly rectifiable up to the boundary.
  • The characterization is sharp: cusps or other non-John boundary behavior in a set with the same boundary data force the quasi-minimality condition to fail.
  • The regularity transfers by bi-Lipschitz maps to non-convex containers such as curved cylinders, because bi-Lipschitz maps preserve essential boundaries, Ahlfors regularity, the BPLG property, and the bi-John property.
  • Ahlfors regularity up to the boundary underpins a phase-field, $\Gamma$-convergence type approximation of Plateau's problem.

Reading between the lines

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

  • Editorial inference: the most delicate point to test is the unproved local form of the convex-cut inequality in Lemma 3.4; if it fails, the theorem might still hold but would need a different argument at boundary balls where $\partial C$ and $\partial^*\Omega_0$ interact.
  • Editorial inference: the weighted Plateau problem used for the converse suggests a constructive route to quasi-minimizers, namely minimizing perimeter with a large penalty away from a prescribed bi-John boundary and then letting the penalty tend to infinity; the paper does not study this limit.
  • Editorial inference: the characterization suggests a compactness heuristic, that uniform John and Ahlfors constants with fixed boundary data should prevent degeneration and make sequences of quasi-minimizers subconverge to quasi-minimizers; the paper does not state such a compactness theorem.
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 / 6 minor

Summary. The paper introduces Plateau-quasi-minimizers: finite-perimeter competitors for a De Giorgi-type Plateau problem in a bounded domain D, with a prescribed set E0 outside a convex open set C, satisfying the asymmetric comparison H^{N-1}((∂*Ω0\∂*Ω)∩D) ≤ Q H^{N-1}((∂*Ω\∂*Ω0)∩D). Under Hypothesis H (Ahlfors regularity and Condition B' for Σ=∂E0∩(D\C), plus isoperimetric domain assumptions), the main theorem (Theorem 5.1) asserts that Ω0 is a Plateau-quasi-minimizer if and only if it is equivalent to a bi-John domain with Ahlfors regular boundary. The proof proceeds in three stages: Ahlfors regularity up to the boundary (Section 3), uniform rectifiability/BPLG via Condition B (Section 4), and the bi-John characterization (Section 5), with a weighted Plateau problem for the converse. Section 6 gives a Lipschitz-graph example; Section 7 extends the result to bi-Lipschitz images of C.

Significance. The result, if established, would be a natural and valuable extension of David–Semmes and Rigot to boundary-value (Plateau-type) quasi-minimizers, giving optimal up-to-the-boundary regularity and a converse geometric characterization. The manuscript is largely self-contained, re-proves standard GMT preparatory lemmas, and provides a concrete example and a clean bi-Lipschitz invariance argument. The main theorem is precise and falsifiable. However, the proof of the crucial boundary Ahlfors regularity lemma (Lemma 3.4) contains an unjustified local use of a global convex-intersection inequality; since both directions of Theorem 5.1 rely on Lemma 3.4, the main claim is not established as written.

major comments (2)
  1. [Lemma 3.4, Case 2 (pp. 17–18)] The proof applies Lemma 2.6 to the measurable set U = B(x,s) ∩ Ω0^(0) and asserts the displayed equality P(B(x,r)∩C, U) = P(B(x,r), U) immediately before (3.11). Lemma 2.6 is a global inequality for open sets; for an arbitrary measurable U the analogous local inequality P(E∩K,U) ≤ P(E,U) is false (for example, take U = E ∩ ∂K, which gives a positive left-hand side and zero right-hand side). The hypothesis Σ ∩ B(x,r) = ∅ only gives ∂*Ω0 ∩ B(x,r) ⊂ C; it does not control Ω0^(0) ∩ ∂C or Ω0^(1) ∩ ∂C, which are exactly the sets responsible for the difference between P(B(x,r)∩C, ·) and P(B(x,r), ·). Concretely, the asserted equality is equivalent to H^{N-1}(B(x,r)∩∂C∩U) = H^{N-1}(∂B(x,r)∩(R^N\C)∩U), and nothing in the assumptions forces this balance. The proof therefore needs a genuinely local estimate of the form P(B(x,r)∩C, W) ≤ P(B(x,r), W) for W = B(x,s)∩(Ω0^(1)∪∂*Ω0), or an additional argument showing the two subtracted terms cancel; none is provided. Since (3.11) is used in Proposition 3.3, Theorem 3.1, Theorem 4.4 and the direct implication of Theorem 5.1, this gap is load-bearing.
  2. [Proposition 5.8, Section 5.2] The lower-semicontinuity argument states that “U, D\U and U\∂Ω0 are open sets” and applies lower semicontinuity of perimeter to the term H^{N-1}(∂*Ω_n ∩ (D\U)). Since U is open, D\U is closed, and perimeter on a closed set is not lower semicontinuous under L1 convergence. The preceding choice of U with H^{N-1}(∂*Ω_n∩∂U)=0 and H^{N-1}(∂*Ω∩∂U)=0 appears to permit a repair by replacing D\U with D\overline{U}, but as written the existence proof for minimizers of the weighted problem (5.6), which is needed in the converse implication, is incomplete. This issue is local and likely fixable, unlike the gap in Lemma 3.4.
minor comments (6)
  1. [Section 7.3] The heading “Charectization by bi-John domain” should read “Characterization by bi-John domain”.
  2. [Lemma 3.4, after the main computation] The sentence “The first inequality from the previous calculation is represented in Figure 6” refers to an equality, not an inequality; the wording should be corrected.
  3. [Remark 1.9] The displayed inclusion ∂∗F ⊂ ∂∗F ⊂ ∂F appears to contain a typo; presumably one occurrence should be ∂*F (the essential boundary), otherwise the inclusion is circular.
  4. [Section 6.1] The definition D = λC with λ>1 ensures C ⊂ D only when the dilation is centered at a point of C; since C is an arbitrary convex set, this should be stated explicitly or the dilation center should be chosen inside C.
  5. [Section 6.1, Definition of E0] The boundary condition E0 = A+ is defined on the side shell of D\C, but the top and bottom caps of the dilated cylinder also belong to D\C and are not described; the example should specify E0 there.
  6. [Proposition 5.5] When applying (2.5) to P(Ω\ω), the term H^{N-1}({νΩ = -νω}) is omitted without comment; it vanishes for open ω ⊂ Ω because the reduced-boundary normals coincide rather than oppose, but this justification should be stated.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation chain is built on external benchmarks and independent arguments; the lone self-citation is motivational only.

full rationale

The direct implication of Theorem 5.1 is assembled from Theorem 3.1 (Ahlfors regularity), Theorem 4.4 (uniform rectifiability/Condition B), Propositions 5.5-5.6 (domains of isoperimetry), and the external David-Semmes criterion [DS98, Theorem 6.1] converting Condition B plus isoperimetry into a John domain. Lemma 3.4, the delicate boundary step, invokes the convex-intersection perimeter bound (Lemma 2.6) to compare P(B(x,r)∩C, U) with P(B(x,r), U); whether that local application is fully justified is a proof-completeness question, not a circularity, since Lemma 2.6 is a standard independent GMT result proved in the paper from first principles. The converse implication defines a genuinely new weighted Plateau problem (5.6), proves its minimizer is a Plateau-quasi-minimizer (Proposition 5.9), invokes the already-proved direct implication to get bi-John regularity, and then uses Lemma 5.11, whose proof rests on the external John-domain maximal estimate [DS98, Lemma 7.12], to force ∂Ω = ∂Ω0 and conclude Ω = Ω0 from connected components and the boundary condition. At no point is a predicted quantity shown to equal, by construction, a fitted or assumed input: the bi-John regularity is not assumed in the direct implication and is not used as a hypothesis in the converse beyond the statement being proved, and the equality of boundaries is derived from quantitative estimates rather than stipulated. The only self-reference, [BBLM25], is cited for motivation ('This regularity result is interesting in itself... used in [BBLM25] to prove a Γ-convergence type result') and plays no role in the proofs. Accordingly the circularity score is 0.

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

The paper adds no free parameters or new entities: all constants are derived from the data, namely the dimension N, the quasi-minimizing constant Q, and the constants in Hypothesis H. The load-bearing axioms are standard geometric measure theory theorems and the paper's Hypothesis H. The main caveat is that cited results are sometimes applied locally without proof, notably Lemma 2.6 inside Lemma 3.4.

assumptions (5)
  • standard math Standard results for sets of finite perimeter: coarea formula, relative isoperimetric inequality, Gauss-Green formulas, lower semicontinuity of perimeter
    Used throughout Sections 2 to 5 as background, cited to [AFP00] and [Mag12].
  • standard math David-Semmes John-domain theorem (Prop 5.3) and the Hardy-type estimate for John domains (Lemma 5.10)
    External theorems from [DS98] used in the direct and converse implications of the main theorem.
  • standard math Rigot's interior Condition B and the open representative construction (Rigot Lemma 3.4 and Lemma 3.6)
    Used in Section 4 to obtain an open equivalent set satisfying Condition B inside C.
  • standard math Buczolich's density-point theorem for bi-Lipschitz maps
    Used in Lemma 7.3 to transfer essential boundaries under bi-Lipschitz maps.
  • domain assumption Hypothesis H: (H1) Ahlfors regularity of Sigma, (H2) Condition B', (H3) isoperimetric domains, and partial*E0 = partial E0
    The main theorem is conditional on these assumptions about the boundary constraint E0; the paper argues they are natural and gives a Section 6 example, though the example has a boundary-definition issue.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Optimal regularity up to the boundary for Plateau-quasi-minimizers." pith.science (2026). https://pith.science/paper/7TL6ZSFX

@misc{pith2026250713189,
  author       = {Pith},
  title        = {Pith review of: Optimal regularity up to the boundary for Plateau-quasi-minimizers},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7TL6ZSFX}},
  note         = {Machine review of arXiv:2507.13189}
}
read the original abstract

We study the regularity of quasi-minimal sets (in the sense of David and Semmes) with a boundary condition, which can be interpreted as quasi-minimizers of Plateau's problem in co-dimension one. For these Plateau-quasi-minimizers, we establish the optimal regularity, which is a characterization by bi-John domains with Ahlfors regular boundaries. This requires to investigate the Ahlfors regularity and also the uniform rectifiability of those sets, up to the boundary.

Figures

Figures reproduced from arXiv: 2507.13189 by the authors.

Figure 1
Figure 1. Example to justify hypotheses (H2) and (H3) cusp outside C, and for the same reason it is not a John domain and thus not a domain of isoperimetry. Hence, Hypotheses (H3) and (H2) are not verified by this E0. We will now justify why Ω0 defined in Figure 1b is a Plateau-quasi-minimizer. Consider a different boundary condition E˜ 0 as represented in Figure 2a. Then Ω˜ 0, in green in Figure 2b, is clearly a bi-John doma… view at source ↗
Figure 2
Figure 2. Example to justify that Ω0 is a Plateau-quasi-minimizer essential boundary. This leads to F satsisfying the boundary condition. Hence, any set equivalent to a P-quasi-minimizer (respectively minimizer) of (1.1) such that the support of the Gauss-Green measure coincides with the closure of its essential bound￾ary is itself a P-quasi-minimizer (respectively minimizer) of (1.1). In the rest of the paper, we will thus p… view at source ↗
Figure 3
Figure 3. Interior Ahlfors regularity: B(x, r) ⊂ C and thanks to [Mag12, Proposition 2.16], for almost every r > 0, HN−1 (∂ ∗Ω0 ∩ ∂B(x, r)) = 0. (3.4) Let us fix such r. Step 1. First, we select a competitor for Plateau’s problem, so that we can use the quasi-minimality assumption. We consider Ω = Ω0 \ B(x, r). Since the changes are only made inside of C (from the assumption B(x, r) ⊂ C), Ω is a competitor for (1.1). And this… view at source ↗
Figures from the paper (6 more)
Figure 4
Figure 4. Figure 4: Ahlfors regularity at the boundary: B(x, r) ∩ ∂C ̸= ∅ Proof. First we explain the argument to get the upper bound of (3.9), then we will focus on the lower bound, for each we distinguish several possible scenarios. The upper bound. Let x ∈ ∂Ω0 ∩ D and r > 0 such that B…
Figure 5
Figure 5. Figure 5: Lemma 3.5 Case 1. If Ω0 ∩ B(x, r) ⊂ C (Figure 5a), in which case, since Ω0 \ B(x, r) is a competitor, the quasi-minimality of Ω0 and Remark 1.4 are enough to conclude. Case 2. Otherwise if Ω0 ∩ B(x, r) is not contained in C, then Ω0 \ B(x, r) is no longer a competitor …
Figure 6
Figure 6. Figure 6: P(B(x, r) ∩ C, B(x, s) ∩ Ω (0) 0 ) = P(B(x, r), B(x, s) ∩ Ω (0) 0 ) 4 Uniform rectifiability up to the boundary 4.1 Definition and characterization of uniform rectifiability Having established the Ahlfors regularity of Plateau-quasi-minimizers up to the boundary, we wi…
Figure 7
Figure 7. Figure 7: Example of surface in the cylinder C with boundary Γ. As bounded domain we use D the cylinder C which has been dilated by a factor λ > 1. In other words D = λC, as shown in [PITH_FULL_IMAGE:figures/full_fig_p034_7.png]
Figure 8
Figure 8. Figure 8: Definition of the boundary condition in a cylinder. [PITH_FULL_IMAGE:figures/full_fig_p035_8.png]
Figure 9
Figure 9. Figure 9: Example of a bi-Lipschitz image of the squared based cylinder [PITH_FULL_IMAGE:figures/full_fig_p038_9.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 21 canonical work pages

  1. [1]

    Functions of bounded variation and free discontinuity problems

    Luigi Ambrosio, Nicola Fusco, and Diego Pallara. Functions of bounded variation and free discontinuity problems . Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York, 2000

  2. [2]

    Phase field approximation for Plateau's problem: a curve geodesic distance penalty approach

    Matthieu Bonnivard, Elie Bretin, Antoine Lemenant, and Eve Machefert. Phase field approximation for plateau's problem: a curve geodesic distance penalty approach. Preprint, arXiv :2506.22273 [math. OC ], 2025

  3. [3]

    Approximation of length minimization problems among compact connected sets

    Matthieu Bonnivard, Antoine Lemenant, and Filippo Santambrogio. Approximation of length minimization problems among compact connected sets. SIAM Journal on Mathematical Analysis , 47(2):1489--1529, 2015

  4. [4]

    Density points and bi-lipschitz functions in R ^m

    Zolt \'a n Buczolich. Density points and bi-lipschitz functions in R ^m . Proceedings of the American Mathematical Society , 116(1):53--59, 1992

  5. [5]

    Convex functions: constructions, characterizations and counterexamples , volume 109

    Jonathan M Borwein and Jon D Vanderwerff. Convex functions: constructions, characterizations and counterexamples , volume 109. Cambridge University Press Cambridge, 2010

  6. [6]

    Morceaux de graphes lipschitziens et int \'e grales singulieres

    Guy David. Morceaux de graphes lipschitziens et int \'e grales singulieres. Revista matem \'a tica iberoamericana , 4(1), 1988

  7. [7]

    Su una teoria generale della misura (r-1) -dimensionale in uno spazio ad r dimensioni

    Ennio De Giorgi. Su una teoria generale della misura (r-1) -dimensionale in uno spazio ad r dimensioni. Ann. Mat. Pura Appl. (4) , 36:191--213, 1954

  8. [8]

    Nuovi teoremi relativi alle misure (r-1) -dimensionali in uno spazio ad r dimensioni

    Ennio De Giorgi. Nuovi teoremi relativi alle misure (r-1) -dimensionali in uno spazio ad r dimensioni. Ricerche Mat. , 4:95--113, 1955

Show all 22 references
  1. [9]

    Complementi alla teoria della misura (n-1) - dimensionale in uno spazio n -dimensionale

    Ennio De Giorgi. Complementi alla teoria della misura (n-1) - dimensionale in uno spazio n -dimensionale . Editrice Tecnico Scientifica, Pisa, 1961. Seminario di Matematica della Scuola Normale Superiore di Pisa, 1960-61

  2. [10]

    A direct approach to plateau's problem

    Camillo De Lellis, Francesco Ghiraldin, and Francesco Maggi. A direct approach to plateau's problem. Journal of the European Mathematical Society , 19(8):2219--2240, 2017

  3. [11]

    Quantitative rectifiability and lipschitz mappings

    Guy David and Stephen Semmes. Quantitative rectifiability and lipschitz mappings. Transactions of the American Mathematical Society , 337(2):855--889, 1993

  4. [12]

    Uniform rectifiability and singular sets

    Guy David and Stephen Semmes. Uniform rectifiability and singular sets. In Annales de l'IHP Analyse non lin \'e aire , volume 13, pages 383--443, 1996

  5. [13]

    Quasiminimal surfaces of codimension 1 and john domains

    Guy David and Stephen Semmes. Quasiminimal surfaces of codimension 1 and john domains. pacific journal of mathematics , 183(2):213--277, 1998

  6. [14]

    Uniform rectifiability and quasiminimizing sets of arbitrary codimension , volume 687

    Guy David and Stephen Semmes. Uniform rectifiability and quasiminimizing sets of arbitrary codimension , volume 687. American Mathematical Soc., 2000

  7. [15]

    Minimal surfaces and functions of bounded variation , volume 80

    Enrico Giusti and Graham H Williams. Minimal surfaces and functions of bounded variation , volume 80. Springer, 1984

  8. [16]

    Rotation and strain

    Fritz John. Rotation and strain. Communications on Pure and Applied Mathematics , 14(3):391--413, 1961

  9. [17]

    A modica--mortola approximation for the steiner problem

    Antoine Lemenant and Filippo Santambrogio. A modica--mortola approximation for the steiner problem. Comptes Rendus. Math \'e matique , 352(5):451--454, 2014

  10. [18]

    Optimal regularity for quasiminimal sets of codimension one in R^2 and R^3

    Camille Labourie and Yana Teplitskaya. Optimal regularity for quasiminimal sets of codimension one in R^2 and R^3 . Preprint, arXiv :2411.07210 [math. CA ], 2024

  11. [19]

    Sets of Finite Perimeter and Geometric Variational Problems: An Introduction to Geometric Measure Theory

    Francesco Maggi. Sets of Finite Perimeter and Geometric Variational Problems: An Introduction to Geometric Measure Theory . Cambridge University Press, 1 edition, 2012

  12. [20]

    Injectivity theorems in plane and space

    Olli Martio and Jukka Sarvas. Injectivity theorems in plane and space. Annales Fennici Mathematici , 4(2):383--401, 1979

  13. [21]

    Uniform partial regularity of quasi minimizers for the perimeter

    S \'e verine Rigot. Uniform partial regularity of quasi minimizers for the perimeter. Calculus of Variations and Partial Differential Equations , 10(4):389--406, 2000

  14. [22]

    a is \"a l \

    Jussi V \"a is \"a l \"a . Uniform domains. Tohoku Mathematical Journal, Second Series , 40(1):101--118, 1988

Pith tools

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