[論文レビュー] The height of random $k$-trees and related branching processes

Colin Cooper, Alan Frieze+1 more|arXiv (Cornell University)|Sep 16, 2013

Stochastic processes and statistical mechanics参考文献 16被引用数 3

ひとこと要約

本稿は、ランダムなkツリーとk=アポロニウス的ネットワーク——木に似たランダムグラフ——の高さを、分岐過程の近似を用いて分析する。高さは漸近的に $ c \log t $ であることが導かれる。ここで $ c = c(k) $ は超越方程式を満たす。$ k $ が大きいとき、$ c \sim 1/(k \log 2) $ であり、これは高さが $ k $ に対して逆比例するレートで対数的に増加することを示している。結果は連続時間分岐過程とクラーマー関数の分析を用いて確立され、ランダム再帰的ツリーに関する先行研究を高次元構造へと拡張する。

ABSTRACT

We consider the height of random k-trees and k-Apollonian networks. These random graphs are not really trees, but instead have a tree-like structure. The height will be the maximum distance of a vertex from the root. We show that w.h.p. the height of random k-trees and k-Apollonian networks is asymptotic to clog t, where t is the number of vertices, and c=c(k) is given as the solution to a transcendental equation. The equations are slightly different for the two types of process. In the limit as k-->oo the height of both processes is asymptotic to log t/(k log 2).

研究の動機と目的

• ランダムkツリーとk=アポロニウス的ネットワークの漸近的高さを特定すること。これらはルート頂点を持つ木に似たランダムグラフである。
• 既存のランダム再帰的ツリー（例：優先的付加）に関する結果を、kツリーとアポロニウス的ネットワークのような高次元構造へと拡張すること。
• 連続時間分岐過程とクラーマー関数に基づく一般化された手法を開発・適用し、このようなランダムグラフ過程の高さを分析すること。
• 漸近的高さ定数 $ c(k) $ の明示的表現を導出し、$ k \to \infty $ におけるその挙動を明らかにすること。

提案手法

• kツリーとk=アポロニウス的ネットワークの成長を、各新しい頂点がkクラスタ内のランダムな(k−1)クラスタに接続する離散時間プロセスとしてモデル化する。
• 頂点の寿命と子孫分布が指数分布待ち時間に従う連続時間のCrump-Mode-Jagers分岐過程フレームワークを適用する。
• 分岐過程のクラーマー関数を用いて、高さの漸近的成長率を特定する。問題は、モーメント母関数を含む超越方程式に帰着される。
• 時間スケール変換を用いて離散ステップと連続時間の関係を確立し、確率的カップリングと集中不等式を用いて高さの下界と上界を確立する。
• BFSツリーの各レベルにおけるクラスタ数の期待値に関する再帰関係を導出し、生成関数を用いて下界近似下でのシステムを分析する。
• $ k $ が大きい場合、ガンマ関数の漸近展開と対数恒等式を適用し、$ c \sim 1/(k \log 2) $ の極限挙動を導出する。

実験結果

リサーチクエスチョン

• RQ1 t個の頂点を持つランダムkツリーの漸近的高さは何か？ また、それはkにどのように依存するか？
• RQ2 k=アポロニウス的ネットワークの高さはランダムkツリーのそれとどのように比較できるか？ 構造的差異が成長率に与える影響は何か？
• RQ3 分岐過程とクラーマー関数に基づく統一的枠組みを用いて、木に似たランダムグラフの高さを分析できるか？
• RQ4 k → ∞ のとき、高さ定数 $ c(k) $ の極限挙動は何か？

主な発見

• ランダムkツリーの高さ $ h(t; k) $ は漸近的に $ c \log t $ である。ここで $ c $ はガンマ関数と指数項を含む超越方程式を満たす。
• k = 2 の場合、高さ定数 $ c $ は $ \frac{1}{2c} \exp\left(1 + \frac{1}{2c}\right) = 1 $ を満たし、既知の優先的付加ツリーの結果と一致する。
• k ≥ 3 の場合、定数 $ c $ はガンマ関数を含む系と正規化条件によって定まる。この正規化条件はクラーマー関数が臨界値に達することを保証する。
• k → ∞ のとき、高さ定数は $ c \sim \frac{1}{k \log 2} $ を満たし、これは高さがkに対して逆比例するレートで対数的に増加することを示している。
• k=アポロニウス的ネットワークの高さも $ h(t; k) \sim c \log t $ を満たし、$ c $ は類似した超越方程式に従い、k → ∞ のとき同じ漸近的 $ c \sim \frac{1}{k \log 2} $ を満たす。
• カップリングとモーメントバウンドを用いて、高さが $ c \log t $ の周囲に高確率で集中することを確立し、漸近的推定のきつさを確認した。