Table of Contents
Fetching ...

Majority dynamics on sparse random graphs

Debsoumya Chakraborti, Jeong Han Kim, Joonkyung Lee, Tuan Tran

Abstract

Majority dynamics on a graph $G$ is a deterministic process such that every vertex updates its $\pm 1$-assignment according to the majority assignment on its neighbor simultaneously at each step. Benjamini, Chan, O'Donnel, Tamuz and Tan conjectured that, in the Erdős--Rényi random graph $G(n,p)$, the random initial $\pm 1$-assignment converges to a $99\%$-agreement with high probability whenever $p=ω(1/n)$. This conjecture was first confirmed for $p\geqλn^{-1/2}$ for a large constant $λ$ by Fountoulakis, Kang and Makai. Although this result has been reproved recently by Tran and Vu and by Berkowitz and Devlin, it was unknown whether the conjecture holds for $p< λn^{-1/2}$. We break this $Ω(n^{-1/2})$-barrier by proving the conjecture for sparser random graphs $G(n,p)$, where $λ' n^{-3/5}\log n \leq p \leq λn^{-1/2}$ with a large constant $λ'>0$.

Majority dynamics on sparse random graphs

Abstract

Majority dynamics on a graph is a deterministic process such that every vertex updates its -assignment according to the majority assignment on its neighbor simultaneously at each step. Benjamini, Chan, O'Donnel, Tamuz and Tan conjectured that, in the Erdős--Rényi random graph , the random initial -assignment converges to a -agreement with high probability whenever . This conjecture was first confirmed for for a large constant by Fountoulakis, Kang and Makai. Although this result has been reproved recently by Tran and Vu and by Berkowitz and Devlin, it was unknown whether the conjecture holds for . We break this -barrier by proving the conjecture for sparser random graphs , where with a large constant .

Paper Structure

This paper contains 5 sections, 16 theorems, 61 equations.

Key Result

Theorem 1.2

Let $s_0(v)$ be sampled uniformly at random for each $v\in [n]$ and let $\varepsilon\in(0,1]$ and $\lambda>0$ be given. Then there exist $n_0$ and $\lambda'$ such that, with probability at least $1-\varepsilon$, the vertices in $G(n,p)$ reach the unanimous state $\mathrm{sgn} \sum_v s_0(v)$ after si

Theorems & Definitions (36)

  • Conjecture 1.1: BCOTT16
  • Theorem 1.2
  • Lemma 1.3
  • Lemma 2.1: The Chernoff bound
  • Lemma 2.2
  • proof
  • Theorem 2.3: see, e.g., BE56
  • Lemma 2.4
  • proof
  • Lemma 2.5
  • ...and 26 more