[논문 리뷰] Boundary behavior of multi-type continuous-state branching processes with immigration

Martin Friesen, Peng Jin외 1명|arXiv (Cornell University)|2019. 02. 04.

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

한 줄 요약

이 논문은 다중 유형의 연속 상태 브랜치링 과정에 이민을 포함한 CBI 과정에서 비멸망 및 비순환성을 보장하는 충분조건을 제시한다. 이를 위해 다차원 문제를 일차원 비교에 근거하여 단순화한다. 경로 기반의 쌍용 및 일차원 CBI 과정에 대한 비교를 통해, 멸망과 분포 조건 하에서 비멸망 및 비순환성을 보장하는 이민 및 브랜치 메커니즘에 대한 적분 조건을 도출한다.

ABSTRACT

In this article we provide a sufficient condition for a continuous-state branching process with immigration (CBI process) to not hit its boundary, i.e. for non-extinction. Our result applies to arbitrary dimension $d \geq 1$ and is formulated in terms of an integrability condition for its immigration and branching mechanisms $F$ and $R$. The proof is based on a suitable comparison with one-dimensional CBI processes and an existing result for one-dimensional CBI processes. The same technique is also used to provide a sufficient condition for transience of multi-type CBI processes.

연구 동기 및 목표

• 다중 유형 CBI 과정이 경계에 도달하지 않도록(즉, 멸망하지 않도록) 하는 충분조건을 규명하는 것.
• 기존의 일차원 결과인 비멸망 및 비순환성 결과를 다차원 설정으로 확장하는 것.
• 경로 기반의 쌍용 및 비교 기법을 활용하여 다중 유형 CBI 과정의 장기적 행동을 분석하는 것.
• 비멸망 및 비순환성을 보장하는 이민 및 브랜치 메커니즘에 대한 적분 조건을 제공하는 것.

제안 방법

• 두 CBI 과정 X와 Y 사이의 경로 기반 쌍용 구조를 사용하여 그 경로를 비교하는 것.
• 쌍용 논증을 통해 d차원 문제를 일차원 CBI 과정과의 비교로 환원하는 것.
• 생성자와 이토의 공식에 기반한 비교 원리를 적용하여 차이 과정 ∆k(t) = Yk(t) − Xk(t)를 제어하는 것.
• 생성자 항목 R1에서 R5에 대한 추정치를 활용하여 차이 과정의 기대 성장률에 상한을 도출하는 것.
• 그론월드의 부등식을 적용하여 차이 과정의 기대 양수 부분이 소멸함을 보여주며, 이는 Xk(t) ≤ Yk(t) 거의 확실하게 성립함을 의미한다.
• 기존의 일차원 CBI 과정 결과(예: [FUB14a, 보조정리 6])를 활용하여 다중 유형 케이스에서의 비멸망 및 비순환성을 유추하는 것.

실험 결과

연구 질문

• RQ1 다중 유형 CBI 과정이 멸망을 피하기 위해 이민 및 브랜치 메커니즘에 어떤 조건이 필요한가?
• RQ2 일차원 결과로부터 다차원 CBI 과정의 비멸망 행동을 어떻게 유추할 수 있는가?
• RQ3 메커니즘 F와 R에 대한 어떤 적분 조건이 과정의 비순환성을 보장하는가?
• RQ4 두 CBI 과정 간의 경로 기반 비교를 통해 샘플 경로 지배성을 유추하고, 이를 통해 비멸망을 유추할 수 있는가?

주요 결과

• 다중 유형 CBI 과정의 비멸망을 보장하는 충분조건은 이민 및 브랜치 메커니즘 F와 R에 대한 적분 조건으로 주어지며, 특히 F(k)(u)/R(k)(u)의 무한대 근처에서의 성장률을 포함한다.
• 메커니즘이 ∫κ^∞ exp(∫κ^ξ F(k)(u)/R(k)(u) du) / R(k)(ξ) dξ = ∞ 를 만족할 경우, 과정은 거의 확실하게 경계에 도달하지 않으며(즉, 양수 상태를 유지함) 비멸망이 보장된다.
• 동일한 적분 조건 하에서 과정의 비순환성이 입증되며, 이는 과정이 거의 확실하게 무한대로 발산함을 의미한다.
• 증명 기법은 경로 기반 쌍용 및 일차원 CBI 과정과의 비교에 기반하며, 일차원 케이스에서 알려진 결과를 활용한다.
• 비교 원리에 의해 지배 과정 Yk(t)가 양수 상태를 유지하고 무한대로 발산한다면, 원래 과정 Xk(t) 역시 동일한 성질을 가짐을 보장한다.
• 결과는 임의의 차원 d ≥ 1에 대해 성립하며, 일반 레비 기반 동역학을 갖는 보존적 CBI 과정에 적용 가능하다.