[论文解读] Connectivity properties of the adjacency graph of SLE$_\kappa$ bubbles for $\kappa \in (4,8)$

Ewain Gwynne, Joshua Pfeffer|arXiv (Cornell University)|Sep 11, 2019

Stochastic processes and statistical mechanics参考文献 25被引用 2

一句话总结

本文研究了 chordal SLE$_\kappa$ 曲线在 $\kappa \in (4,8)$ 时，其互补连通分量（气泡）所形成的邻接图的连通性，证明当 $\kappa \leq \kappa_0 \approx 5.6158$ 时，该图几乎必然连通，方法是通过一对独立的 $\kappa/4$-稳定过程构造一条通往无穷的马尔可夫路径。该结果解决了关于 SLE 气泡图连通性这一长期悬而未决问题的部分情况。

ABSTRACT

We study the adjacency graph of bubbles---i.e., complementary connected components---of an SLE$_{\kappa}$ curve for $\kappa \in (4,8)$, with two such bubbles considered to be adjacent if their boundaries intersect. We show that this adjacency graph is a.s.\ connected for $\kappa \in (4,\kappa_0]$, where $\kappa_0 \approx 5.6158$ is defined explicitly. This gives a partial answer to a problem posed by Duplantier, Miller and Sheffield (2014). Our proof in fact yields a stronger connectivity result for $\kappa \in (4,\kappa_0]$, which says that there is a Markovian way of finding a path from any fixed bubble to $\infty$. We also show that there is a (non-explicit) $\kappa_1 \in (\kappa_0, 8)$ such that this stronger condition does not hold for $\kappa \in [\kappa_1,8)$. Our proofs are based on an encoding of SLE$_\kappa$ in terms of a pair of independent $\kappa/4$-stable processes, which allows us to reduce our problem to a problem about stable processes. In fact, due to this encoding, our results can be re-phrased as statements about the connectivity of the adjacency graph of loops when one glues together an independent pair of so-called $\kappa/4$-stable looptrees, as studied, e.g., by Curien and Kortchemski (2014). The above encoding comes from the theory of Liouville quantum gravity (LQG), but the paper can be read without any knowledge of LQG if one takes the encoding as a black box.

研究动机与目标

• 确定对于哪些 $\kappa \in (4,8)$，SLE$_\kappa$ 气泡的邻接图几乎必然连通。
• 研究是否存在一种马尔可夫方式，可从邻接图中任意固定气泡出发，构造一条通往无穷的无限路径。
• 确定临界值 $\kappa^*$，使得当 $\kappa > \kappa^*$ 时连通性性质不成立，特别是针对马尔可夫路径条件。

提出的方法

• 使用一对独立的 $\kappa/4$-稳定过程 $(L, R)$ 对 SLE$_\kappa$ 进行编码，利用李维拉量子引力的相关结果。
• 将连通性问题约化为对这些稳定过程增量的概率估计。
• 利用 $(L, R)$ 的马尔可夫性质，定义一条与 SLE 的自然参数化一致的通往无穷的路径。
• 应用 $L_s$ 和 $\tau$ 的矩界与一致可积性估计，以控制过程的增长并确保收敛性。
• 分析 $(L, R)$ 逆时间运行时的分布，以刻画气泡邻接事件的分布。
• 证明随机控制关系并计算对数泛函的期望，以确立通往无穷的马尔可夫路径的存在性。

实验结果

研究问题

• RQ1 对于哪些 $\kappa \in (4,8)$，SLE$_\kappa$ 气泡的邻接图几乎必然连通？
• RQ2 在 $\kappa \in (4,8)$ 时，是否存在一种马尔可夫方式，可从邻接图中任意固定气泡出发，构造一条通往无穷的无限路径？
• RQ3 临界值 $\kappa_0 \in (4,8)$ 是多少，使得当 $\kappa \leq \kappa_0$ 时马尔可夫路径条件成立，但当 $\kappa$ 足够接近 8 时条件不成立？
• RQ4 邻接图是否对所有 $\kappa \in (4,8)$ 都连通，还是存在一个临界值 $\kappa^* < 8$，使得当 $\kappa > \kappa^*$ 时连通性失效？
• RQ5 能否通过 $\kappa/4$-稳定环树的性质来刻画邻接图的连通性？

主要发现

• 当 $\kappa \in (4, \kappa_0]$ 时，SLE$_\kappa$ 气泡的邻接图几乎必然连通，其中 $\kappa_0 \approx 5.6158$ 是方程 $\pi \cot(\pi\kappa/4) + \psi(2 - \kappa/4) - \psi(1) = 0$ 在区间 $(4,8)$ 内的唯一解。
• 更强的结果成立：当 $\kappa \in (4, \kappa_0]$ 时，存在一条从任意固定气泡出发、几乎必然为马尔可夫路径的通往无穷的路径，该路径通过 $(L, R)$ 过程构造。
• 当 $\kappa$ 足够接近 8 时，更强的马尔可夫路径条件不成立，意味着无法以 $(L, R)$ 的马尔可夫方式构造此类路径。
• 证明依赖于 $\kappa/4$-稳定过程的性质，包括随机控制与 $L_s$ 和 $\tau$ 的矩界，以确保一致可积性。
• 当 $\kappa \to 8$ 时，$\sup_{t \in M}(L_t - L_{\sigma(t)})$ 的极限行为在分布意义下收敛于零，支持了在 $\kappa = 8$ 附近马尔可夫路径条件的失效。
• 当 $\kappa \in (4, \kappa_0]$ 时，SLE$_\kappa$ 曲线上不位于任何气泡边界上的点集，几乎必然为完全不连通集，这是由于邻接图的连通性所致。