[論文レビュー] Multiple isolation of nodes in recursive trees

Markus Kuba, Alois Panholzer|arXiv (Cornell University)|May 13, 2013

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

ひとこと要約

本稿では、サイズnのランダムな再帰的木において、ℓ個の指定されたノードを分離するために必要なランダムな辺カットの数を、根に近いノード、端縁部のノード、一様にランダムに選ばれたノードの3つの選択ルールについて分析する。生成関数と特異性解析を用いて、n → ∞のとき、正規化されたカット数がベータ分布Beta(1, ℓ)に分布収束することを確立し、その階乗モーメントはベータ分布のそれと漸近的に一致することを示す。

ABSTRACT

We introduce the problem of isolating several nodes in random recursive trees by successively removing random edges, and study the number of random cuts that are necessary for the isolation. In particular, we analyze the number of random cuts required to isolate $\ell$ selected nodes in a size-n random recursive tree for three different selection rules, namely (i) isolating all of the nodes labelled 1,2,...,$\ell$ (thus nodes located close to the root of the tree), (ii) isolating all of the nodes labelled n+1-$\ell$,n+2-$\ell$,...,n (thus nodes located at the fringe of the tree), and (iii) isolating $\ell$ nodes in the tree, which are selected at random before starting the edge-removal procedure. Using a generating functions approach we determine for these selection rules the limiting distribution behavior of the number of cuts to isolate all selected nodes, for $\ell$ fixed and n tending to infinity.

研究の動機と目的

• ランダムな再帰的木におけるℓ個の指定されたノードを分離するために必要なランダムな辺カットの数の分布を研究すること。
• 根に近いノード、端縁部のノード、一様にランダムに選ばれたノードの3つの異なるノード選択ルールにおける分離プロセスの挙動を比較すること。
• 固定されたℓに対して、n → ∞のときのカット数の極限分布を導出すること。
• 生成関数と特異性解析を用いて、カット数の漸近的階乗モーメントの公式を確立すること。

提案手法

• 著者たちは、特定のノードを含まない部分木を破棄しながら、ランダムにエッジを削除することでℓ個のターゲットノードを分離する一般化されたエッジ削除プロセスを定義する。
• カット数のs番目の階乗モーメントを符号化する2変数生成関数Gℓ,s(z)を用いてプロセスをモデル化する。
• z = 1の近傍におけるGℓ,s(z)の特異性漸近解析を適用し、生成関数の局所的展開を導出する。
• 漸近展開の係数αℓ,sについての再帰的構造を導出し、これがαℓ,s = s! / (ℓ + s) × (ℓ + s − 1 choose s)を満たすことを示す。
• Δ-正則関数の閉包性および特異性積分を用いて、係数の漸近的挙動を導出する。
• モーメント収束を用いて、漸近的階乗モーメントから極限分布がベータ分布Beta(1, ℓ)に帰着されることを導出する。

実験結果

リサーチクエスチョン

• RQ1 ランダムな再帰的木におけるℓ個のノードを分離するために必要なランダムカット数の極限分布は何か？
• RQ2 カット数の分布は、ℓ個のターゲットノードの選択ルールにどのように依存するか？
• RQ3 n → ∞のとき、カット数の漸近的階乗モーメントは何か？
• RQ4 生成関数アプローチは、z = 1近傍におけるモーメント生成関数の特異的挙動を正確に捉えることができるか？

主な発見

• n → ∞のとき、カット数のs番目の階乗モーメントE[Yn,ℓ^s̲]は漸近的に(ℓ / (ℓ + s)) × (n / log n)^s × (1 + O(1/log n))に収束する。
• 正規化されたカット数、(log n / n) × Yn,ℓは、n → ∞のときベータ分布Beta(1, ℓ)に分布収束する。
• 極限分布は、ℓが固定されておりn → ∞である限り、ℓ個のノードの選択ルールに依存しない。
• 生成関数の漸近展開における係数αℓ,sはαℓ,s = s! / (ℓ + s) × (ℓ + s − 1 choose s)を満たす。
• 生成関数Gℓ,s(z)はz = 1の近傍で、αℓ,s / ((1 − z)^{ℓ+s} log^s(1/(1−z))) × (1 + O(1/log(1/(1−z))))の形の特異的展開を持つことが確認され、支配的特異性構造が裏付けられる。