[论文解读] The contour of splitting trees is a Lévy process

Amaury Lambert|Apr 24, 2007

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

一句话总结

本文证明了分裂树的轮廓过程——其中个体以恒定速率繁殖且寿命分布一般——当通过泊松点过程对出生时间和寿命进行建模时，是一个 Lévy 过程。关键贡献在于通过 Lévy 过程对这类分支过程的系谱进行了新颖的表示，从而为种群动态、共祖先过程和极限定理提供了新的证明与洞见。

ABSTRACT

Splitting trees are those random trees where individuals give birth at constant rate during a lifetime with general distribution, to i.i.d. copies of themselves. The width process of a splitting tree is then a binary, homogeneous Crump--Mode--Jagers (CMJ) process, and is not Markovian unless the lifetime distribution is exponential. Here, we allow the birth rate to be infinite, that is, pairs of birth times and lifespans of newborns form a Poisson point process along the lifetime of their mother, with possibly infinite intensity measure. A splitting tree is a random (so-called) chronological tree. Each element of a chronological tree is a (so-called) existence point $(v,τ)$ of some individual $v$ (vertex) in a discrete tree, where $τ$ is a nonnegative real number called chronological level (time). We introduce a total order on existence points, called linear order, and a mapping $φ$ from the tree into the real line which preserves this order. The inverse of $φ$ is called the exploration process, and the projection of this inverse on chronological levels the contour process. For splitting trees truncated up to level $τ$, we prove that thus defined contour process is a Lévy process reflected below $τ$ and killed upon hitting 0. This allows to derive properties of (i) splitting trees: conceptual proof of Le Gall--Le Jan's theorem in the finite variation case, exceptional points, coalescent point process, age distribution; (ii) CMJ processes: one-dimensional marginals, conditionings, limit theorems, asymptotic numbers of individuals with infinite vs finite descendances.

研究动机与目标

• 建立分裂树轮廓过程与 Lévy 过程之间的联系，扩展分支过程理论中的已知结果。
• 通过将轮廓过程视为 Lévy 过程，为 Le Gall–Le Jan 定理在有限变体情形下提供概念性、路径层面的证明。
• 分析在固定时间点存活个体的分布，包括年龄分布、共祖先层级和特殊点。
• 推导 CMJ 过程的极限定理及其渐近行为，特别是具有有限与无限谱系的个体比例。
• 统一并重新诠释现有关于连续状态分支过程及其通过 Lévy 过程编码系谱的结果。

提出的方法

• 通过在 $(0,\infty]$ 上具有通用 Lévy 测度 $\Lambda$ 的泊松点过程对出生时间与寿命进行定义，构建分裂树，允许产生无限多个后代。
• 在存在点 $(v,\tau)$ 上引入线性顺序，其中 $v$ 为顶点，$\tau$ 为时间，定义将树映射到 $\mathbb{R}$ 的探索过程 $\varphi$。
• 将轮廓过程 $X_s$ 定义为 $\varphi$ 的逆，并投影到时间层级上，该过程按时间顺序追踪树的生命周期。
• 证明当树在时间 $\tau$ 截断时，轮廓过程 $X_s$ 是在水平 $\tau$ 以下反射并在首次触及 0 时吸收的 Lévy 过程。
• 利用强马氏性质和泊松点过程的补偿公式，计算在时间 $\tau$ 时总种群规模的分布。
• 应用尺度函数与指数测度变换技术，推导种群规模的极限分布以及具有无限谱系的个体比例。

实验结果

研究问题

• RQ1 具有通用寿命分布的分裂树的轮廓过程是否为 Lévy 过程？
• RQ2 CMJ 过程的系谱能否通过 Lévy 过程以路径层面、构造性的方式编码？
• RQ3 在超临界分裂树中，具有有限与无限谱系的个体数量的极限分布是什么？
• RQ4 轮廓过程如何反映在固定时间 $\tau$ 时存活个体的年龄分布与共祖先结构？
• RQ5 能否通过将轮廓过程视为 Lévy 过程，重新推导 Le Gall–Le Jan 关于共祖先点过程的定理？

主要发现

• 当树在时间 $\tau$ 截断时，分裂树的轮廓过程是反射在 $\tau$ 以下并在首次触及 0 时吸收的 Lévy 过程。
• 在非灭绝条件下，时间 $\tau$ 时的总种群规模 $\Xi_\tau$ 的分布收敛于几何分布，成功概率为 $\exp(-b\tau)$，在纯出生情形下成立。
• 在具有指数寿命的出生-死亡情形下，给定非灭绝时的种群规模条件分布为几何分布，成功概率为 $(d - b)/(d - b e^{(b-d)\tau})$，当 $\tau \to \infty$ 时收敛于 $d/b$。
• 在超临界情形下，具有无限谱系的个体比例以概率收敛于 $d/b$，而此类个体的数量演化为速率为 $b - d$ 的 Yule 过程。
• 总种群规模 $\Xi_\tau$ 的分布满足 Yaglom 型极限定理，$e^{-\eta\tau}\Xi_\tau$ 在分布上收敛于一个期望为 1 的随机变量 $\xi$。
• 典型个体具有无限谱系的概率 $p_\tau = \mathbb{E}[1 - e^{-\eta R_\tau}]$ 收敛于 $1 - \psi'(\eta)$，其中 $\psi$ 为 Lévy 过程的 Laplace 指数。