[論文レビュー] On the robustness of random k-cores

Cristiane M. Sato|arXiv (Cornell University)|Mar 9, 2012

Limits and Structures in Graph Theory参考文献 12被引用数 3

ひとこと要約

本稿では、1つのランダムな辺を削除した際のkコア構造への影響を検討することで、ランダムkコアの耐性を分析している。平均次数cがkに近いとき、kコアは1つの辺削除後、高確率で完全に崩壊するが、cが臨界閾値c′より上にある場合には、kコアはほとんどすべての頂点を保持する。この結果は、カップリング技法、ランダムウォーク、およびランダム多重グラフと単純グラフにおける次数列に対する微分方程式法を用いて得られている。

ABSTRACT

The k-core of a graph is its maximal subgraph with minimum degree at least k. In this paper, we address robustness questions about k-cores. Given a k-core, remove one edge uniformly at random and find its new k-core. We are interested in how many vertices are deleted from the original k-core to find the new one. This can be seem as a measure of robustness of the original k-core. We prove that, if the initial k-core is chosen uniformly at random from the k-cores with n vertices and m edges, its robustness depends essentially on its average degree c. We prove that, if c converges to k, then the new k-core is empty with probability 1+o(1). We define a constant c(k)' such that when k+epsilon < c < c(k)'- epsilon, the new k-core is empty with probability bounded away from zero and, if c > c(k)'+ psi with psi = omega(n^{-1/4}), psi(n) > 0 and c is bounded, then the probability that the new k-core has less than n-h(n) vertices goes to zero, for every h(n) = omega(1/psi).

研究の動機と目的

• 1つのランダムな辺を削除した後のランダムグラフにおけるkコア構造の耐性の程度を理解すること。
• 平均次数cに基づくkコアの耐性の閾値行動を特定すること。
• cに応じて、辺削除後の完全なkコアの崩壊確率または保持確率を特徴づけること。
• カップリング技法を用いて、ランダム多重グラフからの結果を単純グラフへと拡張すること。
• kコアの壊れやすさと丈夫さを分ける臨界閾値c′を確立すること。

提案手法

• k未満の次数を持つ頂点を繰り返し削除するアルゴリズムを用いてkコアを計算する。
• 削除プロセスとランダムウォークの間のカップリングを用いて、削除される頂点数を分析する。
• 頂点の次数の変化をモデル化するために微分方程式法を適用する。
• 多重グラフにおける次数列モデルを用い、確率的カップリングにより単純グラフと同等であることを証明する。
• c′をμk,ckと累積分布関数fk(μ)の関数として定義し、kコアの安定性における相転移と関連付ける。
• [12]のランダムグラフモデルの結果を活用し、辺の包含確率とグラフ実現可能性の確率を評価する。

実験結果

リサーチクエスチョン

• RQ1 1つのランダムな辺を削除した際に、kコア全体が消滅する確率は何か？
• RQ2 ランダムkコアの平均次数cが、辺削除に対する耐性にどのように影響するか？
• RQ3 c > c′のときkコアが大きく保たれるが、c < c′のとき正の確率で崩壊するような臨界閾値c′が存在するか？
• RQ4 cがkよりわずかに大きい値に近づくと、挙動はどのように変化するか？
• RQ5 カップリングを用いることで、多重グラフモデルから単純kコアの耐性を推定できるか？

主な発見

• c → k ならば、新しいkコアが空集合である確率は1 + o(1)に近づき、極めて壊れやすいことが示される。
• k + ε < c < c′ − ε（ε > 0）のとき、新しいkコアが空集合である確率は0から離れている。
• c > c′ + ψ(n) かつ ψ(n) = ω(n−1/4)、ψ(n) > 0 のとき、高確率で新しいkコアはn − h(n)個以上の頂点を保持する。ここでh(n) = ω(ψ(n)−1)である。
• c → k ならば、削除プロセスがΘ(n)個の頂点を削除する確率は1に近づき、kコアは概ね確実に完全に崩壊する。
• c ≤ c′ − ε のとき、削除アルゴリズムはΘ(n)個の頂点を削除するか、高確率でh(n)個以下の頂点を削除する。また、すべての頂点が削除される確率は0から離れている。
• 多重グラフと単純グラフの削除プロセスのカップリングにより、t(n) = o(1/ξ(n))ステップの間、多重グラフの結果が単純グラフへと拡張可能である。ここでξ(n) = o(1)である。