[論文レビュー] The stripping process can be slow: part I

Pu Gao, Mike Molloy|arXiv (Cornell University)|Jan 12, 2015

Stochastic processes and statistical mechanics参考文献 34被引用数 6

ひとこと要約

本稿は、$k$-コア出現閾値 $c_{r,k}$ の近くにおけるスパースなランダム $r$-一様ハイパーグラフ ${\cal H}_r(n,m)$ における並列 $k$-ストリッピング過程を調査する。$c = c_{r,k} + o(1)$ のとき、頂点の削除が著しく遅くなるブottleneckが生じるため、反復回数は $n$ のべき乗に比例する可能性があることが示された。これは、閾値への収束速度に依存する。非 $k$-コア頂点の深さについても上限が得られ、相転移の臨界領域における臨界的挙動が明らかになった。

ABSTRACT

Given an integer k, we consider the parallel k-stripping process applied to a hypergraph H: removing all vertices with degree less than k in each iteration until reaching the k-core of H. Take H as H_r(n,m): a random r-uniform hypergraph on n vertices and m hyperedges with the uniform distribution. Fixing k,r\ge 2 with (k,r) eq (2,2), it has previously been proved that there is a constant c_{r,k} such that for all m=cn with constant c eq c_{r,k}, with high probability, the parallel k-stripping process takes O(\log n) iterations. In this paper we investigate the critical case when c=c_{r,k}+o(1). We show that the number of iterations that the process takes can go up to some power of n, as long as c approaches c_{r,k} sufficiently fast. A second result we show involves the depth of a non-k-core vertex v: the minimum number of steps required to delete v from H_r(n,m) where in each step one vertex with degree less than k is removed. We will prove lower and upper bounds on the maximum depth over all non-k-core vertices.

研究の動機と目的

• 平均次数 $c$ が $k$-コア出現閾値 $c_{r,k}$ に近づく際の、ランダム $r$-一様ハイパーグラフにおける並列 $k$-ストリッピング過程の漸近的挙動を理解すること。
• 特に $k$-コアが存在するか否かが曖昧な臨界領域において、$c = c_{r,k} + o(1)$ のときの $k$-ストリッピング過程に必要な反復回数を特徴づけること。
• ストリッピング過程において、非 $k$-コア頂点の深さ（削除に必要な最小ステップ数）のタイトな上限を確立すること。
• 反復回数が $n$ に対して線形より小さい領域に達するブottleneck段階における頂点削除のダイナミクスを分析すること。

提案手法

• 平均次数 $c$ が $c_{r,k}$ に近づく臨界的領域において、$m = cn$ の ${\cal H}_r(n,m)$ における並列 $k$-ストリッピング過程を分析する。
• 頂点削除を段階的に分析する確率過程モデルを用い、$S_i$ を $i$-番目の反復で削除された頂点の集合とする。
• 集中不等式とマルティングールの議論（Lemma 51 および Corollary 53 を用いて）により、時間経過に伴う総次数 $L_j$ の期待値の変化を制限する。
• $d^+(v)$ と $d^-(v)$ の概念を導入し、頂点 $v$ に接続するハイパーエッジ数と、次数が $k$ より小さい近隣頂点数を追跡する。
• 重要な関係式 $\widehat{L}_i = (k-1)|S_i|(1 + O(|S_i|/n + \log^2 n / |S_i|))$ を確立し、各削除バッチのサイズと総次数を結びつける。
• 和集合の不等式と尾確率推定を用いて、高確率でプロセスが著しく遅延し、反復回数が多項式的に増加することを示す。

実験結果

リサーチクエスチョン

• RQ1 平均次数 $c$ が $k$-コア出現閾値 $c_{r,k}$ に近づくとき、並列 $k$-ストリッピング過程における反復回数はどのようにスケーリングするか？
• RQ2 ${\cal H}_r(n,m)$ における非 $k$-コア頂点の最大深さは何か？ これは $n$ に対してどのようにスケーリングするか？
• RQ3 $c_{r,k}$ の近くでストリッピングプロセスが著しく遅延するのはなぜか？ その背後にある確率的メカニズムは何か？
• RQ4 臨界段階において、1反復あたりの削除頂点数の期待値はどのように振る舞い、線形削除率から非線形削除率への遷移を決定づける要因は何か？

主な発見

• $c = c_{r,k} + o(1)$ のとき、$k$-ストリッピング過程における反復回数は、$c$ が $c_{r,k}$ に近づく速度に応じて $n$ の多項式に比例する可能性がある。
• $c \leq c_{r,k} + n^{-1/2 + \epsilon}$ のとき、本稿ではストリッピング数に対する下界が確立され、$n$ のべき乗に比例する。
• 与えられた条件下で、任意の非 $k$-コア頂点の深さは $O(n^{\delta/2})$ で上界が与えられる（$\delta > 0$）。
• $i$-番目の反復で削除された頂点の総次数 $\widehat{L}_i$ は、高確率で $\widehat{L}_i = (k-1)|S_i|(1 + O(|S_i|/n + \log^2 n / |S_i|))$ を満たす。
• プロセスは、低次数頂点数の期待変化がほぼゼロに近づくブottleneckを示し、これはドリフトがゼロに近いランダムウォークに類似した遅延を引き起こす。
• 解析により、$c$ が $c_{r,k}$ に十分速く近づく場合、ストリッピングプロセスは $\Omega(n^{\delta})$ 回の反復を要することが示され、相転移付近での著しい遅延が裏付けられた。