[论文解读] Record process on the Continuum Random Tree

Romain Abraham, Jean‐François Delmas|arXiv (Cornell University)|Jul 19, 2011

Stochastic processes and statistical mechanics参考文献 39被引用 20

一句话总结

本文在阿隆德的连续随机树（CRT）上构建了一个连续剪枝过程，生成一个随机变量 Θ，该变量在给定树的条件下，其分布与临界 Galton-Watson 树中隔离根节点所需切割次数的极限分布相同——此前该结果仅通过弱收敛获得。关键结果表明，Θ 等于剩余树质量随时间的积分，且经缩放后的变量 Z = √(2α/σ)Θ 几乎必然收敛至詹森（Janson）的极限分布 Z_T。

ABSTRACT

By considering a continuous pruning procedure on Aldous's Brownian tree, we construct a random variable $Θ$ which is distributed, conditionally given the tree, according to the probability law introduced by Janson as the limit distribution of the number of cuts needed to isolate the root in a critical Galton-Watson tree. We also prove that this random variable can be obtained as the a.s. limit of the number of cuts needed to cut down the subtree of the continuum tree spanned by $n$ leaves.

研究动机与目标

• 为此前仅通过弱收敛在詹森工作中已知的条件极限分布 Z_T 提供一种构造性描述。
• 使用泊松点过程对 CRT 建模随机切割，定义一种连续剪枝程序。
• 证明根节点隔离的总时间（表示为树质量过程上的积分）与 Z_T 的条件分布一致。
• 建立在 n 片叶子的子树上离散剪枝过程几乎必然收敛至 CRT 上的连续极限。

提出的方法

• 将 CRT 视为在桥接测度 N 下由布朗运动桥编码的实树，其长度测度为 ℓ(dx)，叶上的质量测度为 m^T(dx)。
• 在 T × [0, ∞) 上引入强度为 αℓ(dx)dθ 的泊松点过程，以建模空间与时间上的随机切割点。
• 定义 θ(x) 为从根到 x 的路径上首次发生切割的时间，表示 x 被切断与根连接的时间。
• 定义 Θ = ∫_T θ(x) m^T(dx)，并将其缩放为 Z = √(2α/σ)Θ，使其与詹森的无条件瑞利分布一致。
• 利用恒等式 Θ = ∫₀^∞ σ_q dq，其中 σ_q 为时间 q 时剩余树的质量，将 Θ 表示为剩余质量过程的时间积分。
• 借助拉普拉斯变换与桥理论计算矩，并在桥接测度下建立收敛性。

实验结果

研究问题

• RQ1 能否在 CRT 上构造一个连续剪枝过程，使得隔离根节点所需的切割次数与詹森的条件极限分布 Z_T 一致？
• RQ2 在有限子树上的离散剪枝过程是否几乎必然收敛至 CRT 上的连续极限？
• RQ3 隔离根节点所需的总时间 Θ 是否可表示为剩余质量过程 σ_q 的积分？
• RQ4 缩放后的变量 Z = √(2α/σ)Θ 在给定 CRT 条件下是否与 Z_T 同分布？
• RQ5 在桥接测度下，Θ 的一阶矩为何？其渐近行为如何？

主要发现

• 定义为质量测度上切割时间函数积分的随机变量 Θ，满足在给定 CRT 条件下，Z = √(2α/σ)Θ ≡ Z_T 几乎必然成立。
• 恒等式 Θ = ∫₀^∞ σ_q dq 几乎必然成立，其中 σ_q 为时间 q 时剩余树的质量。
• 在桥接测度下，Θ 的一阶矩满足 H_q(r) = E[Θ | σ = r]，且满足不等式 0 ≤ qr − H_q(r) ≤ (1/2)√(πα) q² r^{3/2}。
• 通过桥理论与生成函数 F(q) 推导出总切割时间 Θ 的拉普拉斯变换，得到显式积分表示。
• F(q) 在 λ 处的渐近展开表明，其在 λ = 0 处的一阶导数为 (1/(2α)) log(1 + z)，其中 z = q√(α/μ)，从而确认了矩结构。
• 本文建立了在 n 片叶子的子树上离散剪枝过程几乎必然收敛至连续极限，将詹森的分布结果推广至路径收敛。