Multi-Bubble Isoperimetric Problems

TL;DR

This survey advances the understanding of multi-bubble isoperimetric problems by formulating partitions in weighted model spaces and proving that, for Gaussian space and certain Euclidean/spherical settings, standard (Voronoi) bubbles minimize perimeter under fixed volumes for many natural regimes. The authors develop a comprehensive GMT framework, establish Voronoi structure and connectedness, and leverage stability via index forms and conformal Jacobi fields to derive sharp isoperimetric profiles and PDE characterizations. Key contributions include resolving several low-dimensional and Gaussian cases (double, triple, quintuple bubbles in selected settings), proving stability for broad classes of partitions, and reducing global questions to finite-dimensional, combinatorial or spectral analyses. The work also outlines a robust program for extending results to hyperbolic space and higher $k$, identifies core technical obstacles, and articulates precise open problems with potential for significant impacts in GMT, geometric analysis, and the calculus of variations.

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 (10)

• Figure 3.1: Stereographic projection of an equal-volume partition of $\mathbb{S}^2$ into 4 Voronoi cells, yielding a standard triple-bubble in $\mathbb{R}^2$.
• Figure 3.2: Left: a standard triple-bubble in $\mathbb{R}^3$. Right: the $2$D cross-section through its plane of symmetry.
• Figure 3.3: A standard quadruple-bubble in $\mathbb{R}^3$ (also, the cross-section of a standard quadruple-bubble in $\mathbb{R}^4$ through its hyperplane of symmetry) from different angles.
• Figure 3.4: A standard simplicial double-bubble in $\mathbb{G}^2$, whose boundary is a $\mathbf{Y}$-cone (left), and a standard simplicial triple-bubble in $\mathbb{G}^3$, whose boundary is a $\mathbf{T}$-cone (right).
• Figure 4.1: Top left: A spherical Voronoi cluster $\Omega^\mathbb{S}$ in $\mathbb{S}^2$; Top right: A spherical Voronoi cluster $\Omega^\mathbb{R}$ in $\mathbb{R}^2$ obtained from $\Omega^\mathbb{S}$ by stereographic projection; Bottom left: $\Omega^\mathbb{S}$ drawn from above; Bottom right: the orthogonal projection of $\Omega^\mathbb{S}$ onto its plane of symmetry consists of convex polyhedral cells (colors lightened for better contrast).

Theorems & Definitions (18)

• Definition 3.1: Standard partitions and bubbles in $\mathbb{R}^n$, $\mathbb{S}^n$ and $\mathbb{H}^n$
• Conjecture 3.2: Multi-Bubble Isoperimetric Conjecture on $\mathbb{M}^n \in \{\mathbb{R}^n, \mathbb{S}^n, \mathbb{H}^n\}$
• Definition 3.3: Standard simplicial bubbles in $\mathbb{G}^n$
• Conjecture 3.4: Multi-Bubble Isoperimetric Conjecture on $\mathbb{G}^n$
• Definition 4.1: Spherical Voronoi partition of $\mathbb{S}^n$
• Definition 4.2: Spherical Voronoi partition of $\mathbb{M}^n \in \{ \mathbb{R}^n, \mathbb{H}^n \}$
• Remark 4.3
• Theorem 4.4: Spherical Voronoi structure and connectedness of cells EMilmanNeeman-TripleAndQuadruple
• Definition 7.1: Regularity
• Lemma 7.2: Stationarity