[论文解读] 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 为何尽管该渐近公式可通过直观的 $ Q_n \sim \sqrt{2V/\pi} n^{-1/2} $ 求导得出，但标准随机游走文献中并未明确陈述该结果？

主要发现

• 将 $ n $ 划分为 $ k $ 个部分的不可约组合对的数量满足 $ f(n) \sim \frac{2}{\sqrt{\pi}} n^{-3/2} 4^n $，该结果由生成函数 $ \sum_{n \geq 1} f(n) z^n = \frac{z}{\sqrt{1-4z} + z} $ 推导得出。
• 随机选取的、将 $ n $ 划分为相同部分数的组合对不可约的概率 $ p_n $ 的渐近表达式为 $ \frac{8}{n} $。
• 对于均值为零、方差为 $ V $、非周期的随机游走，其在时间 $ n $ 首次返回原点的概率 $ a_n $ 满足 $ a_n \sim \sqrt{\frac{V}{2\pi}} n^{-3/2} $。
• 该 $ a_n $ 的渐近公式通过两种方法推导得出：解析方法（使用特征函数反演与鞍点分析）与概率方法（通过更新与 hitting 时间估计）。
• 该结果填补了文献中的空白，因为尽管从 $ Q_n \sim \sqrt{2V/\pi} n^{-1/2} $ 的启发式求导可预期该结果，但标准教材中并未明确给出此渐近表达式。
• 分析表明，在泊松化模型中对相等停止时间进行条件化，并不会显著改变首次返回分布，从而验证了其与组合对之间的联系。