[论文解读] Scaling limit of multitype Galton-Watson trees with infinitely many types

Loïc de Raphélis|arXiv (Cornell University)|May 15, 2014

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

一句话总结

本论文通过引入一种新型的带边长的二型Galton–Watson树——'带叶树'（其中一种类型作为不育的叶），建立了具有可数无穷多种类型的多类型Galton–Watson森林的极限分布。在温和的矩条件与遍历性条件下，此类森林的加权高度函数在分布上收敛于反射Browmian运动，通过树约化技术将Miermont针对有限类型森林的结果推广至无限类型情形。

ABSTRACT

We introduce a certain class of 2-type Galton-Watson trees with edge lengths. We prove that, after an adequate rescaling, the weighted height function of a forest of such trees converges in law to the reflected Brownian motion. We then use this to deduce under mild conditions an invariance principle for multitype Galton--Watson trees with a countable number of types, thus extending a result of G. Miermont on multitype Galton--Watson trees with finitely many types.

研究动机与目标

• 将G. Miermont针对有限多种类型的临界多类型Galton–Watson森林所建立的不变性原理，推广至可数无穷多种类型的情形。
• 在温和的矩条件与遍历性条件下，建立此类森林加权高度函数的极限分布。
• 引入并分析'带边长的带叶Galton–Watson树'作为技术工具，将无穷多种类型的问题约化为可处理的二型框架。
• 通过受Miermont方法启发的树约化法，证明高度函数在分布上收敛于反射Browmian运动。
• 提供充分条件——特别是几何遍历性与矩界——以保证极限分布成立。

提出的方法

• 定义一种带边长的二型Galton–Watson过程，其中类型1的节点可繁殖，类型0的节点为不育（作为人工叶），形成'带叶Galton–Watson树'。
• 构造独立同分布的此类树的森林，并使用Ulam–Harris树上的Neveu记号对树进行编码，以处理平面性与谱系关系。
• 引入由谱系路径诱导的类型上的马尔可夫链，并通过Lyapunov函数V与漂移条件，施加几何遍历性条件（H_R^{alt}）。
• 利用左特征向量(b_x)进行测度变换，将原始测度下的期望关系转化为变换测度下祖先过程为马尔可夫链的情形。
• 应用马尔可夫链理论中的矩界与指数矩估计（特别是文献[17]中的定理15.2.6），以控制首次 hitting 时间与高度函数矩的尾部行为。
• 通过树约化法将一般多类型树的高度函数约化为带叶树的高度函数，从而可将二型极限定理应用于无穷多种类型的情形。

实验结果

研究问题

• RQ1 多类型Galton–Watson森林的不变性原理能否从有限多种类型推广至可数无穷多种类型？
• RQ2 在何种条件下，具有无穷多种类型的多类型Galton–Watson森林的加权高度函数会收敛于反射Browmian运动？
• RQ3 一般多类型树的高度过程如何与带边长的二型带叶Galton–Watson树的高度过程相关联？
• RQ4 哪些矩条件与遍历性条件可确保在无穷多种类型设定下，重标度高度函数的紧致性与收敛性？
• RQ5 祖先类型过程的几何遍历性是否足以保证极限所需的矩界？

主要发现

• 在几何遍历性条件（H_R^{alt}）下，经适当重标度后，带边长的带叶Galton–Watson森林的加权高度函数在分布上收敛于反射Browmian运动。
• 条件（H_R^{alt}）对任意初始类型x_0均蕴含更强的条件（H_R^{x_0}），从而确保高度函数与返回x_0时间的必要矩界。
• 由几何遍历性导出的指数矩条件保证了命中时间τ_{x_0}的二阶矩有限性，从而确保高度过程的紧致性。
• 树约化法成功地将一般多类型Galton–Watson树的高度过程与带叶二型树的高度过程关联起来，使得极限定理得以推广。
• 在温和的矩条件与遍历性假设下，本结果将Miermont的不变性原理从有限类型空间推广至可数无穷类型空间。
• 只要祖先过程是几何遍历的且边长满足可积性条件，即使类型空间为无穷，收敛性依然成立。