🔢 mathematics

Equivalence of Almgren-Pitts and phase-transition half-volume spectra

This paper proves that the Almgren-Pitts and phase-transition half-volume spectra of a closed Riemannian manifold are equal, thereby confirming a conjecture proposed by Liam Mazurowski and Xin Zhou.

Original authors: Talant Talipov

Published 2026-04-02

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Talant Talipov

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Picture: Two Different Ways to Measure a Shape

Imagine you have a complex, bumpy, closed object (like a weirdly shaped balloon or a twisted piece of dough). Mathematicians want to understand the "skeleton" of this object by finding the most efficient ways to slice it or wrap it with soap films.

This paper proves that two completely different methods for finding these efficient slices actually give you the exact same results. It's like discovering that if you measure a room with a laser tape measure and then measure it by counting how many steps it takes to walk across, you get the exact same number (once you account for the stride length).

The Two Competing Methods

To understand the proof, we need to meet the two "contestants":

1. The "Soap Film" Method (Almgren–Pitts)

The Analogy: Imagine you have a giant, invisible net. You want to find the smallest possible surface (like a soap film) that can stretch across the object.
The Rule: You are looking for a specific type of cut. The cut must divide the object into two pieces, and each piece must be exactly half the size of the original object.
The Goal: You want to find the "cheapest" way (least surface area) to make a cut that splits the volume perfectly in half. You do this for different levels of complexity (from a simple cut to a very twisted, knotted cut).

2. The "Phase Transition" Method (Allen–Cahn)

The Analogy: Imagine the object is made of a special material that can be in two states: "Hot" (Red) or "Cold" (Blue).
The Rule: You want to create a pattern where the material is mostly Red on one side and mostly Blue on the other. The boundary between Red and Blue is the "cut."
The Constraint: Just like the soap film method, the total amount of "Red" material must equal the total amount of "Blue" material. They must split the volume exactly in half.
The Goal: You use a mathematical formula (energy) to find the most efficient way to arrange this Red/Blue split.

The Problem: Do They Agree?

For a long time, mathematicians knew these two methods were related, but they weren't sure if they produced the exact same numbers for every level of complexity.

Soap Film Guy says: "The most efficient half-volume cut for complexity level 5 costs 100 units of energy."
Red/Blue Guy says: "The most efficient half-volume split for complexity level 5 costs 100.0001 units of energy."

Are they the same? Or is there a tiny gap?

The Solution: Bridging the Gap

The author, Talant Talipov, proves that they are exactly equal.

Here is how he did it, using the paper's logic:

Step 1: Turning Red/Blue into Soap Films

The paper shows that if you have a perfect Red/Blue split (Phase Transition), you can turn it into a Soap Film cut.

The Trick: The boundary between Red and Blue is a bit "fuzzy" (it's a gradient). The author shows that as you make the transition sharper (like freezing the Red and Blue instantly), the fuzzy boundary becomes a sharp soap film.
The Hurdle: The Red/Blue split might not be exactly half-half due to tiny mathematical imperfections. The author builds a "correction map"—a mathematical tool that gently pushes the Red/Blue boundary until the volumes are perfectly equal, without adding too much extra surface area.

Step 2: Turning Soap Films into Red/Blue

The paper also goes the other way. If you have a perfect Soap Film cut, you can turn it into a Red/Blue pattern.

The Trick: You take the soap film and "fuzz it out" slightly, turning it into a smooth transition zone between Red and Blue.
The Hurdle: The resulting Red/Blue pattern might not have a "mean" of zero (it might be slightly more Red than Blue). The author uses a "gluing construction" (a way of stitching together small pieces of the pattern) and then applies a "mean-zero correction" to ensure the total Red equals the total Blue.

The "Half-Volume" Twist

Why is this paper special? Usually, mathematicians compare these methods for any cut. But this paper focuses specifically on cuts that split the volume in half.

Think of it like a game of "Divide and Conquer":

Standard Game: Cut the cake however you want.
Half-Volume Game: You must cut the cake so both kids get exactly the same amount of cake.

The author proves that even with this strict "fairness" rule, the Soap Film method and the Red/Blue method still agree perfectly.

Why Does This Matter?

This isn't just about math puzzles; it's about finding Constant Mean Curvature (CMC) surfaces.

Real World Analogy: Think of a soap bubble. It has a specific pressure inside. If you have a bubble that is not a sphere (maybe it's squashed), it still tries to minimize its surface area while keeping a specific pressure difference.
The Conjecture: There is a famous guess (the "Twin Bubble Conjecture") that for any shape, there are at least two different ways to make a bubble with a specific pressure.
The Impact: By proving these two mathematical spectra are equal, the author confirms a conjecture that helps mathematicians guarantee the existence of these special "half-volume" bubbles. It confirms that the "Red/Blue" math and the "Soap Film" math are two sides of the same coin, giving us more confidence in the existence of these complex shapes in our universe.

Summary

Talant Talipov proved that two different mathematical languages—one based on soap films and one based on phase transitions (Red/Blue)—speak the exact same truth when it comes to splitting a shape into two equal halves. He built a bridge between them, showing that no matter which tool you use, you arrive at the same destination.

1. Problem Statement and Context

The Core Problem:
The paper addresses the relationship between two distinct variational approaches to finding minimal and constant mean curvature (CMC) hypersurfaces on closed Riemannian manifolds $(M^{n+1}, g)$ :

The Almgren–Pitts Min-Max Theory: A geometric approach using the area functional on the space of flat chains (cycles) modulo 2.
The Phase-Transition (Allen–Cahn) Min-Max Theory: A PDE-based approach using the Allen–Cahn energy functional, where critical points approximate minimal hypersurfaces as the parameter $\varepsilon \to 0$ .

While it was previously established (by Dey) that the standard volume spectra (unconstrained by volume) of these two theories coincide, the question of whether their half-volume spectra coincide remained open.

The Half-Volume Constraint:
The "half-volume" spectrum restricts the min-max families to hypersurfaces that enclose exactly half the volume of the manifold ( $Vol(\Omega) = \frac{1}{2}Vol(M)$ ).

In the Almgren–Pitts setting, this corresponds to sweepouts by cycles in the space $H(M, \mathbb{Z}_2)$ (boundaries of sets with volume $h = \frac{1}{2}Vol(M)$ ).
In the Phase-Transition setting, this corresponds to the Allen–Cahn energy minimization restricted to functions $u$ with zero mean ( $\int_M u = 0$ ), which corresponds to the level sets having approximately half the volume.

The Conjecture:
Liam Mazurowski and Xin Zhou conjectured that these two half-volume spectra are equal. Specifically, for every $p \in \mathbb{N}$ , the $p$ -th half-volume width $\tilde{\omega}_p$ (Almgren–Pitts) should equal the $p$ -th half-volume phase-transition value $\tilde{c}(p)$ .

Significance:
Proving this equivalence is crucial for the Twin Bubble Conjecture and the existence of infinitely many CMC hypersurfaces. The half-volume constraint is the natural geometric setting for CMC hypersurfaces enclosing a specific volume. Establishing the equality of the spectra allows researchers to transfer regularity and multiplicity results from the well-developed phase-transition theory (where tools like the Multiplicity One Conjecture have been proven) to the Almgren–Pitts setting, and vice versa.

2. Methodology

The proof proceeds by establishing two inequalities: $\tilde{\omega}_p \leq \tilde{c}(p)$ and $\tilde{c}(p) \leq \tilde{\omega}_p$ . The author adapts techniques from Gaspar–Guaraco and Dey but introduces novel corrections to handle the strict half-volume (or zero-mean) constraints.

Part A: From Phase-Transition to Almgren–Pitts ( $\tilde{\omega}_p \leq \tilde{c}(p)$ )

Goal: Construct a half-volume sweepout from a zero-mean Allen–Cahn family.

Approximation: Start with a compact, invariant set $A \subset Y$ (where $Y = \{u \in H^1(M) : \int u = 0\}$ ) that nearly minimizes the Allen–Cahn energy.
Discretization: Approximate the continuous family by a discrete family of level sets $\{u > s_x\}$ on a cubical complex.
The "Almost" Half-Volume Issue: A key difficulty is that while $\int u = 0$ $\int u = 0$ , the volume of the superlevel set $\{u > s_x\}$ ${u > s_{x}}$ is not exactly half the volume of $M$ $M$ .
- Lemma 3.5: The author proves that for mean-zero functions with bounded energy, the volume of superlevel sets near $\pm 1$ is close to half-volume (the "half-volume defect" is small, scaling with $\varepsilon$ ).
Correction Map (Proposition 3.9): The author constructs a continuous half-volume correction map. This map takes a family of Caccioppoli sets that are "close" to half-volume and continuously deforms them to sets with exactly half-volume.
- This is achieved by constructing a vector field that transports mass between the set and its complement, strictly increasing or decreasing the volume while controlling the area increase.
Result: The corrected family forms a valid half-volume $p$ -sweepout in the Almgren–Pitts sense, proving the upper bound on the Almgren–Pitts width.

Part B: From Almgren–Pitts to Phase-Transition ( $\tilde{c}(p) \leq \tilde{\omega}_p$ )

Goal: Construct a zero-mean Allen–Cahn family from a half-volume sweepout.

Discretization (Dey's Construction): Start with a flat-continuous half-volume sweepout $\Phi$ . Use Dey's "almost smooth discretization" to approximate the cycles by smooth hypersurfaces $\Sigma_v$ that are smooth away from a codimension-2 set.
Signed Distance Functions: Associate each hypersurface with a signed distance function $d_v$ .
Phase Field Construction: Compose $d_v$ with a transition profile $g_\varepsilon$ to create functions $\vartheta_v^\varepsilon \in H^1(M)$ .
Gluing (Dey's Gluing): Use Dey's gluing construction to extend these vertex functions to the entire cubical complex, creating a continuous family $\zeta_\varepsilon$ .
The "Mean-Zero" Issue: The resulting family $\zeta_\varepsilon$ $ζ_{ε}$ is not necessarily mean-zero, even though the original cycles had exactly half-volume. The "gluing" process introduces errors in the integral.
- Lemma 4.5 & Corollary 4.7: The author estimates the "mean defect" (the integral of the function). It is shown that the defect is small, scaling with $\varepsilon$ and the discretization parameters.
Correction Map (Proposition 4.11): A mean-zero correction map is applied. It subtracts the mean value from each function in the family: $\bar{u} = u - \frac{1}{Vol(M)}\int u$ $\overset{u}{ˉ} = u - \frac{1}{V o l ( M )} \int u$ .
- The author proves that this correction preserves the $Z_2$ -index (topological complexity) and does not significantly increase the Allen–Cahn energy, provided the original functions were close to $\pm 1$ almost everywhere (which they are, outside a small set of volume $O(\sqrt{\varepsilon})$ ).
Result: The corrected family lies in the space $Y$ (zero mean) and has energy bounded by the Almgren–Pitts width, proving the reverse inequality.

3. Key Contributions

Proof of the Mazurowski–Zhou Conjecture: The paper definitively proves that $\tilde{\omega}_p = \tilde{c}(p)$ for all $p$ . This unifies the geometric and analytic approaches to the half-volume spectrum.
Novel Correction Mechanisms:
- Development of a half-volume correction map for Caccioppoli sets that preserves continuity and controls area growth.
- Development of a mean-zero correction map for Allen–Cahn functions that preserves the $Z_2$ -index and energy bounds.
Refinement of Dey's Gluing: The paper successfully adapts Dey's gluing construction (previously used for unconstrained spectra) to the constrained half-volume setting, overcoming the technical hurdle that gluing destroys the exact volume constraint.
Quantitative Estimates: The paper provides precise quantitative bounds on the "half-volume defect" and "mean defect," showing they vanish as $\varepsilon \to 0$ , which is essential for the limit arguments.

4. Main Results

Theorem 1.1: Let $\{\tilde{\omega}_p\}_{p=1}^\infty$ be the Almgren–Pitts half-volume spectrum and $\{\tilde{c}(p)\}_{p=1}^\infty$ be the phase-transition half-volume spectrum of a closed Riemannian manifold $M$ . Then for every $p \in \mathbb{N}$ :
$\tilde{\omega}_p = \tilde{c}(p)$

Corollaries (Implicit/Contextual):

This equality implies that the Weyl law for the phase-transition half-volume spectrum (proven by Gaspar–Guaraco) holds for the Almgren–Pitts half-volume spectrum.
It validates the use of Allen–Cahn min-max theory to produce CMC hypersurfaces with specific volume constraints, supporting the Twin Bubble Conjecture (existence of at least two distinct CMC hypersurfaces for every $c > 0$ ) and the existence of infinitely many CMC hypersurfaces enclosing half the volume.

5. Significance and Impact

Unification of Theories: The result bridges the gap between the geometric measure theory (GMT) approach (Almgren–Pitts) and the PDE approach (Allen–Cahn) in the context of volume-constrained problems.
Advancement of Yau's Conjecture: It provides a robust framework for proving the existence of infinitely many CMC hypersurfaces. Since the phase-transition theory has already yielded strong multiplicity-one results (Chodosh–Mantoulidis), this equivalence allows those results to be transferred to the Almgren–Pitts setting for half-volume constraints.
Technical Innovation: The construction of continuous correction maps that preserve topological indices while enforcing integral constraints is a significant methodological advance. These tools are likely to be applicable to other constrained min-max problems in geometric analysis.
Future Directions: The paper lays the groundwork for proving the Twin Bubble Conjecture in full generality and for studying the equidistribution of CMC hypersurfaces, similar to the results obtained for minimal hypersurfaces by Marques, Neves, and Song.