[论文解读] A new formulation of the spine approach to branching diffusions

Robert J. Hardy, Simon C. Harris|ArXiv.org|Nov 2, 2006

Stochastic processes and statistical mechanics参考文献 22被引用 15

一句话总结

本文提出了分枝扩散过程中脊柱方法的改进形式化，使得关键结果的证明更加简洁直观。它建立了一个广义的‘多对一’定理，通过测度变换将粒子总和的期望表达为单个粒子行为的期望，通过一种新颖的基于脊柱的测度论框架，将该定理扩展至路径相关泛函。

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$ 收敛性证明显著简化，如 Hardy 和 Harris [19] 所示。
• 该方法实现了对分枝布朗运动路径大偏差结果（Hardy 和 Harris [18]）以及连续型分枝扩散大偏差结果（Git 等 [15]，Hardy 和 Harris [17]）的新颖且简化的证明。
• 脊柱测度 $\mathbb{Q}_\lambda^x$ 被显式构造为路径过程：一个带漂移的布朗运动，分裂速率加快，并选择一条谱系延续，其余粒子独立演化。
• 该框架通过将吉布斯-玻尔兹曼型加权解释为由脊柱过程诱导的测度变换，为其使用提供了理论依据。