[论文解读] On the Hierarchy of Distributed Majority Protocols

Petra Berenbrink, Amin Coja‐Oghlan+4 more|arXiv (Cornell University)|May 17, 2022

Opinion Dynamics and Social Influence被引用 1

一句话总结

本文在广播和顺序群体模型中建立了 j-多数共识协议之间的随机优势层次结构，证明了对于任意初始配置下具有两种意见的情况，(j+1)-多数共识的收敛速度均快于 j-多数共识。其主要贡献是利用斯特拉斯滕定理对过程进行耦合，形式化证明了 T_{j+1} ⪯ T_j，从而解决了 Berenbrink 等人（2017）提出的关于两种意见情形下的开放问题。

ABSTRACT

We study the Consensus problem among $n$ agents, defined as follows. Initially, each agent holds one of two possible opinions. The goal is to reach a consensus configuration in which every agent shares the same opinion. To this end, agents randomly sample other agents and update their opinion according to a simple update function depending on the sampled opinions. We consider two communication models: the gossip model and a variant of the population model. In the gossip model, agents are activated in parallel, synchronous rounds. In the population model, one agent is activated after the other in a sequence of discrete time steps. For both models we analyze the following natural family of majority processes called $j$-Majority: when activated, every agent samples $j$ other agents uniformly at random (with replacement) and adopts the majority opinion among the sample (breaking ties uniformly at random). As our main result we show a hierarchy among majority protocols: $(j+1)$-Majority (for $j > 1$) converges stochastically faster than $j$-Majority for any initial opinion configuration. In our analysis we use Strassen's Theorem to prove the existence of a coupling. This gives an affirmative answer for the case of two opinions to an open question asked by Berenbrink et al. [2017].

研究动机与目标

• 解决一个开放问题：在两种意见的情况下，(j+1)-多数共识是否在收敛时间上随机支配 j-多数共识。
• 在同步广播和顺序群体模型中，建立 j-多数协议之间的正式层次结构。
• 利用基于斯特拉斯滕定理的耦合技术，证明收敛时间随着 j 的增加而随机减少。
• 将已知的 3-多数共识在广播模型中的结果扩展到顺序模型，证明其渐近最优性。

提出的方法

• 利用斯特拉斯滕定理在 j-多数和 (j+1)-多数过程中构造耦合，确保 T_{j+1} ⪯ T_j。
• 分析在并行（广播）和顺序（群体）激活模型下的转移动态。
• 基于自然转移特性以及意见动态中平衡的对立力，采用随机优势论证。
• 证明对于任意初始配置，停留在非共识状态的概率随 j 增大而更快衰减。
• 通过 n 从 10^2 到 10^8 名参与者的模拟，实证验证理论结果。
• 推导出在顺序模型中 3-多数共识的渐近最优 O(n log n) 收敛界。

实验结果

研究问题

• RQ1 对于所有具有两种意见的初始配置，(j+1)-多数共识是否在收敛时间上随机支配 j-多数共识？
• RQ2 能否在广播模型和顺序模型中均构造出满足 T_{j+1} ⪯ T_j 的耦合？
• RQ3 在顺序群体模型中，3-多数共识的收敛时间是否渐近最优？
• RQ4 广播模型中 3-多数共识的理论结果能否推广到顺序模型？
• RQ5 能否使用相同的基于主要化的思路将该层次结构推广至 k > 2 种意见？

主要发现

• 本文证明了在广播和顺序模型中，对所有 j ≥ 1 均有 T_{j+1} ⪯ T_j，确认了收敛速度的层次结构。
• 在顺序模型中，3-多数共识的收敛时间渐近最优，为 O(n log n) 次交互。
• 模拟结果确认：在广播模型中收敛时间呈 Θ(log n) 轮，在顺序模型中呈 Θ(n log n) 次交互。
• 数据表明 E[T_{2j+2}(X_0)] = E[T_{2j+1}(X_0)] 且 E[T_{2j+1}(X_0)] ≤ E[T_{2j}(X_0)]，从而在实证上确认了该层次结构。
• 运行时间紧密集中在均值附近，常数较小（少于 3 log n 轮或 3n log n 次交互），表明具有实际效率。
• 本文所用的主要化方法无法推广至 k > 2 种意见，原因是意见分布动态的单调性丧失。