[論文レビュー] The law of the iterated logarithm for the path length in random binary search trees.

Henning Sulzbach|arXiv (Cornell University)|Dec 11, 2014

Stochastic processes and statistical mechanics被引用数 2

ひとこと要約

本稿は、二分探索木、再帰的木、平面的順序付き再帰的木を含む広範なクラスの確率的木における経路長に対して、繰り返し対数法則（LIL）および高次モーメント収束を伴う中心極限定理を確立する。これらの結果は、マルティングル解析を用いて導出され、経路長に対するレーニエのマルティングルの後退和に関する先行研究を拡張し、グリューベルとカブルチョのLILに関する予想を裏付ける。

ABSTRACT

For a martingale $(X_n)$ converging almost surely to a random variable $X$, the sequence $(X_n - X)$ is called martingale tail sum. Recently, Neininger [Random Structures Algorithms, 46 (2015), 346-361] proved a central limit theorem for the martingale tail sum of R{e}gnier's martingale for the path length in random binary search trees. Gr{u}bel and Kabluchko [to appear in Annals of Applied Probability, (2016), arXiv 1410.0469] gave an alternative proof also conjecturing a corresponding law of the iterated logarithm. We prove the central limit theorem with convergence of higher moments and the law of the iterated logarithm for a family of trees containing binary search trees, recursive trees and plane-oriented recursive trees.

研究の動機と目的

• レーニエのマルティングルの経路長に対する後退和の中心極限定理を、高次モーメント収束を含む形に拡張すること。
• 確率的二分探索木における経路長に対して、繰り返し対数法則（LIL）を確立し、グリューベルとカブルチョによる予想を確認すること。
• 二分探索木に限らない、より広いクラスの確率的木へと結果を一般化すること。これには、再帰的木および平面的順序付き再帰的木が含まれる。
• マルティングル極限定理を用いて、これらの木モデルにおける経路長の漸近的挙動に対する厳密な確率的基礎を提供すること。

提案手法

• 確率的木における経路長のレーニエのマルティングルの後退和を分析する。
• 高度なマルティングル極限定理を適用し、正規化された経路長の分布収束および高次モーメント収束を導出する。
• カップリングまたは近似技術を用いて、二分探索木から再帰的木および平面的順序付き再帰的木への結果の拡張を実現する。
• マルティングル後退和のほとんど確実な成長率を分析することで、繰り返し対数法則を確立する。
• 木プロセスの構造と関連するマルティングルの性質に依存して、一様なバインディングおよび漸近的展開を導出する。
• マルティングル中心極限定理におけるモーメント収束の既知の結果を活用し、中心極限定理の結果を強化する。

実験結果

リサーチクエスチョン

• RQ1 確率的二分探索木におけるレーニエのプロセスの経路長に対するマルティングル後退和は、繰り返し対数法則を満たすか？
• RQ2 経路長の中心極限定理は、高次モーメント収束を含む形に強化可能か？
• RQ3 二分探索木における経路長の漸近的結果は、再帰的木や平面的順序付き再帰的木などの他の木モデルへと拡張可能か？
• RQ4 グリューベルとカブルチョによるこのプロセスのLILに関する予想は正当か？
• RQ5 これらの木モデルにおける経路長の極限からの偏差の正確なほとんど確実な成長率は何か？

主な発見

• 本稿は、確率的二分探索木および関連モデルにおける経路長に対して、繰り返し対数法則を証明し、グリューベルとカブルチョの予想を裏付けた。
• この木のクラスにおいて、レーニエのマルティングルの後退和に対して、高次モーメント収束を伴う中心極限定理が確立された。
• 結果は、再帰的木および平面的順序付き再帰的木を含む広範な確率的木の族へと拡張され、漸近的挙動の頑健性が示された。
• 経路長の偏差の漸近的分布は、対数の繰り返し対数法則スケールを含む正確な定数を伴ってLILを満たすことが示された。
• 高次モーメントの収束により、中心極限定理が強化され、極限分布のより完全な特徴づけが可能になった。
• 解析により、経路長の揺らぎが木のサイズの対数の対数の平方根に比例してスケーリングされること、LILと整合することが確認された。