[论文解读] A Weakly 1-Stable Limiting Distribution for the Number of Random Records and Cuttings in Split Trees

Cecilia Holmgren|arXiv (Cornell University)|May 25, 2010

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

一句话总结

本文证明了在适当的归一化后，分裂树（如二叉查找树、m-叉查找树和tries）中随机记录或切割的数量的分布收敛于一个弱1-稳定分布。通过使用三角阵列的极限定理和更新理论，作者将先前关于二叉查找树的结果推广到更广泛的分裂树类别，证明了极限分布的渐近弱1-稳定性。

ABSTRACT

We study the number of random records in an arbitrary split tree (or equivalently, the number of random cuttings required to eliminate the tree). We show that a classical limit theorem for convergence of sums of triangular arrays to infinitely divisible distributions can be used to determine the distribution of this number. After normalization the distributions are shown to be asymptotically weakly 1-stable. This work is a generalization of our earlier results for the random binary search tree, which is one specific case of split trees. Other important examples of split trees include $m$-ary search trees, quadtrees, medians of $(2k+1)$-trees, simplex trees, tries and digital search trees.

研究动机与目标

• 将随机二叉查找树中渐近弱1-稳定极限律的结果推广至更广泛的分裂树类别。
• 证明在归一化下，分裂树中随机记录或切割的数量收敛于无穷可分分布。
• 将经典的三角阵列极限定理应用于具有对数深度结构的树形结构中依赖随机变量的和。
• 在统一的概率框架下统一分析m-叉查找树、四叉树和tries等不同数据结构。

提出的方法

• 使用三角阵列的极限定理（[16]中的定理15.28）分析分裂树中表示记录指示变量的依赖随机变量的和。
• 应用更新理论来建模分裂树的深度和分支结构，从而实现对记录数的渐近分析。
• 采用条件期望和方差分解方法，控制不同树层之间记录指示变量之间的依赖性。
• 引入耦合论证，将记录数的分布等价于消除树所需切割数的分布。
• 通过祖先树的分层分解和条件独立结构，控制方差计算中交叉项的上界。
• 应用条件Hölder不等式和矩界，证明剩余项收敛于零的概率。

实验结果

研究问题

• RQ1 分裂树中记录数的极限分布是否如二叉查找树情形一样收敛于弱1-稳定分布？
• RQ2 尽管记录指示变量具有复杂的依赖结构，经典三角阵列极限定理是否仍可应用于分裂树中的依赖记录指示变量？
• RQ3 分裂树中记录数的渐近行为与确定性完全二叉树或条件Galton–Watson树中的行为相比如何？
• RQ4 分裂树的对数深度结构在实现收敛于稳定分布的过程中起到什么作用？
• RQ5 用于二叉查找树的方法能否推广至其他分裂树类型，如m-叉查找树和tries？

主要发现

• 在归一化后，分裂树中随机记录或切割的数量的分布收敛于弱1-稳定分布。
• 该收敛性通过将三角阵列极限定理应用于树结构中依赖的记录指示变量而建立。
• 渐近分布独立于随机标签的底层连续分布，仅取决于树的深度和分支过程。
• 分析结果证实，尽管分裂树结构复杂，但在相同归一化下，其极限行为与二叉查找树相同。
• 分解中剩余项的方差渐近趋于零，确保收敛于极限稳定分布。
• 该结果推广了先前关于二叉查找树的研究成果，并可统一适用于所有分裂树类型，包括m-叉查找树、tries、四叉树和数字查找树。