[论文解读] 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

一句话总结

本文研究了稀疏随机 $r$-均匀超图 ${\cal H}_r(n,m)$ 中接近 $k$-核心出现阈值 $c_{r,k}$ 时的并行 $k$-剥离过程。当 $c = c_{r,k} + o(1)$ 时，由于存在一个顶点删除速度显著减慢的瓶颈，迭代次数可随 $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}$ 时，并行 $k$-剥离过程在随机 $r$-均匀超图中的渐近行为。
• 刻画当 $c = c_{r,k} + o(1)$ 时 $k$-剥离过程所需的迭代次数，特别是在 $k$-核心可能存在也可能不存在的临界窗口内。
• 在剥离过程中，建立非 $k$-核心顶点深度（即删除它们所需的最少步数）的紧致上界。
• 分析瓶颈阶段的顶点删除动力学，此时每轮迭代中删除的顶点数低于 $n$ 的线性量级。

提出的方法

• 分析 ${\cal H}_r(n,m)$ 上的并行 $k$-剥离过程，其中 $m = cn$，聚焦于 $c \to c_{r,k}$ 的临界区域。
• 采用随机过程模型，将顶点删除划分为若干阶段，其中 $S_i$ 表示第 $i$ 次迭代中被删除的顶点集合。
• 应用浓度不等式和鞅论证（通过引理 51 和推论 53）来限制总度数 $L_j$ 随时间的变化期望。
• 引入 $d^+(v)$ 和 $d^-(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$-剥离过程的迭代次数如何随 $n$ 变化？
• RQ2 $ {\cal H}_r(n,m) $ 中任意非 $k$-核心顶点的最大深度是多少？它如何随 $n$ 变化？
• RQ3 为何在 $c_{r,k}$ 附近剥离过程会显著变慢？其背后的随机机制是什么？
• RQ4 在临界阶段，每轮迭代中预期删除的顶点数如何变化？从次线性到线性删除速率的转变由什么决定？

主要发现

• 当 $c = c_{r,k} + o(1)$ 时，$k$-剥离过程的迭代次数可随 $n$ 的幂次增长，具体取决于 $c$ 趋近 $c_{r,k}$ 的速率。
• 对于 $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|))$。
• 该过程表现出一个瓶颈阶段，此时低度数顶点数量的期望变化接近于零，导致类似于漂移接近零的随机游走的减速现象。
• 分析表明，当 $c$ 以足够快的速度趋近 $c_{r,k}$ 时，剥离过程可能需要 $\Omega(n^{\delta})$ 次迭代（$\delta > 0$），表明在相变附近存在显著的减速。