[論文レビュー] Limit Laws for Functions of Fringe trees for Binary Search Trees and Recursive Trees

Cecilia Holmgren, Svante Janson|arXiv (Cornell University)|Jun 26, 2014

Stochastic processes and statistical mechanics参考文献 29被引用数 15

ひとこと要約

本稿では、シュタインの方法とカップリング技法を用いて、二分探索木およびランダム再帰的木におけるフリンジ部分木の関数的量の極限定理を確立する。$k \to \infty$ のとき、サイズ $k$ のフリンジ部分木の個数はポアソン分布に収束し、$k = o(\sqrt{n})$ のときには正規分布に収束する。複数の部分木タイプの間で同時正規性が得られ、保護されたノードや形状関数的量への応用も含む。

ABSTRACT

We prove limit theorems for sums of functions of subtrees of binary search trees and random recursive trees. In particular, we give simple new proofs of the fact that the number of fringe trees of size $ k=k_n $ in the binary search tree and the random recursive tree (of total size $ n $) asymptotically has a Poisson distribution if $ k ightarrow\infty $, and that the distribution is asymptotically normal for $ k=o(\sqrt{n}) $. Furthermore, we prove similar results for the number of subtrees of size $ k $ with some required property $ P $, for example the number of copies of a certain fixed subtree $ T $. Using the Cramér-Wold device, we show also that these random numbers for different fixed subtrees converge jointly to a multivariate normal distribution. As an application of the general results, we obtain a normal limit law for the number of $\ell$-protected nodes in a binary search tree or random recursive tree. The proofs use a new version of a representation by Devroye, and Stein's method (for both normal and Poisson approximation) together with certain couplings.

研究の動機と目的

• 二分探索木およびランダム再帰的木におけるフリンジ部分木の関数の和の極限定理を導出すること。
• 既知のフリンジ部分木カウントの漸近的分布（ポアソンおよび正規極限）に対する、新たな簡略化された証明を提供すること。
• 複数の部分木タイプの間で同時収束を拡張し、保護されたノードや形状関数的量のような関数的量への応用を含めること。
• シュタインの方法とカップリング技法を用いて、統一的な枠組みの中で収束速度および分布極限を確立すること。

提案手法

• デヴロワによる提案に従い、キーに独立した一様なタイムスタンプを割り当てることで二分探索木を表現する。
• 順序付き木と二分木の間の双対写像（自然な対応）を用いて、ランダム再帰的木を二分探索木と関連付ける。
• 依存性を制御するため、カップリング構成を用いてシュタインの方法を正規およびポアソン近似に適用する。
• 複数の固定部分木タイプのカウントの同時漸近的正規性を確立するために、クライメル＝ヴォルドの定理を用いる。
• 形状関数的量および保護されたノードカウントにこの手法を適用し、モーメント生成関数の解析により極限定理を導出する。
• 漸近的展開とモーメントの有界性を用いて収束条件を検証し、特に中心極限定理における分散項の条件を確認する。

実験結果

リサーチクエスチョン

• RQ1 ランダム二分探索木またはランダム再帰的木におけるサイズ $k$ のフリンジ部分木の個数の極限定理は何か？
• RQ2 $k$ が $n$ に従ってスケーリングする際、漸近的分布はどのように変化するか。特に $k \to \infty$ と $k = o(\sqrt{n})$ の場合の違いは？
• RQ3 複数の異なるフリンジ部分木タイプのカウントについて、多変量正規分布への同時収束を確立できるか？
• RQ4 これらのランダム木モデルにおける関数的量（例：$\ell$-保護されたノードの個数や形状関数的量）の極限挙動は何か？
• RQ5 シュタインの方法とカップリング技法を用いて、この文脈における既知の極限定理に対する新たな簡略化された証明が可能か？

主な発見

• 二分探索木またはランダム再帰的木におけるサイズ $k$ のフリンジ部分木の個数は、$k \to \infty$ のとき分布収束してポアソン分布に近づく。
• $k = o(\sqrt{n})$ のとき、そのような部分木の個数は正規分布に収束し、明示的な漸近的平均および分散が得られる。
• 任意の有限個の固定部分木 $T_1, \dots, T_m$ に対して、それらのカウントは同時に多変量正規分布に収束する。
• 二分探索木またはランダム再帰的木における $\ell$-保護されたノードの個数は、中心化および正規化後に $\mathcal{N}(0, \sigma^2)$ に従う中心極限定理を満たす。
• 木構造の複雑さを測る形状関数的量 $F(\Lambda_n) = -\log \hat{P}(\Lambda_n)$ は、中心極限定理を満たし、$\mathbb{E}[F(\Lambda_n)] \sim n\hat{\mu}$ および $\frac{F(\Lambda_n) - \mathbb{E}[F(\Lambda_n)]}{\sqrt{n}} \to \mathcal{N}(0, \hat{\sigma}^2)$ を満たす。
• 証明は、部分木カウントの絶対偏差の和が発散条件を満たすことを確認することに依存しており、これにより中心極限定理における分散項が消えないことが保証される。