[논문 리뷰] Central limit theorem for a critical multi-type branching process in random environment

Émile Le Page, Marc Peigné외 1명|arXiv (Cornell University)|2020. 06. 19.

Stochastic processes and statistical mechanics참고 문헌 12인용 수 1

한 줄 요약

이 논문은 랜덤 환경 속에서의 임계 다형태 분열 과정에서 인구 수의 로그에 대한 중심극한정리(central limit theorem)를 수립한다. 마팅게일 기법과 랜덤 워크의 변동 이론을 활용해 조건부 과정을 분석함으로써, 정규화된 로그 인구 수가 정규분포로 수렴함을 증명하며, 단일 유형에서 다형태로의 일반화를 임계성과 기약가능성 조건 하에서 성립시킨다.

ABSTRACT

Let (Z n) n$\ge$0 with Z n = (Z n (i, j)) 1$\le$i,j$\le$p be a p multi-type critical branching process in random environment, and let M n be the expectation of Z n given a fixed environment. We prove theorems on convergence in distribution of sequences of branching processes Zn |Mn| /|Z n | > 0 and ln Zn $\sqrt$ n /|Z n | > 0. These theorems extend similar results for single-type critical branching process in random environment.

연구 동기 및 목표

• 랜덤 환경 속 임계 단일 유형 분열 과정에 대한 고전적 중심극한정리를 다형태로 일반화한다.
• 랜덤 환경의 변동 하에서 비멸망 조건 하의 다형태 분열 과정에서 인구 수의 로그의 渐近적 행동을 분석한다.
• 랜덤 행렬 이론과 관련된 마코프 체인의 변동 성질을 활용하여 정규화된 로그 인구 수의 수렴 분포를 확립한다.
• 다양한 입자 유형의 공동 진화를 랜덤 환경 효과 하에서 고려함으로써 단일 유형 과정의 결과를 다형태 과정으로 일반화한다.
• 적절히 정규화된 로그 인구 수의 극한 분포가 임계성과 기약가능성 조건 하에서 정규분포로 수렴함을 증명한다.

제안 방법

• 독립 동일분포 랜덤 행렬로 표현된 각 유형 간 기대 인구 수를 갖는 랜덤 환경 속 다형태 갈튼-워슨 과정을 사용한다.
• 비멸망 조건 하에서의 과정 분포를 분석하기 위해 마팅게일 접근법을 적용하며, 총 인구 수의 로그에 집중한다.
• 랜덤 워크의 변동 이론과 랜덤 행렬의 곱의 이론을 활용하여 기대 인구 수 경로의 渐近적 행동을 특성화한다.
• 시간 n까지의 비멸망 조건을 도입하고, 정규화된 과정의 수렴을 통해 브라운 운동의 엑스кур션 유형 극한과의 쌍형 기반 추론을 사용한다.
• 스피인 분해와 크기-편향 쌍형 기법을 활용하여 분열 과정의 행동을 랜덤 행렬에 의해 구동되는 R^p 상의 마코프 체인과 연결한다.
• 로그 인구 수와 그 조건부 기댓값의 차이가 √n으로 정규화되었을 때 확률적으로 0으로 수렴함을 증명함으로써, 슬러츠푸른의 정리 적용을 가능하게 한다.

실험 결과

연구 질문

• RQ1 랜덤 환경 속 임계 다형태 분열 과정에서 총 인구 수의 로그가 중심극한정리를 만족하는가?
• RQ2 로그 인구 수의 극한 분포는 조건부 기댓값의 관련 랜덤 워크와 어떻게 비교되는가?
• RQ3 랜덤 환경에 대한 일반적인 모멘트 조건과 기약가능성 조건 하에서 정규화된 로그 인구 수의 수렴 분포를 확립할 수 있는가?
• RQ4 리아파노프 지수와 랜덤 행렬의 사영적 작용이 과정의 渐近적 행동을 결정하는 데 어떤 역할을 하는가?
• RQ5 랜덤 환경 속 임계 단일 유형 분열 과정의 결과를 다형태로 얼마나 넓히는가?

주요 결과

• 비멸망 조건 하에서 정규화된 로그 인구 수는 평균 0, 분산 σ²인 정규분포로 수렴하며, 여기서 σ는 극한 브라운 운동의 확산 계수이다.
• 시간 n까지의 비멸망 확률은 어떤 명시적인 양수 상수 c에 대해 c / √n과 渐近적으로 동일하며, 이는 단일 유형 결과를 다형태 설정으로 확장한다.
• 정규화된 로그 인구 수의 극한 분포는 관련된 양수 유지되는 랜덤 워크의 조건부 분포와 동일한 정규분포로 특성화되며, 이는 보편성 원칙을 확인한다.
• 일반적인 모멘트 조건과 랜덤 행렬의 사영적 작용의 기약가능성 조건 하에서 수렴이 성립하며, 이는 과정이 단일 유형으로 분해되지 않음을 보장한다.
• 로그 인구 수와 그 조건부 기댓값의 차이를 √n으로 정규화했을 때, 이는 확률적으로 0으로 수렴하며, 이는 최종 단계에서 슬러츠푸른의 정리를 적용하는 데 타당성을 부여한다.
• 핵심 기술적 결과는 √n으로 스케일된 생존 확률이 불변 측도와 극한 브라운 운동의 분산을 포함하는 상수로 수렴한다는 것이다.