[論文レビュー] Second order term of cover time for planar simple random walk

Yoshihiro Abe|arXiv (Cornell University)|Sep 24, 2017

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

ひとこと要約

本稿は、離散トーラス $\mathbb{Z}_n^2$ 上の2次元シンプルな対称ランダムウォークのカバー時間の漸近展開における正確な2次項を確立する。頂点回りの通行プロセスの分析と、臨界ガルトン＝ワトソン過程に対する精密なバリア推定およびカップリング技法を用いて、$n \to \infty$ の際に高確率で $\frac{\tau_{\text{cov}}^n}{\frac{2}{\pi}n^2\log n} = 2\log n - \log\log n + O((\log\log n)^c)$ が成り立つことを証明し、BeliusとKistlerの予想を解決する。

ABSTRACT

We consider the cover time for a simple random walk on the two-dimensional discrete torus of side length $n$. Dembo, Peres, Rosen, and Zeitouni [Ann. Math. 160:433-464, 2004] identified the leading term in the asymptotics for the cover time as $n$ goes to infinity. In this paper, we study the exact second order term. This is a discrete analogue of the work on the cover time for planar Brownian motion by Belius and Kistler [Probab. Theory Relat Fields. 167:461-552, 2017].

研究の動機と目的

• 離散トーラス $\mathbb{Z}_n^2$ 上の平面的シンプルなランダムウォークのカバー時間の漸近展開における正確な2次項を特定すること。
• BeliusとKistlerが提起した、主項カバー時間スケーリングに対する正確な対数補正の予想を解明すること。
• 回転対称性が欠如する離散設定において、連続空間のカバー時間解析（例えばブラウン運動）の手法を拡張し、誤差制御をより繊密に行うこと。
• 通行回数と分岐過程の近似を用いて、カバー時間のタイトな境界を確立すること。

提案手法

• カバー時間は、各頂点が訪問されるまでの通行回数を追跡する通行プロセスを介して分析される。
• 通行プロセスの分布は、アニュラリ領域上の遷移確率推定を用いて、臨界ガルトン＝ワトソン過程により近似され、明示的な誤差バウンドが導出される。
• Belius, Rosen, および Zeitouni が開発したガルトン＝ワトソン過程のためのバリア推定が、通行プロセスの尾部挙動を制御するために適用される。
• 2段階の解析が実施される：上界と下界は、上界および下界のエンvelope で定義されるチューブに通行プロセスを制限することで得られる。
• 下界のためには、通行プロセスが制御されたチューブ内に留まる未訪問点の数に2次モーメント法を適用する。この際、トーラスの半径に基づく分解を用いて、ペアワイズ相関を注意深く推定する必要がある。
• 2つの頂点間の相関構造は、頂点間の距離に基づき、重複領域と非重複領域に分けられる。半径の減少列 $r_k$ と、$x$ と $y$ の周囲の球が非交差するようになるレベル $\ell(x,y)$ を用いる。

実験結果

リサーチクエスチョン

• RQ1 2次元シンプルなランダムウォークが離散トーラス $\mathbb{Z}_n^2$ 上を移動する際のカバー時間の漸近展開における正確な2次項は何か？
• RQ2 回転対称性が欠如するにもかかわらず、連続ケース（例えばトーラス上のブラウン運動）と同等の精度で離散設定を解析可能か？
• RQ3 カバー時間の主項の周りの揺らぎは、$2\log n - \log\log n$ のオーダーでタイトか、それより大きいオーダーか？
• RQ4 遠く離れた頂点における通行プロセス間の相関はどのように減少するか？また、確率的推定のためにそれらを分離可能か？

主な発見

• 高確率で $n \to \infty$ の際に $\frac{\tau_{\text{cov}}^n}{\frac{2}{\pi}n^2\log n} = 2\log n - \log\log n + O((\log\log n)^c)$ が成り立ち、BeliusとKistlerの予想が確認された。
• 2次補正項は $\log\log n$ のオーダーであり、誤差項は $\log\log n$ のべき乗で有界であり、指数は $1$ より小さい。
• 上界と下界は、臨界ガルトン＝ワトソン過程のバリア推定と、通行プロセスの近似のための転送補題の組み合わせにより確立された。
• 解析により、カバー時間の主な寄与は、後から訪問される頂点に起因しており、それらの通行プロセスは対数的エンvelope で定義されるチューブ内で厳密に制御されていることが明らかになった。
• 2つの頂点における通行プロセス間の相関は、距離が臨界閾値 $r_k$ を超えると著しく減少し、非交差領域では独立な推定が可能になる。
• 証明は、重複および非重複領域にわたるアニュラリ領域へのトーラスの微細な分解に依存しており、ガルトン＝ワトソン過程による通行プロセスの近似における誤差項の制御がきめ細やかに行われている。