[論文レビュー] 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

ひとこと要約

本稿は、自然パrametrizationにおける3次元ループ消去ランダムウォーク（3D LERW）の収束を確立し、正規化された長さでスケーリングされたパスが適切な測度のもとで、そのスケーリング極限に一様に収束することを証明する。主な貢献は、2次元における自己相反性のツールが欠如している3次元において、3D LERWの自然パrametrizationにおける収束の最初の厳密な証明を提供した点であり、臨界次元における自己回避経路の理解を拡張する。

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.

研究の動機と目的

• 自然パrametrizationにおける3次元ループ消去ランダムウォーク（LERW）のスケーリング極限の存在と収束を確立すること。ここで、スケーリングの過程で経路長が保存される。
• 2次元におけるSLEとの関連がある一方で、3次元では自己相反性のツールが欠如しているため、その欠如を克服すること。
• ループ消去ランダムウォークのスケーリングされた経路の一様収束を、占有測度の制御と経路の等連続性を、均一なスパンニングツリー（UST）を用いた結合によって実現すること。
• LERWの占有測度に対する新しい$L^2$-近似フレームワークを構築し、緊張性と部分列極限の一意性を可能にすること。
• スケーリングされたLERW経路が等連続であり、一様位相において収束することを示し、3次元自己回避経路モデルにおける長年の未解決問題を解決すること。

提案手法

• 著者らは、二分立方体における経路分解とデカップリング技術を用いて導出された、LERWの占有測度に対する$L^2$-推定を用いる。
• 経路行動を制御するための事象の列$F_3$、$F_4$、$F_5$を定義する。$F_3$は長大な逸脱を回避することを保証し、$F_4$は局所的ヒット回数を上限で制御し、$F_5$は同心円環への連続訪問間の時間間隔を制御する。
• 証明は、非交差を条件とする単純ランダムウォーク（SRW）との結合に依存しており、ドメインマルコフ性とLERWセグメント間の漸近的独立性を用いる。
• 重要な技術的要素として、互いに離れた領域における経路の交差確率を抑え、経路セグメントのデカップリングを可能にする分離補題がある。
• 均一なスパンニングツリー（UST）を結合メカニズムとして用いることで、スケーリングされたLERW経路の緊張性を確立し、等連続性を保証する。
• 時間間隔$\tau^\eta_{r+\delta} - \tau^\eta_r$が、半径$r$と$r+\delta$の環状領域における滞在時間が確率的に有界であることを示し、これにより等連続性とシュプルームノルムにおける収束が得られる。

実験結果

リサーチクエスチョン

• RQ1 3次元ループ消去ランダムウォークは、格子サイズのスケーリングにおいて自然パrametrizationで収束するか？
• RQ2 3D LERWの占有測度は$L^2$で近似可能であり、スケーリングされた経路の緊張性を保証できるか？
• RQ3 均一なスパンニングツリーは、3D LERW経路の等連続性と収束を確立するために果たす役割は何か？
• RQ4 環状領域における滞在時間をどのように制御すれば、スケーリングされた経路の等連続性を保証できるか？
• RQ5 スケーリングされたLERW経路の部分列極限は、一様位相において一意的か？

主な発見

• スケーリングされた3D LERWは、自然パrametrizationのもとで、スケーリング極限に一様に収束し、収束はシュプルーム距離位相において成立する。
• 3D LERWの占有測度は、極限測度による$L^2$-近似が可能であり、これによりスケーリングされた経路列の緊張性が保証される。
• 時間間隔が$30\theta$を超える事象$F_5$の確率は、$C_r \theta$で上界が与えられ、等連続性の保証に寄与する。
• 立方体が$\sqrt{\epsilon_{k,r}} \cdot 2^{\beta n}$回以上ヒットする事象$F_4$の確率は、$C e^{-c / \sqrt{\epsilon_{k,r}}}$以下であり、急速に減少する。
• 時間間隔$\tau^\eta_{r+\delta} - \tau^\eta_r$は、高い確率で$\epsilon$で確率的有界であることが示され、等連続性が証明される。
• スケーリングされたLERWの部分列極限は一意的であり、一様位相において確率的コンパクト集合に対応する。