The conformally invariant metric on CLE$_4$ I: subsequential limits of the non-simple CLE graph metric

标题： CLE$_4$ 上的共形不变度量 I：非简单 CLE 图度量的子序列极限

作者： Emmanuel Kammerer, Konstantinos Kavvadias, Jason Miller, 以及 Yi Tian

1. 问题陈述与动机

本文旨在为参数为 $\kappa = 4$ 的共形回路集合（Conformal Loop Ensemble, CLE）构建一个规范的、共形不变的度量。CLE 是简单连通区域中非交叉回路的随机集合，是 Schramm–Loewner 演化（SLE）的自然回路变体。

对于 $\kappa \in (4, 8)$，CLE 回路是非简单的；它们彼此相交并与区域边界相交。这种相交结构允许在回路之间定义一个自然的图度量（graph metric），其中顶点是回路，边存在于相交的回路之间。然而，对于临界情况 $\kappa = 4$，回路是简单的，它们彼此不相交，也不与边界相交。因此，对于不同的回路，标准的图度量是未定义的（无穷大）。

核心问题是，是否存在一个有意义的、在 CLE$_4$ 上共形不变的度量，该度量是由 $\kappa \downarrow 4$ 时 CLE$_\kappa$ 的图度量缩放而来的。Werner 和 Wu 先前的研究定义了一个“均匀探索”（uniform exploration）过程，该过程以特定顺序发现 CLE$_4$ 回路，并猜想这一探索过程对应于从边界开始的度量球的增长。本文旨在严格构造这样一个度量，并验证其满足特定的公理，包括局部性和测地性质。

2. 研究方法

作者采用了子序列极限的方法。他们考虑一个序列 $\kappa_n \downarrow 4$，并分析 CLE$_{\kappa_n}$ 回路上的缩放图距离 $a_{\kappa_n}^{-1} D_{\kappa_n}$，其中 $a_\kappa$ 是趋于无穷大的归一化因子（具体而言，是包围原点的回路接触边界概率的倒数）。

研究方法分为以下几个阶段：

1. 紧性与子序列极限： 作者首先通过建立缩放距离及相关度量球（即在一定距离内的回路集合）在乘积拓扑下的紧性，确保了子序列极限的存在性。
2. 通过边界识别进行构造： 为了简化初始构造，他们首先在由回路集合与被视为单个点的边界 $\partial D$ 组成的增广集合上定义了一个度量 $D_\partial$。他们证明了到边界的图距离的缩放极限对应于 Werner 和 Wu 的均匀探索。这依赖于分支 SLE$_\kappa(\kappa-6)$ 过程在 $\kappa \downarrow 4$ 时向均匀探索过程的收敛。
3. 扩展至全度量： 利用 CLE 的不变性以及收敛的 $D_\partial$，他们在回路本身（边界不再是单个点）上构造了度量 $D$。这涉及证明任何回路出发的度量球可以通过该回路补集中的均匀探索来描述。
4. 验证公理： 核心技术挑战在于证明该子序列极限满足定义“弱测地 CLE$_4$ 度量耦合”的一组特定公理。这些公理包括：
   • 弱测地性质： 度量球关于半径是连通的、càdlàg（右连且有左极限）的，并满足特定的距离加法性质。
   • 局部性： 度量在子域上的限制仅取决于该域内的回路以及由外部施加的边界条件。
   • 共形不变性： 度量的分布在共形自同构下保持不变。
   • 均匀探索： 从边界到回路的距离与均匀探索中的发现时间一致。

很大一部分技术工作在于证明“大”的 CLE$_\kappa$ 回路是“肥厚”的（即它们包围了一个给定半径的欧几里得球），且在 $\kappa \downarrow 4$ 时具有一致性。这防止了存在可能破坏度量球在 Hausdorff 拓扑下收敛性的宏观但“瘦长”的回路。这是通过将 CLE$_\kappa$ 与 CLE$_{16/\kappa}$（简单回路）进行耦合，并利用布朗回路汤（Brownian loop soup）构造来实现的。

3. 核心贡献与结果

主定理 (Theorem 1.3)：
对于任何序列 $\kappa_n \downarrow 4$，存在一个子序列和一个弱测地 CLE$_4$ 度量耦合 $D$，使得缩放图距离 $a_{\kappa_n}^{-1} D_{\kappa_n}$ 在有理点集上的乘积拓扑下依概率收敛于 $D$。

具体结果：

• 极限的存在性： 本文证明了归一化图度量的子序列极限存在，并在 CLE$_4$ 回路上定义了一个非平凡度量。
• 度量球的特征化： 从边界增长的度量球被证明与 Werner 和 Wu 的均匀探索所探索的区域完全一致。
• 公理验证： 所构造的度量满足：
  • 共形不变性： 度量在共形映射下是不变的。
  • 局部性： 度量在限制于子域时表现一致。
  • 测地结构： 度量球是连通的，且距离满足弱测地性质（两个回路之间的距离等于到中间球的距离与从该球出发距离之和）。
• 回路的肥厚性： Proposition 5.2 确立了对于任何 $\epsilon > 0$，存在 $\delta > 0$，使得当 $\kappa \downarrow 4$ 时，所有直径至少为 $\epsilon$ 的 CLE$_\kappa$ 回路以高概率包围一个半径为 $\delta$ 的欧几里得球。这是一个关键的技术引理，确保了度量球收敛的稳定性。

4. 意义与范围

本文声称提供了第一个作为非简单 CLE 图度量缩放极限的、在 CLE$_4$ 上的共形不变度量的严格构造。这种方法不同于之前由 Sheffield, Watson, 和 Wu 完成的、采用截然不同的间接构造的未发表工作。

重要性：

• 解决猜想： 它证实了 Werner 和 Wu 的猜想，即均匀探索对应于 CLE$_4$ 上共形不变度量中度量球的增长。
• 随机平面图： 作者预期该度量空间描述了 $3/2$-稳定随机平面图（顶点权重阶数为 $k^{-2}$ 的平面图）的缩放极限。虽然这些平面图并不具备 Gromov-Hausdorff 缩放极限，但其中到根节点的距离预计会收敛到构造的 CLE$_4$ 度量中的距离。
• 对偶性： 该度量空间被视为来自具有大面（large faces）的随机平面图缩放极限的 $\alpha$-稳定地毯（具体为 $3/2$-稳定地毯）的“对偶”。

谦逊态度与未来工作：
作者明确指出这是三篇系列论文中的第一篇。

• 子序列极限 vs. 真极限： 本文仅证明了子序列极限的存在性。极限的唯一性（以及沿完整序列 $\kappa \downarrow 4$ 存在极限的结论）将在随后的论文 [KKMT26a, KKMT26b] 中建立。
• 应用： 本文并未声称解决了随机平面图的缩放极限问题，而是提供了描述该问题的所需的度量结构。与 $3/2$-稳定图的联系是基于所构造度量性质的一种预期。

综上所述，本文通过缩放极限成功构造了一个 CLE$_4$ 的候选度量，证明了其作为子序列极限的存在性，并验证了其具备作为共形不变度量所需的根本几何与概率性质，为后续关于唯一性的证明奠定了基础。