[논문 리뷰] Ballot theorems for random walks with finite variance

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

Stochastic processes and statistical mechanics참고 문헌 14인용 수 9

한 줄 요약

이 논문은 유한 분산을 가진 평균 0의 랜덤 워크에 대해 일반화된 발언법 정리(Generalized ballot theorem)를 수립하며, 종료 지점이 $ 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.

연구 동기 및 목표

• 유한 분산을 가진 일반적인 평균 0 랜덤 워크로 베르트랑의 고전적 발언법 정리를 확장하기 위해.
• 최종 위치가 주어졌을 때 랜덤 워크가 항상 양수를 유지할 확률의 정확한 渐近적 행동을 규명하기 위해.
• 가정(유한 분산 또는 $ k = O(\sqrt{n}) $)을 위반할 경우 반례를 구성함으로써 결과의 정확도를 입증하기 위해.
• 경로의 양수성 조건부에 의해 이산 발언법 정리와 연속 근사 정리의 통합을 이루기 위해.

제안 방법

• 라티스 구조와 허용 가능한 상한을 이용해 평균 0, 유한 분산 랜덤 워크에 대한 일반화된 발언법 정리를 수립하기 위해.
• 양수성 조건을 첫 번째 통과 사건으로 재구성하기 위해 증가 과정 $ S' $ 으로의 변환을 사용하기 위해.
• Kesten(1972)의 정리 2를 적용하여 $ S_n $ 이 길이 1인 간격에 집중될 확률를 유계로 제한함으로써 조건부에 대한 균일성을 확보하기 위해.
• Pemantle와 Peres(1995)의 보조정리 3을 활용해 음수 수준에 도달할 확률를 제어하기 위해.
• 단계 크기의 멀티셋을 구성하여 경로 행동을 모방함으로써 반례를 구성함으로써, 분산이 무한하거나 $ k \gg \sqrt{n} $ 인 경우 결과가 실패함을 보여주기 위해.
• 겹치지 않는 워크 세그먼트 간의 독립성과 유니언 바운드를 이용해 조건부 조건에서 희귀 사건의 확률를 제한하기 위해.

실험 결과

연구 질문

• RQ1 유한 분산을 가진 평균 0 랜덤 워크에서, $ \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 단계 분포가 유한 분산을 가지지 않고 안정 분포의 영역에 속하는 경우에도 결과가 유지되는가?

주요 결과

• 모든 평균 0, 유한 분산 랜덤 워크에 대해, $ S_n \in [k, k+A] $ 라는 조건 하에 시간 $ n $ 까지 양수를 유지할 확률는 단계 분포와 $ A $ 에 따라 달라지는 상수 $ C $ 를 사용해 $ C \max\{k,1\}/n^{1/2} $ 이하로 유계로 제한된다.
• 만약 $ 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}) $ 로 감소함을 증명함으로써, 주 정리의 하한 유계의 날카로움을 확인한다.