[論文レビュー] Recent progress in coalescent theory

Nathanaël Berestycki|ArXiv.org|Sep 22, 2009

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

ひとこと要約

本稿は、連続ランダム木（CRT）や空間的モデル（共鳴ランダムウォークなど）およびスピンガラス系と結びついた現代の数学的発展に注目した、共鳴理論の包括的紹介を提供する。Ray-Knight定理を用いて、連続状態ブランチ過程（CSBPs）の高さ過程とDonnelly-Kurtzのルックダウン過程との間の重要な関係を確立し、Greyの条件のもとで、CRTとルックダウン過程から導かれる系統的構造が数学的に同等であることを示している。

ABSTRACT

Coalescent theory is the study of random processes where particles may join each other to form clusters as time evolves. These notes provide an introduction to some aspects of the mathematics of coalescent processes and their applications to theoretical population genetics and other fields such as spin glass models. The emphasis is on recent work concerning in particular the connection of these processes to continuum random trees and spatial models such as coalescing random walks.

研究の動機と目的

• 確率および数学的集団遺伝学分野の研究者を対象に、高度な共鳴過程について自己完結的でアクセス可能な紹介を提供すること。
• エクcursion理論を用いて、連続状態ブランチ過程（CSBPs）の系統的構造とDonnelly-Kurtzのルックダウン過程との関係を明確にすること。
• 高さ過程と局所時間の枠組みを用いて、連続ランダム木と確率的フローによる共鳴系統的記述を統一すること。
• 共鳴ランダムウォークや超ブラウン運動の極限を含む、空間的共鳴の最近の進展とそのスケーリング極限を強調すること。

提案手法

• ブラウン運動のエクスカージョン理論と高さ過程を用いて、CSBPsの系統的構造を記述し、それらをエクスカージョンのポアソン点過程と結びつける。
• Ray-Knight定理を適用して、高さ過程の局所時間過程がCSBPを生成することを示し、局所時間とブランチ過程との間に双対性を確立する。
• 上位値で順序付けられたエクスカージョン上にラベル付けスキームを定義することで、Donnelly-Kurtzのルックダウン過程を定義し、系統的整合性を保証する。
• 離散的木探索の連続的アナログとして高さ過程 $ H_t $ を用い、$ L(t,x) $ はレベル $ x $ における局所時間と定義する。
• ゼロにおける逆局所時間 $ \tau_\ell $ を用いて、CSBP $ Z_x = L(\tau_\ell, x) $ を定義し、これが $ \psi $-CSBPのダイナミクスに従って進化することを示す。
• ラベル付け過程 $ \xi_j(t) $ がDonnelly-Kurtzダイナミクスを再現することを示すことで、CRTに基づく系統的構造とルックダウン過程との同等性を実証する。

実験結果

リサーチクエスチョン

• RQ1 連続状態ブランチ過程の系統的構造は、高さ過程と局所時間によってどのように記述できるか？
• RQ2 エクスカージョン理論を介して、Donnelly-Kurtzのルックダウン過程と連続ランダム木（CRT）との明確な関係は何か？
• RQ3 高さ過程の局所時間過程が $ \psi $-CSBPを生成する条件は何か？また、それらの関係は、基礎となるエクスカージョン測度とどのように関係するか？
• RQ4 共鳴ランダムウォークなどの空間的共鳴機構は、スケーリング極限においてどのように超ブラウン運動に収束するか？
• RQ5 Ray-Knight定理は、高さ過程の局所時間とCSBPを結ぶ役割を果たすが、古典的ブラウン運動のエクスカージョンの場合に一般化されるか？

主な発見

• 高さ過程 $ H_t $ の局所時間過程 $ L(t,x) $ は $ L^1 $ に属し、$ Z_x = L(\tau_\ell, x) $ を用いて $ \psi $-CSBP を定義する。ここで $ \tau_\ell $ はゼロにおける逆局所時間である。
• 高さ過程のエクスカージョン測度 $ \nu $ は、$ \int_{v(x)}^{\infty} \frac{dq}{\psi(q)} = x $ を満たし、レベル $ x $ を超えるエクスカージョンの測度を一意に決定する。
• 高さ過程におけるレベル $ x $ 以上のエクスカージョンの集合は、$ d\ell \cdot \nu(\sup H_s > h) $ を強度とするポアソン点過程をなし、下位レベルの構造とは独立である。
• 上位値で順序付けられたエクスカージョン上に、i.i.d. ラベルを割り当てることで定義されるラベル付け過程 $ \xi_j(t) $ は、Donnelly-Kurtzのルックダウン過程を再現する。
• エクスカージョンを介してCRTから導かれる系統的構造は、ルックダウン過程のそれと数学的に同等であり、フレームワーク間の整合性が確認される。
• CRTとルックダウン過程フレームワークの同等性は、定理A.11により確立され、$ (\xi_j(t), t \geq 0) $ が $ \psi $-CSBPに関連するDonnelly-Kurtz過程であることが示されている。