[論文レビュー] 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における2つの一様ランダム頂点間の距離が $\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）に分布収束することを確認すること。
• $d \geq 5$ における $\mathbb{Z}_n^d$ 上のUSTにおける2つの一様ランダム頂点間の距離の極限分布を確立すること。
• ループ消去ランダムウォーク（LERW）とのカップリング手法を用いて、完全グラフを越えてUSTの有限次元分布の収束をCRTに拡張すること。
• USTのスケーリング極限がCRTであるための一般化可能なグラフ理論的条件（頂点推移性、ランダムウォークの局所的交差の有界性、高速混合）を同定すること。

提案手法

• $\mathbb{Z}_n^d$ 上のLERWと完全グラフ $K_m$ 上のLERWとのカップリングを用いて、分布的性質を移転する。
• ペマントルの結果を用い、USTにおける距離 $d_{\mathcal{T}}(x,y)$ が $x$ から $y$ へのLERWの長さと分布的に等しいことを利用する。
• ウィルソンのアルゴリズムを用いて、ループ消去ランダムウォークによるUSTの構成を可能にし、確率的カップリングと木の幾何構造の解析を可能にする。
• CRTのポアソン線分割構成を用いて、$k$ 個の点間の距離の極限同時分布 $F_k$ を定義する。
• 独立したランダムウォークの交差回数の期待値が有界であり、混合時間が $O(|G_n|^{1/2})$ ステップ以内に十分に速いため、一様性が保証されることを示して収束を確立する。
• 頂点推移性、2つの独立ランダムウォークの局所的交差の有界性、および高速混合の3条件からなるフレームワークを用いて、$\mathbb{Z}_n^d$ を超える一般化されたスケーリング極限結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 $d \geq 5$ における $\mathbb{Z}_n^d$ 上の均一スパニングツリーが適切なスケーリングのもとでブラウン運動連続的ランダム木に分布収束するか？
• RQ2 $d \geq 5$ における $\mathbb{Z}_n^d$ 上のUSTにおける2つの一様ランダム頂点間の距離の極限分布は何か？
• RQ3 トーラスを越えて、一般のグラフ理論的条件下でUSTの有限次元分布の収束がCRTに成立するか？
• RQ4 普遍被覆を用いて $\mathbb{R}^d$ に埋め込んだ際の外的幾何構造とUSTのスケーリング極限はどのように関係するか？

主な発見

• $d \geq 5$ に対して、$\mathbb{Z}_n^d$ 上のUSTにおける2つの一様ランダム頂点間の距離 $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}}$ は、CRTのポアソン線分割構成における距離の同時分布 $F_k$ に分布収束する。
• 定数 $\beta(d)$ は $\gamma(d)/\sqrt{\alpha(d)}$ として表され、$d \to \infty$ のとき $\alpha(d) \to 1$ かつ $\gamma(d) \to 1$ となるため、完全グラフのスケーリングに漸近的に収束することが示される。
• 頂点推移性、2つの独立ランダムウォークの局所的交差の有界性、およびランダムウォークの高速混合という3条件を満たすより広いグラフのクラスに対しても収束が成立する。
• この結果は、$d \geq 5$ における $\mathbb{Z}_n^d$ 上の $x$ から $y$ へのLERWの長さの極限分布も、適切なスケーリングのもとで $\exp[-\lambda^2/2]$ に一致することを示唆する。
• 本稿では、$d=4$ の場合が未解決であると特定しており、対数補正と $|G_n|^{1/2}$ の混合時間仮定の崩壊が原因であるが、ヒューリスティクスにより同様のスケーリング極限が対数因子を含んで成立すると予想されている。