[논문 리뷰] A new formulation of the spine approach to branching diffusions

Robert J. Hardy, Simon C. Harris|ArXiv.org|2006. 11. 02.

Stochastic processes and statistical mechanics참고 문헌 22인용 수 15

한 줄 요약

이 논문은 분기 확산에서 스파인 접근법의 정교화된 형식화를 제안하여 핵심 결과에 대한 더 단순하고 직관적인 증명을 가능하게 한다. 이는 측도 변화 하에 한 개 입자의 행동으로 입자 집합의 합에 대한 기대값을 표현하는 일반화된 '다수에서 한 명으로' 정리(Many-to-One theorem)를 수립하며, 새로운 스파인 기반의 측도 이론 프레임워크를 통해 경로에 의존하는 함수형에도 확장된다.

ABSTRACT

We present a formalization of the spine change of measure approach for branching diffusions that improves on the scheme laid out for branching Brownian motion in Kyprianou (2004) ["Travelling wave solutions to the KPP equation, Ann. Inst. H. Poincare Probab. Statist. 40, no.1, pp53-72] which itself made use of earlier works of Lyons et al (1997) ["A conceptual proof of the Kesten-Stigum theorem for multi-type branching processes", Classical and modern branching processes, IMA Vol. Math. Appl., vol.84, Springer, New York, pp181-185]. We use our new formulation to interpret certain `Gibbs-Boltzmann' weightings of particles and use this to give a new, intuitive and proof of a more general `Many-to-One' result which enables expectations of sums over particles in the branching diffusion to be calculated purely in terms of an expectation of one particle. Significantly, our formalization has provided the foundations that facilitate a variety of new, greatly simplified and more intuitive proofs in branching diffusions: see, for example, the L^p convergence of additive martingales in Hardy and Harris (2006) ["Spine proofs for L^p-convergence of branching-diffusion martingales", arXiv:math.PR/0611056], the path large deviation results for branching Brownian motion in Hardy and Harris (2006) ["A conceptual approach to a path result for branching Brownian motion", Stochastic Processes and their Applications, doi:10.1016/j.spa.2006.05.010] and the large deviations for a continuous-typed branching diffusion in Git et al (2006) ["Exponential growth rates in a typed branching diffusion", Annals Applied Prob., (under revision)] and Hardy and Harris (2004) ["A spine proof of a lower-bound for a typed branching diffusion", no.0408, Mathematics Preprint, University of Bath].

연구 동기 및 목표

• 이전의 스파인 측도 형식화의 한계, 특히 경로에 의존하는 함수형과 복잡한 분기 역학을 다룰 수 없는 점을 해결하기 위해.
• 연속 시간 분기 확산에서 스파인 접근법에 대해 더 체계적이고 직관적인 프레임워크를 제공하기 위해.
• 분기 과정에서 $\mathcal{L}^p$ 수렴, 대규모 편차, 마틴갈 성질에 관한 기존 결과의 증명을 단순화하기 위해.
• 기존의 '다수에서 한 명으로' 정리가 시간 $t$의 근사 함수형에 국한되지 않고, 일반적인 경로에 의존하는 함수형으로 확장될 수 있도록 하기 위해.

제안 방법

• 원래 분기 과정과 특별한 조상 계보를 가진 스파인 과정을 위한 두 개의 공간 측도 이론적 프레임워크를 도입한다.
• Radon-Nikodym 도함수 $Z_\lambda(t)/Z_\lambda(0)$를 통해 측도 변화 $\mathbb{Q}_\lambda^x$를 정의하여 원래 측도와 스파인 측도를 연결한다.
• 스파인 과정을 기반으로 사용: 드리프트 $\lambda$를 가진 확산, 비율 $2r$로 분열하며, 한 입자를 선택해 계보를 계속한다.
• 스파인의 경로를 사용하여 전체 입자 시스템의 함수형을 표현하며, 항등식 $\tilde{\mathbb{Q}}(f(t)) = \tilde{P}(f(t)\tilde{\zeta}(t)/\tilde{\zeta}(0))$ 를 활용한다.
• 탑재 성질과 측도 변화 항등식을 적용하여 $\mathcal{F}_t$-측정 가능한 함수형에 대한 일반화된 '다수에서 한 명으로' 결과를 도출한다.
• 스파인 분해를 활용하여 다중 입자 기대값을 변환된 측도 하에서 단일 입자 기대값으로 환원한다.

실험 결과

연구 질문

• RQ1 스파인 접근법은 어떻게 분기 확산에서 경로에 의존하는 함수형을 다룰 수 있도록 형식화될 수 있는가?
• RQ2 이전의 방법에 비해 이 새로운 형식화는 단순성과 일반성 측면에서 어떤 개선을 제공하는가?
• RQ3 '다수에서 한 명으로' 정리는 시간 $t$의 근사 함수형을 넘어서 경로에 의존하는 함수형으로도 확장될 수 있는가?
• RQ4 이 새로운 프레임워크는 분기 과정에서 $\mathcal{L}^p$ 수렴과 대규모 편차에 대한 증명을 어떻게 단순화하는가?
• RQ5 스파인 측도는 분기 확산에서 지브스-볼츠만형 가중치를 어떻게 해석하는 데 기여하는가?

주요 결과

• 논문은 일반화된 '다수에서 한 명으로' 정리(정리 8.5)를 수립하여, 경로에 의존하는 함수형에 대해서도 입자 집합의 합에 대한 기대값이 변환된 측도 하에서 한 입자의 기대값으로 표현됨을 보여준다.
• 함수 $f$가 스파인의 최종 위치에만 의존할 경우, 핵심 항등식 $P(\sum_{u\in N_t} f_u(t)) = \mathbb{P}(e^{\int_0^t R(\xi_s)ds} f(\xi_t))$ 는 특수한 경우로 복원된다.
• 이 형식화는 추가 마틴갈의 $\mathcal{L}^p$ 수렴에 대한 매우 단순화된 증명을 가능하게 하며, 하디와 허리스 [19]에서 제시된 바와 같다.
• 이 방법은 분기 브라운 운동에 대한 경로 대규모 편차 결과(하디와 허리스 [18])와 연속형 분기 확산에 대한 대규모 편차 결과(Git 등 [15], 하디와 허리스 [17])에 대해 새로운, 간결한 증명을 가능하게 한다.
• 스파인 측도 $\mathbb{Q}_\lambda^x$ 는 경로 기반 과정으로 명시적으로 구성된다: 가속된 분열과 한 계보의 선택을 가지며, 나머지 입자는 독립적으로 진화하는 드리프트가 있는 브라운 운동.
• 이 프레임워크는 스파인 과정에 의해 유도되는 측도 변화로 해석함으로써 지브스-볼츠만형 가중치의 사용을 정당화한다.