[논문 리뷰] Irreducible compositions and the first return to the origin of a random walk

Edward A. Bender, Gregory F. Lawler외 2명|ArXiv.org|2004. 04. 13.

Stochastic processes and statistical mechanics참고 문헌 7인용 수 10

한 줄 요약

이 논문은 정수 분할의 기약 쌍과 랜덤 워크에서의 첫 번째 복귀 시간 간의 관계를 연구한다. 생성함수와 점점 가까워지는 분석을 통해, $ n $에 대해 $ k $개의 부분으로 나누어진 임의의 분할 쌍이 기약일 확률이 점점 가까이 $ 8/n $임을 증명하고, 평균이 0이고 분산이 유한한 랜덤 워크에서 원점으로의 첫 번째 복귀에 대해 일반적인 점점 가까워지는 공식 $ 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 $을 점점 가까이 유도하기.
• 평균이 0이고 분산이 유한한 랜덤 워크에서 원점으로의 첫 번째 복귀 확률에 대한 일반적인 점점 가까워지는 공식을 수립하기.
• 첫 번째 복귀 점점 가까움을 분석적이고 확률론적으로 증명하여 문헌에서의 격차를 메우기.

제안 방법

• 기약 분할 쌍의 수에 대한 정확한 생성함수 $ \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 $를 얻기.
• 두 개의 독립적인 기하 랜덤 워크의 차를 평균이 0이고 분산이 유한한 랜덤 워크 $ S_n $로 모델링하며, $ S_k = \sum_{j=1}^k X_j $로 정의하기.
• 재생 구조와 제1통과 시간 분석을 통해 기약성과 첫 번째 복귀 시간 $ \tau = \min\{k \geq 1 : S_k = 0\} $를 연결하기.
• 특성 함수 역전과 사다리점 적분과 같은 분석 기법을 적용하여 $ p_n(0,x) $와 그 차이의 점점 가까운 행동을 유도하기.
• 국소 중심극한정리와 그린 함수 추정을 통해 전이 확률과 제1통과 분포에 대한 경계 설정하기.

실험 결과

연구 질문

• RQ1 균일하게 임의의 $ n $에 대해 동일한 부분 수로 나누어진 분할 쌍이 기약일 확률의 점점 가까운 값은 무엇인가?
• RQ2 일반적인 평균이 0이고 분산이 유한하며 비주기적인 랜덤 워크에서 원점으로의 첫 번째 복귀 시간 분포는 어떻게 행동하는가?
• RQ3 분산이 $ V $인 일반적인 평균이 0이고 분산이 유한한 랜덤 워크에서 점점 가까운 첫 번째 복귀 확률 $ a_n \sim \sqrt{V/(2\pi)}n^{-3/2} $을 분석적 방법으로 엄밀히 유도할 수 있는가?
• RQ4 기약 분할 쌍과 대칭 랜덤 워크에서 원점으로의 첫 번째 복귀 간의 관계는 무엇인가?
• RQ5 이러한 점점 가까운 복귀 확률 $ \sim \sqrt{V/(2\pi)}n^{-3/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 $인 평균이 0이고 분산이 유한하며 비주기적인 랜덤 워크에서 시간 $ n $에 원점으로의 첫 번째 복귀 확률은 $ a_n \sim \sqrt{\frac{V}{2\pi}} n^{-3/2} $를 만족한다.
• 점점 가까운 공식 $ a_n $은 두 가지 방법으로 도출된다: 분석적 방법(특성 함수 역전과 사다리점 분석)과 확률론적 방법(재생 및 도달 시간 추정).