[논문 리뷰] On the robustness of random k-cores

Cristiane M. Sato|arXiv (Cornell University)|2012. 03. 09.

Limits and Structures in Graph Theory참고 문헌 12인용 수 3

한 줄 요약

이 논문은 무작위로 한 개의 간선을 제거했을 때 k-코어 구조에 미치는 영향을 분석하여 랜덤 k-코어의 강건성에 대해 연구한다. 평균 차수 c가 k에 가까울 때는 한 개의 간선 삭제 후 k-코어가 일반적으로 완전히 붕괴되며, 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).

연구 동기 및 목표

• 단일 무작위 간선을 제거한 후 랜덤 그래프 내 k-코어 구조의 강건성이 어떻게 되는지 이해하는 것.
• 평균 차수 c에 기반한 k-코어 내성의 임계값 행동을 규명하는 것.
• c에 따라 간선 제거 후 k-코어가 완전히 붕괴되거나 유지되는 확률을 특성화하는 것.
• 커플링 기법을 통해 랜덤 다중그래프에서의 결과를 단순 그래프로 확장하는 것.
• 강건성과 취약성을 구분하는 임계값 c′을 설정하는 것.

제안 방법

• k-코어를 계산하기 위해 차수 < k인 정점을 반복적으로 제거하는 랜덤 제거 알고리즘을 사용한다.
• 제거 과정과 랜덤 워크 간의 커플링을 활용하여 제거된 정점 수를 분석한다.
• 정점의 차수 변화를 모델링하기 위해 미분방정식 방법을 적용한다.
• 다중그래프의 차수 순서 모델을 사용하고, 확률적 커플링을 통해 단순 그래프와의 등가성을 증명한다.
• c′을 μk, ck 및 누적분포함수 fk(μ)의 함수로 정의하여 k-코어 안정성의 계단형 전이와 연결한다.
• 랜덤 그래프 모델에 관한 [12]의 결과를 활용하여 간선 포함 확률과 그래프 실현 가능성의 범위를 제한한다.

실험 결과

연구 질문

• RQ1 단일 무작위 간선을 제거했을 때 전체 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) 이다.