[논문 리뷰] Time-Inhomogeneous Branching Processes Conditioned on Non-Extinction

Nicholas Bhattacharya, Mark Perlman|arXiv (Cornell University)|2017. 03. 01.

Stochastic processes and statistical mechanics참고 문헌 4인용 수 13

한 줄 요약

이 논문은 시간에 비례하지 않는 설정으로 고전적인 분할 과정 결과를 확장하며, 비멸망 조건 하에서 정규화된 인구 크기가 더 느슨한 조건 하에서 분포와 모멘트가 지수분포(1)로 수렴함을 증명한다. 비판적 영역에 대한 새로운 특성화를 수립하고, 생성함수와 渐近 분석을 사용하여 시간에 비례하지 않는 연속시간 분할-사라짐 과정으로 이러한 결과를 확장한다.

ABSTRACT

In this paper, we consider time-inhomogeneous branching processes and time-inhomogeneous birth-and-death processes, in which the offspring distribution and birth and death rates (respectively) vary in time. A classical result of branching processes states that in the critical regime, a process conditioned on non-extinction and normalized will converge in distribution to a standard exponential. In a paper of Jagers, time-inhomogeneous branching processes are shown to exhibit this convergence as well. In this paper, the hypotheses of Jagers' result are relaxed, further hypotheses are presented for convergence in moments, and the result is extended to the continuous-time analogue of time-inhomogeneous birth-and-death processes. In particular, the new hypotheses suggest a simple characterization of the critical regime.

연구 동기 및 목표

• Jagers의 1975년 결과에서 시간에 비례하지 않는 분할 과정에 대한 가정을 완화하여 비판적 영역에 더 넓은 적용 가능성을 부여한다.
• 비멸망 조건 하에서 정규화된 인구 크기의 모멘트 수렴을 분포 수렴 외에도 지수분포로 보장한다.
• 시간에 비례하지 않는 연속시간 분할-사라짐 과정으로 비멸망 기준과 지수 극한 결과를 확장한다.
• 시간에 비례하지 않는 과정에서 평균 인구 크기의 渐近 행동을 통해 비판적 영역에 대한 간단한 새로운 특성화를 제공한다.
• 생성함수와 모멘트 생성 함수를 사용하여 이산시간과 연속시간 시간에 비례하지 않는 분할 과정을 동일한 분석 프레임워크로 통합한다.

제안 방법

• 이산 시간에 비례하지 않는 분할 과정에서의 인구 분포를 모델링하기 위해 생성함수 $ f_n(s) = (g_0 \circ \cdots \circ g_{n-1})(s) $ 를 사용한다.
• 모멘트 생성 함수 $ M_r(t) = E(Z_t^r) $ 를 적용하고, $ \dot{M}_r = M_r E(X_t) + \text{고차항} $ 을 사용하여 $ M_r(t) $ 에 대한 재귀 미분방정식을 유도한다.
• 함수 $ \Gamma(t) $ 는 $ \Gamma(t) = \int_0^t \frac{1}{M(s)} ds $ 로 정의되며, 이는 비판적 영역을 특성화하고 정규화 척도를 제어한다.
• asymptotic 분석을 통해 $ \Gamma(t) $, $ M(t) $, 및 $ \phi(t) = P(Z_t \neq 0) $ 를 활용하여 모멘트가 $ r! $ 으로 수렴함을 증명하며, 이는 지수분포(1) 수렴을 의미한다.
• 미세한 전이 비율을 모델링하고 유사한 모멘트 및 생존 확률 渐近 행동을 도출하여 이산시간 프레임워크를 연속시간 분할-사라짐 과정으로 적응시킨다.
• 귀납법과 미분 부등식을 사용하여 $ M_r(t)/M(t)^r \sim r! \Gamma(t)^{r-1} $ 를 증명하며, 이는 지수분포로의 모멘트 수렴을 의미한다.

실험 결과

연구 질문

• RQ1 시간에 비례하지 않는 분할 과정이 비멸망 조건 하에서 어떤 더 느슨한 조건 하에 분포가 지수분포(1)로 수렴하는가?
• RQ2 시간에 비례하지 않는 분할 과정에서 비판적 영역은 자손 분포 외에 평균 인구 크기 $ E(Z_n) $ 에 대한 단순한 조건으로 특성화될 수 있는가?
• RQ3 이전에 알려진 것보다 더 약한 가정 하에서 시간에 비례하지 않는 분할 과정에 대해 모멘트 수렴이 지수분포로 성립하는가?
• RQ4 시간에 비례하지 않는 연속시간 분할-사라짐 과정으로 비멸망 기준과 지수 극한 결과를 유한한 생식률을 가진 과정으로 확장할 수 있는가?
• RQ5 시간에 비례하지 않는 과정에서 모멘트 생성 함수와 생존 확률은 어떻게 渐近적으로 행동하는가? 그리고 함수 $ \Gamma(t) $ 는 정규화에서 어떤 역할을 하는가?

주요 결과

• 논문은 Jagers의 결과보다 엄격히 더 약한 가정(즉, $ \lim_{n\to\infty} E(Z_n) < \infty $) 하에서도 정규화된 비멸망 인구가 여전히 분포적으로 지수분포(1)로 수렴함을 증명한다.
• 자손 분포의 두 번째 계승 모멘트가 $ E(X_t^2) \sim 2M(t) $ 를 만족할 경우, 지수분포(1)로의 모멘트 수렴이 성립함을 입증한다. 이 조건은 비판적 영역을 특성화한다.
• 비판적 영역은 조건 $ \int_0^\infty \frac{1}{E(Z_t)} dt = \infty $ 로 특성화되며, 이는 시간에 비례하지 않는 과정로의 고전적 멸종 기준을 일반화한다.
• 연속시간 시간에 비례하지 않는 분할-사라짐 과정에서 비멸망 확률 $ \phi(t) $ 는 $ \phi(t) \sim 1/\Gamma(t) $ 를 만족하며, 정규화된 인구는 모멘트로 지수분포(1)로 수렴한다.
• 함수 $ \Gamma(t) = \int_0^t \frac{1}{M(s)} ds $ 는 정규화에서 중심적인 역할을 하며, 비판적 영역을 특성화한다. $ \Gamma(t) \to \infty $ 는 비판성의 존재를 의미한다.
• 비멸망 조건 하에서 정규화된 인구 $ Z_t / E(Z_t \mid Z_t \neq 0) $ 의 $ r $-번째 모멘트는 $ r! $ 으로 수렴하며, 이는 지수분포(1)로의 모멘트 수렴을 확인한다.