Limit Laws for Consensus Protocols on the Complete Graph

TL;DR

This paper analyzes the distribution of consensus times in distributed protocols on complete graphs, considering adversarial noise and a broad class of update functions, revealing complex asymptotic periodic behaviors.

Contribution

It characterizes the limiting distributions of consensus times for a wide class of protocols, including the $k$-majority, under adversarial conditions, with explicit asymptotic formulas.

Findings

Consensus time $R_n$ centers around $rac{1}{2} ext{log}_ ext{gamma} n + ext{log}_m ext{ln} n

The distribution of $R_n - ext{center}$ does not converge and is asymptotically periodic

Explicit asymptotic constants are derived for the $k$-majority protocol

Abstract

We study a distributed consensus problem on a complete communication network of $n$ vertices, each holding one of two opinions. The vertices communicate in rounds, possibly in the presence of adversarial noise, and exchange information until they all agree on a single opinion. We consider a general class of protocols, where the vertices randomly sample neighbors and update their own opinion according to an update function $f$ depending on the sampled opinions. A prominent example is the $k$-maj protocol, where every vertex adopts the majority opinion of $k$ randomly sampled neighbors. We consider the runtime $R_n$ that is the number of rounds until all vertices agree on the same opinion, which we call the dominating opinion $D_n$. In our main result we describe the limiting distributions of these two key quantities for a large class of update functions $f$, for arbitrary initial configurations and under the presence of an adversary who may alter the opinions of up to $o(\sqrt{n})$ vertices in each round. We show that there are $f$-specific constants $\gamma, m > 0$ such that $R_n$ centers around $\mu_n = \frac{1}{2}\log_\gamma n + \log_m\ln n$, and we describe the asymptotic distribution of $R_n - \mu_n$. In particular, we show that it does not converge, and that it becomes asymptotically periodic both in the $\log n$ as well as the $\log\log n$ scale. Applied to $k$-maj, our results show, among other things, that $\gamma_{k\text{-maj}} = \binom{k-1}{\lfloor k/2 \rfloor}2^{1-k}k \sim ({2k}/{\pi})^{1/2}$.