[논문 리뷰] Phase Transitions of Best-of-Two and Best-of-Three on Stochastic Block Models

Nobutaka Shimizu, Takeharu Shiraga|arXiv (Cornell University)|2019. 01. 01.

Opinion Dynamics and Social Influence참고 문헌 40인용 수 2

한 줄 요약

이 논문은 두 개의 커뮤니티로 구성된 스토하스틱 블록 모델 G(2n, p, q)에서 Best-of-Two 및 Best-of-Three 투표 과정을 연구하며, 커뮤니티 간 간선 밀도 비율 r = q/p에 따라 공감 도달 시간에 단계 전이가 발생함을 보여준다. r가 임계값을 초과할 경우(각각 Best-of-Two의 경우 r* = √5−2, Best-of-Three의 경우 r* = 1/7), 어떤 초기 편향 Ω(n)이 있더라도 공감은 O(log log n + log n / log(np)) 단계 내에 달성된다; 반면 r가 임계값 이하일 경우 공감 도달에 2^Ω(n) 단계가 소요될 수 있다. 상수 p와 r > r*일 경우, 초기 구성에 관계없이 공감 도달 시간은 O(log n) 단계 내에 달성된다.

ABSTRACT

This paper is concerned with voting processes on graphs where each vertex holds one of two different opinions. In particular, we study the \emph{Best-of-two} and the \emph{Best-of-three}. Here at each synchronous and discrete time step, each vertex updates its opinion to match the majority among the opinions of two random neighbors and itself (the Best-of-two) or the opinions of three random neighbors (the Best-of-three). Previous studies have explored these processes on complete graphs and expander graphs, but we understand significantly less about their properties on graphs with more complicated structures. In this paper, we study the Best-of-two and the Best-of-three on the stochastic block model $G(2n,p,q)$, which is a random graph consisting of two distinct Erdős-Rényi graphs $G(n,p)$ joined by random edges with density $q\leq p$. We obtain two main results. First, if $p=ω(\log n/n)$ and $r=q/p$ is a constant, we show that there is a phase transition in $r$ with threshold $r^*$ (specifically, $r^*=\sqrt{5}-2$ for the Best-of-two, and $r^*=1/7$ for the Best-of-three). If $r>r^*$, the process reaches consensus within $O(\log \log n+\log n/\log (np))$ steps for any initial opinion configuration with a bias of $Ω(n)$. By contrast, if $rr^*$, we show that, for any initial opinion configuration, the process reaches consensus within $O(\log n)$ steps. To the best of our knowledge, this is the first result concerning multiple-choice voting for arbitrary initial opinion configurations on non-complete graphs.

연구 동기 및 목표

• 커뮤니티 구조를 가진 그래프에서 다중 선택 투표 과정의 공감 동역학을 분석하는 것.
• 스토하스틱 블록 모델에서 커뮤니티 연결성(즉, q/p에 의해 결정됨)이 공감 도달 시간에 미치는 영향을 이해하는 것.
• 완전 그래프나 확산 그래프가 아닌 비완전 및 비확산 그래프에서 Best-of-Two 및 Best-of-Three 과정에 대한 공감 도달 시간의 단계 전이를 규명하는 것.
• 기존의 완전 그래프 및 확산 그래프에 대한 결과를 커뮤니티 구조를 가진 더 복잡한 무작위 그래프 모델로 확장하는 것.
• 희박한 스토하스틱 블록 모델에서 임의의 초기 의견 구성에 대해 공감 도달 시간의 날카운 경계를 제공하는 것.

제안 방법

• 두 개의 동일한 크기의 커뮤니티로 구성되며, 커뮤니티 간 간선의 밀도가 q ≤ p인 G(2n, p, q) 모델에서 투표 과정을 모델링한다.
• 스토하스틱 과정을 정적 동역계 시스템으로 근사화하여 분석하며, 이는 Theorem 6.2를 활용하여 스토하스틱 경로와 정적 경로 간의 편차를 제한한다.
• 동역계 이론 도구를 활용하여 수렴성과 고정점에서의 탈출을 분석하며, 특히 공감에 가까운 영역과 고정점의 안정성에 초점을 맞춘다.
• 집중 불등식과 분산 경계(Claim 10.6)를 사용하여 동역계 근사의 적용 조건을 검증한다.
• 정적 근사에서 고정점의 안정성 분석을 통해 단계 전이 임계값을 규명하며, 특히 r = q/p의 임계값에서의 행동을 분석한다.
• 스펙트럼 성질과 그래프 확산 특성(예: fBo2_1-good 및 fBo2_2-good 조건)을 활용하여 다양한 그래프 영역에서 근사의 타당성을 보장한다.

실험 결과

연구 질문

• RQ1 임의의 초기 의견 구성에 대해 Ω(n)의 편향이 존재할 때, 스토하스틱 블록 모델 G(2n, p, q)에서 Best-of-Two 과정의 공감 도달 시간은 얼마인가?
• RQ2 Best-of-Three 과정의 공감 도달 시간에 대해, 커뮤니티 간 간선 밀도 비율 r = q/p에 따라 단계 전이가 발생하는가?
• RQ3 상수 p와 r > r*일 경우, 스토하스틱 블록 모델에서 초기 구성에 관계없이 공감 도달 시간이 O(log n) 단계 내에 달성될 수 있는가?
• RQ4 Best-of-Two 및 Best-of-Three 과정에서 공감이 빠르게 달성되도록 보장하는 임계값 r*는 무엇인가?
• RQ5 스토하스틱 블록 모델의 구조는 고정점에서의 탈출과 공감으로의 수렴에 어떻게 영향을 미치는가?

주요 결과

• Best-of-Two 과정의 경우, p = ω(log n / n) 이고 r = q/p > √5−2일 경우, 어떤 초기 구성이든 Ω(n)의 편향이 존재할 때 고확률적으로 O(log log n + log n / log(np)) 단계 내에 공감에 도달한다.
• r < √5−2일 경우, 최소한 2^Ω(n) 단계가 소요되는 초기 구성이 존재하여 Best-of-Two 과정이 공감에 도달하는 데에 필요한 시간이 길어진다.
• Best-of-Three 과정의 경우, p = ω(log n / n) 이고 r > 1/7일 경우, 어떤 초기 구성이든 Ω(n)의 편향이 존재할 때 고확률적으로 O(log log n + log n / log(np)) 단계 내에 공감에 도달한다.
• p가 상수이고 r > r*일 경우, Best-of-Two 및 Best-of-Three 과정 모두 임의의 초기 의견 구성에 대해 O(log n) 단계 내에 공감에 도달한다.
• 단계 전이 임계값은 뚜렷하다: Best-of-Two의 경우 r* = √5−2, Best-of-Three의 경우 r* = 1/7이며, 이는 빠른 공감과 지수적으로 느린 공감의 경계를 나타낸다.
• 본 연구 결과는 완전 그래프가 아닌 비완전 그래프에서 다중 선택 투표의 공감 도달 시간에 대해 처음으로 경계를 설정하였으며, 이는 이전의 완전 그래프 및 확산 그래프 연구를 확장한 것이다.