[論文レビュー] Record process on the Continuum Random Tree

Romain Abraham, Jean‐François Delmas|arXiv (Cornell University)|Jul 19, 2011

Stochastic processes and statistical mechanics参考文献 39被引用数 20

ひとこと要約

本稿は、アロウズの連続的ランダム木（CRT）上に連続的 pruning 手続きを構築し、確率変数 Θ を得る。この Θ は、条件付きで臨界ガロン＝ワットソン木における根の分離に必要なカット回数の極限分布と同一の分布に従う。これは、従来は弱収束のみで知られていたものである。主な結果として、Θ が時間に関する残存木の質量の積分に等しく、スケーリングされた変数 Z = √(2α/σ)Θ が CRT 条件のもとでジャンソンの極限分布 Z_T にほとんど確実に収束することを示している。

ABSTRACT

By considering a continuous pruning procedure on Aldous's Brownian tree, we construct a random variable $Θ$ which is distributed, conditionally given the tree, according to the probability law introduced by Janson as the limit distribution of the number of cuts needed to isolate the root in a critical Galton-Watson tree. We also prove that this random variable can be obtained as the a.s. limit of the number of cuts needed to cut down the subtree of the continuum tree spanned by $n$ leaves.

研究の動機と目的

• ジャンソンの研究で従来は弱収束のみで知られていた条件付き極限分布 Z_T の構成的記述を提供すること。
• Poisson点過程を用いて空間的・時間的ランダムカットをモデル化し、CRT 上に連続的 pruning 手続きを定義すること。
• 根の分離までの総時間、すなわち木の質量過程に関する積分として表される Θ が、Z_T の条件付き分布と一致することを示すこと。
• n 枝の部分木における離散的カットダウン過程が、CRT 上の連続的極限にほとんど確実に収束することを確立すること。

提案手法

• 長さ測度 ℓ(dx) と葉上の質量測度 m^T(dx) を持つ、ブラウン運動のギャップ測度 N におけるギャップによってコード化される実木として CRT をモデル化する。
• 空間と時間の両方におけるランダムカット点を表すために、T × [0, ∞) 上に強度 αℓ(dx)dθ のPoisson点過程を導入する。
• θ(x) を、根から x へのパス上での最初のカット時刻として定義し、x が根から切り離される時刻を表す。
• Θ = ∫_T θ(x) m^T(dx) を定義し、Z = √(2α/σ)Θ としてスケーリングすることで、ジャンソンの無条件のレイリー分布と一致させる。
• Θ = ∫₀^∞ σ_q dq という恒等式を用い、σ_q を時間 q における残存木の質量とする。これにより、Θ を残存質量過程に関する時間積分として表現する。
• ラプラス変換とギャップ理論を用いてモーメントを計算し、ギャップ測度下での収束を確立する。

実験結果

リサーチクエスチョン

• RQ1 CRT 上に連続的 pruning 手続きを構築できるか。そのとき、根の分離に必要なカット回数がジャンソンの条件付き極限分布 Z_T と一致するか。
• RQ2 有限部分木における離散的カットダウン過程が、CRT 上の連続的極限に、パスワイズまたはほとんど確実に収束するか。
• RQ3 根の分離に要する総時間 Θ は、残存質量過程 σ_q に関する積分として表現可能か。
• RQ4 スケーリングされた変数 Z = √(2α/σ)Θ は、CRT 条件のもとで Z_T と同じ分布に従うか。
• RQ5 ギャップ測度下での Θ の一次モーメントは何か。また、漸近的にどのように振る舞うか。

主な発見

• 質量測度上でのカット時刻関数の積分として定義される確率変数 Θ は、CRT 条件のもとで Z = √(2α/σ)Θ ≡ Z_T が分布的に一致する。
• 恒等式 Θ = ∫₀^∞ σ_q dq がほとんど確実に成り立ち、σ_q は時間 q における残存木の質量を表す。
• ギャップ測度下での Θ の一次モーメントは、H_q(r) = E[Θ | σ = r] と表され、0 ≤ qr − H_q(r) ≤ (1/2)√(πα) q² r^{3/2} の不等式が成り立つ。
• ギャップ理論と生成関数 F(q) を用いて、総カット時間 Θ のラプラス変換を導出し、明示的な積分表現を得た。
• λ に関する F(q) の漸近的展開から、λ = 0 における一次微分が (1/(2α)) log(1 + z) （z = q√(α/μ)）に一致し、モーメント構造が確認された。
• 本稿は、n 枝の部分木における離散的カットダウン過程が、CRT 上の連続的極限にほとんど確実に収束することを確立し、ジャンソンの分布的結果をパスワイズ収束に拡張した。