🔢 mathematics

The conformally invariant metric on CLE $_4$ III: uniqueness

This final paper in a series establishes the uniqueness and measurability of the canonical conformally invariant metric on CLE $_4$ loops, proving that the renormalized graph metric converges without subsequences and is fully determined by geodesics arising from uniform exploration.

Original authors: Emmanuel Kammerer, Konstantinos Kavvadias, Jason Miller, Yi Tian

Published 2026-09-04

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Emmanuel Kammerer, Konstantinos Kavvadias, Jason Miller, Yi Tian

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

In the study of random shapes and patterns, mathematicians often look for the underlying rules that govern how things connect. Imagine a vast, tangled web of loops floating in a flat plane, where each loop is a closed curve that never crosses itself or any other loop. This is a mathematical object known as a conformal loop ensemble. These loops appear naturally when scientists study the behavior of materials at the very edge of change, such as a magnet losing its magnetism or a fluid boiling. While the loops themselves are random, the way they are arranged follows a strict set of rules that remain the same even if you stretch or twist the space they inhabit. For a specific type of these loops, the ones that form at a critical tipping point, mathematicians have long suspected there is a natural way to measure the distance between any two loops. This distance would act like a map, telling you how far you must travel from one loop to another, moving only through the space between them.

For years, researchers could build a rough approximation of this map by looking at similar, slightly different systems where the loops did cross each other. By slowly adjusting the system until the loops stopped crossing, they could see a pattern emerge that looked like a valid map. However, a crucial question remained: was this map the only possible one? Could there be other, equally valid ways to measure the distance between these loops that also followed the same rules? Without a definitive answer, the map remained a strong candidate but not a proven fact. This uncertainty left a gap in understanding the fundamental geometry of these random shapes.

In this paper, a team of mathematicians has closed that gap. They have proven that the map they constructed is not just a possibility, but the only possible map that fits the description. They showed that if you demand a distance measure that respects the rules of geometry and the specific way these loops are discovered, there is exactly one solution. Furthermore, they demonstrated that this unique map is not a separate, hidden object that must be guessed or constructed by hand. Instead, it is a direct, inevitable consequence of the loops themselves. If you know the arrangement of the loops, you can calculate the distance between them with absolute certainty; the map is written into the loops' very structure.

To reach this conclusion, the researchers focused on how one might explore these loops. Imagine starting at the edge of the space and slowly expanding a region, discovering new loops one by one as you go. This process, known as a uniform exploration, reveals the loops in a specific order based on how far they are from the starting edge. The team proved that the unique distance map they found is perfectly synchronized with this exploration. The distance between any two loops can be understood by looking at the paths that connect them to the edge of the space. They showed that the shortest path between any two loops is essentially a journey that goes up toward the edge and then back down, following the structure revealed by the uniform exploration.

A key part of their work involved showing that this exploration process is not just a convenient tool, but a fundamental property of the loops. They proved that the order in which the loops are discovered is determined entirely by the loops themselves. There is no randomness left over; the loops dictate the exploration, and the exploration dictates the distances. This means the map is a measurable function of the loops, a precise mathematical relationship where the input is the shape of the loops and the output is the distance between them.

The researchers also tackled the nature of the paths, or geodesics, that connect the loops. In many geometric systems, there can be multiple different shortest paths between two points. Here, the team proved that for these specific loops, the path is unique in a very strong sense. While the path might wiggle and turn, the set of loops it passes through is always the same, no matter how you draw the line. This uniqueness is a powerful result, confirming that the geometry of these loops is rigid and well-defined.

This work is the final piece in a series of papers that built this map from the ground up. The earlier papers showed that such a map exists and could be found by taking a limit of simpler systems. This final paper confirms that the map is unique and fully determined by the loops. The implications extend beyond pure mathematics. These loop systems are believed to be the mathematical description of the boundaries of random surfaces, which are models for the structure of space-time in certain theories of physics. By proving that the distance map is unique and intrinsic, the researchers have provided a solid foundation for understanding how these random surfaces behave. They have shown that the geometry of these complex, random shapes is not chaotic or ambiguous, but follows a single, precise rule that can be derived directly from the shapes themselves.

The proof relied on a clever strategy of breaking the problem down into smaller, manageable pieces. The researchers examined how the loops cross through ring-shaped regions, or annuli, in the space. They showed that with very high probability, these crossings happen in a very specific way: usually, only two loops cross a given ring, and any path trying to cross that ring must pass through one of them. By covering the entire space with many such rings, they could reconstruct the entire distance map from these local crossings. This method allowed them to bypass the difficulties of comparing the map to standard geometric distances, which had been a major obstacle in previous attempts.

Ultimately, the paper establishes a complete and unique picture of the geometry of these critical loops. It confirms that the map is not an artifact of a specific construction method but a fundamental truth about the system. The distance between loops, the paths that connect them, and the way they are discovered are all locked together in a single, coherent structure. This result provides a definitive answer to a long-standing question in the field of random geometry, turning a compelling hypothesis into a proven theorem. The map is real, it is unique, and it is an intrinsic part of the loops it describes.

Technical Summary: The Conformally Invariant Metric on CLE $_4$ III: Uniqueness

Problem Statement
This paper addresses the construction and characterization of a canonical conformally invariant metric on the set of loops of the Conformal Loop Ensemble (CLE) with critical parameter $\kappa = 4$ . While previous works in this series ([KKMT26a, KKMT26b]) established the existence of such a metric as a subsequential limit of renormalized graph metrics on CLE $_\kappa$ as $\kappa \downarrow 4$ , and proved the existence of geodesics, the uniqueness of this metric remained an open question. Specifically, it was unknown whether the metric constructed via this limiting procedure is the only metric satisfying the natural axioms of locality, conformal invariance, and compatibility with the "uniform exploration" process introduced by Werner and Wu [WW13]. Furthermore, it was conjectured that the uniform exploration itself is almost surely determined by the CLE $_4$ configuration, a property not yet proven.

Methodology
The authors employ a strategy centered on the relationship between the metric, geodesics, and the uniform exploration of the CLE $_4$ . The core of the proof involves demonstrating that any geodesic CLE $_4$ metric is uniquely determined by the uniform exploration process. The methodology proceeds through several key technical steps:

Genealogy and Uniform Exploration: The authors define a genealogy on the loops of the CLE $_4$ using only the uniform exploration process. A loop $\mathcal{L}(y)$ is defined as a descendant of $\mathcal{L}(x)$ if $\mathcal{L}(x)$ lies on a geodesic from the domain boundary to $\mathcal{L}(y)$ .
Approximation by Boundary Geodesics: A central technical result (Proposition 3.4) establishes that the distance between any two loops can be approximated by concatenating segments of geodesics that connect to the domain boundary. This "up and down" approximation allows the metric to be reconstructed from the tree of geodesics to the boundary.
Measurability via GFF Coupling: To prove that the metric is a measurable function of the CLE $_4$ , the authors utilize the coupling between the CLE $_4$ and the Gaussian Free Field (GFF). They construct an exploration of annular crossings by CLE loops that is measurable with respect to the restriction of the GFF to the annulus.
Good Annuli and Crossing Estimates: The proof relies on the existence of "good annuli" (Section 5). These are annuli where, with high probability, exactly two loops cross the annulus, and any geodesic from the inner boundary to the domain boundary must intersect one of these two loops. The authors use four-arm estimates for nested CLE $_4$ and independence across scales of the GFF to show that such annuli are abundant.
Uniqueness of Geodesics: The paper proves that geodesics between loops (and between loops and boundary arcs) are unique in the sense that they visit the same set of loops. Specifically, if $P_1$ and $P_2$ are two geodesics connecting two loops, the set of loops intersected by $P_1$ is identical to the set of loops intersected by $P_2$ , even if the paths themselves differ in parameterization or specific trajectory.

Key Contributions and Results
The paper establishes the following main theorems:

Uniqueness of the Metric (Theorem 1.5): There exists a unique geodesic metric on the set of loops of the CLE $_4$ that is local, conformally invariant, and whose metric balls from the domain boundary correspond to the uniform exploration. Furthermore, any geodesic CLE $_4$ metric coupling coincides almost surely with a "strong" CLE $_4$ metric, which is a measurable function of the CLE $_4$ configuration.
Measurability of Uniform Exploration (Corollary 1.6): The uniform exploration of the CLE $_4$ (introduced in [WW13]) is almost surely determined by the CLE $_4$ configuration itself. Consequently, if the CLE $_4$ is coupled with a family of Boundary CLE $_4(\rho)$ processes, these processes are also almost surely determined by the CLE $_4$ .
Convergence of CLE $_\kappa$ Graph Metrics (Theorem 1.7): The renormalized graph metric on the loops of CLE $_\kappa$ converges in law to the unique CLE $_4$ metric as $\kappa \downarrow 4$ without the need to pass to a subsequence. This resolves the convergence question for the full sequence.
Uniqueness of Geodesics (Theorem 1.8): Almost surely, the geodesic connecting any two loops (or boundary arcs) in the CLE $_4$ metric is unique in the sense that it visits a unique set of loops.

Significance
The paper claims that these results provide a complete characterization of the canonical conformally invariant metric on CLE $_4$ . By proving that the metric is uniquely determined by the uniform exploration and that the exploration is determined by the CLE $_4$ , the authors close the loop on the construction initiated in [WW13] and [KKMT26a, KKMT26b].

The significance of this work lies in its application to the study of random planar maps. The authors anticipate that this random metric space describes the scaling limit of "3/2-stable maps" (duals of random planar maps with large faces). The representation of the metric via geodesics to the boundary is highlighted as a crucial tool for future work in identifying these scaling limits. Additionally, the results support the conjecture that the scaling limit of critical O(2) loop-decorated planar maps is described by the CLE $_4$ coupled with an independent critical Liouville Quantum Gravity.

The paper emphasizes that the approach differs from previous uniqueness proofs for Liouville Quantum Gravity or other CLE metrics by leveraging the specific independence properties of CLE $_4$ and its coupling with the GFF, rather than relying on bi-Lipschitz comparisons of conditionally independent samples, which are not directly applicable in the conformally invariant setting of CLE $_4$ loops.

More like this