Pith. sign in

REVIEW 3 minor 1 cited by

Minimizing clusters with prescribed asymptotic geometry

T0 review · 0 major / 3 minor · reviewed 2026-06-27 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read For singular area-minimizing hypercones meeting an explicit energy bound, locally minimizing (1,2)-clusters exist with exterior interfaces asymptotic to the cone at quantitative rates.

desk verdict They give an explicit construction for (1,2)-clusters asymptotic to prescribed Simons-type cones in even dimensions >=8 by verifying the needed energy bound, which drops the old 2700 cap. read the letter →

arxiv 2606.07468 v1 pith:O7OQXCVK submitted 2026-06-05 math.AP math.DG

Robin Neumayer , Michael Novack , Anna Skorobogatova This is my paper · ORCID
classification math.APmath.DG
keywords minimizingclusters(12)-clustersarea-minimizingconesHardt-SimonfoliationasymptoticgeometrySimonsLawsonsingularminimalhypersurfaces
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 shows how to build locally minimizing clusters in dimensions eight and higher whose outer interfaces approach prescribed singular area-minimizing hypercones rather than flat planes. Earlier work either restricted clusters to standard lenses with planar boundaries or produced clusters whose limiting cone remained unspecified. The new method relies on the Hardt-Simon foliation once the cone satisfies a stated energy threshold, yielding clusters for generalized Simons cones in every even dimension at least eight and for one cylindrical example in dimension nine. When the cone is an area-minimizing Lawson cone that meets the bound, the construction supplies a countably infinite family of distinct clusters that differ only in their leading asymptotic decay. The result removes the earlier restriction that ambient dimension stay below 2700 when the dimension is even.

What carries the argument

The Hardt-Simon foliation of the cone, which supplies the level sets used to define the cluster interfaces that remain asymptotic to the given cone.

What would settle it

A computation or proof that a generalized Simons cone C_{k,k} violates the energy bound, or that no locally minimizing cluster asymptotic to such a cone exists despite the bound holding.

Watch

Extended reading notes

Core claim

For a singular area-minimizing hypercone C that has an isolated singularity or is cylindrical, if C satisfies an explicit energy bound, then there exists a locally minimizing (1,2)-cluster whose exterior interface is asymptotic to C with quantitative rates; when C is an area-minimizing Lawson cone satisfying the bound, the construction produces a countably infinite family of distinct clusters distinguished by their prescribed leading-order asymptotic decay.

Load-bearing premise

The target cone must satisfy the explicit energy bound that makes the Hardt-Simon foliation construction possible.

Editorial extensions

If this is right

  • Locally minimizing (1,2)-clusters exist with exterior interfaces asymptotic to the generalized Simons cones C_{k,k} in every even ambient dimension n+1 = 2k+2 at least 8.
  • A countably infinite family of distinct locally minimizing clusters asymptotic to each such Lawson cone can be produced, each with a different leading decay rate.
  • The construction applies directly to the cylindrical cone C_{3,3} times R in R^9.
  • The previous upper bound of 2700 on ambient dimension no longer applies when the dimension is even.

Reading between the lines

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

  • The same foliation technique might apply to other area-minimizing cones once their energy can be verified against the bound.
  • The quantitative decay rates furnished by the construction could be used to study the stability of these clusters under small perturbations.
  • The method suggests a route to realizing a wider range of singular minimal hypersurfaces as interfaces of clusters in dimensions where existence was previously open.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 3 minor

Summary. The paper constructs locally minimizing (1,2)-clusters in R^{n+1} whose exterior interfaces are asymptotic to a prescribed singular area-minimizing hypercone C (isolated singularity or cylindrical) provided C satisfies an explicit energy bound. The construction employs the Hardt-Simon foliation and yields quantitative decay rates; for area-minimizing Lawson cones meeting the bound, a countably infinite family of distinct clusters is obtained, distinguished by leading-order asymptotic decay. The energy bound is verified explicitly for the generalized Simons cones C_{k,k} in every even dimension n+1=2k+2≥8 and for the cylindrical cone C_{3,3}×R in R^9, thereby realizing these cones and removing the previous ambient-dimension restriction of 2700 for even dimensions.

Significance. If the results hold, the work supplies the first explicit realizations of prescribed singular cones as blow-downs of minimizing clusters, together with quantitative rates and infinite families. It strengthens the preceding existence results (Bronsard-Novack, the authors with Bronsard, Novaga-Paolini-Tortorelli) by replacing an unknown cone with a concrete one and by furnishing a dimension-independent construction for even ambient dimensions. The explicit verification of the energy bound on known cones and the use of the Hardt-Simon foliation constitute concrete, falsifiable contributions to the theory of minimizing clusters and minimal hypersurfaces.

minor comments (3)
  1. [Introduction] The precise statement of the energy bound (invoked in the abstract and §1) should be displayed as a numbered display equation early in the introduction so that the conditional hypothesis is immediately visible to the reader.
  2. [Verification section] In the verification for C_{k,k} (presumably §4 or §5), the dependence of the constants on k should be stated explicitly; the current text leaves unclear whether the bound holds uniformly or requires k-dependent adjustments.
  3. [§2] Notation for the (1,2)-cluster and its exterior interface should be fixed once at the beginning of §2 and used consistently; occasional redefinition of symbols (e.g., the asymptotic decay parameter) creates minor ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their thorough reading, positive summary, and recommendation to accept the manuscript. No major comments were raised in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity identified

full rationale

The derivation is an existence result conditional on an explicit energy bound for the cone C, which the paper verifies directly for the generalized Simons cones C_{k,k} and the cylindrical case C_{3,3}×ℝ. The construction invokes the Hardt-Simon foliation from independent prior literature (different authors). Self-citations to the authors' earlier joint work with Bronsard supply background on the cone realization problem but are not load-bearing for the new quantitative asymptotic construction or the bound verification. No fitted parameters, self-definitional quantities, or reductions by construction appear in the central claims or equations.

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

The result rests on standard background results in geometric measure theory (regularity, monotonicity formulas, foliations) and the area-minimizing property of the input cones; no free parameters or new entities are introduced beyond the energy bound condition, which is treated as a hypothesis rather than fitted.

assumptions (2)
  • standard math Standard regularity and compactness theorems for area-minimizing hypersurfaces and clusters in geometric measure theory
    Invoked implicitly to guarantee that the constructed interfaces are minimizing and that the asymptotic behavior is well-defined.
  • domain assumption Existence and properties of the Hardt-Simon foliation around the given cone
    The construction method is built on this foliation; its applicability is assumed for cones with isolated singularities or cylindrical structure.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Minimizing clusters with prescribed asymptotic geometry." pith.science (2026). https://pith.science/paper/O7OQXCVK

@misc{pith2026260607468,
  author       = {Pith},
  title        = {Pith review of: Minimizing clusters with prescribed asymptotic geometry},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/O7OQXCVK}},
  note         = {Machine review of arXiv:2606.07468}
}
abstract

We construct locally minimizing $(1,2)$-clusters whose exterior interfaces are asymptotic to various prescribed singular area-minimizing cones. For $n+1 \leq 7$, Bronsard & Novack characterized all minimizing $(1,2)$-clusters as standard lenses, whose exterior interface is planar. For $n+1 \in [8,2700]$, the authors together with Bronsard showed the existence of a locally minimizing $(1,2)$-cluster whose exterior interface blows down to some (unknown, possibly non-unique) singular area-minimizing hypercone. For $n+1=8$, this was shown independently by Novaga, Paolini & Tortorelli. Here we develop a refined construction using the Hardt-Simon foliation that realizes prescribed cones. For a singular area-minimizing hypercone $C$ that has an isolated singularity or is cylindrical, we show that if $C$ satisfies an explicit energy bound, then there is a locally minimizing $(1,2)$-cluster whose exterior interface is asymptotic to $C$ with quantitative rates. In fact, if $C$ is an area minimizing Lawson cone satisfying this energy bound, we produce a countably infinite family of distinct locally minimizing clusters asymptotic to $C$, distinguished by their prescribed asymptotic decay to leading order. We verify this energy bound for the generalized Simons cones $C_{k,k}$ in every even ambient dimension $n+1 = 2k+2\geq 8$, and for the cylindrical cone $C_{3,3}\times\mathbb{R}$ in $\mathbb{R}^9$, where $C_{3,3}$ is the Simons cone, therefore answering the cone realization problem in these cases. This in particular removes the upper bound of 2700 on the ambient dimension when $n+1$ is even in our preceding work.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Anisotropic isoperimetric double tilings of the plane

    math.AP 2026-07 accept novelty 6.5 of 10

    Under L1 perimeter the isoperimetric double-tiling profile is 2√x + 2√(1-x), uniquely realized by the Pythagorean tiling of two axis-aligned squares except at equal area.

Reference graph

Works this paper leans on

37 extracted references · cited by 1 Pith paper

  1. [1]

    Alama, L

    S. Alama, L. Bronsard, and S. Vriend,The standard lens cluster inR 2 uniquely minimizes relative perimeter, Trans. Amer. Math. Soc. Ser. B12(2025), 516–535. MR4888588

    2025

  2. [2]

    Alama, L

    S. Alama, L. Bronsard, X. Lu, and C. Wang,Core shells and double bubbles in a weighted nonlocal isoperimetric problem, SIAM J. Math. Anal.56(2024), no. 2, 2357–2394. MR4717765

    2024

  3. [3]

    ,Decorated phases in triblock copolymers: zeroth- and first-order analysis, 2025

    2025

  4. [4]

    W. K. Allard,On the first variation of a varifold: boundary behavior, Ann. of Math. (2)101(1975), 418–446. MR397520

    1975

  5. [5]

    F. J. Almgren Jr.,Existence and regularity almost everywhere of solutions to elliptic variational problems with constraints, Mem. Amer. Math. Soc.4(1976), no. 165, viii+199. MR420406

    1976

  6. [6]

    E Bombieri, E De Giorgi, and E Giusti,Minimal cones and the bernstein problem, Inventiones mathematicae7(1969), 243–268

    1969

  7. [7]

    Bonacini, R

    M. Bonacini, R. Cristoferi, and I. Topaloglu,A stability inequality for planar lens partition, Proceedings of the Royal Society of Edinburgh: Section A Mathematics (2025), 1–34

    2025

  8. [8]

    Bronsard, R

    L. Bronsard, R. Neumayer, M. Novack, and A. Skorobogatova,On the non-uniqueness of locally minimizing clusters via singular cones, 2025

    2025

Show all 37 references
  1. [9]

    Bronsard and M

    L. Bronsard and M. Novack,An infinite double bubble theorem, Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire (2025)

    2025

  2. [10]

    Colombo, N

    M. Colombo, N. Edelen, and L. Spolaor,The singular set of minimal surfaces near polyhedral cones, J. Differential Geom.120 (2022), no. 3, 411–503. MR4408288

    2022

  3. [11]

    Davini,On calibrations for Lawson’s cones, Rend

    A. Davini,On calibrations for Lawson’s cones, Rend. Sem. Mat. Univ. Padova111(2004), 55–70. MR2076732

    2004

  4. [12]

    De Philippis and E

    G. De Philippis and E. Paolini,A short proof of the minimality of Simons cone, Rend. Semin. Mat. Univ. Padova121(2009), 233–241. MR2542144

    2009

  5. [13]

    Edelen and L

    N. Edelen and L. Spolaor,Regularity of minimal surfaces near quadratic cones, Ann. of Math. (2)198(2023), no. 3, 1013–1046. MR4660135

    2023

  6. [14]

    Edelen and G

    N. Edelen and G. Sz´ ekelyhidi,A Liouville-type theorem for cylindrical cones, Comm. Pure Appl. Math.77(2024), no. 8, 3557–

    2024

  7. [15]

    Foisy, M

    J. Foisy, M. Alfaro, J. Brock, N. Hodges, and J. Zimba,The standard double soap bubble inR 2 uniquely minimizes perimeter, Pacific J. Math.159(1993), no. 1, 47–59. MR1211384

    1993

  8. [16]

    Hardt and L

    R. Hardt and L. Simon,Area minimizing hypersurfaces with isolated singularities, J. Reine Angew. Math.362(1985), 102–129. MR809969

    1985

  9. [17]

    Hutchings, F

    M. Hutchings, F. Morgan, M. Ritor´ e, and A. Ros,Proof of the double bubble conjecture, Ann. of Math. (2)155(2002), no. 2, 459–489. MR1906593

    2002

  10. [18]

    H. B. Lawson Jr.,The equivariant Plateau problem and interior regularity, Trans. Amer. Math. Soc.173(1972), 231–249. MR308905

    1972

  11. [19]

    Maggi,Sets of finite perimeter and geometric variational problems, Cambridge Studies in Advanced Mathematics, vol

    F. Maggi,Sets of finite perimeter and geometric variational problems, Cambridge Studies in Advanced Mathematics, vol. 135, Cambridge University Press, Cambridge, 2012. An introduction to geometric measure theory. MR2976521

    2012

  12. [20]

    Milman and J

    E. Milman and J. Neeman,Plateau bubbles and the quintuple bubble theorem onS n, 2023

    2023

  13. [21]

    1, 71–188

    ,The structure of isoperimetric bubbles onR n andS n, Acta Math.234(2025), no. 1, 71–188. MR4877375

    2025

  14. [22]

    Milman and B

    E. Milman and B. Xu,Standard bubbles (and other M¨ obius-flat partitions) on model spaces are stable, 2025

    2025

  15. [23]

    Novaga, E

    M. Novaga, E. Paolini, and V. M. Tortorelli,Locally isoperimetric partitions, Trans. Amer. Math. Soc.378(2025), no. 4, 2517–

    2025

  16. [24]

    ,Existence of a non-standard isoperimetric triple partition, In preparation

  17. [25]

    Paolini and V

    E. Paolini and V. M. Tortorelli,The quadruple planar bubble enclosing equal areas is symmetric, Calc. Var. Partial Differential Equations59(2020), no. 1, Paper No. 20, 9. MR4048329

    2020

  18. [26]

    B. W. Reichardt,Proof of the double bubble conjecture inR n, J. Geom. Anal.18(2008), no. 1, 172–191. MR2365672

    2008

  19. [27]

    B. W. Reichardt, C. Heilmann, Y. Y. Lai, and A. Spielman,Proof of the double bubble conjecture inR 4 and certain higher dimensional cases, Pacific J. Math.208(2003), no. 2, 347–366. MR1971669

    2003

  20. [28]

    A. D. Rosa and R. Tione,The double and triple bubble problem for stationary varifolds: the convex case, Trans. Amer. Math. Soc. 378(2025feb), no. 5, 3393–3444

  21. [29]

    Simon,Lectures on geometric measure theory, Proceedings of the Centre for Mathematical Analysis, Australian National University, vol

    L. Simon,Lectures on geometric measure theory, Proceedings of the Centre for Mathematical Analysis, Australian National University, vol. 3, Australian National University, Centre for Mathematical Analysis, Canberra, 1983

    1983

  22. [30]

    2, 327–335

    ,A strict maximum principle for area minimizing hypersurfaces, Journal of differential geometry26(1987), no. 2, 327–335

    1987

  23. [31]

    Differential Geom.30(1989), no

    ,Entire solutions of the minimal surface equation, J. Differential Geom.30(1989), no. 3, 643–688. MR1021370

    1989

  24. [32]

    ,A Liouville-type theorem for stable minimal hypersurfaces, Ars Inven. Anal. (2021), Paper No. 5, 35. MR4462473

    2021

  25. [33]

    Simon and B

    L. Simon and B. Solomon,Minimal hypersurfaces asymptotic to quadratic cones inR n+1, Invent. Math.86(1986), no. 3, 535–551. MR860681

    1986

  26. [34]

    Sternberg, G

    P. Sternberg, G. Williams, and W. Ziemer,Existence, uniqueness, and regularity for functions of least gradient., Journal f¨ ur die reine und angewandte Mathematik430(1992), 35–60

    1992

  27. [35]

    J. E. Taylor,Regularity of the singular sets of two-dimensional area-minimizing flat chains modulo3inR 3, Invent. Math.22 (1973), 119–159. MR333903

    1973

  28. [36]

    Wang,Mean convex smoothing of mean convex cones, Geometric and Functional Analysis34(2024/02/01), no

    Z. Wang,Mean convex smoothing of mean convex cones, Geometric and Functional Analysis34(2024/02/01), no. 1, 263–301. 31

    2024

  29. [37]

    Wichiramala,Proof of the planar triple bubble conjecture, J

    W. Wichiramala,Proof of the planar triple bubble conjecture, J. Reine Angew. Math.567(2004), 1–49. MR2038304 Department of Mathematical Scienes, Carnegie Mellon University, 5000 Forbes A venue, Pittsburgh, PA 15213, United States of America Email address:neumayer@cmu.edu Depar...

    2004

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.