[論文レビュー] Law of the Iterated Logarithm for the random walk on the infinite percolation cluster

Hugo Duminil‐Copin|ArXiv.org|Sep 25, 2008

Stochastic processes and statistical mechanics被引用数 7

ひとこと要約

本稿は、$d \geq 2$ における $\mathbb{Z}^d$ 上の無限大超臨界percolationクラスタにおける連続時間単純無作為歩行の繰り返し対数法則（LIL）を確立する。Barlowのガウス型熱核推定と、BergerとBiskupによって得られた環境マルコフ連鎖のエルゴード性を組み合わせることで、歩行の $L^1$ ノルムを $\sqrt{t \log \log t}$ でスケーリングした際の上極限が、percolationパラメータ $p$ と次元 $d$ に依存する正で有限な定数 $c(p,d)$ にほとんど確実に収束することを証明する。この結果は、LILが、正則な格子と同様に、ランダムなpercolationクラスタ上でも成立することを確認する。

ABSTRACT

We show that random walks on the infinite supercritical percolation clusters in Z^d satisfy the usual Law of the Iterated Logarithm. The proof combines Barlow's Gaussian heat kernel estimates and the ergodicity of the random walk on the environment viewed from the random walker as derived by Berger and Biskup.

研究の動機と目的

• 連続時間単純無作為歩行の無限クラスタ上におけるほとんど確実な漸近的挙動を確立すること。
• $\mathbb{Z}^d$ 上の無作為歩行に成立する古典的繰り返し対数法則（LIL）が、無限percolationクラスタのランダムな幾何構造上に拡張可能かどうかを特定すること。
• 歩行の $L^1$ ノルムを $\sqrt{t \log \log t}$ でスケーリングした際の上極限が、正で有限な定数 $c(p,d)$ にほとんど確実に収束することを証明すること。
• 古典的確率論的道具を、percolationクラスタの quenched なランダム環境に適応することで、決定的格子の挙動とランダムグラフの挙動のギャップを埋めること。

提案手法

• 無限percolationクラスタ上におけるBarlowのガウス型熱核推定を用いて、歩行の変位の尾確率を制御する。
• Borel-Cantelli補題を適用し、ガウス型尾の減衰を利用するこ とで、歩行の変位の上極限に対する上界を導出する。
• マルコフ性と大規模な球上で一様に成り立つガウス型境界を用いて、上極限の下界を確立し、非退化したフラクチュエーションを保証する。
• BergerとBiskupによって証明された、環境から見たランダムウォークに関連する移動 $T$ のエルゴード性に依拠し、離散時間歩行の上極限に対する0-1法則を導出する。
• 連続時間無作為歩行 $X_t^\omega$ と離散時間の「目が不自由な」無作為歩行 $Z_n^\omega$ のカップリングを確立し、平均留着時間 $\alpha_p^{-1}$ を介して、両者の時間スケールが漸近的に同等であることを示す。
• 連続時間歩行と離散時間歩行の間のスケーリングの同等性を用いて、LILの結果を離散的設定から連続的設定へと移行させ、$1/\sqrt{\alpha_p}$ の補正係数を加える。

実験結果

リサーチクエスチョン

• RQ1 連続時間単純無作為歩行が、$\mathbb{Z}^d$ 上の無限大超臨界percolationクラスタ上で繰り返し対数法則を満たすか。
• RQ2 $\sqrt{t \log \log t}$ スケーリングで特徴づけられる古典的LIL挙動が、無作為的かつ不均一な環境、例えばpercolationクラスタ上でも維持されるか。
• RQ3 LILにおける定数 $c(p,d)$ がpercolationパラメータ $p$ と次元 $d$ にどのように依存するか。
• RQ4 ガウス型熱核推定と環境過程のエルゴード性は、$\mathbb{Z}^d$ からランダムクラスタへの経路的性質の移行をどの程度可能にするか。

主な発見

• すべての $d \geq 2$ および $p > p_c(d)$ に対して、連続時間無作為歩行 $X_t^\omega$ の $L^1$ ノルムを $\sqrt{t \log \log t}$ でスケーリングした際の上極限が、正で有限な定数 $c(p,d)$ にほとんど確実に収束する。
• 定数 $c(p,d)$ は正かつ有限であり、percolationパラメータ $p$ と次元 $d$ のみに依存し、クラスタの具体的な実現には依存しない。
• 証明は、Barlowのガウス型推定とマルコフ性を用いた弱LIL（上界と下界の確立）を含み、その後、エルゴード性から導かれる0-1法則により、これらを鋭く修正する。
• 離散時間の「目が不自由な」歩行の0-1法則は、そのスケーリングされた変位の上極限がほとんど確実に定数であることを示し、時間スケールカップリングによりこの性質が連続時間歩行へと移行する。
• 連続時間歩行と離散時間歩行の間の時間スケーリングが、漸近的に同等であることが示され、連続時間歩行は離散ステップの $\alpha_p^{-1}$ 倍の速度で進行する。
• 結果は「目が不自由な」および「盲目的な」無作為歩行へも拡張され、これらの関連プロセスに対してもLILが成立することが確認される。