[论文解读] Ballot theorems for random walks with finite variance

Louigi Addario‐Berry, Bruce A. Reed|ArXiv.org|Feb 18, 2008

Stochastic processes and statistical mechanics参考文献 14被引用 9

一句话总结

本文为具有有限方差的均值为零的随机游走建立了广义的选票定理，证明了在终点位于水平 $ k \leq \sqrt{n} $ 的条件下，游走路径全程保持正值的概率渐近正比于 $ k/n^{1/2} $。该结果被证明是最优的，因为当方差为无穷大或 $ k \gg \sqrt{n} $ 时，通过使用格点分布和稳定分布的显式反例，该结论不成立。

ABSTRACT

We prove an analogue of the classical ballot theorem that holds for any random walk in the range of attraction of the normal distribution. Our result is best possible: we exhibit examples demonstrating that if any of our hypotheses are removed, our conclusions may no longer hold.

研究动机与目标

• 将伯特兰的经典选票定理推广至具有有限方差的一般均值为零的随机游走。
• 确定随机游走全程保持正值的概率的精确渐近行为，条件是其最终位置已知。
• 通过构造当假设（有限方差或 $ k = O(\sqrt{n}) $）被违反时的反例，证明结果的紧致性。
• 通过在路径正性条件下统一离散选票定理与连续极限定理。

提出的方法

• 使用格点结构和可接受的界，形式化均值为零、方差有限的随机游走的广义选票定理。
• 通过变换至递增过程 $ S' $，将正值条件重新表述为首次通过事件。
• 应用定理2（Kesten, 1972）以界定 $ S_n $ 在长度为1的区间内的集中性，确保条件化的一致性。
• 利用Pemantle和Peres（1995）的引理3控制命中负水平的概率。
• 通过构造步长大小的多重集，其组合行为模拟路径行为，构造反例，表明当方差为无穷大或 $ k \gg \sqrt{n} $ 时结论不成立。
• 使用并集界和游走非重叠区段间的独立性，以控制条件化情形下罕见事件的概率。

实验结果

研究问题

• RQ1 对于具有有限方差的均值为零的随机游走，选票概率 $ \mathbf{P}(S_i > 0 \, \forall i < n \mid S_n = k) $ 在何种条件下按 $ \Theta(k/n^{1/2}) $ 缩放？
• RQ2 条件 $ k = O(\sqrt{n}) $ 是否对这种缩放是必要的，还是可以放宽？
• RQ3 类似的选票定理能否推广至具有有限方差的实值马尔可夫链？
• RQ4 对于一个和为 $ k $ 的 $ n $ 个实数的多重集，其随机排列的所有部分和均为正的概率为 $ \Theta(k/n) $ 的结构特性是什么？
• RQ5 如果步长分布属于稳定分布的吸引域而非具有有限方差，该结果是否仍然成立？

主要发现

• 对于任意均值为零、方差有限的随机游走，给定 $ S_n \in [k, k+A] $，游走在时间 $ n $ 之前全程保持正值的概率，被上界控制为 $ C \max\{k,1\}/n^{1/2} $，其中常数 $ C $ 依赖于步长分布和 $ A $。
• 当 $ 0 < k \leq \sqrt{n} $ 时，该概率的下界为 $ \max\{k,1\}/(C n^{1/2}) $，从而确立了 $ \Theta(k/n^{1/2}) $ 的缩放行为。
• 该结果是紧致的：若 $ \mathbf{E}[X^2] = \infty $，则 $ \Theta(k/n^{1/2}) $ 缩放不成立，通过构造重尾步长的反例得以证明。
• 若 $ k \gg \sqrt{n} $，该缩放同样不成立，反例表明即使 $ k $ 很大，游走也极不可能全程保持正值。
• 第3.3节的反例使用了不属于任何稳定分布吸引域的步长分布，因此在吸引域假设下仍可能存在选票定理。
• 本文证明，游走全程保持正值且终点位于 $ \sqrt{n} $ 的概率衰减为 $ O(\log^{13/2}n / n^{5/4}) $，确认了主定理中下界的紧致性。