[論文レビュー] Trickle-down processes and their boundaries

Steven N. Evans, Rudolf Gruebel+1 more|arXiv (Cornell University)|Oct 4, 2010

Bayesian Methods and Mixture Models参考文献 5被引用数 3

ひとこと要約

本稿は、有向非巡回グラフ内を粒子をルーティングすることで空いている頂点を占拠するまでに成長する、マーキョフ連鎖としての trickle-down プロセスを統一的に扱う枠組みを導入する。Doob-Martin compactification、ポisson境界、およびテイル σ-代数を用いてその漸近的挙動を特徴づけ、このような連鎖がほとんど確実に特定の極限構造を持つ無限木に収束することを示し、二分探索木、ランダム再帰的木、カタラン木などのプロセスの間の h-変換および分布的関係を通じて関係を確立する。

ABSTRACT

It is possible to represent each of a number of Markov chains as an evolving sequence of connected subsets of a directed acyclic graph that grow in the following way: initially, all vertices of the graph are unoccupied, particles are fed in one-by-one at a distinguished source vertex, successive particles proceed along directed edges according to an appropriate stochastic mechanism, and each particle comes to rest once it encounters an unoccupied vertex. Examples include the binary and digital search tree processes, the random recursive tree process and generalizations of it arising from nested instances of Pitman's two-parameter Chinese restaurant process, tree-growth models associated with Mallows' phi model of random permutations and with Schuetzenberger's non-commutative q-binomial theorem, and a construction due to Luczak and Winkler that grows uniform random binary trees in a Markovian manner. We introduce a framework that encompasses such Markov chains, and we characterize their asymptotic behavior by analyzing in detail their Doob-Martin compactifications, Poisson boundaries and tail sigma-fields.

研究の動機と目的

• 有向非巡回グラフ内を粒子をルーティングすることで空いている頂点を占拠するまでに成長するマーキョフ連鎖の一般的枠組みを構築すること。
• Doob-Martin compactification、ポisson境界、およびテイル σ-代数を用いて、このようなプロセスの漸近的挙動を特徴づけること。
• これらの連鎖のほとんど確実な極限を同定し、テイル σ-代数が極限対象によって生成される条件を特定すること。
• h-変換および同一の確率的メカニズムへの埋め込みを通じて、さまざまな木値プロセス間の分布的およびパスワイズな関係を確立すること。
• 二分探索木、デジタルサーチツリー、ランダム再帰的木、カタラン木といった代表的な確率的プロセスが、この統一的 trickle-down 框組みに適合することを示すこと。

提案手法

• 各粒子が根から出発し、確率的ルールに従って有向エッジに従ってルーティングされる過程を、完全な根付き二分木内の成長する有限部分木の列としてモデル化する。
• ルーティング命令と時計を用いて trickle-down 構成を定義し、各粒子が最初に遭遇する空いている頂点で停止することを保証する。
• 状態空間を位相空間に埋め込むために Doob-Martin compactification を適用し、連鎖がほとんど確実に極限対象に収束することを保証する。
• h-変換を用いて、連鎖を長時間にわたり条件づける可能性のあるすべての方法を特徴づけ、異なるプロセス間の関係を明らかにする。
• ポisson境界とテイル σ-代数を分析し、ほとんど確実な極限構造とその確率的性質を同定する。
• カタラン数や q-二項係数に関する既知の組合せ的恒等式を活用し、遷移確率および極限分布を導出する。

実験結果

リサーチクエスチョン

• RQ1 有向非巡回グラフ内を粒子をルーティングすることで空いている頂点を占拠するまでに成長する trickle-down プロセスの漸近的挙動は何か？
• RQ2 Doob-Martin compactification を用いて、このようなプロセスの極限を特徴づけ、テイル σ-代数を同定するにはどうすればよいか？
• RQ3 本フレームワーク内での二分探索木、デジタルサーチツリー、ランダム再帰的木といった異なる木値プロセスの関係は何か？
• RQ4 カタラン木プロセスは trickle-down 機構によって構築可能か？ そのほとんど確実な極限の構造はいかなるものか？
• RQ5 h-変換は、BST と DST プロセスといった異なる trickle-down プロセスをどのように関連付けるか？ これはそれらの長期的挙動にどのような含意をもたらすか？

主な発見

• カタラン木プロセスのテイル σ-代数は、P{∅} における無限ランダム木 X∞ = ⋃n∈ℕ₀ Xn によって、零集合を除き生成される。
• 無限極限木 X∞ には根から出る唯一の無限パスが存在し、そのパスのビット列 (Wn)n∈ℕ は i.i.d. であり、P(Wn = 0) = P(Wn = 1) = 1/2 を満たす。
• パスを条件づけると、無限パスに沿って深さ n に根をもつ部分木 Tn は i.i.d. であり、P(#Tn = k) = 2 × 4−(k+1)Ck および P(Tn = t | #Tn = k) = 1/Ck（t ∈ Sk）を満たす。
• カタラン木プロセスの極限分布は、n+1 個の頂点を持つ一様分布の有限木のほとんど確実な極限として生じ、{0,1}⋆ 上の積位相における分布収束を示す。
• カタラン木プロセスにおけるルーティング連鎖の遷移行列 Q は、Q((i,j),(i+1,j)) = 2j−1 / (j+1) × [ある有理式] であり、limℓ→∞ Qk+ℓ((0,0),(k,ℓ)) = 4−(k+1)Ck を満たす。
• このプロセスは、同一のルーティング連鎖を持つ trickle-down 構成の特別な場合であり、生成関数 ∑k∈ℕ₀ Ck xk = 2 / (1 + √(1−4x))（|x| < 1/4）を用いて、極限構造が完全に特徴づけられる。