[论文解读] Kingman's coalescent and Brownian motion

Julien Berestycki, Nathanaël Berestycki|ArXiv.org|Apr 9, 2009

Mathematical Dynamics and Fractals参考文献 20被引用 14

一句话总结

本文提出了一种基于布朗运动过胞的国王共聚过程的新构造，将其与局部时和过胞高度排序联系起来。关键贡献在于对时间零附近块大小的多重分形谱的精确刻画，揭示了谱的厚部分并非作为 α→2 时 Beta-共聚过程的极限而出现，从而为共聚过程的小时间行为提供了新见解。

ABSTRACT

We describe a simple construction of Kingman's coalescent in terms of a Brownian excursion. This construction is closely related to, and sheds some new light on, earlier work by Aldous and Warren. Our approach also yields some new results: for instance, we obtain the full multifractal spectrum of Kingman's coalescent. This complements earlier work on Beta-coalescents by the authors and Schweinsberg. Surprisingly, the thick part of the spectrum is not obtained by taking the limit as $α o 2$ in the result for Beta-coalescents mentioned above. Other analogies and differences between the case of Beta-coalescents and Kingman's coalescent are discussed.

研究动机与目标

• 通过布朗运动过胞和局部时，提供国王共聚过程的一种新且简洁的构造方法。
• 分析国王共聚过程的小时间行为，特别是异常大小块大小的分布。
• 确定时间零附近共聚过程的完整多重分形谱。
• 阐明国王共聚过程与 Beta-共聚过程在谱行为上的差异，特别是在 α→2 的极限下。

提出的方法

• 通过布朗运动在水平线 1 之上的过胞构造国王共聚过程，并按其最大高度排序。
• 通过将个体分配至水平线 u 之上的过胞来定义过程 Πᵤ，其中若个体的过胞落入同一更高阶过胞，则其属于同一块。
• 利用水平线 x 处的总局部时 Zₓ = L(ζ, x) 定义时间变换 U(t)，通过积分方程 ∫ₛ¹ 4/Zᵤ du = t。
• 通过 Kesten-Stigum鞅与测度 μ 及其归一化 μ♯，在度量空间 (S, η) 上建立共聚过程与连续随机树之间的对应关系。
• 应用离散时间 Galton-Watson 树的结果推导多重分形谱，使用从总局部时的指数分布中导出的参数 a=1, r=1, τ=1。
• 利用过胞局部时与 Yule 树结构之间的联系，识别出具有异常块大小的射线集合的 Hausdorff 维数。

实验结果

研究问题

• RQ1 如何通过布朗运动过胞构造国王共聚过程，以揭示其小时间多重分形结构？
• RQ2 在时间零附近，国王共聚过程中块大小的完整多重分形谱是什么，特别是对于大小为 t^γ 且 γ≠1 的块？
• RQ3 为何国王共聚过程中的谱厚部分不会作为 α→2 时 Beta-共聚过程谱的极限而出现？
• RQ4 共聚过程的结构如何与连续随机树的度量结构及其边界上的相关测度相联系？

主要发现

• 通过水平线 u 之上的过胞构造的过程 (Πᵤ) 经过由 ∫ₛ¹ 4/Zᵤ du = t 定义的时间变换 U(t) 后，其分布与国王共聚过程相同。
• 当 t→0 时，块频率 F(t) 满足 2F(t)/t →d E + E′，其中 E 和 E′ 是独立同分布的 Exp(1) 随机变量。
• 对于大小为 t^γ 且 γ<1 的块，多重分形谱由 limsup μ(B(ξ,e⁻ⁿ))/m⁻ⁿn 的极限上确界刻画，其维数为 a−rθ=1−θ，其中 0≤θ≤1。
• 对于 γ>1（异常小的块），谱由薄部分描述：dim{ξ: limsup −log μ(B(ξ,e⁻ⁿ))/n = θ} = a(a/θ(1+τ)−τ) = 1(1/θ(2)−1)，其中 1≤θ≤2。
• 谱的厚部分并非 α→2 时 Beta-共聚过程的极限，表明其在标度行为上存在根本性差异。
• 该构造通过固定水平为 1 并使用确定性时间变换，避免了先前工作中使用的辅助引理（如文献 [7] 中的引理 24）。