[論文レビュー] Rapid Asynchronous Plurality Consensus

Robert Elsässer⋆, Tom Friedetzky+3 more|arXiv (Cornell University)|Feb 15, 2016

Cooperative Communication and Network Coding参考文献 5被引用数 8

ひとこと要約

本稿では、完全グラフに対して、初期の過半数意見が2番目に大きな意見よりも(1+ε)の優位性を持つ場合、k = O(exp(log n / log log n))の意見がある状況で、最適なO(log n)収束時間を持つ、非同期的多数派合意形成プロトコルを提示する。プロトコルは二段階の設計—二択サンプリングとビット伝搬—を採用しており、弱同期性を保証するための新規な「同期ガジェット」を用いる。これにより、同期的プロトコルを非同期モデルに効率的に適応可能にし、ポリアのウール分析を用いて解析する。

ABSTRACT

We consider distributed plurality consensus in a complete graph of size $n$ with $k$ initial opinions. We design an efficient and simple protocol in the asynchronous communication model that ensures that all nodes eventually agree on the initially most frequent opinion. In this model, each node is equipped with a random Poisson clock with parameter $λ=1$. Whenever a node's clock ticks, it samples some neighbors, uniformly at random and with replacement, and adjusts its opinion according to the sample. A prominent example is the so-called two-choices algorithm in the synchronous model, where in each round, every node chooses two neighbors uniformly at random, and if the two sampled opinions coincide, then that opinion is adopted. This protocol is very efficient and well-studied when $k=2$. If $k=O(n^\varepsilon)$ for some small $\varepsilon$, we show that it converges to the initial plurality opinion within $O(k \cdot \log{n})$ rounds, w.h.p., as long as the initial difference between the largest and second largest opinion is $Ω(\sqrt{n \log n})$. On the other side, we show that there are cases in which $Ω(k)$ rounds are needed, w.h.p. One can beat this lower bound in the synchronous model by combining the two-choices protocol with randomized broadcasting. Our main contribution is a non-trivial adaptation of this approach to the asynchronous model. If the support of the most frequent opinion is at least $(1+\varepsilon)$ times that of the second-most frequent one and $k=O(\exp(\log{n}/\log \log{n}))$, then our protocol achieves the best possible run time of $O(\log n)$, w.h.p. We relax full synchronicity by allowing $o(n)$ nodes to be poorly synchronized, and the well synchronized nodes are only required to be within a certain time difference from one another. We enforce this synchronicity by introducing a novel gadget into the protocol.

研究の動機と目的

• ノードがポisson時計を用い、ランダムな隣接ノードのサンプルに基づいて更新する非同期モデルにおいて、効率的で単純かつ耐障害性を持つ合意形成プロトコルの設計。
• グローバルな同期がない非同期環境において、二択アルゴリズムのような同期的多数派合意形成プロトコルを効果的に適応する課題に対処すること。
• 初期の多数派が2番目の意見に対して定数倍の優位性を持ち、kがlog nに対して指数的でない場合に、多数派合意形成の収束時間として最適なO(log n)を達成すること。
• 非同期性にもかかわらず、プロトコルの重要な段階を信頼性高く進行可能にするために、新規な技術「弱同期性」（同期ガジェットによる）を導入すること。

提案手法

• プロトコルは主に二段階のフェーズで構成される：二択サブフェーズでは各ノードが二つの隣接ノードをサンプリングし、それらが合意している場合にその意見を採用する。次にビット伝搬サブフェーズでは、変更されたプッシュプルメカニズムを用いて合意ビットを広める。
• 弱同期性を保証するための新規な「同期ガジェット」が導入され、これにより、わずかo(n)個のノードを除き、残りのノードは限定された時間窓内に収束する。
• 意見の動的変化を追跡するため、ポリアのウールモデルを用いた解析が行われ、特に多数派意見の支持が他の意見に対して2次的に増加する様子が注目される。
• ブロックベースの構造を採用し、弱同期性をフェーズ全体にわたって維持するため、適応的ブロック長Δ = Θ(log k + log n / log log n)を用いる。
• チェルノフの不等式を用いて、ノードの活性化時刻の高確率集中を保証し、すべてのノードが同期的に重要なフェーズを完了することを検証する。
• エンドゲームフェーズでは、多数派意見が19n/20のノードに到達すると、残りのノードがO(log n)の追加時間内にその意見に収束することが保証される。

実験結果

リサーチクエスチョン

• RQ1 グローバルな同期に依存せずに、二択合意形成プロトコルを非同期モデルに効果的に適応可能か？
• RQ2 非同期環境で同期的多数派合意形成の効率を維持するために、必要な最小限の同期性レベルは何か？
• RQ3 k = O(exp(log n / log log n))で、かつ多数派が(1+ε)の優位性を持つ場合に、O(log n)の収束時間を持つ合意形成プロトコルは可能か？
• RQ4 非同期システムにおいて、弱同期性を強制し、信頼性のあるフェーズ遷移を可能にするために、『同期ガジェット』をどのように設計できるか？
• RQ5 k = O(n^ε)の意見を扱えるように、このプロトコルを拡張可能か？

主な発見

• 初期の多数派意見の支持が2番目に大きな意見の(1+ε)倍以上であり、k = O(exp(log n / log log n))である場合、プロトコルは高確率でO(log n)の収束時間を達成する。
• 二択サンプリングとビット伝搬フェーズの組み合わせにより、最適な漸近的実行時間が維持され、両方のフェーズはポリアのウールモデルを用いて解析されている。
• 同期ガジェットにより、わずかo(n)個のノードを除き、残りのノードは同期的に動作するよう保証され、多数のノードが協調的に進行できる。
• 解析により、二択フェーズ中、多数派意見の支持が他の意見に対して2次的に増加することが示され、急速な優位性の確立が確認された。
• k = O(n^ε)の場合、プロトコルはO(log k · log log n + log n)の時間で実行され、同期的設定における最良の既知の境界と一致する。
• 高確率で、すべてのノードがO(log n)時間以内に初期の多数派意見に収束し、以降はいかなるノードも逸脱できない。