[论文解读] Recent progress in coalescent theory

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

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

一句话总结

本文對 coalescent 理論提供了全面的介紹，專注於現代數學發展，將 coalescent process 與連續隨機樹（CRT）、空間模型（如共軛隨機游走）以及自旋玻璃系統聯繫起來。它透過 Ray-Knight 定理，建立了連續狀態分支過程（CSBPs）的高程過程與 Donnelly-Kurtz lookdown process 之間的關鍵聯繫，並證明在 Grey 條件下，基於 CRT 和 lookdown process 衍生的基因系結構在數學上是等價的。

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.

研究动机与目标

• 為機率與數學群體遺傳學領域的研究者提供一個自包含且易於理解的先進 coalescent process 導論。
• 利用遊程理論澄清連續狀態分支過程（CSBPs）的基因系與 Donnelly-Kurtz lookdown process 之間的聯繫。
• 透過連續隨機樹與隨機流的觀點統一描述 coalescent 基因系，特別是在高程過程與局部時刻的框架下。
• 強調空間 coalescents 的最新進展，包括共軛隨機游走與超布朗運動極限，及其縮放極限。

提出的方法

• 使用布朗運動的遊程理論與高程過程，描述 CSBPs 的基因系，並與遊程的泊松點過程聯繫起來。
• 應用 Ray-Knight 定理，證明高程過程的局部時刻過程可產生 CSBPs，從而建立局部時刻與分支過程之間的對偶性。
• 透過依 supremum 排序的遊程上的標籤方案定義 Donnelly-Kurtz lookdown process，確保基因系的一致性。
• 將高程過程 $ H_t $ 視為離散樹探索的連續類比，其中 $ L(t,x) $ 表示在水準 $ x $ 的局部時刻。
• 利用零點的逆局部時刻 $ \tau_\ell $ 定義 CSBP $ Z_x = L(\tau_\ell, x) $，並證明其依 $ \psi $-CSBP 動力學演化。
• 透過證明標籤過程 $ \xi_j(t) $ 複製了 Donnelly-Kurtz 動力學，展示基於 CRT 的基因系與 lookdown process 之間的等價性。

实验结果

研究问题

• RQ1 如何利用高程過程與局部時刻描述連續狀態分支過程的基因系？
• RQ2 透過遊程理論，Donnelly-Kurtz lookdown process 與連續隨機樹之間的精確聯繫為何？
• 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) $，且與低水準結構獨立。
• 透過依高於水準 $ t $ 的遊程之 supremum 排序並分配 i.i.d. 標籤所定義的標籤過程 $ \xi_j(t) $，可複製 Donnelly-Kurtz lookdown process。
• 基於遊程的 CRT 衍生之基因系結構，與 lookdown process 的基因系結構在數學上等價，確認了不同框架間的一致性。
• 透過定理 A.11，確立了 CRT 與 lookdown process 框架之間的等價性，證明 $ (\xi_j(t), t \geq 0) $ 為與 $ \psi $-CSBP 相關的 Donnelly-Kurtz process。