[论文解读] Convergence of three-dimensional loop-erased random walk in the natural parametrization

Xinyi Li, Daisuke Shiraishi|arXiv (Cornell University)|Nov 28, 2018

Stochastic processes and statistical mechanics参考文献 16被引用 5

一句话总结

本文建立了三维环消除随机游走（3D LERW）在自然参数化下的收敛性，证明当按重归一化长度缩放时，路径在适当测度下一致收敛于其标度极限。主要贡献是首次为3D LERW在自然参数化下提供了严格的收敛性证明，克服了三维中缺乏共形不变性工具的问题，扩展了对临界维数下自避路径的理解。

ABSTRACT

In this work we consider loop-erased random walk (LERW) and its scaling limit in three dimensions, and prove that 3D LERW parametrized by renormalized length converges to its scaling limit parametrized by some suitable measure with respect to the uniform convergence topology in the lattice size scaling limit. Our result greatly improves the work (Acta Math. 199(1):29-152) of Gady Kozma which establishes the weak convergence of the rescaled trace of 3D LERW towards a random compact set with respect to the Hausdorff distance.

研究动机与目标

• 建立三维环消除随机游走（LERW）在自然参数化下标度极限的存在性与收敛性，其中路径长度在缩放下保持不变。
• 克服三维中缺乏共形不变性工具的问题，该问题曾阻碍了与二维LERW及其与SLE关联的研究进展。
• 通过控制占用测度和路径等连续性，利用与均匀生成树（UST）的耦合，证明缩放后LERW路径的统一收敛性。
• 开发一种新颖的$L^2$-逼近框架，用于LERW的占用测度，从而实现序列极限的紧致性与唯一性。
• 证明缩放后的3D LERW路径是等连续的，并在一致拓扑下收敛，解决了3D自避路径模型中长期存在的开放问题。

提出的方法

• 作者通过路径分解与二进立方体中的解耦技术，推导出LERW占用测度的$L^2$估计。
• 他们定义了三个事件$F_3$、$F_4$和$F_5$以控制路径行为：$F_3$确保无长距离偏离，$F_4$限制局部击中次数，$F_5$控制连续访问环形区域之间的时间间隔。
• 证明依赖于将LERW与条件为不相交的简单随机游走（SRW）进行耦合，利用域马尔可夫性质以及LERW各段之间的渐近独立性。
• 关键技术组件是分离引理，该引理界定了在不相交区域中路径相交的概率，从而实现路径段的解耦。
• 作者利用均匀生成树（UST）作为耦合机制，建立了缩放后LERW路径的紧致性，确保了等连续性。
• 通过证明在半径为$r$与$r+\rho$的环形区域中停留的时间是随机有界的，从而得出等连续性与一致范数下的收敛性。

实验结果

研究问题

• RQ1 在格点尺度缩放下，三维环消除随机游走是否在自然参数化下收敛？
• RQ2 3D LERW的占用测度能否在$L^2$下被逼近，以确保缩放路径序列的紧致性？
• RQ3 均匀生成树在建立3D LERW路径的等连续性与收敛性中起什么作用？
• RQ4 如何控制路径在环形区域中的停留时间，以确保缩放后路径的等连续性？
• RQ5 在一致拓扑下，缩放后LERW路径的子序列极限是否唯一？

主要发现

• 在自然参数化下，缩放后的3D LERW一致收敛于其标度极限，收敛性在上确界距离拓扑下成立。
• 3D LERW的占用测度通过一个极限测度在$L^2$下被逼近，确保了缩放路径序列的紧致性。
• 事件$F_5$（即环形区域间的时间间隔超过$30\theta$）的概率被界为$C_r \theta$，对小的$\theta$成立，从而保证了等连续性。
• 事件$F_4$（即某立方体被击中超过$\sqrt{\epsilon_{k,r}} \cdot 2^{\beta n}$次）的概率至多为$C e^{-c / \sqrt{\epsilon_{k,r}}}$，该概率迅速衰减。
• 时间间隔$\tau^\eta_{r+\delta} - \tau^\eta_r$以高概率被$\epsilon$随机有界，从而证明了等连续性。
• 缩放后LERW的子序列极限是唯一的，并对应于一致拓扑下的一个随机紧集。