[論文レビュー] Connecting Yule Process, Bisection and Binary Search Tree via Martingales

Brigitte Chauvin, Alain Rouault|arXiv (Cornell University)|Oct 13, 2004

Stochastic processes and statistical mechanics参考文献 27被引用数 10

ひとこと要約

本稿は、共通の確率空間における martingale 分析を通じて、二分探索木（BST）、二分法的プロセス、およびYule分岐過程の強い関係を確立する。Yule過程にこれらモデルを埋め込むことで、関連する martingale の極限分布が L¹ 領域でたった二つの異なる分布に収束することを特定し、ラプラス変換およびベータ・ガンマ恒等式を用いて z = 1/4 の明示的分布を導出する。

ABSTRACT

We present new links between some remarkable martingales found in the study of the Binary Search Tree, or of the Bisection Problem, looking at them on the probability space of a continuous time binary branching process.

研究の動機と目的

• martingale を用いた共通の確率的枠組みにおいて、二分探索木（BST）、二等分法的プロセス、Yule 分岐過程の統一的解析を試みる。
• Yule 過程の埋め込みを用いて、連続時間におけるこれらのモデルに関連する martingale の収束挙動を分析する。
• これらの martingale の極限法則を特定し、関数方程式およびラプラス変換技術を用いてその一意性を確立する。
• ベータおよびガンマ変数に関する確率的恒等式を用いて、z = 1/4 における martingale の極限の明示的分布を導出する。
• ラプラス変換の関数方程式が、Drmota が BST 高さ解析で研究した方程式とどのように関連するかを特定し、極限法則の明示的計算を可能にする。

提案手法

• 離散時間の BST プロセスを連続時間の Yule 逕路に埋め込み、部分木間の独立性を確保し、martingale の構築を容易にする。
• Yule 逕路上に連続時間 martingale の族 M(t,z) を定義し、その射影が離散 BST martingale M_n^BST(z) を与える。
• Yule 時刻、Yule 世代、および二等分法的プロセスの3つの関連する分岐ランダムウォークを構築し、それぞれに加法的 martingale を関連付ける。
• スムージング変換方程式から導かれる関数方程式を用いて、極限分布のラプラス変換の関数方程式を導出する。
• Liu, Biggins & Kyprianou によるスムージング変換の不動点のラプラス変換の一意性結果を応用し、分布の等価性を同定する。
• メリン変換およびベータ・ガンマ代数的恒等式を用いて、M(∞,1/4) および M_∞^BST(1/4) の極限の明示的分布を導出する。

実験結果

リサーチクエスチョン

• RQ1 共通の確率空間において、二分探索木、二等分法的プロセス、Yule 逕路の martingale 間の関係は何か？
• RQ2 L¹ 収束領域において、これらのモデルの martingale の極限法則はいくつ存在するか？
• RQ3 Yule 逕路における martingale M(∞,1/4) の極限の明示的分布は何か？ また、BST モデルにおける M_∞^BST(1/4) の極限は？
• RQ4 極限法則のラプラス変換の関数方程式は、Drmota が BST 高さ解析で研究した方程式とどのように関連するか？
• RQ5 ガンマ変数の二乗とベータ・ガンマ変数の積の分布の等価性は、martingale 極限恒等式から導出可能か？

主な発見

• BST、二等分法的プロセス、Yule 逕路モデルの martingale において、L¹ 収束領域では、ほとんど確実に二つの異なる極限法則しか存在しない。
• z = 1/4 のとき、Yule 逕路における martingale M(∞,1/4) の極限は、(2γ_{3/2})^{-1} と同一分布に従う。ここで γ_{3/2} は形状パrameter 3/2 のガンマ分布に従う確率変数である。
• BST martingale M_∞^BST(1/4) の極限は、(√π/4) × (β_{3/4,1/4})^{-1/2} × (γ_{5/4})^{-1/2} に従う。ここでベータおよびガンマ変数は互いに独立である。
• 恒等式 (γ_{3/2})² =_law 4β_{3/4,1/4}·γ₁·γ_{5/4} が成り立ち、これは既知のベータ・ガンマ代数とガンマ関数の倍積公式と整合的である。
• M(∞,1/4) のラプラス変換は明示的に (1 + √(2x))e^{-√(2x)} に等しく、逆ガンマ型分布であることを確認する。
• 極限法則のラプラス変換の関数方程式は、Drmota が BST 高さ解析で研究した方程式と一致し、極限分布の明示的計算を可能にする。