[论文解读] Scaling limits of the uniform spanning tree and loop-erased random walk on finite graphs

Yuval Peres, David Revelle|ArXiv.org|Oct 19, 2004

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

一句话总结

该论文证明了在 $d \geq 5$ 时，$d$-维环面 $\mathbb{Z}_n^d$ 上的均匀生成树（UST）在适当缩放下，其分布收敛于布朗运动连续随机树（CRT）。通过在环面上的环路消除随机游走（LERW）与完全图之间的耦合技术，证明了UST中两个独立均匀随机顶点之间的距离缩放为 $\beta(d) \lambda n^{d/2}$，其尾部概率收敛于 $\exp[-\lambda^2/2]$，从而证实了 $d \geq 5$ 时皮特曼的猜想。UST的有限维分布的缩放极限与CRT的泊松线段断裂构造一致。

ABSTRACT

Let x and y be chosen uniformly in a graph G. We find the limiting distribution of the length of a loop-erased random walk from x to y on a large class of graphs that include the discrete torus in dimensions 5 and above. Moreover, on this family of graphs we show that a suitably normalized finite-dimensional scaling limit of the uniform spanning tree is a Brownian continuum random tree.

研究动机与目标

• 证实皮特曼猜想：在 $d \geq 5$ 时，$d$-维环面 $\mathbb{Z}_n^d$ 上的均匀生成树（UST）在适当缩放下收敛于布朗运动连续随机树（CRT）。
• 建立 $\mathbb{Z}_n^d$ 上UST中两个独立均匀随机顶点之间距离的极限分布。
• 通过与环路消除随机游走（LERW）的耦合方法，将UST到CRT的有限维分布收敛性结果从完全图推广至更一般图类。
• 识别出图论中的一般条件——顶点传递性、随机游走局部交集有界，以及快速混合——在此条件下UST的缩放极限为CRT。

提出的方法

• 将 $\mathbb{Z}_n^d$ 上的环路消除随机游走（LERW）与完全图 $K_m$ 上的 LERW 进行耦合，以传递分布性质。
• 利用佩曼德尔的结果：UST中顶点 $x$ 与 $y$ 之间的距离 $d_{\mathcal{T}}(x,y)$ 在分布上等于从 $x$ 到 $y$ 的 LERW 的长度。
• 应用威尔逊算法通过环路消除随机游走构造UST，从而实现概率耦合并分析树的几何结构。
• 采用CRT的泊松线段断裂构造来定义 $k$ 个点之间距离的极限联合分布 $F_k$。
• 通过证明独立随机游走之间的交点数期望有界，且混合时间足够快（在 $O(|G_n|^{1/2})$ 步内达到均匀性），从而建立收敛性。
• 采用三条件框架：顶点传递性、两个独立随机游走的局部交集有界，以及快速混合，将缩放极限结果推广至 $\mathbb{Z}_n^d$ 之外的图类。

实验结果

研究问题

• RQ1 在 $d \geq 5$ 时，$\mathbb{Z}_n^d$ 上的均匀生成树是否在适当缩放下依分布收敛于布朗运动连续随机树？
• RQ2 在 $d \geq 5$ 时，$\mathbb{Z}_n^d$ 上UST中两个独立均匀随机顶点之间的距离的极限分布是什么？
• RQ3 是否可以在比环面更一般的图论条件下，建立UST的有限维分布向CRT的收敛性？
• RQ4 UST的缩放极限如何与通过万有覆盖嵌入 $\mathbb{R}^d$ 时的外在几何结构相关联？

主要发现

• 当 $d \geq 5$ 时，$\mathbb{Z}_n^d$ 上UST中两个独立均匀随机顶点之间的距离 $d_{\mathcal{T}}(x,y)$ 满足 $\lim_{n\to\infty} \mathbb{P}[d_{\mathcal{T}}(x,y) > \beta(d)\lambda n^{d/2}] = \exp[-\lambda^2/2]$，证实了CRT的尾部分布。
• 对 $k$ 个独立均匀随机顶点，其缩放后距离 $\frac{d_{\mathcal{T}}(x_i,x_j)}{\beta(d)n^{d/2}}$ 的联合分布收敛于 $F_k$，即CRT的泊松线段断裂构造中的距离联合分布。
• 常数 $\beta(d)$ 可表示为 $\gamma(d)/\sqrt{\alpha(d)}$，其中当 $d \to \infty$ 时 $\alpha(d) \to 1$ 且 $\gamma(d) \to 1$，表明其渐近收敛于完全图的缩放。
• 该收敛性对满足以下三个条件的更广图类成立：顶点传递性、两个独立随机游走的局部交集有界，以及随机游走快速混合。
• 结果表明，对于 $d \geq 5$，$\mathbb{Z}_n^d$ 上从 $x$ 到 $y$ 的环路消除随机游走长度的极限分布在适当缩放下同样为 $\exp[-\lambda^2/2]$。
• 本文指出，$d=4$ 的情况仍为开放问题，原因在于对数修正以及 $O(|G_n|^{1/2})$ 混合时间假设的失效，尽管启发式分析表明其可能具有类似的缩放极限，但需引入对数因子。