[論文レビュー] The many-to-few lemma and multiple spines

Simon C. Harris, Matthew I. Roberts|arXiv (Cornell University)|Jan 1, 2011

Stochastic processes and statistical mechanics被引用数 17

ひとこと要約

本稿では、分岐過程における高次モーメントのための『many-to-few補題』を導入する。これは、many-to-one補題の一般化であり、測度の変更を伴う複数のスポイン（特徴的な系譜線）を用いた枠組みを構築することで、粒子系のk次モーメントを、k個の依存するマルコフ過程に関する期待値に還元し、明示的なRadon-Nikodym導関数を伴う測度変更を用いた、より単純な経路的計算によって、複雑な分岐系の解析を可能にする。

ABSTRACT

We develop a simple and intuitive identity for calculating expectations of weighted $k$-fold sums over particles in branching processes, generalising the well-known many-to-one lemma.

研究の動機と目的

• k次モーメントの計算のための体系的枠組みを導入することで、分岐過程におけるmany-to-one補題を高次モーメントに一般化すること。
• 最初のモーメント解析で用いられるものと類似した測度変更を可能にする、複数のスポインの理論を構築し、高次モーメントのための強力な確率的技法を可能にすること。
• さまざまなモデル（例：分岐ブラウン運動、スーパープロセス、分岐ランダムウォーク）におけるspecializedなmany-to-few恒等式の既存結果を、一つの整合的な枠組みに統合・拡張すること。
• 分岐過程における粒子の重み付きk重和の期待値を、新しい測度下でのk個の依存するランダムウォークの期待値に還元する、一般化された方法を提供すること。

提案手法

• k個の特徴的な系譜線（スポイン）がマークされた分岐過程において、粒子がスポイン参加を示すマークを保持するkスポイン測度Pk_xを導入する。
• スポイン粒子が異なる挙動を示す新たな測度Qk_xを定義する。この測度下では、スポイン粒子の運動がmartingale ζによってバイアスされ、その子孫は、自身が持つスポイン数に応じてサイズバイアスされる。
• Radon-Nikodym導関数dQk_x/dPk_xを用いて、Qk_x下の期待値をPk_x下の期待値に関連づけ、複雑なk重和を扱いやすい経路的期待値に変換する。
• many-to-few補題を、重み付き粒子和のk次モーメントを、スポイン位置、スポイン重み、スポイン依存の分岐率を含むQk_x下の期待値として表す公式として確立する。
• スポイン情報の追跡と、公式に登場する主要な量の可測性を保証するため、フィルトレーションFk_tとスケルトンskel(t)を構築する。
• 時間間隔の分解とmartingale性の性質（特に、新しい測度下でζ(X,n)がmartingaleであること）を用いて、補題を証明する。

実験結果

リサーチクエスチョン

• RQ1 分岐過程における粒子系の高次モーメントを、many-to-one補題の一般化を用いて、どのように効率的に計算できるか？
• RQ2 k次モーメントのための体系的測度変更を可能にする、特に複数のスポインが果たす確率的構造（具体的には、その役割）は何か？
• RQ3 k個の粒子間の依存構造を、k個の依存するマルコフ過程を用いた明示的なk重和の計算が可能になるように、どのように符号化できるか？
• RQ4 元の測度からスポインに基づく測度Qk_xに期待値を変換するための、正確なRadon-Nikodym導関数の形は何か？

主な発見

• many-to-few補題は、分岐過程における粒子の重み付き和のk次モーメントを、新しい測度Qk_x下でのk個の依存するマルコフ過程の期待値に還元する一般式を提供する。
• この公式は、スポイン位置ξi_t、スポイン重みζ、およびサイズバイアスされた子孫分布を含む期待値としてk次モーメントを表し、スポインの共alesce（融合）に依存する明示的な時間依存重みを含む。
• Pk_xからQk_xへの測度変更は、スポイン位置、スポイン重み、スポイン固有の分岐率に依存するRadon-Nikodym導関数によって特徴づけられ、複雑なモーメント計算の変換を可能にする。
• この枠組みは、many-to-one補題を高次モーメントに一般化し、連続時間および離散時間の両方のモデルに適用可能な統一的アプローチを提供する。
• この手法は頑健で、移植可能である：本設定に直接含まれないモデル（例：確率的環境下の分岐ランダムウォーク）にも応用可能であり、論文での応用例によって示されている。
• 離散時間版のmany-to-few補題が提供され、コアとなる恒等式が離散時間でも成り立つことが示されており、類似したスポインダイナミクスと測度変更が成立する。