[논문 리뷰] The stripping process can be slow: part I

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

Stochastic processes and statistical mechanics참고 문헌 34인용 수 6

한 줄 요약

이 논문은 희박한 랜덤 $r$-균일 초그래프 ${\cal H}_r(n,m)$ 에서 $k$-코어가 나타나는 임계점 $c_{r,k}$ 근처에서의 병렬 $k$-stripping 과정을 조사한다. $c = c_{r,k} + o(1)$ 일 때, 정점 제거 속도가 급격히 느려지는 블로킹 포인트로 인해 반복 횟수는 $n$ 의 거듭제곱으로 증가할 수 있으며, 이는 수렴 속도에 따라 달라진다. 또한 비-$k$-코어 정점의 깊이 역시 유한하게 bound 되어 있으며, 이는 단서 전이 근처에서의 임계적 행동을 드러낸다.

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$-stripping 과정의 渐近적 행동을 이해하는 것.
• 특히 $k$-코어가 존재할 수도 있고 아닐 수도 있는 임계 창에서 $c = c_{r,k} + o(1)$ 일 때 $k$-stripping 과정에 필요한 반복 횟수를 특성화하는 것.
• stripping 과정에서 제거되는 데 필요한 최소 단계 수인 비-$k$-코어 정점의 깊이에 대한 날카로운 상한을 설정하는 것.
• 반복 횟수당 제거되는 정점 수가 $n$ 에 대해 선형 이하로 떨어지는 블로킹 단계 동안의 정점 제거 동역학을 분석하는 것.

제안 방법

• 평균 차수 $c$ 가 $c_{r,k}$ 에 수렴하는 임계 영역에서 ${\cal H}_r(n,m)$ 에서 병렬 $k$-stripping 과정을 분석한다. 여기서 $m = cn$.
• 정점 제거를 단계별로 분석하는 스토케스틱 프로세스 모델을 사용하며, $S_i$ 는 $i$-번째 반복에서 제거된 정점의 집합을 나타낸다.
• 레마 51과 코로나리 53를 통해 농도 부등식과 마틴게일 추론을 적용하여 총 차수 $L_j$ 의 기대 변화를 제한한다.
• 정점 $v$ 에 대해 $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$-stripping 과정의 반복 횟수는 어떻게 증가하는가?
• RQ2 $ {\cal H}_r(n,m) $ 에서 비-$k$-코어 정점의 최대 깊이는 얼마이며, 이는 $n$ 과 어떻게 스케일링되는가?
• RQ3 $c_{r,k}$ 근처에서 stripping 과정이 왜 급격히 느려지는가? 이 블로킹 현상의 배경이 되는 확률적 메커니즘은 무엇인가?
• RQ4 임계 단계 동안 반복 횟수당 제거되는 정점의 기대 수는 어떻게 변화하며, 이는 선형 제거 속도로의 전이를 결정짓는 요소는 무엇인가?

주요 결과

• 만약 $c = c_{r,k} + o(1)$ 이면, $k$-stripping 과정의 반복 횟수는 $c$ 가 $c_{r,k}$ 에 수렴하는 속도에 따라 $n$ 의 다항식으로 증가할 수 있다.
• $c \leq c_{r,k} + n^{-1/2 + \epsilon}$ 일 때, 본 논문은 제거 수에 대해 $n$ 의 거듭제곱으로 증가하는 하한을 확립한다.
• 주어진 조건 하에서 비-$k$-코어 정점의 깊이는 어떤 $\delta > 0$ 에 대해 $O(n^{\delta/2})$ 이하로 유계이다.
• 제거된 정점들의 총 차수 $\widehat{L}_i$ 는 고확률적으로 다음을 만족한다: $\widehat{L}_i = (k-1)|S_i|(1 + O(|S_i|/n + \log^2 n / |S_i|))$.
• 과정은 기대로 볼 때 낮은 차수 정점의 수의 변화가 거의 0에 가까운 블로킹 포인트를 경험하며, 이는 기대 이동이 거의 없는 랜덤 워크와 유사한 느려짐을 초래한다.
• 분석 결과, $c$ 가 $c_{r,k}$ 에 충분히 가까이 수렴할 경우, stripping 과정이 $\Omega(n^{\delta})$ 번의 반복을 거칠 수 있음을 보여, 단서 전이 근처에서의 상당한 느려짐을 시사한다.