[论文解读] Ignore or Comply? On Breaking Symmetry in Consensus

Petra Berenbrink, Andrea Clementi+4 more|MPG.PuRe (Max Planck Society)|Feb 16, 2017

Opinion Dynamics and Social Influence参考文献 4被引用 5

一句话总结

本文分析了在完全图上的随机分布式系统中的共识动态，比较了2-Choice和3-Majority更新规则。证明了在高概率下，3-Majority在O(n^{3/4} log^{7/8}n)轮内达成共识，而当初始观点数量较多且初始偏差极小时，2-Choices需要Ω(n/log n)轮——首次为3-Majority建立了无条件的次线性上界，并首次实现了这两种协议之间的分离。

ABSTRACT

We study consensus processes on the complete graph of $n$ nodes. Initially, each node supports one from up to n opinions. Nodes randomly and in parallel sample the opinions of constant many nodes. Based on these samples, they use an update rule to change their own opinion. The goal is to reach consensus, a configuration where all nodes support the same opinion. We compare two well-known update rules: 2-Choices and 3-Majority. In the former, each node samples two nodes and adopts their opinion if they agree. In the latter, each node samples three nodes: If an opinion is supported by at least two samples the node adopts it, otherwise it randomly adopts one of the sampled opinions. Known results for these update rules focus on initial configurations with a limited number of colors (say $n^{1/3}$ ), or typically assume a bias, where one opinion has a much larger support than any other. For such biased configurations, the time to reach consensus is roughly the same for 2-Choices and 3-Majority. Interestingly, we prove that this is no longer true for configurations with a large number of initial colors. In particular, we show that 3-Majority reaches consensus with high probability in $O(n^{3/4}\log^{7/8}n)$ rounds, while 2-Choices can need $Ω(n/\log n)$ rounds. We thus get the first unconditional sublinear bound for 3-Majority and the first result separating the consensus time of these processes. Along the way, we develop a framework that allows a fine-grained comparison between consensus processes from a specific class. We believe that this framework might help to classify the performance of more consensus processes.

研究动机与目标

• 理解在先前结果不适用的高颜色、低偏差配置下，2-Choices与3-Majority的共识时间。
• 解决3-Majority在缺乏强初始偏差时是否优于2-Choices的开放问题。
• 通过随机主导与耦合技术，建立一个比较共识过程的一般框架。
• 在高颜色环境下，首次建立3-Majority的无条件次线性上界，以及2-Choices的近乎线性下界。
• 探索h-Majority过程之间是否存在层级结构，及其在对抗模型下的容错特性。

提出的方法

• 提出一种新颖的随机耦合框架，利用主导性比较共识过程，其中构建一个支配过程P(t)以界原过程c_i(t)。
• 使用随时间变化的阈值ℓ′来控制少数颜色的增长，通过Chernoff型集中不等式确保颜色超过ℓ′的概率有界。
• 应用耦合论证，确保对所有t < T_i有c_i(t) ≤ P(t)，其中T_i是c_i(t)首次达到ℓ′的时间，从而可使用二项尾部界。
• 采用修改后的过程P(t)，每步进行独立的伯努利试验，成功概率为(ℓ′/n)^2，以随机方式支配实际的共识过程。
• 利用3-Majority可视为2-Choices与Voter过程的混合体这一事实，获得其行为的结构洞见。
• 通过精细分析颜色支持的期望漂移与方差，推导出共识时间的紧致界，尤其在高颜色初始条件下。

实验结果

研究问题

• RQ1 当初始观点数量较多且无观点具有显著初始优势时，3-Majority是否比2-Choices更快达成共识？
• RQ2 能否在高颜色、低偏差环境下为3-Majority证明一个无条件的次线性上界？
• RQ3 在这些配置下，2-Choices与3-Majority之间是否存在根本性的性能差距？若存在，其量级如何？
• RQ4 能否基于随机主导性建立一个一般框架，用于比较不同的共识过程？
• RQ5 是否存在一个层级结构，使得对所有h ∈ ℕ，(h+1)-Majority在随机意义下支配h-Majority？

主要发现

• 3-Majority以高概率在O(n^{3/4} log^{7/8}n)轮内达成共识，首次为该协议建立了无条件的次线性上界。
• 在相同高颜色、低偏差条件下，2-Choices需要Ω(n/log n)轮才能达成共识，表明两者性能存在多项式级分离。
• 性能差距的根源在于3-Majority更有效地利用了采样中的局部一致性，从而缩短了消除少数意见的时间。
• 所提出的耦合与主导性框架成功界定了少数颜色的增长，并实现了紧密的集中度分析。
• 该框架具有可扩展性，可适用于分析对抗模型下的容错性，或比较其他h-Majority过程。
• 尽管推测h-Majority过程存在层级结构（即(h+1)-Majority支配h-Majority），但因朴素主导性尝试中存在反例，该猜想尚未被证明。