[논문 리뷰] Minimal contagious sets in random regular graphs

Alberto Guggiola, Guilhem Semerjian|HAL (Le Centre pour la Communication Scientifique Directe)|2014. 07. 28.

Stochastic processes and statistical mechanics인용 수 5

한 줄 요약

이 논문은 통계역학의 공석 방법을 사용하여 랜덤 정규 그래프에서 최소 전염 집합을 조사하며, 임계값 역학을 갖는 부트스트랩 퍼콜레이션에 초점을 맞춘다. 5-정규 그래프에서 임계값이 3일 경우 전체 활성화를 위해 초기에 활성화된 정점의 1/6만 필요하다는 가설을 제기하며, 6-정규 그래프에서 임계값이 4일 경우 1/4가 필요하다고 제안한다. 이는 랜덤 네트워크에서 최소 시딩 집합에 대한 정밀한 예측을 제공한다.

ABSTRACT

The bootstrap percolation (or threshold model) is a dynamic process modelling the propagation of an epidemic on a graph, where inactive vertices become active if their number of active neighbours reach some threshold. We study an optimization problem related to it, namely the determination of the minimal number of active sites in an initial configuration that leads to the activation of the whole graph under this dynamics, with and without a constraint on the time needed for the complete activation. This problem encompasses in special cases many extremal characteristics of graphs like their independence, decycling or domination number, and can also be seen as a packing problem of repulsive particles. We use the cavity method (including the effects of replica symmetry breaking), an heuristic technique of statistical mechanics many predictions of which have been confirmed rigorously in the recent years. We have obtained in this way several quantitative conjectures on the size of minimal contagious sets in large random regular graphs, the most striking being that 5-regular random graph with a threshold of activation of 3 (resp. 6-regular with threshold 4) have contagious sets containing a fraction 1/6 (resp. 1/4) of the total number of vertices. Equivalently these numbers are the minimal fraction of vertices that have to be removed from a 5-regular (resp. 6-regular) random graph to destroy its 3-core. We also investigated Survey Propagation like algorithmic procedures for solving this optimization problem on single instances of random regular graphs.

연구 동기 및 목표

• 랜덤 정규 그래프에서 부트스트랩 퍼콜레이션 역학 하에 전체 그래프를 활성화하기 위해 필요한 최소 초기 활성 정점 수를 결정하는 것.
• 제약 없음 및 시간 제약이 있는 활성화 시나리오 모두에서 문제를 분석하는 것.
• 문제를 상호 배제 작용을 갖는 입자들의 패킹으로 모델링하고, 독립수, 독립집합, 분해수와 같은 그래프 불변량과 연관짓는 것.
• 유한 인스턴스에서 최적화 문제를 해결하기 위한 설문 보급 기반 알고리즘 절차를 개발하는 것.
• 통계역학 기법을 사용하여 대규모 랜덤 정규 그래프에서 최소 전염 집합의 크기에 대한 정량적 가설을 제시하는 것.

제안 방법

• 랜덤 정규 그래프에서의 부트스트랩 퍼콜레이션 과정을 분석하기 위해 공석 방법을 적용하며, 복수의 대칭 깨짐 효과를 포함한다.
• 생성 함수와 척도 근사 근사를 사용하여 활성화 역학의 시간 진화를 특성화한다.
• 각 시간 단계에서 활성 정점의 비율을 기술하는 스케일링 함수 u(s)와 v(s)에 대한 자기 일관성 방정식을 유도한다.
• 자유 에너지와 활성화 시간 분포를 계산하기 위해 엔트로피 및 에너지 함수의 매개변수 표현을 활용한다.
• 시간이 매우 클 경우의 점근적 분석을 수행하여 최소 초기 활성 지점 비율에 대한 정확한 표현을 유도한다.
• 설문 보급 기반 알고리즘을 개발하여 유한 인스턴스의 랜덤 정규 그래프에서 최적화 문제를 해결한다.

실험 결과

연구 질문

• RQ1 임계값 l을 갖는 랜덤 k-정규 그래프에서 전체 그래프를 활성화하기 위해 필요한 최소 초기 활성 정점 비율은 얼마인가?
• RQ2 전체 활성화에 소요되는 시간은 최소 전염 집합의 크기에 어떤 영향을 미치는가?
• RQ3 최소 전염 집합과 독립수, 독립집합, 분해수와 같은 고전적 그래프 매개변수 간의 관계는 무엇인가?
• RQ4 복수의 대칭 깨짐을 고려한 공석 방법은 대규모 랜덤 그래프에서 최소 전염 집합의 크기를 어떻게 예측할 수 있는가?
• RQ5 설문 보급 유사 알고리즘이 랜덤 정규 그래프의 유한 실현에서 작은 전염 집합을 효율적으로 찾을 수 있는가?

주요 결과

• 5-정규 랜덤 그래프에서 임계값이 3일 경우, 최소 전염 집합은 정확히 정점의 1/6을 포함할 것으로 추측된다.
• 6-정규 랜덤 그래프에서 임계값이 4일 경우, 최소 전염 집합은 정확히 정점의 1/4을 포함할 것으로 추측된다.
• 이 값들은 5-정규 그래프에서 3-핵을 파괴하기 위해 제거되어야 할 최소 정점 비율과 6-정규 그래프에서 4-핵을 파괴하기 위해 제거되어야 할 최소 정점 비율에 해당한다.
• 공석 방법은 활성화 역학의 계단별 전이를 예측하며, 초기 및 후기 활성화 시간에 대한 별도의 영역이 존재한다.
• 엔트로피 및 에너지 함수의 매개변수 표현을 통해 활성화 시간 분포를 유도하였으며, 이는 과정 초반과 말미에 소수의 정점만이 활성화됨을 보여준다.
• 설문 보급 기반 알고리즘이 제안되었으며, 이는 랜덤 정규 그래프의 유한 인스턴스에서 작은 전염 집합을 효과적으로 찾는 데 성공하였다.