[论文解读] On the Aldous diffusion on Continuum Trees. I

Soumik Pal|arXiv (Cornell University)|Apr 21, 2011

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

一句话总结

本文通过使用动力学的泊松化版本，将有限二叉树上的阿隆斯马尔可夫链的弱极限建立为连续树上的扩散过程。通过分析分裂树的缩放极限，其年龄过程虽不收敛但轮廓过程也不收敛，作者构建了一个由稳定(1/2)子调和过程控制的极限过程，为猜想中的阿隆斯扩散提供了严格的理论基础。

ABSTRACT

Consider a Markov chain on the space of rooted real binary trees that randomly removes leaves and reinserts them on a random edge and suitably rescales the lengths of edges. This chain was introduced by David Aldous who conjectured a diffusion limit of this chain, as the size of the tree grows, on the space of continuum trees. We prove the existence of a process on continuum trees, which via a random time change, displays properties one would expect from the conjectured Aldous diffusion. The existence of our process is proved by considering an explicit scaled limit of a Poissonized version of the Aldous Markov chain running on finite trees. The analysis involves taking limit of a sequence of splitting trees whose age processes converge but the contour process does not. Several formulas about the limiting process are derived.

研究动机与目标

• 严格建立当叶子数趋于无穷时，有限二叉树上阿隆斯马尔可夫链的扩散极限的存在性。
• 在连续树空间上定义并构造一个连续时间马尔可夫过程，以捕捉阿隆斯动力学的标度极限。
• 通过聚焦分裂树的年龄过程，解决极限中轮廓过程不收敛所引发的技术挑战。
• 为猜想中的阿隆斯扩散提供正式框架，将其与连续随机树（CRT）及稳定子调和过程联系起来。
• 为理解极限过程的不变分布奠定基础，具有对CRT的启示意义。

提出的方法

• 对阿隆斯马尔可夫链进行泊松化，以允许以指数速率独立发生出生与死亡事件，从而简化极限分析。
• 使用泊松化分裂森林的缩放极限，其中寿命测度为L，边长被适当地重标度。
• 通过个体树的年龄过程收敛来构建极限过程，即使轮廓过程不收敛。
• 引入街道与邮差协议，通过一族随机测度Γ(a)来建模不同时间层级上子树及其谱系的演化。
• 应用稳定(1/2)子调和过程来建模时间变换的动力学，反映极限过程中自相似结构。
• 在不同年龄层级上定义可数条街道与邮差的联合分布，通过测度族的限制性质确保一致性。

实验结果

研究问题

• RQ1 当叶子数趋于无穷时，有限二叉树上阿隆斯马尔可夫链是否存在扩散极限？
• RQ2 能否通过分裂树的泊松化与缩放极限，严格构造出连续树上的极限过程？
• RQ3 当轮廓过程不收敛时，如何在极限中捕捉树演化的动力学？
• RQ4 稳定(1/2)子调和过程在极限过程的时间变换动力学中起什么作用？
• RQ5 极限过程与连续随机树（CRT）之间是否存在清晰联系，特别是在不变分布方面？

主要发现

• 通过阿隆斯马尔可夫链的泊松化与缩放极限，建立了连续树空间上极限扩散过程的存在性。
• 极限过程通过分裂树的年龄过程收敛来构建，即使轮廓过程不收敛。
• 极限过程的动力学由稳定(1/2)子调和过程控制，该过程建模了树结构的时间变换演化。
• 开发了街道与邮差协议，以建模不同时间层级上子树的谱系与演化，通过测度族的限制性质确保一致性。
• 极限过程被证明在分布上是良定义的，但其结果序列在L¹中的可积性仍为未来工作的猜想。
• 有限阿隆斯链的不变分布（在二叉树上均匀分布）表明布朗运动连续随机树（CRT）是极限扩散的不变测度，尽管其显式联系仍有待完全阐明。