[論文レビュー] Quenched invariance principles for random walks on percolation clusters

Pierre Mathieu, Andrey Piatnitski|arXiv (Cornell University)|May 31, 2005

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

ひとこと要約

本稿は、$d \geq 2$ における超臨界ベルヌーイ結合percolationの無限percolationクラスタ上での単純対称ランダムウォークに対して、クエンチド不変性原理を確立する。過程をマルティンググールに変換する補正関数を構築し、スケーリングされたポincare不等式と2スケール収束技術を用いてその補正関数の亜線形成長を証明することで、著者らは、スケーリングされたウォークがほとんど確実に非退化ブラウン運動に収束することを示した。その共分散行列は $\sigma^2 I_d$ であり、$\sigma^2 > 0$ は環境 $\omega$ に依存しない確率的定数である。これは高次元における長年の未解決問題を解決し、従来のアンネールド結果をクエンチド設定に拡張する。

ABSTRACT

We prove the almost sure ('quenched') invariance principle for a random walker on an infinite Bernoulli percolation cluster in $\Z^d$ where $d$ is larger or equal than 2.

研究の動機と目的

• 超臨界ベルヌーイpercolationの無限クラスタ上での単純対称ランダムウォークに対してクエンチド不変性原理を確立すること。
• ランダムウォークのスケーリングされたパスが、percolation測度 $Q_0$ に関してほとんど確実に非退化ブラウン運動に法的に収束することを証明すること。
• 楕円性の欠如とクラスタ測度の特異性に起因する困難を克服するため、ランダムで特異な環境に適応した補正関数に基づく手法を開発すること。
• Kozlovの古典的均質化アプローチを、標準的な $L^2$-関数解析的手法が非楕円的かつランダムな幾何構造の下で失敗するpercolationのクエンチド設定に拡張すること。

提案手法

• ランダムウォークの生成作用素を $P^\omega_0$ の下でマルティンググールに変換する補正関数 $\chi(\omega, x)$ を構築し、過程がマルティンググール不変性原理を満たすように保証すること。
• スケール収束の枠組みを用いて、percolationクラスタ上の特異的かつランダムな測度を扱い、古典的ソボレフ埋め込みに依存しないようにすること。
• スケーリングされたポincare不等式をサイズ $\delta$ の小さなボックス上で適用し、$\varepsilon$ に依存しない定数を用いて補正関数のゆらぎを制御し、その亜線形成長を証明すること。
• 補正関数の弱 $L^2$ 収束を証明し、次にスケーリング議論と空間エルゴディシティを用いて、それを強い $L^2$ 収束に強化すること。
• 補正関数を、$L^2$-ポテンシャル空間への勾配場の直交射影として定義し、必要な直交性および平均ゼロ条件を満たすように保証すること。
• 補正関数の平均が各小さなボックス上で消えること、およびその $L^2$-ノルムが極限で消えることを利用して、スケーリングの下で補正関数が無視可能になることを結論づけること。

実験結果

リサーチクエスチョン

• RQ1 $$\mathbb{Z}^d$ ($d \geq 2$) 上の超臨界ベルヌーイpercolationの無限percolationクラスタ上での単純対称ランダムウォークは、クエンチド不変性原理を満たすか？
• RQ2 周期的・楕円的均質化で用いられる補正関数法は、超臨界percolationのクエンチド・非楕円的設定に適応可能か？
• RQ3 補正関数 $\chi$ は、$\varepsilon \to 0$ のとき、大きなボックス上でのスケーリングされた $L^2$-ノルムが消えるという意味で亜線形的か？
• RQ4 極限拡散は、環境の実現 $\omega$ に依存しない、確率的定数である非退化共分散行列 $\sigma^2 I_d$ を持つか？
• RQ5 クラスタ測度の特異性にもかかわらず、スケーリングの下で補正関数の強い $L^2$ 収束を確立できるか？

主な発見

• スケーリング過程 $X^\varepsilon(t) = \varepsilon X(t/\varepsilon^2)$ は、$Q_0$-ほとんど確実な各 $\omega$ に対して、$P^\omega_0$ の下で非退化ブラウン運動に法的に収束する。
• 極限拡散の共分散行列は $\sigma^2 I_d$ であり、$\sigma^2 > 0$ であり、この $\sigma^2$ は環境配置 $\omega$ に依存しない確率的定数である。
• 補正関数 $\chi$ は、$\varepsilon \to 0$ のとき、$Q_0$-ほとんど確実に $\varepsilon^d \sum_{|x| \leq 1/\varepsilon} (\varepsilon \chi(\omega,x) - a_\varepsilon)^2 \to 0$ を満たし、これによりその亜線形成長が証明される。
• 証明は、$\varepsilon$ に依存しない定数を有するサイズ $\delta$ の小さなボックス上でスケーリングされたポincare不等式に依存している。
• 補正関数は、勾配場とポテンシャルの $L^2$-空間における直交射影として構築され、必要な直交性および平均ゼロ条件を満たす。
• 収束は2スケール収束技術とスケーリング議論を用いて確立され、空間エルゴディシティ定理を用いて極限に移行することが可能になる。