[論文レビュー] 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

ひとこと要約

本稿は、分岐拡散過程におけるスプライン（脊髄）アプローチの洗練された形式化を導入し、主要な結果のより単純で直感的な証明を可能にする。変則的測度変換を用いることで、粒子の和の期待値を、単一粒子の挙動に帰着する一般化された「Many-to-One」定理を確立し、経路依存関数への応用を可能にする、新しいスプラインに基づく測度論的枠組みを提案する。

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$ 収束、大偏差、マルティンゲール挙動といった既存の結果の証明を簡略化すること。
• Many-to-One 定理を、時刻 $t$ の周辺分布関数に限定されない一般の経路依存関数へ拡張すること。

提案手法

• 元の分岐過程と、特徴的な先祖系列を持つスプライン過程の2つの空間にわたる測度論的枠組みを導入する。
• Radon-Nikodym 導来 $Z_\lambda(t)/Z_\lambda(0)$ を用いて、測度 $\mathbb{Q}_\lambda^x$ を定義し、元の測度とスプライン測度を結びつける。
• スプライン過程を骨格とする：漂動係数 $\lambda$ の拡散過程であり、分裂レートは $2r$、1つの粒子が系列を継続する。
• 関数 $f(t)$ の全粒子系に対する表現を、スプラインの経路を用いて行い、恒等式 $\tilde{\mathbb{Q}}(f(t)) = \tilde{P}(f(t)\tilde{\zeta}(t)/\tilde{\zeta}(0))$ を用いる。
• 塔の性質と測度変換の恒等式を適用し、$\mathcal{F}_t$-可測関数に対する一般化された Many-to-One 結果を導出する。
• スプライン分解を用いて、多粒子期待値を変換された測度下での単一粒子期待値に還元する。

実験結果

リサーチクエスチョン

• RQ1 分岐拡散過程における経路依存関数を扱えるように、スプラインアプローチをどのように形式化できるか？
• RQ2 本形式化は、単純さと一般性の観点から、従来の手法に比べてどのような改善をもたらすか？
• RQ3 Many-to-One 定理は、時刻 $t$ の周辺分布関数に限定されず、経路依存関数へも拡張可能か？
• RQ4 本フレームワークは、分岐過程における $\mathcal{L}^p$ 収束および大偏差の証明をどのように簡略化するか？
• RQ5 スプライン測度は、分岐拡散過程におけるギブス＝ボルツマン型重み付けを解釈するために果たす役割は何か？

主な発見

• 本稿は、一般化された「Many-to-One」定理（定理 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$ は、経路的に明示的に構成される：漂動係数を有するブラウン運動であり、分裂レートが加速され、1つの系列が選択され、残りの粒子は独立に進化する。
• 本フレームワークは、ギブス＝ボルツマン型重み付けの使用を正当化し、それらをスプライン過程によって誘発される測度変更として解釈できる。