[論文レビュー] How Far Might We Walk at Random?

Steven R. Finch|arXiv (Cornell University)|Feb 13, 2018

Complex Systems and Time Series Analysis参考文献 31被引用数 3

ひとこと要約

本稿は、原点における強反射および弱反射を伴う1次元のランダムウォークの期待最大移動距離を調査し、反射最大値 $M_n$ の一階および二階モーメントの漸近的表現を導出する。対称的ランダムウォークでは、$\mathbb{E}[M_n] \sim \sqrt{\pi n / 2}$ および $\mathbb{E}[M_n^2] \sim 2G n$ が成り立ち、ここで $G$ はカタラン定数である。非対称的ランダムウォークでは、$\mathbb{E}[M_n] = O(\ln n)$ であり、高次の項は未知である。

ABSTRACT

This elementary treatment first summarizes extreme values of a Bernoulli random walk on the one-dimensional integer lattice over a finite discrete time interval. Both the symmetric (unbiased) and asymmetric (biased) cases are discussed. Asymptotic results are given as the time interval length approaches infinity. Focus then shifts to such walks reflected at the origin -- in both strong and weak senses -- and related unsolved problems are meticulously examined.

研究の動機と目的

• 原点における強反射および弱反射を伴う1次元ランダムウォークの期待最大移動距離 $M_n$ の漸近的表現を導出すること。
• 反射付きの対称的および非対称的ランダムウォークモデルにおける $\mathbb{E}[M_n]$ および $\mathbb{E}[M_n^2]$ の挙動を分析すること。
• 特に非対称ケースにおいて、高次の漸近的展開およびモーメント推定に関する未解決問題を特定すること。
• 遅れ付きランダムウォーク（ゼロの増分を伴う）およびマーカフ連鎖付きウォークに結果を拡張し、構造が最大移動距離に与える影響を調査すること。

提案手法

• 非対称ランダムウォークにおける最大値および最小値の同時確率に関する再帰関係を、組合せ論的および母関数的手法を用いて導出する。
• コンピュータ代数（Mathematica）を用いて、非厳密だが実験的根拠に基づくモーメントの漸近的表現を導出する。
• ブラウン運動およびエクストリーム理論の既知の結果を応用し、反射付きウォークの漸近的挙動を推論する。
• 反射付きウォークにおけるゼロクロッシング間のサイクル最大値を、独立同一分布の幾何確率変数としてモデル化し、$\mathbb{E}[M_n]$ を推定する。
• 遅れ付きウォーク（$\mathbb{P}(X_i=0)=r$ を含む一般化モデル）およびマーカフ連動増分を検討し、漸近的結果の頑健性を評価する。
• 強反射（$S_j = |S_{j-1} + X_j|$）と弱反射（$S_j = \max\{S_{j-1} + X_j, 0\}$）を比較し、高次の項に差が生じるとの仮説を立てる。

実験結果

リサーチクエスチョン

• RQ1 強反射を伴う対称的ランダムウォークにおいて、$\mathbb{E}[M_n]$ および $\mathbb{E}[M_n^2]$ の漸近的挙動は何か？
• RQ2 非対称ケース（$p < q$）において、$M_n$ のモーメントはどのように振る舞い、なぜ $\mathbb{E}[M_n] = O(\ln n)$ が既知の最良の境界なのであるか？
• RQ3 反射付きウォークの $\mathbb{E}[M_n]$ および $\mathbb{E}[M_n^2]$ の漸近的展開に高次の項が存在するか？存在するならば、それらは何か？
• RQ4 遅れ付きランダムウォーク（$\mathbb{P}(X_i=0) = r$）では結果はどのように変化し、負のステップの決定的タイミングがどのような影響を与えるか？
• RQ5 ステップ増分にマルコフ連鎖的依存性がある場合、最大移動距離 $M_n$ の分布にどのような影響があるか？

主な発見

• 対称的ランダムウォークにおいて、強反射または弱反射の下では、$\mathbb{E}[M_n] \sim \sqrt{\pi n / 2}$ および $\mathbb{E}[M_n^2] \sim 2G n$ が成り立ち、ここで $G \approx 0.9159655941$ はカタラン定数である。
• 非対称ケース（$p < q$）では、$\mathbb{E}[M_n] = O(\ln n)$ であり、高次の項は未知であり、$\mathbb{E}[M_n^2] = O(\ln^2 n)$ であり、分散が有界であることを示唆している。
• 遅れ付きランダムウォークで $\mathbb{P}(X_i = 1) = \mathbb{P}(X_i = -1) = 1/3$ の場合、$\mathbb{E}[M_n]/\sqrt{n} \sim \sqrt{\pi/3} \approx 1.023$ および $\mathbb{E}[M_n^2]/n \sim (4/3)G \approx 1.221$ が成り立つ。
• 負のステップが決定的（例：3ステップに1回の割合で $-1$）の場合、$\mathbb{E}[M_n]/\sqrt{n} \sim \sqrt{\pi/12} \approx 0.512$ および $\mathbb{E}[M_n^2]/n \sim (1/3)G \approx 0.305$ となり、ステップタイミングに顕著な感度があることが示された。
• マーカフ連動増分を伴う持久的ランダムウォークでは、$\mathbb{E}[M_n^+] \sim \sqrt{\alpha/\beta} \left( \sqrt{2n/\pi} - \frac{1}{2}\sqrt{\alpha/\beta} \right)$ であり、分散は $\frac{\alpha}{\beta}(1 - 2/\pi)n$ のスケーリングを示す。
• 反射付きウォークにおける共通モーメント $\mathbb{E}[M_n^+ M_n^-]$ は未解明であり、対称的反射ケースの高次の項についても未知である。