[論文レビュー] Existence of a persistent hub in the convex preferential attachment model

Pavel Galashin|arXiv (Cornell University)|Oct 28, 2013

Complex Network Analysis Techniques参考文献 13被引用数 16

ひとこと要約

この論文は、凸で有界でない関数によって重み付けされた次数に比例して新しい辺が接続される凸的優先的付加モデルにおいて、確率1で持続的ハブが存在することを証明している。証明は確率的支配、ランダムウォークカップリング、およびBorel–Cantelliの補題を用い、有限時間の後にはある頂点が次数で常に優位に立つことを示しており、Barabási–Albertモデルにおける既知の結果をより広い凸的重み関数のクラスに拡張している。

ABSTRACT

A vertex of a randomly growing graph is called a persistent hub if at all but finitely many moments of time it has the maximal degree in the graph. We establish the existence of a persistent hub in the Barabási--Albert random graph model with probability one. We also extend this result to the class of convex preferential attachment graphs, where a vertex of degree $k$ gets a new edge with probability proportional to some convex function of $k$.

研究の動機と目的

• 頂点の付加が次数の凸関数によって重み付けされる凸的優先的付加モデルにおいて、持続的ハブの存在を確立すること。
• Barabási–Albertモデルにおける持続的ハブの既知の結果を、より広い凸的重み関数のクラスに拡張すること。
• 成長するランダムネットワークにおける凸的優先的付加の下での頂点の長期的次数動的挙動を分析すること。
• 最大次数が十分に速く成長すること、およびハブの入れ替えが確率1で僅かに有限回しか発生しないことを示すこと。
• 重み関数の変換を用いて、$m_0 = 1$ の場合から任意の $m_0 \geq 1$ の場合に一般化すること。

提案手法

• 2つの頂点間の次数差プロセスを、より単純なランダムウォークによって確率的に支配するカップリングの議論を用いる。
• Borel–Cantelliの補題を適用して、次数差が0である回数が僅かに有限回であることを示し、これによりハブの入れ替えが有限回であることを示す。
• 重み関数の変換 $\mathcal{W}'(n) = \mathcal{W}(n + m_0 - 1)$ を導入し、$m_0 > 1$ の場合を $m_0 = 1$ の場合に還元する。
• 2つの固定頂点の次数の同時進化を、次数ベクトルのマルコフ連鎖表現を用いて分析する。
• 次数増分の確率的支配を用いて、凸的モデルと線形（Barabási–Albert）モデルを比較する。
• 比 $A_n / (A_n + B_n)$ がベータ分布過程において確率1で $1/2$ でない値に収束することを用い、次数差のゼロ通過が有限回であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 凸的優先的付加モデルにおいて、持続的ハブが確率1で存在するか？
• RQ2 このようなモデルにおいて、2つの固定頂点の次数進化は時間とともにどのように振る舞うか？
• RQ3 $m_0 > 1$ の場合を、重み関数の変換によって $m_0 = 1$ の場合に還元できるか？
• RQ4 重み関数にどのような条件を課すと、ハブの入れ替えが僅かに有限回であるか？
• RQ5 最大次数の成長率が、ある頂点が最終的に永久的に優位に立つことを保証するのに十分か？

主な発見

• 確率1で、ある有限時間の後には、ある頂点が常に最大次数を維持し続け、持続的ハブの存在が保証される。
• 任意の2つの固定頂点間の次数差プロセスは、確率的にランダムウォークによって支配され、そのランダムウォークは確率1で僅かに有限回しかゼロに達しない。
• 線形モデルにおける最大次数 $\mathcal{M}_n$ は、$\mathcal{M}_n n^{-1/(2+\beta)} \to \mu$ almost surely を満たし、ここで $\mu$ は正かつ有限な確率変数である。
• 凸的モデルにおいて、$\sum_{k=1}^\infty \frac{1}{f(k)^2} < \infty$ が持続的ハブの存在に十分であり、これは $f$ が凸かつ無限大に発散する場合に成り立つ。
• $m_0 > 1$ の証明は、重み関数を $\mathcal{W}'(n) = \mathcal{W}(n + m_0 - 1)$ に変換することで $m_0 = 1$ の場合に還元され、必要な確率的性質が保たれる。
• 固定頂点の次数は有界のまま保たれることがあるが、最大次数は十分に速く成長し、結果として1つの頂点が最終的に永久的に優位に立つ。