[논문 리뷰] Branching processes in random environment which extinct at a given moment

Christian Boeinghoff, E. E. Dyakonova외 2명|arXiv (Cornell University)|2010. 01. 14.

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

한 줄 요약

이 논문은 환경의 평균 자식 수의 로그 분산이 유한할 때, 고정된 시간 $ n+1 $ 에서 멸종 조건을 부여한 비결정적 환경에서의 임계 분열 과정에 대해 기능적 극한정리(weak convergence)를 확립한다. 이 경우 '갑작스러운 멸종' 현상이 발생하지 않으며, $ Z_n \mid T=n+1 $ 는 $ \mathbb{N} $ 위에 비퇴화된 극한 분포로 약하게 수렴한다. 또한 스케일링된 과정 $ \{Z_{nt} e^{-S_{nt}} \}_{t \in [\delta,1-\delta]} $ 는 분포 수렴하여 연속적인 극한 과정으로 수렴한다.

ABSTRACT

Let ${Z_{n},n\geq 0} $ be a critical branching process in random environment and let $T$ be its moment of extinction. Under the annealed approach we prove, as $n o \infty ,$ a limit theorem for the number of particles in the process at moment $n$ given $T=n+1$ and a functional limit theorem for the properly scaled process ${Z_{nt},δ\leq t\leq 1-δ} $ given $T=n+1$ and $δ\in (0,1/2)$.

연구 동기 및 목표

• 환경의 분산이 유한할 때, 특정 시간 $ n+1 $ 에 멸종 조건을 부여한 임계 분열 과정에 대해 기능적 극한정리를 증명하여 문헌에서의 격차를 메운다.
• 환경의 두 번째 모멘트가 유한할 경우, 무거운 尾 꼬리 환경에서 관찰된 '갑작스러운 멸종' 현상이 무작위 환경의 평균화된 조건에서 유지되는지 조사한다.
• 조건부 분포 $ \mathcal{L}(Z_n \mid T = n+1) $ 가 $ \mathbb{N} $ 위에 비퇴화된 분포로 약하게 수렴함을 증명하며, 무거운 꼬리 설정에서의 이전 결과와 대비시킨다.
• 시간 $ n+1 $ 에 멸종 조건을 부여한 과정 $ \{Z_{nt} \}_{t \in [\delta,1-\delta]} $ 의 渐近적 행동을 분석하고, 측도 변화 기법을 활용한다.
• 특히 유한 분산 영역에서, 이러한 과정의 경로적 행동을 엄밀한 확률론적 프레임워크로 이해하기 위한 기반을 제공한다.

제안 방법

• 분열 과정을 시간 $ n+1 $ 에 멸종하는 것으로 조건화하고, 평균화된 측도를 사용하여 $ n \to \infty $ 일 때 $ Z_n \mid T = n+1 $ 의 渐近적 행동을 연구한다.
• 관련된 랜덤 워크 $ S_n = \sum_{i=1}^n X_i $ (여기서 $ X_i = \log f_i'(1) $) 를 활용하여 측도 변화 기법을 적용한다.
• 자식 분포의 생성함수 $ f_n(s) $ 과 관련된 양 $ f_n'(1) $, $ f_n''(1) $, $ \eta_n $ 을 사용하여 환경를 기술한다.
• 랜덤 워크 $ S_n $ 과 멸종 시간 근처 환경의 행동을 제어하기 위해 사건 $ \mathcal{K}(M,\delta) $ 를 도입하여 콤팩트성 확보.
• 생성함수의 차이 $ f_{m,n+1}^{Z_m}(0) - f_{m,n}^{Z_m}(0) $ 에 대한 추정을 사용하여 멸종 확률을 유계화하고, 지수 및 다항식 추정을 적용.
• 주어진 조건 하에서 $ \mathbf{P}(T = n+1) \sim c n^{-3/2} $ 라는 사실을 이용하고, 조건부 모멘트 추정과 결합하여 약한 수렴을 도출한다.

실험 결과

연구 질문

• RQ1 환경의 두 번째 모멘트가 유한할 때, 무작위 환경의 평균화된 조건 하에서 '갑작스러운 멸종' 현상—즉, 인구수가 급격히 증가하다가 붕괴되는 현상—이 유지되는가?
• RQ2 환경의 기대값 $ \mathbb{E}[X^2] < \infty $ 라면, $ Z_n \mid T = n+1 $ 의 극한 분포는 무엇이며, 자연수 집합에 집중되는가?
• RQ3 시간 $ n+1 $ 에 멸종 조건을 부여한 과정 $ \{Z_{nt} e^{-S_{nt}} \}_{t \in [\delta,1-\delta]} $ 는 어떻게 행동하며, 분포 수렴이 이루어지는가?
• RQ4 평균화된 측도 하에서, 조건부 과정 $ \{Z_{nt} \}_{t \in [\delta,1-\delta]} \mid T = n+1 $ 에 대해 기능적 극한정리를 확립할 수 있는가?
• RQ5 랜덤 워크 $ S_n $ 은 고정된 시간에 멸종된 것으로 조건화된 분열 과정의 조건부 분포를 기술하는 데 어떤 역할을 하는가?

주요 결과

• 평균화된 측도 하에 $ \mathbb{E}[X^2] < \infty $ 라는 조건 하에서, 조건부 분포 $ \mathcal{L}(Z_n \mid T = n+1) $ 는 $ \mathbb{N} $ 위에 비퇴화된 분포로 약하게 수렴한다. 이는 '갑작스러운 멸종'이 발생하지 않음을 시사한다.
• 기능적 극한정리가 성립한다: 과정 $ \{Z_{nt} e^{-S_{nt}} \}_{t \in [\delta,1-\delta]} \mid T = n+1 $ 는 $ n \to \infty $ 일 때 연속적인 극한 과정으로 분포 수렴한다.
• 주어진 모멘트 및 비-이분산 조건 하에서, 멸종 확률은 $ \mathbf{P}(T = n+1) \sim c n^{-3/2} $ 를 만족하며, $ c > 0 $ 인 상수이다.
• 유한 분산 조건 하에서 갑작스러운 멸종이 발생하지 않는 것은, 꼬리가 무거운 경우 $ \mathbf{P}(T = n+1) \sim c n^{-\alpha} $ ( $ \alpha \in (0,2) $ ) 이며, $ \log Z_{[nt]} \sim n^{1/\alpha} $ 로 나타나는 경우와 대비된다.
• 증명은 환경를 제어하기 위해 사건 $ \mathcal{K}(M,\delta) $ 를 활용하고, 생성함수의 차이에 대한 지수 및 다항식 추정을 사용하여 멸종 확률을 제어한다.
• 수렴은 $ \tau(n) $ 이 끝점 근처에 있을 경우의 기여가 무시 가능하다는 점을 보이고, $ S_n $ 의 尾 행동을 제어하기 위해 측도 변화 기법을 적용함으로써 확립된다.