Pith. sign in

REVIEW 3 major objections 4 minor 73 references

Multi-Bubble Isoperimetric Problems

T0 review · 3 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash

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

Pith's one-line read The survey establishes that the multi-bubble isoperimetric conjecture holds for all k≤n in Gaussian space and for k≤5 in Euclidean and spherical space, and that standard bubbles in R^n, S^n, H^n are stable for all k≤n+1.

desk verdict A clear, honest survey of recent multi-bubble isoperimetric results, but the stability claims rest on an open regularity extension and the paper itself proves no new theorems. read the letter →

arxiv 2510.07078 v2 pith:OGNGT2DP submitted 2025-10-08 math.DG math.FAmath.SP

Emanuel Milman This is my paper · ORCID
classification math.DGmath.FAmath.SP MSC 49Q2049Q1053A1051B10
keywords multi-bubbleisoperimetricproblemsoapbubblesstabilityclusterspartitionssphericalVoronoiprofileconformalJacobifields
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 survey reports a sequence of results that pin down which soap-bubble clusters minimise perimeter for a given set of enclosed volumes. In Gaussian space the conjecture is settled completely: for every number k of bubbles up to the ambient dimension, the minimiser is a standard simplicial bubble with flat interfaces. In Euclidean and spherical space, the same conclusion holds for up to five bubbles (with uniqueness open on R^n in the five-bubble case), and the proof is reduced to a combinatorial statement about the adjacency graph of cells. The survey also reports that every standard bubble, and more generally every Möbius-flat spherical Voronoi partition, is stable in all three model spaces, meaning no infinitesimal volume-preserving deformation can lower its area. The remaining gap to the full conjecture in R^n and S^n is a single trace identity whose verification is listed as an open problem.

What carries the argument

The central objects are the standard k-bubbles — stereographic projections of the equal-volume Voronoi partition of S^n by k+1 points — and the more general spherical Voronoi partitions. The load-bearing mechanism is the reduction theorem: a minimizer with k≤n must be spherical Voronoi with connected cells, turning the variational problem into a finite-dimensional one. The final comparison uses the multi-bubble isoperimetric profile and conformal Jacobi fields satisfying L_Jac f = (n−1)a; a trace identity for the operator F is what would push the argument beyond five bubbles, and the survey states this identity is not yet verified in general.

What would settle it

Take a candidate minimizing spherical Voronoi k-cluster in S^n with k≥6 that is neither full-dimensional nor Möbius-flat, compute the operator F from the conformal Jacobi fields, and check whether tr(F(½ Id + k⊗k)) = H^{n−1}(Σ1); any violation would block the PDI extension. Alternatively, compare F with its relaxation F0 obtained by conformal perturbation to test the required continuity F(lim Ω_t)=lim F(Ω_t).

Watch

Extended reading notes

Core claim

The central claim: a minimizing k-cluster in R^n or S^n (k≤n) is necessarily a spherical Voronoi cluster with connected cells — interfaces lie on geodesic spheres and cells are cut out by half-space inequalities. This reduces the global problem to finite dimensions, governed by the cell-incidence graph, and rules out disconnected cells and empty chambers. The structure, plus a maximum-principle argument for the isoperimetric profile, proves the double- through quintuple-bubble conjectures on S^n and R^n for n≥k and the full Gaussian conjecture for all 2≤k≤n. Separately, standard k-bubbles in R^n, S^n and H^n are stable for all 1≤k≤n+1, as are regular Möbius-flat spherical Voronoi partitions

Load-bearing premise

Everything beyond five bubbles on S^n and R^n hangs on one unverified identity: for a minimizing spherical Voronoi cluster in S^n, tr(F(½ Id + k⊗k)) must equal H^{n−1}(Σ1); the survey states this could not be verified in general and lists it as Open Problem 6.

Editorial extensions

If this is right

  • The Gaussian multi-bubble conjecture is fully resolved: for every 2≤k≤n the standard simplicial k-bubble uniquely minimizes Gaussian perimeter.
  • In R^n and S^n, the double-, triple-, quadruple- and quintuple-bubble conjectures hold for n≥k; uniqueness on R^n in the quintuple case remains open.
  • Standard k-bubbles in R^n, S^n and H^n are stable for every 1≤k≤n+1, giving local-minimality evidence for the still-open cases.
  • The spherical Voronoi structure theorem shows that cells of a minimizer are connected and no empty chambers can be trapped, resolving a conjecture of Heppes.
  • If the trace identity (8.5) is verified, the same PDI argument would confirm the multi-bubble conjecture on S^n and R^n for all k≤n (without uniqueness on R^n).

Reading between the lines

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

  • The trace identity (8.5) appears to be the single technical gate between the current k≤5 results and the full conjecture in Euclidean and spherical space; a counterexample to it would invalidate the PDI strategy rather than just the conjecture.
  • The stability results for Möbius-flat spherical Voronoi partitions suggest that local minimality holds for a much wider class of bubbles than standard ones, so global uniqueness is a matter of global comparison, not local stability.
  • The Gaussian case being fully closed indicates that the flat-interface variant is the most tractable; extending the PDI approach to H^n would require reversing the sign of a stability inequality, so a genuinely new idea is needed there.
  • One could test the strategy computationally for a k=6 or k=7 spherical Voronoi cluster in S^n by numerically computing the operator F and checking whether (8.5) holds; this would provide evidence either for or against the remaining conjecture.
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

3 major / 4 minor

Summary. This survey by E. Milman reviews recent progress on multi-bubble isoperimetric problems. It reports that the Gaussian multi-bubble conjecture holds for the full applicable range 2 ≤ k ≤ n, that the double-, triple-, quadruple-, and quintuple-bubble conjectures hold on R^n and S^n for n ≥ k, and that standard k-bubbles and more general Möbius-flat spherical Voronoi partitions are stable. The paper includes detailed proof sketches for the spherical Voronoi structure, connectedness of cells, the PDI approach to isoperimetric profiles, and the stability argument, and it closes with a list of open problems. Crucially, the text itself flags two limitations: the trace identity (8.5) needed for general k on S^n/R^n is unverified, and the full stability statement for all test functions requires an unresolved Agmon–Douglis–Nirenberg boundary regularity extension.

Significance. If the reported theorems are correct, they settle major conjectures in soap-bubble geometry for the stated ranges: the Gaussian case completely, and the Euclidean/spherical case up to five bubbles. The survey is valuable as a unified account of a substantial body of work by the author and collaborators. Its strengths include explicit proof sketches, a clear separation of proved results from open problems, and honest statements of technical gaps. The main caveat is that one of the headline claims—the stability theorem in §6—is presented as a confirmed result although the proof is explicitly conditional on an open PDE regularity question. The survey is nevertheless a useful synthesis and does not conceal its limitations.

major comments (3)
  1. [§6 and Open Problem 7] The unqualified bullet 'For all 1≤k≤n+1 and n≥3, standard k-bubbles in R^n,S^n,H^n are stable' is stronger than what the proof sketch supports. §8.9 and Open Problem 7 state that removing the technical assumptions on test functions in the stability test requires extending Agmon–Douglis–Nirenberg regularity from half-planes to convex sectors with aperture cos^{-1}(-1/3), which is not supplied. Since Definition 7.3 defines stability for all smooth compactly supported vector fields, the theorem as stated is conditional. Please revise §6 to state exactly the class of test functions covered, and mark the full statement as open or as conditional on the ADN extension.
  2. [§4 / §8.7–8.8] The survey correctly separates the k≤5 result from the general-k barrier posed by the trace identity (8.5). However, the text should be explicit that the proof of the quintuple result relies on a case distinction in §8.8 that verifies (8.5) in each alternative, while Open Problem 6 concerns proving (8.5) in general for k>5. As written, an uncareful reader could conclude that the PDI argument for all k≤n is blocked by (8.5), which is not the claimed state of affairs.
  3. [§4, Theorem 4.4] The theorem that minimizing k-clusters in R^n and S^n are spherical Voronoi with connected cells is quoted from [47] with only a proof sketch. This is acceptable in a survey, but the survey should indicate more precisely which parts of the proof are fully carried out in [47] and which are being summarized at survey level, so that the reader can distinguish established results from the author's heuristic account.
minor comments (4)
  1. [§4] Typo: 'quituple' should be 'quintuple'.
  2. [References] References [46] and [48] are arXiv preprints. For a journal survey, please mark these as 'arXiv' in the bibliography or state their publication status.
  3. [§6] The phrase 'Modulo technicalities' is vague. A footnote specifying the precise test-function restriction and where the proof appears in [48] would improve precision.
  4. [§8.6] The notation D_con and the statement that LJac is self-adjoint and Fredholm in L2(Σ1, μ^{n−1}) would benefit from a precise reference to the corresponding proposition in [47] where the domain and spectral theory are developed.

Circularity Check

0 steps flagged · score 2.0 of 10

Survey of the author's own published results; no construction-level circularity found, though the stability headline leans on an unreviewed preprint with an explicit open regularity restriction.

full rationale

The paper is explicitly a survey: the headline theorems in Sections 4 and 6 are quoted from the author's prior papers [45, 46, 47, 48] rather than derived in the text. Citing one's own peer-reviewed results in a survey is not, by itself, circularity; [45] and [47] are published in Annals of Mathematics and Acta Mathematica, respectively, and the survey does not redefine a parameter as a prediction. The model profile I_m is defined as the perimeter of the conjectured standard bubble, and the PDI argument aims to prove equality with the true profile; this is a candidate-vs-minimizer comparison, not a fitted-input-called-prediction step. The two explicitly unverified ingredients — the trace identity (8.5) in §8.7 and the Agmon–Douglis–Nirenberg sector-regularity extension in Open Problem 7 — are transparently labeled open problems and are correctness/technical gaps affecting the claimed range, not cases where a stated result reduces to its own input by construction. The stability assertion in Section 6 does rely on the arXiv preprint [48] and on a sketch in §8.9 that still leaves Open Problem 7 unresolved, which is a citation-burden/reproducibility concern rather than a circular derivation. Accordingly, no specific circular step is exhibited; the score reflects only the minor self-citation load rather than any detected equivalence-by-construction.

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

This survey introduces no fitted parameters and no new postulated entities; it organizes existing theorems and conjectures. Its load-bearing inputs are standard geometric measure theory facts (existence, regularity of minimizing clusters) and symmetry reductions, all imported from prior literature. The one step the authors themselves identify as unverified — the trace identity (8.5) — is not assumed as an axiom but is the paper's stated open problem.

assumptions (3)
  • domain assumption Minimizing clusters are regular: interfaces are C∞ except for Y-type (codim 2) and T-type (codim 3) singular sets with H^{n−4}-finite Σ4, satisfying the density bound of Definition 7.1.
    Invoked throughout §7–8 to justify the index form (8.1a/b) and integrations by parts on the interface complex; taken from Taylor [70] and Colombo–Edelen–Spolaor [16], not proved here.
  • domain assumption Existence of minimizing clusters and C∞ regularity of interfaces on weighted Riemannian manifolds with smooth density (Almgren–Morgan theory).
    Section 7 takes this as input ('Using a simple compactness argument ... it is elementary to show the existence'; Almgren [4], Morgan [51]); it underlies the whole survey.
  • domain assumption For k≤n a minimizing cluster may be assumed to have S0-symmetry via Borsuk–Ulam bisection and reflection symmetrization; for k≤n−1 every minimizer has S^{n−k}-symmetry (White–Hutchings).
    The stability test functions of §8.1 and §8.8 are chosen on an S0-symmetric cluster; the authors note that the failure of this symmetry for k=n+1 is exactly why that case remains open (§9(1)).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Multi-Bubble Isoperimetric Problems." pith.science (2026). https://pith.science/paper/OGNGT2DP

@misc{pith2026251007078,
  author       = {Pith},
  title        = {Pith review of: Multi-Bubble Isoperimetric Problems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OGNGT2DP}},
  note         = {Machine review of arXiv:2510.07078}
}
read the original abstract

We survey recent advancements in the characterization of multi-bubble isoperimetric minimizers and the stability of soap bubble partitions. We conclude with some related open problems.

Figures

Figures reproduced from arXiv: 2510.07078 by the authors.

Figure 3.1
Figure 3.1. Stereographic projection of an equal-volume partition of [PITH_FULL_IMAGE:figures/full_fig_p004_3_1.png] view at source ↗
Figure 3.2
Figure 3.2. Left: a standard triple-bubble in R 3 . Right: the 2D cross-section through its plane of symmetry [PITH_FULL_IMAGE:figures/full_fig_p004_3_2.png] view at source ↗
Figure 3.3
Figure 3.3. A standard quadruple-bubble in R 3 (also, the cross-section of a standard quadruple￾bubble in R 4 through its hyperplane of symmetry) from different angles. 4 [PITH_FULL_IMAGE:figures/full_fig_p004_3_3.png] view at source ↗
Figures from the paper (7 more)
Figure 3.4
Figure 3.4. Figure 3.4: A standard simplicial double-bubble in G2 , whose boundary is a Y-cone (left), and a standard simplicial triple-bubble in G3 , whose boundary is a T-cone (right). addition, stereographic projection is a conformal diffeomorphism, preserving both angles and the combina…
Figure 4.1
Figure 4.1. Figure 4.1: Top left: A spherical Voronoi cluster Ω S in S 2 ; Top right: A spherical Voronoi cluster Ω R in R 2 obtained from Ω S by stereographic projection; Bottom left: Ω S drawn from above; Bottom right: the orthogonal projection of Ω S onto its plane of symmetry consists o…
Figure 6.1
Figure 6.1. Figure 6.1: Standard 5-partitions of R 3 with 2 (left), 3 (middle) and 4 (right) unbounded cells. All three are conjectured to be locally minimizing perimeter under volume constraint, but they are only known to be stable. used on R n and Hn if this holds after a stereographic pr…
Figure 6.2
Figure 6.2. Figure 6.2: A non-standard 7-bubble in R 3 with a cubical inner cell, often created by soap bubble magicians, is stable [PITH_FULL_IMAGE:figures/full_fig_p010_6_2.png]
Figure 6.3
Figure 6.3. Figure 6.3: Non-standard 8-partitions of R 3 with 2 (left), 3 (middle) and 4 (right) unbounded cells, are all stable [PITH_FULL_IMAGE:figures/full_fig_p010_6_3.png]
Figure 6.4
Figure 6.4. Figure 6.4: Two stationary regular flat partitions of [PITH_FULL_IMAGE:figures/full_fig_p010_6_4.png]
Figure 8.1
Figure 8.1. Figure 8.1: Non-standard triple-bubbles (left) and quadruple-bubble (right) to be ruled out [PITH_FULL_IMAGE:figures/full_fig_p016_8_1.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

73 extracted references · 7 linked inside Pith

  1. [48]

    Milman and B

    E. Milman and B. Xu. Standard bubbles (and other Möbius-flat partitions) on model spaces are stable. arxiv.org:2504.11185, 2025

    arXiv 2025

  2. [47]

    Milman and J

    E. Milman and J. Neeman. The structure of isoperimetric bubbles onRn andS n.Acta Math., 234(1):71–188, 2025

    2025

  3. [1]

    Agmon, A

    S. Agmon, A. Douglis, and L. Nirenberg. Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions. II.Comm. Pure Appl. Math., 17:35–92, 1964

    1964

  4. [2]

    Alama, L

    S. Alama, L. Bronsard, and S. Vriend. The standard lens cluster inR2 uniquely minimizes relative perimeter.Trans. Amer. Math. Soc. Ser. B, 12:516–535, 2025

    2025

  5. [3]

    A. D. Aleksandrov. Uniqueness theorems for surfaces in the large. V.Amer. Math. Soc. Transl. (2), 21:412–416, 1962

    1962

  6. [4]

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

    1976

  7. [5]

    J. L. Barbosa and M. do Carmo. Stability of hypersurfaces with constant mean curvature. Math. Z., 185(3):339–353, 1984

    1984

  8. [6]

    J. L. Barbosa, M. do Carmo, and J. Eschenburg. Stability of hypersurfaces of constant mean curvature in Riemannian manifolds.Math. Z., 197(1):123–138, 1988

    1988

Show all 73 references
  1. [7]

    Bonacini, R

    M. Bonacini, R. Cristoferi, and I. Topaloglu. A stability inequality for planar lens partition. Proc. Roy. Soc. Edinburgh Sect. A, pages 1–34, 2025. 22

    2025

  2. [8]

    Ch. Borell. The Brunn–Minkowski inequality in Gauss spaces.Invent. Math., 30:207–216, 1975

    1975

  3. [9]

    Bronsard, R

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

    2025 arXiv

  4. [10]

    Bronsard and M

    L. Bronsard and M. Novack. An infinite double bubble theorem. arXiv:2401.08063, to appear in Ann. Inst. H. Poincaré C Anal. Non Linéaire, 2024

    2024 arXiv

  5. [11]

    Yu. D. Burago and V. A. Zalgaller.Geometric inequalities, volume 285 ofGrundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 1988

    1988

  6. [12]

    E. A. Carlen and C. Kerce. On the cases of equality in Bobkov’s inequality and Gaussian rearrangement.Calc. Var. Partial Differential Equations, 13(1):1–18, 2001

    2001

  7. [13]

    Caroccia, K

    M. Caroccia, K. DeMason, and F. Maggi. On the emergence of almost-honeycomb struc- tures in low-energy planar clusters. arXiv:2501.05373, to appear in J. Func. Anal., 2025

    2025 arXiv

  8. [14]

    Caroccia and F

    M. Caroccia and F. Maggi. A sharp quantitative version of Hales’ isoperimetric honeycomb theorem.J. Math. Pures Appl. (9), 106(5):935–956, 2016

    2016

  9. [15]

    Cicalese, G

    M. Cicalese, G. P. Leonardi, and F. Maggi. Sharp stability inequalities for planar double bubbles.Interfaces Free Bound., 19(3):305–350, 2017

    2017

  10. [16]

    Colombo, N

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

    2022

  11. [17]

    J.Corneli, I.Corwin, S.Hurder, V.Sesum, Y.Xu, E.Adams, D.Davis, M.Lee, R.Visocchi, and N. Hoffman. Double bubbles in Gauss space and spheres.Houston J. Math., 34(1):181– 204, 2008

    2008

  12. [18]

    Corneli, N

    J. Corneli, N. Hoffman, P. Holt, G. Lee, N. Leger, S. Moseley, and E. Schoenfeld. Double bubbles inS 3 andH 3.J. Geom. Anal., 17(2):189–212, 2007

    2007

  13. [19]

    Cotton and D

    A. Cotton and D. Freeman. The double bubble problem in spherical space and hyperbolic space.Int. J. Math. Math. Sci., 32(11):641–699, 2002

    2002

  14. [20]

    S. J. Cox, F. Graner, FÁtima Vaz, C. Monnereau-Pittet, and N. Pittet. Minimal perimeter for n identical bubbles in two dimensions: Calculations and simulations.Philosophical Magazine, 83(11):1393–1406, 2003

    2003

  15. [21]

    S. J. Cox, F. Morgan, and F. Graner. Are large perimeter-minimizing two-dimensional clusters of equal-area bubbles hexagonal or circular?Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci., 469(2149):20120392, 10, 2013

    2013

  16. [22]

    G. David. Should we solve Plateau’s problem again? InAdvances in analysis: the legacy of Elias M. Stein, volume 50 ofPrinceton Math. Ser., pages 108–145. Princeton Univ. Press, Princeton, NJ, 2014

    2014

  17. [23]

    De Rosa and R

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

    2025

  18. [24]

    J. Douglas. Solution of the problem of Plateau.Trans. Amer. Math. Soc., 33(1):263–321, 1931

    1931

  19. [25]

    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(1):47–59, 1993

    1993

  20. [26]

    T. C. Hales. The honeycomb conjecture.Discrete Comput. Geom., 25(1):1–22, 2001

    2001

  21. [27]

    J. Hass, M. Hutchings, and R. Schlafly. The double bubble conjecture.Electron. Res. Announc. Amer. Math. Soc., 1(3):98–102, 1995

    1995

  22. [28]

    Hass and R

    J. Hass and R. Schlafly. Double bubbles minimize.Ann. of Math. (2), 151(2):459–515, 2000

    2000

  23. [29]

    Heppes and F

    A. Heppes and F. Morgan. Planar clusters and perimeter bounds.Phil. Mag., 85(12):1333– 1345, 2005

    2005

  24. [30]

    Huang, B

    G. Huang, B. Ma, and M. Zhu. A Reilly type integral formula and its applications. Differential Geom. Appl., 94:Paper No. 102136, 20, 2024

    2024

  25. [31]

    Huang and M

    G. Huang and M. Zhu. Some integral inequalities on weighted Riemannian manifolds with boundary.Proc. Amer. Math. Soc., 151(11):4961–4970, 2023

    2023

  26. [32]

    Hutchings

    M. Hutchings. The structure of area-minimizing double bubbles.J. Geom. Anal., 7(2):285– 304, 1997

    1997

  27. [33]

    Hutchings, F

    M. Hutchings, F. Morgan, M. Ritore, and A. Ros. Proof of the double bubble conjecture. Electron. Res. Announc. Amer. Math. Soc., 6:45–49, 2000

    2000

  28. [34]

    Hutchings, F

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

    2002

  29. [35]

    Regularityinellipticfreeboundaryproblems

    D.Kinderlehrer, L.Nirenberg, andJ.Spruck. Regularityinellipticfreeboundaryproblems. J. Analyse Math., 34:86–119 (1979), 1978

    1979

  30. [36]

    D. King, F. Maggi, and S. Stuvard. Plateau’s problem as a singular limit of capillarity problems (revised).Comm. Pure Appl. Math., 75(5):895–969, 2022

    2022

  31. [37]

    Lawlor and F

    G. Lawlor and F. Morgan. Curvy slicing proves that triple junctions locally minimize area. J. Differential Geom., 44(3):514–528, 1996

    1996

  32. [38]

    G. R. Lawlor. Double bubbles for immiscible fluids inRn.J. Geom. Anal., 24(1):190–204, 2014

    2014

  33. [39]

    G. R. Lawlor. Perimeter-minimizing triple bubbles in the plane and the 2-sphere.Anal. Geom. Metr. Spaces, 7(1):45–61, 2019

    2019

  34. [40]

    G. P. Leonardi. Infiltrations in immiscible fluids systems.Proc. Roy. Soc. Edinburgh Sect. A, 131(2):425–436, 2001

    2001

  35. [41]

    Maggi.Sets of finite perimeter and geometric variational problems: an introduction to Geometric Measure Theory, volume 135 ofCambridge Studies in Advanced Mathematics

    F. Maggi.Sets of finite perimeter and geometric variational problems: an introduction to Geometric Measure Theory, volume 135 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2012. 24

    2012

  36. [42]

    Novack, and D.Restrepo

    F.Maggi, M. Novack, and D.Restrepo. Plateauborders insoapfilmsand Gauss’capillarity theory. arXiv:2310.20169, 2023

    2023 arXiv

  37. [43]

    Theperimeter-minimizingenclosureoftwoareasinS 2.Real Anal

    J.D.Masters. Theperimeter-minimizingenclosureoftwoareasinS 2.Real Anal. Exchange, 22(2):645–654, 1996/97

    1996

  38. [44]

    McGonagle and J

    M. McGonagle and J. Ross. The hyperplane is the only stable, smooth solution to the isoperimetric problem in Gaussian space.Geom. Dedicata, 178(1):277–296, 2015

    2015

  39. [45]

    Milman and J

    E. Milman and J. Neeman. The Gaussian double-bubble and multi-bubble conjectures. Ann. of Math. (2), 195(1):89–206, 2022

    2022

  40. [46]

    Milman and J

    E. Milman and J. Neeman. Plateau bubbles and the quintuple-bubble conjecture. arxiv.org:2307.08164, 2023

    2023 arXiv

  41. [49]

    Montesinos Amilibia

    A. Montesinos Amilibia. Existence and uniqueness of standard bubble clusters of given volumes inR N.Asian J. Math., 5(1):25–31, 2001

    2001

  42. [50]

    F. Morgan. Strict calibrations, constant mean curvature and triple junctions. volume 9, pages 139–152. 1995. IX School of Differential Geometry (Vitória, 1994)

    1995

  43. [51]

    Morgan.Geometric measure theory

    F. Morgan.Geometric measure theory. Elsevier/Academic Press, Amsterdam, fifth edition,

  44. [52]

    Naber and D

    A. Naber and D. Valtorta. Rectifiable-Reifenberg and the regularity of stationary and minimizing harmonic maps.Ann. of Math. (2), 185(1):131–227, 2017

    2017

  45. [53]

    Nobili, M

    F. Nobili, M. Novaga, and E. Paolini. Periodic double tilings of the plane. arXiv:2502.08396, 2025

    2025 arXiv

  46. [54]

    Novaga, E

    M. Novaga, E. Paolini, E. Stepanov, and V. M. Tortorelli. Isoperimetric clusters in homo- geneous spaces via concentration compactness.J. Geom. Anal., 32(11):Paper No. 263, 23, 2022

    2022

  47. [55]

    Novaga, E

    M. Novaga, E. Paolini, E. Stepanov, and V. M. Tortorelli. Isoperimetric planar clusters with infinitely many regions.Netw. Heterog. Media, 18(3):1226–1235, 2023

    2023

  48. [56]

    Novaga, E

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

    2025

  49. [57]

    Paolini and A

    E. Paolini and A. Tamagnini. Minimal clusters of four planar regions with the same area. ESAIM Control Optim. Calc. Var., 24(3):1303–1331, 2018

    2018

  50. [58]

    Paolini and V

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

    2020

  51. [59]

    T. Radó. The problem of the least area and the problem of Plateau.Math. Z., 32(1):763– 796, 1930

    1930

  52. [60]

    B. W. Reichardt. Proof of the double bubble conjecture inRn.J. Geom. Anal., 18(1):172– 191, 2008

    2008

  53. [61]

    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(2):347–366, 2003

    2003

  54. [62]

    Schechtman

    G. Schechtman. Approximate Gaussian isoperimetry forksets. InGeometric aspects of functional analysis, volume 2050 ofLecture Notes in Math., pages 373–379. Springer, Heidelberg, 2012

  55. [63]

    E. Schmidt. Die Brunn-Minkowskische Ungleichung und ihr Spiegelbild sowie die isoperimetrische Eigenschaft der Kugel in der euklidischen und nichteuklidischen Geome- trie. I.Math. Nachr., 1:81–157, 1948

    1948

  56. [64]

    H. A. Schwarz.Gesammelte mathematische Abhandlungen. Band I, II. Chelsea Publishing Co., Bronx, NY, 1972. Nachdruck in einem Band der Auflage von 1890

    1972

  57. [65]

    L. Simon. Cylindrical tangent cones and the singular set of minimal submanifolds.J. Differential Geom., 38(3):585–652, 1993

    1993

  58. [66]

    J. Steiner. Sur le maximum et le minimum des figures dans le plan, sur la sphère et dans l’espace en général. Premier mémoire.J. Reine Angew. Math., 24:93–152, 1842

  59. [67]

    V. N. Sudakov and B. S. Cirel′son [Tsirelson]. Extremal properties of half-spaces for spherically invariant measures.Zap. Naučn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI), 41:14–24, 165, 1974. Problems in the theory of probability distributions, II

    1974

  60. [68]

    J. M. Sullivan. The geometry of bubbles and foams. InFoams and emulsions (Cargèse, 1997), volume 354 ofNATO Adv. Sci. Inst. Ser. E: Appl. Sci., pages 379–402. Kluwer Acad. Publ., Dordrecht, 1999

    1997

  61. [69]

    J. M. Sullivan and F. Morgan. Open problems in soap bubble geometry.Internat. J. Math., 7(6):833–842, 1996

    1996

  62. [70]

    J. E. Taylor. The structure of singularities in soap-bubble-like and soap-film-like minimal surfaces.Ann. of Math. (2), 103(3):489–539, 1976

    1976

  63. [71]

    B. White. Regularity of the singular sets in immiscible fluid interfaces and solutions to other Plateau-type problems. InMiniconference on geometry and partial differential equations (Canberra, 1985), volume 10 ofProc. Centre Math. Anal. Austral. Nat. Univ., pages 244–249. Aus...

    1985

  64. [72]

    Wichiramala

    W. Wichiramala. Proof of the planar triple bubble conjecture.J. Reine Angew. Math., 567:1–49, 2004. 26

    2004

  65. [2016]

    A beginner’s guide, Illustrated by James F. Bredt

Pith tools

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