[論文レビュー] Irreducible compositions and the first return to the origin of a random walk

Edward A. Bender, Gregory F. Lawler+2 more|ArXiv.org|Apr 13, 2004

Stochastic processes and statistical mechanics参考文献 7被引用数 10

ひとこと要約

本稿は、整数の組み合わせの不可約対とランダムウォークにおける最初の帰還時刻との関係を研究する。生成関数と漸近解析を用いて、$ n $ を $ k $ 部分に分割するランダムな組み合わせの対の不可約確率が漸近的に $ 8/n $ であることを証明し、平均ゼロで分散が有限なランダムウォークにおける原点への最初の帰還確率について一般の漸近公式 $ a_n \sim \sqrt{V/(2\pi)}n^{-3/2} $ を確立する。

ABSTRACT

Let $n = b_1 + ... + b_k = b_1' + \cdot + b_k'$ be a pair of compositions of $n$ into $k$ positive parts. We say this pair is {\em irreducible} if there is no positive $j < k$ for which $b_1 + ... b_j = b_1' + ... b_j'$. The probability that a random pair of compositions of $n$ is irreducible is shown to be asymptotic to $8/n$. This problem leads to a problem in probability theory. Two players move along a game board by rolling a die, and we ask when the two players will first coincide. A natural extension is to show that the probability of a first return to the origin at time $n$ for any mean-zero variance $V$ random walk is asymptotic to $\sqrt{V/(2 π)} n^{-3/2}$. We prove this via two methods, one analytic and one probabilistic.

研究の動機と目的

• 部分和が最終ステップ以前に一致しないような、$ n $ を $ k $ 部分に分割する不可約対の組み合わせを特徴づける。
• このような不可約対の数の母関数を導出し、その漸近的挙動を分析する。
• ランダムな組み合わせの対が不可約である確率 $ p_n \sim 8/n $ を確立する。
• 平均ゼロで分散が有限なランダムウォークにおける原点への最初の帰還確率について一般の漸近公式を証明する。
• 最初の帰還漸近挙動について、解析的および確率的両方の証明を提供し、文献における空白を埋める。

提案手法

• 生成関数を用いて、不可約対の数の正確な母関数 $ \sum_{n \geq 1} f(n) z^n = \frac{z}{\sqrt{1-4z} + z} $ を導出する。
• 特異点解析とサドルポイント法を適用して、母関数から漸近挙動を抽出し、$ f(n) \sim \frac{2}{\sqrt{\pi}} n^{-3/2} 4^n $ を得る。
• 二つの独立な幾何的ランダムウォークの差を、平均ゼロで分散が有限なランダムウォーク $ S_n $ としてモデル化し、$ S_k = \sum_{j=1}^k X_j $ とする。
• 再生構造と第一通過時刻解析を用いて、不可約性を最初の帰還時刻 $ \tau = \min\{k \geq 1 : S_k = 0\} $ と関連付ける。
• 特性関数の逆転およびサドルポイント積分を含む解析的手法を適用して、$ p_n(0,x) $ 及びその差の漸近的挙動を導出する。
• 局所中心極限定理およびグリーン関数の推定を用いて、遷移確率および第一通過分布の境界を確立する。

実験結果

リサーチクエスチョン

• RQ1 均一にランダムに選ばれた $ n $ を同じ部分数に分割する組み合わせの対が不可約である確率の漸近的確率は何か？
• RQ2 一般の平均ゼロで分散が有限で非周期的なランダムウォークにおける原点への最初の帰還時刻分布は、どのように振る舞うか？
• RQ3 解析的手法を用いて、漸近的最初の帰還確率 $ a_n \sim \sqrt{V/(2\pi)}n^{-3/2} $ を厳密に導出可能か？
• RQ4 不可約組み合わせ対と対称ランダムウォークにおける原点への最初の帰還には、どのような関係があるか？
• RQ5 直感的な導出から予想されるが、標準的なランダムウォークの文献には明示的に記載されていない、漸近的最初の帰還確率 $ \sim \sqrt{V/(2\pi)}n^{-3/2} $ はなぜそのように扱われていないのか？

主な発見

• 部分数が $ k $ 個の $ n $ の不可約組み合わせ対の数は、母関数 $ \sum_{n \geq 1} f(n) z^n = \frac{z}{\sqrt{1-4z} + z} $ から、$ f(n) \sim \frac{2}{\sqrt{\pi}} n^{-3/2} 4^n $ であることが導かれる。
• ランダムに選ばれた $ n $ を同じ部分数に分割する組み合わせの対が不可約である確率 $ p_n $ は漸近的に $ \frac{8}{n} $ である。
• 分散が $ V $ で平均ゼロで非周期的なランダムウォークにおいて、時刻 $ n $ での原点への最初の帰還確率 $ a_n $ は $ a_n \sim \sqrt{\frac{V}{2\pi}} n^{-3/2} $ を満たす。
• この $ a_n $ の漸近公式は、解析的（特性関数の逆転およびサドルポイント解析）および確率的（再生および到達時刻推定）の二つの方法で導出された。
• この結果は、文献の空白を埋めるものであり、$ Q_n \sim \sqrt{2V/\pi} n^{-1/2} $ の微分による直感的導出から予想されるが、標準的教科書にはこの正確な漸近的表現が見当たらない。
• 解析により、ポisson化モデルにおける等しい停止時刻の条件付き確率が最初の帰還分布に著しく影響しないことが確認され、組み合わせ対との関連性が妥当であることが裏付けられた。