[논문 리뷰] Precise large deviation estimates for branching process in random environment

Dariusz Buraczewski, Piotr Dyszewski|arXiv (Cornell University)|2017. 06. 13.

Stochastic processes and statistical mechanics인용 수 5

한 줄 요약

이 논문은 랜덤 환경 속 분열 과정(BPRE)에서의 큰 편차에 대해 정밀한 渐近적 추정을 수립하며, 인구 수가 지수적 임계값을 초과할 확률의 급격한 지수 감소율을 도출한다. 인구 수가 $\mathbb{P}[Z_n > e^{\rho n}]$를 초과할 확률이 $\sim \frac{\mathcal{C}_1(\rho)}{\sqrt{n}} e^{-I(\rho)n}$로 감소함을 증명하며, 명시적인 속도 함수 $I(\rho)$를 제공하고, Cramér 조건 하에서의 초하위 경우에 대해 첫 번째 통과 시간으로 확장하여 $\mathbb{P}[T_t^Z < \infty] \sim c t^{-\alpha_0}$임을 보인다.

ABSTRACT

We consider the branching process in random environment $\{Z_n\}_{n\geq 0}$, which is a~population growth process where individuals reproduce independently of each other with the reproduction law randomly picked at each generation. We describe precise asymptotics of upper large deviations, i.e. $\mathbb{P}[Z_n &gt; e^{ρn}]$. Moreover in the subcritical case, under the Cramér condition on the mean of the reproduction law, we investigate large deviations-type estimates for the first passage time of the branching process in question and its total population size.

연구 동기 및 목표

• 랜덤 환경 속 분열 과정에서 상위 尾확률 $\mathbb{P}[Z_n > e^{\rho n}]$의 정밀한 점근적 행동을 도출하는 것.
• 하위초기 상황에서의 첫 번째 통과 시간 $T_t^Z = \inf\{n \geq 0 : Z_n > t\}$으로의 분석 확장.
• Cramér 조건 $\mathbb{E}[A^{\alpha_0}] = 1$ 하에서 생존 확률과 초과 시간 분포의 정확한 점근적 표현 수립.
• 분열 과정 $Z_n$의 큰 편차 행동을 조건부 평균 $\Pi_n$과 관련된 랜덤 워크 $S_n = \log \Pi_n$으로 연결하는 것.
• 첫 번째 통과 시간 분포의 완전한 점근적 기술 제공, 한계에서의 안정 분포 수렴 및 측도 수렴 포함.

제안 방법

• 저자들은 환경에 따라 달라지는 생식 요인들의 곱으로 구성된 인구 과정을 분해하고, 관련 랜덤 워크 $S_n = \log \Pi_n$에 대해 큰 편차 기법을 적용한다.
• 하위초기 상황 분석을 위해 Cramér 조건 $\mathbb{E}[A^{\alpha_0}] = 1$를 적용하고, 첫 번째 통과 시간의 거듭제곱 감소를 도출한다.
• 측도 변화 기법과 하한 무한한 랜덤 변수 $R_{\infty}$를 사용하여 증명을 수행하며, 이는 하위초기 상황에서 총 인구 수를 특징짓는다.
• 분할 적분 기법과 균일 수렴 추정을 사용하여 측도 $dH_t(u)$가 상수 배수의 르베그 측도로 수렴함을 증명한다.
• 테일 기여를 제어하기 위해 헬더 부등식과 모멘트 유계를 적용하여 첫 번째 통과 시간 확률 분해의 분석을 수행한다.
• 적분을 세 영역으로 나누고, 지수적 및 다항식 모멘트 유계를 사용하여 테일 기여의 무시 가능성을 증명한다.

실험 결과

연구 질문

• RQ1 초기 상황과 비초기 상황에서 $n \to \infty$일 때 $\mathbb{P}[Z_n > e^{\rho n}]$의 정밀한 점근적 행동은 무엇인가요?
• RQ2 Cramér 조건 하에서 $t \to \infty$일 때 첫 번째 통과 시간 $T_t^Z = \inf\{n \geq 0 : Z_n > t\}$의 점근적 행동은 어떻게 되나요?
• RQ3 하위초기 BPRE 상황에서 $\mathbb{P}[T_t^Z < \infty]$의 정확한 감소율은 무엇인가요?
• RQ4 첫 번째 통과 시간 분포는 어떻게 법적으로 수렴하며, 한계 측도는 무엇인가요?
• RQ5 총 인구 수 $R_\infty$는 큰 편차 및 첫 번째 통과 시간의 점근적 행동을 결정하는 데 어떤 역할을 하나요?

주요 결과

• 초기 상황에서 $\rho > \mathbb{E}[\log A]$이고, 비초기 상황에서는 $\rho > 0$일 때, 큰 편차 확률 $\mathbb{P}[Z_n > e^{\rho n}]$는 $\sim \frac{\mathcal{C}_1(\rho)}{\sqrt{n}} e^{-I(\rho)n}$로 감소하며, 명시적으로 정의된 속도 함수 $I(\rho)$를 갖는다.
• Cramér 조건 $\mathbb{E}[A^{\alpha_0}] = 1$ 하에서 하위초기 상황에서는 첫 번째 통과 시간이 $\mathbb{P}[T_t^Z < \infty] \sim c t^{-\alpha_0}$ ($c > 0$)를 만족하며, 이는 총 인구 수 $R_\infty$의 꼬리 행동과 일치한다.
• 첫 번째 통과 시간과 관련된 한계 측도 $H_t$는 $C_1 c(\alpha_0)$로 스케일된 르베그 측도로 약하게 수렴하며, 이는 정규화된 첫 번째 통과 시간 분포가 한계에서 정규 분포로 수렴함을 시사한다.
• 인구 수 분포의 중심부 기여가 테일을 지배하며, 중간 영역에서 큰 값의 확률은 르베그 측도에 비례하여 점근적으로 비례한다.
• 헬더 부등식과 모멘트 유계를 사용하여 테일의 무시 가능 기여를 엄밀히 제어함으로써 점근적 동치가 성립함을 보장한다.
• 점근적 표현에 나타나는 상수 $C_1$은 극한 $\lim_{t \to \infty} e^{\alpha_0 s} \mathbb{P}[R_{n_1,n_y} > e^s]$에서 유래하며, 이 극한은 균일 수렴하며 총 인구 수 $R_\infty$와 연결된다.