[論文レビュー] CLT for the capacity of the range of stable random walks

Wojciech Cygan, Nikola Sandrić+1 more|arXiv (Cornell University)|Apr 11, 2019

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

ひとこと要約

本稿では、$d/\alpha > 5/2$ の条件下で、$d$-次元対称 $\alpha$-安定ランダムウォークの範囲の容量に関する中心極限定理（CLT）を確立する。著者らは、範囲容量の分散を解析し、Lindeberg-Feller の CLT を適用することで、適切な中心化とスケーリングの後、正規分布への収束を証明する。

ABSTRACT

In this article, we establish a central limit theorem for the capacity of the range process for a class of $d$-dimensional symmetric $α$-stable random walks with the index satisfying $d > 5α/2$. Our approach is based on controlling the limit behavior of the variance of the capacity of the range process which then allows us to apply the Lindeberg-Feller theorem.

研究の動機と目的

• $d$-次元対称 $\alpha$-安定 Lévy 確率過程の範囲過程の容量に関する中心極限定理（CLT）を確立すること。
• ${\cal R}_n = \{S_0, \dots, S_n\}$ として定義される範囲集合の容量の長期的挙動を分析すること。ここで $\{S_n\}$ は安定ランダムウォークである。
• 正規化された容量 $\mathrm{Cap}(\mathcal{R}_n)$ が分布収束する条件を特定すること。
• 容量プロセスの分散を制御し、CLT が成り立つために Lindeberg 型の条件を検証すること。

提案手法

• 集合 $A \subseteq \mathbb{Z}^d$ の容量を $\mathrm{Cap}(A) = \sum_{x \in A} \mathbb{P}_x(T_A^+ = \infty)$ と定義する。ここで $T_A^+$ は $A$ への最初の再訪問時刻を表す。
• 誤差項を制御するため、範囲を $2^L$ 個のブロックに分割する分解 $\overline{\mathcal{C}}_n = \sum_{i=1}^{2^L} \overline{\mathcal{C}}^{(i)}_{n/2^L} + \mathcal{E}(n)$ を用いる。
• 同分布のブロック容量 $\overline{\mathcal{C}}^{(i)}_{n/2^L}$ の和に Lindeberg-Feller 中心極限定理を適用し、分散および Lindeberg 条件を検証する。
• Lemma 3.2 および Lemma 5.4 を用いて、$h_d(n)$（ブロックの期待容量）の境界を用いて、誤差項 $\mathbb{E}[|\mathcal{E}(n)|]$ を制御する。
• コーシー＝シュワルツの不等式およびチェビシェフの不等式を用いて、Lindeberg 条件を評価し、大きな逸脱の漸近的無視可能性を保証する。
• 収束を保証するために、$5/2 < d/\alpha < 3$ の場合に $L = \lfloor \log_2(n^{\Delta/2}) \rfloor$、$d/\alpha \geq 3$ の場合に $L = \lfloor \log_2(n^{1/4}) \rfloor$ を選ぶことで、$\mathbb{E}[|\mathcal{E}(n)|]/\sqrt{n} \to 0$ が成り立つようにする。

実験結果

リサーチクエスチョン

• RQ1 $d$-次元対称 $\alpha$-安定ランダムウォークの範囲の容量が中心極限定理を満たす条件は何か？
• RQ2 $n \to \infty$ の下で、範囲プロセスの容量の分散は漸近的にどのように振る舞うか？
• RQ3 強発散性（$d/\alpha > 2$）およびドメイン・オブ・アトラクション条件（$\alpha$-安定極限）が CLT の成立に果たす役割は何か？
• RQ4 与えられた仮定の下で、ブロック分解された容量プロセスに対して Lindeberg-Feller 条件を検証できるか？
• RQ5 ブロック分解の誤差 $\mathcal{E}(n)$ は $\sqrt{n}$ に対してどのように減衰するか？また、どのような $L$ の選択が収束を保証するか？

主な発見

• 条件 $d/\alpha > 5/2$ の下で、範囲の容量 $\mathrm{Cap}(\mathcal{R}_n)$ は中心極限定理を満たし、適切な中心化とスケーリングの後、正規分布に収束する。
• 正規化された容量 $\overline{\mathcal{C}}_n / \sqrt{n}$ の漸近的分散は $\sigma_d^2 > 0$ に収束し、非退化な極限分布が保証される。
• 誤差項 $\mathbb{E}[|\mathcal{E}(n)|]$ は $\sqrt{n}$ よりも速く減少し、特に $L$ を $5/2 < d/\alpha < 3$ の場合に $\lfloor \log_2(n^{\Delta/2}) \rfloor$、$d/\alpha \geq 3$ の場合に $\lfloor \log_2(n^{1/4}) \rfloor$ と選ぶことで、$\mathbb{E}[|\mathcal{E}(n)|]/\sqrt{n} \to 0$ が成り立つ。
• モーメントの境界と尾確率の推定により、Lindeberg 条件が確認され、ブロック容量の和が CLT を満たすことが保証される。
• 証明は、ウォークの強発散性（$d/\alpha > 2$）および $\alpha$-安定分布へのドメイン・オブ・アトラクションの性質に依存しており、スケーリング関数の必要な正規変動性を保証する。
• 仮定 (A1)–(A4)、特に非周期性、対称性、強発散性、および1ステップループの存在（$p_{1}(0) > 0$）の下で、結果は成り立つ。