[论文解读] The total external branch length of Beta-coalescents

Götz Kersting, Iulia Stanciu+1 more|arXiv (Cornell University)|Dec 25, 2012

Stochastic processes and statistical mechanics参考文献 14被引用 10

一句话总结

该论文推导了指数 $\alpha \in (1,2)$ 的 Beta-共祖过程中原子外部分支总长度的渐近分布，表明其波动尺度为 $\tau_n^{2-\alpha}$，其中 $\tau_n$ 为总共祖事件数。与在 $\alpha_0 = (1+\sqrt{5})/2$ 处出现相变的总树长不同，外部分支长度在整个 $1<\alpha<2$ 范围内均一致地表现出 $\tau_n^{2-\alpha}$ 的波动尺度。

ABSTRACT

For $1

研究动机与目标

• 理解指数 $1<\alpha<2$ 的 Beta-共祖过程中外部分支总长度的渐近行为。
• 刻画样本大小 $n \to \infty$ 时外部分支长度波动的尺度。
• 对比外部分支长度与总树长的波动行为，后者在 $\alpha_0 = (1+\sqrt{5})/2$ 处出现相变。
• 建立外部分支长度波动在整个 $1<\alpha<2$ 参数范围内均由 $\tau_n^{2-\alpha}$ 所主导。

提出的方法

• 作者通过将总外部分支长度 $\ell_n$ 按每次共祖事件的贡献进行分解，利用过程 $Y_k$ 跟踪时间 $T_k$ 时存活的外部分支数。
• 他们引入了依赖于共祖过程 $X_k$ 和随机时间 $\tau_n$ 的 $\ell_n$ 的归一化版本 $\mathfrak{l}_n'$。
• 通过矩界和条件期望控制 $\ell_n$ 与其近似值 $\mathfrak{l}_n'$ 之间的误差，证明 $\mathfrak{l}_n' - \ell_n = O_P(n^{3/2 - \alpha + \varepsilon})$。
• 他们使用独立同分布的指数随机变量 $W_k$ 建模共祖之间的等待时间，并通过条件化 $X_k$ 和 $Y_k$ 推导 $\ell_n$ 的分布极限。
• 他们应用切比雪夫不等式和控制收敛定理，控制误差项并建立 $\ell_n$ 与 $\gamma^{1-\alpha}\tau_n^{2-\alpha}$ 的渐近等价性。
• 他们利用稳定下偏过程的性质和矩估计，证明波动项 $G_{k_n} = Y_{k_n} - \mathbb{E}[Y_{k_n} \mid X]$ 为 $o_P(n)$，从而确保归一化外部分支数的依概率收敛。

实验结果

研究问题

• RQ1 在指数 $1<\alpha<2$ 的 Beta-共祖过程中，外部分支总长度的波动行为如何渐近表现？
• RQ2 在整个 $1<\alpha<2$ 范围内，外部分支长度的波动是否与总树长的波动方式一致？
• RQ3 外部分支长度波动的精确尺度如何以 $\tau_n$（总共祖事件数）表示？
• RQ4 当 $n \to \infty$ 时，归一化外部分支长度 $\ell_n / n$ 的行为如何，对于 $1<\alpha<2$？
• RQ5 能否通过共祖时间过程 $\tau_n$ 来刻画 $\ell_n$ 的渐近分布？

主要发现

• 对于所有 $1<\alpha<2$，总外部分支长度 $\ell_n$ 的波动尺度为 $\tau_n^{2-\alpha}$，波动行为在整个范围内无相变。
• 归一化外部分支长度满足 $\ell_n = \gamma^{1-\alpha}\tau_n^{2-\alpha} + o_P(n^{3/2 - \alpha + \varepsilon})$，其中任意 $\varepsilon > 0$。
• 波动项 $\mathfrak{l}_n' - \ell_n$ 为 $O_P(n^{3/2 - \alpha + \varepsilon})$，与主项 $\tau_n^{2-\alpha}$ 相比可忽略。
• $\ell_n$ 的渐近分布完全由随机时间 $\tau_n$ 决定，外部分支长度按 $\gamma^{1-\alpha}\tau_n^{2-\alpha}$ 缩放。
• 当 $k_n \sim c\tau_n$ 时，$\frac{Y_{k_n}}{n} \to (1 - c)^\alpha$ 依概率成立，确认了中间时间点外部分支数的渐近行为。
• 条件期望误差 $G_{k_n} = Y_{k_n} - \mathbb{E}[Y_{k_n} \mid X]$ 为 $O_P(\sqrt{n})$，属于 $o_P(n)$，从而确保了渐近近似的有效性。