[논문 리뷰] The $λ$-invariant measures of subcritical Bienaymé--Galton--Watson processes

Pascal Maillard|arXiv (Cornell University)|2015. 08. 04.

Stochastic processes and financial applications인용 수 5

한 줄 요약

이 논문은 쇠퇴적 Bienaymé–Galton–Watson 과정이 멸종 시점에 멈추는 경우의 λ-불변 측도에 대해 명시적인 적분 표현을 제공하며, 척도 불변 측도 Λ를 포함한 생성함수 공식을 통해 모든 준정적분포를 특성화한다. 주요 기여는 Martin 경계 이론에 의존하지 않고, 모든 λ에 대해 최소 λ-Martin 입구 경계를 특정하는 새로운 간단한 유도법을 제시하는 것이다. 이는 Kesten–Spitzer 공식을 일반화한 것으로 간주할 수 있다.

ABSTRACT

A $λ$-invariant measure of a sub-Markov chain is a left eigenvector of its transition matrix of eigenvalue $λ$. In this article, we give an explicit integral representation of the $λ$-invariant measures of subcritical Bienaymé--Galton--Watson processes killed upon extinction, i.e.\ upon hitting the origin. In particular, this characterizes all quasi-stationary distributions of these processes. Our formula extends the Kesten--Spitzer formula for the (1-)invariant measures of such a process and can be interpreted as the identification of its minimal $λ$-Martin entrance boundary for all $λ$. In the particular case of quasi-stationary distributions, we also present an equivalent characterization in terms of semi-stable subordinators. Unlike Kesten and Spitzer's arguments, our proofs are elementary and do not rely on Martin boundary theory.

연구 동기 및 목표

• 서브크리티컬 Bienaymé–Galton–Watson 과정이 멸종 시점에 멈출 경우의 λ-불변 측도에 대한 완전하고 명시적인 특성화를 제공한다.
• 클래식한 Kesten–Spitzer 공식을 1-불변 측도에 대해 일반화하여, 모든 λ ∈ (0, m)에 대해 적용 가능한 것으로 확장한다. 이는 준정적분포를 포함한다.
• 명시적인 적분 표현을 사용하여 이러한 과정에 대한 최소 λ-Martin 입구 경계를 특정한다.
• Martin 경계 이론에 의존하지 않는 간단한 증명을 제공하며, 이는 이전의 접근 방식과 대조적으로 고급 잠재이론적 도구를 사용하지 않는다.
• 반안정 보조순서와 척도 불변 측도 Λ on (0, ∞)를 통한 준정적분포의 새로운 특성화를 수립한다.

제안 방법

• H(z)를 ν_min의 생성함수로 정의할 때, G(z) = ∫₀^∞ (e^(H(z)−1)x − e^−x) x^−α Λ(dx) 공식을 통해 λ-불변 측도의 생성함수 G(z)에 대한 적분 표현을 유도한다.
• 모든 Borel A ⊂ (0, ∞)에 대해 Λ(A) = Λ(mA)를 만족하는 척도 불변 성질을 사용하여, m^α-불변 측도와 관련된 측도 Λ를 특성화한다.
• μ_n(A) = m^{−αn} ν(p_n^{−1}A), p_n = P₁(Z_n > 0)로 정의된 스케일된 경험 측도의 흐릿한 극한으로서 x^−αΛ(dx)를 구성한다.
• m^α-불변 측도와 G(F(z)) − G(F(0)) = λG(z) 형태의 슈뢰딩거 유사 함수방정식의 해 사이의 동치성을 확립한다. 여기서 λ = m^α이다.
• 적분 표현을 자가유사 과정의 라플라스–스틸체스 변환으로 해석함으로써, 해법을 반안정 보조순서와 연결한다.
• ν로부터 Λ의 유일성을 증명하고, 주어진 적분 표현으로 정의된 생성함수 G(z)가 최소한 1 이상의 수렴반경을 가짐을 확인한다.

실험 결과

연구 질문

• RQ1 서브크리티컬 Bienaymé–Galton–Watson 과정이 멸종 시점에 멈출 경우, λ-불변 측도의 완전한 집합은 무엇인가?
• RQ2 이러한 과정의 준정적분포는 명시적인 적분 표현을 통해 어떻게 특성화될 수 있는가?
• RQ3 모든 λ ∈ (0, m)에 대해 λ-Martin 입구 경계를 명시적으로 특정할 수 있는가? 만약 가능하면, 그 방법은 무엇인가?
• RQ4 Martin 경계 이론을 피하고 직접적인 확률적 해석을 제공하는 m^α-불변 측도의 표현이 존재하는가?
• RQ5 적분 공식에 등장하는 척도 불변 측도 Λ와 불변 측도의 尾행동 사이의 관계는 무엇인가?

주요 결과

• λ < m 인 경우 비자명한 λ-불변 측도는 존재하지 않으며, 존재성에 대한 날카운 경계를 확립한다.
• m-불변 측도는 오직 Yaglom 한계 ν_min의 스칼라 배수뿐이며, 이는 유일한 m-불변 확률측도이다.
• 각 α ∈ (−∞, 1)에 대해, m^α-불변 측도는 Λ(A) = Λ(mA)를 만족하는 (0, ∞) 위의 국소 유한 측도 Λ와 일대일 대응되며, 이는 적분 공식 G(z) = ∫₀^∞ (e^(H(z)−1)x − e^−x) x^{−α} Λ(dx)로 표현된다.
• 이 공식으로 정의된 생성함수 G(z)는 최소한 1 이상의 수렴반경을 가지며, |z| < 1 범위에서 수렴함을 보장한다.
• α ∈ (0, 1)에 대해 고유값 λ = m^α인 준정적분포는 추가로 ∫₀^∞ (1 − e^{−x}) x^{−α} Λ(dx) = 1 조건을 만족하는 동일한 적분 공식으로 특성화된다.
• 측도 Λ는 불변 측도 ν로부터 유일하게 결정되며, 이 표현은 함수방정식에 주기 함수나 비구성적 변환을 사용하지 않는 새로운 명시적이고 간단한 특성화를 제공한다.