[논문 리뷰] Consensus on the Initial Global Majority by Local Majority Polling for a Class of Sparse Graphs

Mohammed Amin Abdullah, Moez Draief|arXiv (Cornell University)|2012. 09. 22.

Complex Network Analysis Techniques참고 문헌 9인용 수 8

한 줄 요약

이 논문은 주어진 도수 시퀀스를 가진 희박한 그래프에서 국소 다수결정 프로토콜을 분석하여, 충분히 큰 초기 편향이 있을 경우 고도확률적으로 $A \log_d \log_d n$ 시간 이내에 전역 다수결정에 도달함을 보여준다. $d$-정규 그래프의 경우, 프로토콜은 시간 $O(\log n)$까지 초기 다수결정에 도달할 확률이 $1 - O(c^{-n^\varepsilon})$이며, 약간의 조건 하에서 강력한 수렴 보장을 입증한다.

ABSTRACT

We study the local majority protocol on simple graphs of a given degree sequence, for a certain class of degree sequences. We show that for almost all such graphs, subject to a sufficiently large bias, within time $A \log_d \log_d n$ the local majority protocol achieves consensus on the initial global majority with probability $1-n^{-\Omega((\log n)^{\varepsilon})}$, where $\varepsilon>0$ is a constant. $A$ is bounded by a universal constant and $d$ is a parameter of the graph; the smallest integer which is the degree of $\Theta(n)$ vertices in the graph. We further show that under the assumption that a vertex $v$ does not change its colour if it and all of its neighbours are the same colour, \emph{any} local protocol $\mathcal{P}$ takes time at least $(1-o(1))\log_d\log_d n$, with probability $1-e^{-\Omega(n^{1-o(1)})}$ on such graphs. We further show that for almost all $d$-regular simple graphs with $d$ constant, we can get a stronger probability to convergence of initial majority at the expense of time. Specifically, with probability $1-O\brac{c^{-n^{\varepsilon}}}$, the local majority protocol achieves consensus on the initial majority by time $O(\log n)$. Finally, we show how the technique for the above sparse graphs can be applied in a straightforward manner to get bounds for the Erd\H{o}s--Renyi random graphs in the connected regime.

연구 동기 및 목표

• 희박한 그래프에서 국소 다수결정 프로토콜이 초기 전역 다수결정에 합의에 도달할 수 있는 조건을 설정하기.
• 주어진 도수 시퀀스를 가진 그래프에서 국소 다수결정 동역학에 따른 합의 형성의 시간 복잡도를 규명하기.
• 이러한 그래프에서 어떤 국소 프로토콜이 합의에 도달하기 위해 필요한 최소 시간에 대한 하한을 증명하기.
• 정규 그래프에서의 결과를 일반 희박한 그래프와 에르되시-레니 반무작위 그래프(연결된 영역에서)로 확장하기.

제안 방법

• 지정된 도수 시퀀스를 가진 그래프에서 국소 다수결정 프로토콜을 분석하며, $\Theta(n)$개의 정점에서 나타나는 최소 도수 $d$에 집중한다.
• 확률적 분석을 통해 충분히 큰 초기 편향이 있을 경우, 고도확률적으로 $A \log_d \log_d n$ 시간 이내에 전역 다수결정에 도달함을 보인다.
• 정점과 그 모든 이웃이 같은 색상일 경우 색상 변경이 일어나지 않는다는 가정을 바탕으로 하한을 도출하여, 어떤 프로토콜이라도 적어도 $(1-o(1))\log_d\log_d n$ 시간이 필요함을 증명한다.
• 시간을 희생하여 더 높은 신뢰도를 확보하기 위해 $d$-정규 그래프에서 수렴 확률을 $1 - O(c^{-n^\varepsilon})$로 향상시킨다.
• 희박한 그래프 분석 기법을 연결된 영역에서의 에르되시-레니 반무작위 그래프에 적용하여, 더 넓은 범주에 속하는 무작위 그래프로 결과를 확장한다.

실험 결과

연구 질문

• RQ1 희박한 그래프에서 국소 다수결정 프로토콜이 초기 전역 다수결정에 합의에 도달할 수 있는 조건은 무엇인가?
• RQ2 주어진 도수 시퀀스를 가진 그래프에서 국소 다수결정 동역학에 의한 합의 형성의 시간 복잡도는 무엇인가?
• RQ3 다양한 국소 프로토콜 간에 이러한 그래프에서 수렴 시간의 하한은 어떻게 비교되는가?
• RQ4 $d$-정규 그래프에서 시간을 증가시키는 대가로 수렴 확률을 향상시킬 수 있는가?
• RQ5 희박한 그래프 분석 결과를 연결된 영역에서의 에르되시-레니 반무작위 그래프로 얼마나 넓히는가?

주요 결과

• 연구 대상 클래스에 속하는 거의 모든 그래프에서, 국소 다수결정 프로토콜은 고도확률적으로 $A \log_d \log_d n$ 시간 이내에 초기 전역 다수결정에 도달한다. 이 확률은 $1 - n^{-\Omega((\log n)^\varepsilon)}$이다.
• 이러한 그래프에서 어떤 국소 프로토콜이라도 합의에 도달하기 위해 최소 $(1-o(1))\log_d\log_d n$ 시간이 필요하며, 이는 확률 $1 - e^{-\Omega(n^{1-o(1)})}$로 성립한다.
• 상수 $d$를 가진 $d$-정규 그래프의 경우, 프로토콜은 시간 $O(\log n)$까지 초기 다수결정에 도달할 확률이 $1 - O(c^{-n^\varepsilon})$이다.
• 하한에 의해 증명되듯이, 수렴 시간 상한 $A \log_d \log_d n$ 은 상수 배수 이내로 날카롭게 조밀해진다.
• 희박한 그래프 분석에 사용된 방법은 연결된 영역에서의 에르되시-레니 반무작위 그래프에 직접 적용 가능하며, 유사한 수렴 결과를 도출한다.