[논문 리뷰] Opinion Forming in Erdös-Rényi Random Graph and Expanders

Ahad N. Zehmakan|arXiv (Cornell University)|2018. 01. 01.

Opinion Dynamics and Social Influence인용 수 12

한 줄 요약

이 논문은 에르되시-레니 수형 그래프 $G_{n,p}$와 정규 확산 그래프에서 다수 모델을 연구하며, 연결성 임계값 $p^* = \frac{\log n}{n}$에서 단계 전이를 보여준다: $p > (1+\epsilon)p^*$이면, 초기 파란 색상 밀도가 1/2보다 略로 낮을 경우, 일정 수의 라운드 내에 모든 정점이 빨간색으로 수렴한다. 정규 확산 그래프에서 스펙트럼 갭($\lambda/\Delta$)이 작은 경우, 이 모델은 빠르고 효율적인 밀도 분류기로 작용하여 $ (1/2 - \delta)n $개의 파란 정점을 하위 로그 수준의 라운드 내에 모두 빨간색으로 전환한다. 이는 라마누잔 그래프가 점차적으로 최적의 면역성을 가진다는 열린 문제를 해결한다.

ABSTRACT

Assume for a graph G=(V,E) and an initial configuration, where each node is blue or red, in each discrete-time round all nodes simultaneously update their color to the most frequent color in their neighborhood and a node keeps its color in case of a tie. We study the behavior of this basic process, which is called majority model, on the Erdös-Rényi random graph G_{n,p} and regular expanders. First we consider the behavior of the majority model on G_{n,p} with an initial random configuration, where each node is blue independently with probability p_b and red otherwise. It is shown that in this setting the process goes through a phase transition at the connectivity threshold, namely (log n)/n. Furthermore, we say a graph G is lambda-expander if the second-largest absolute eigenvalue of its adjacency matrix is lambda. We prove that for a Delta-regular lambda-expander graph if lambda/Delta is sufficiently small, then the majority model by starting from (1/2-delta)n blue nodes (for an arbitrarily small constant delta>0) results in fully red configuration in sub-logarithmically many rounds. Roughly speaking, this means the majority model is an "efficient" and "fast" density classifier on regular expanders. As a by-product of our results, we show regular Ramanujan graphs are asymptotically optimally immune, that is for an n-node Delta-regular Ramanujan graph if the initial number of blue nodes is s <= beta n, the number of blue nodes in the next round is at most cs/Delta for some constants c,beta>0. This settles an open problem by Peleg [Peleg, 2014].

연구 동기 및 목표

• 에르되시-레니 수형 그래프 $G_{n,p}$에서 무작위 초기 구성이 주어진 경우 다수 모델의 역학을 분석하는 것.
• 특히 수렴 속도와 밀도 분류 성능 측면에서 정규 확산 그래프에서 다수 모델의 행동을 조사하는 것.
• 페레그가 제기한 정규 라마누잔 그래프에서의 점진적 최적 면역성에 대한 열린 문제를 해결하는 것.
• 다수 모델이 확산 그래프에서 효율적이고 빠른 밀도 분류기로 작용할 조건을 설정하는 것.

제안 방법

• 이차 최대 고유값 $\lambda$를 활용한 스펙트럼 그래프 이론을 적용하여 확산 성질을 분석한다.
• 에지 농도 유계 정리인 레마 6을 적용하여 집합 간 간선 수를 크기와 $\lambda$로 연결함으로써 그래프 행동이 거의 무작위임을 모델링한다.
• 확률적 추론과 유니온 바운드를 활용하여, $p > (1+\epsilon)\frac{\log n}{n}$인 희박한 $G_{n,p}$에서 파란 색상 밀도가 일정 수의 라운드 내에 0으로 감소함을 보인다.
• 레마 7과 레마 8을 활용해 파란 정점 수에 대한 재귀적 경계를 유도하며, $\lambda/\Delta$가 작을 경우 파란 정점 수가 지수적으로 감소함을 보인다.
• 라마누잔 그래프의 구조($\lambda = \sqrt{2\Delta - 1}$)를 활용하여, 이들이 점차적으로 최적의 면역성을 가짐을 증명함으로써 페레그의 열린 문제를 해결한다.
• $G_{n,p}$와 확산 그래프의 결과를 통합하여, 높은 확산성과 정규성 조건이 빠르고 효율적인 밀도 분류를 가능하게 함을 보여준다.

실험 결과

연구 질문

• RQ1 다수 모델이 $G_{n,p}$에서 연결성 임계값 $p^* = \frac{\log n}{n}$에서 단계 전이를 보이는가?
• RQ2 정규 확산 그래프에서 스펙트럼 비율 $\lambda/\Delta$가 작을 경우, 초기 편향이 1/2보다 略로 낮을 때 다수 모델이 하위 로그 수준의 라운드 내에 모두 빨간색으로 수렴하는가?
• RQ3 정규 라마누잔 그래프는 점차적으로 최적의 면역성을 가지는가? 즉, 작은 집합이 최대한의 정점 수를 제어하는가?
• RQ4 다수 모델 하에서 효율적인 밀도 분류를 가능하게 하는 그래프 구조 조건(정규성, 확산성)은 필수적이고 충분한가?
• RQ5 희박한 그래프와 조밀한 그래프에서 다수 모델의 행동은 어떻게 다름인가?

주요 결과

• 모든 조건에서 $p > (1+\epsilon)\frac{\log n}{n}$ 이며, 초기 파란 색상 밀도 $p_b \leq \frac{1}{2} - \omega(\frac{1}{\sqrt{np}})$일 경우, 다수 모델은 고확률으로 일정 수의 라운드 내에 모두 빨간색으로 수렴한다.
• 조밀한 $G_{n,p}$ 영역($p > n^{\gamma}/n$)에서는 첫 번째 라운드에 파란 정점 수가 $n/c'$로 감소하고, 이후 지수적으로 감소한다.
• 모든 조건에서 $p \leq (1-\epsilon)\frac{\log n}{n}$일 경우, $p_b = \omega(\frac{e^{np}}{n})$이면 모든 빨간색으로 수렴하지 못하고, $p_b = o(\frac{e^{np}}{n})$이면 성공함을 보여, 날카로운 임계값이 존재함을 입증한다.
• $\Delta$-정규 $\lambda$-확산 그래프에서 $\lambda/\Delta$가 충분히 작을 경우, 다수 모델은 $ (1/2 - \delta)n $개의 파란 정점에서 출발해 $O(\log_{\Delta^2/\lambda^2} n)$ 라운드 내에 모두 빨간색으로 수렴한다.
• 모든 $\Delta$-정규 라마누잔 그래프는 점차적으로 최적의 면역성을 가지며, 크기가 $s \leq \beta n$인 집합이 최대 $c s / \Delta$개의 정점만 제어할 수 있음을 보이며, 페레그의 열린 문제를 해결한다.
• 스펙트럼 갭 $\lambda$는 수렴 속도를 결정한다: $\lambda/\Delta$가 작을수록 파란 정점 수 감소 속도가 빨라지며, 특정 조건 하에서 $|B(t+1)| \leq \frac{16\lambda^2}{\Delta^2} |B(t)|$가 성립한다.