[論文レビュー] Plurality Consensus in the Gossip Model

Luca Becchetti, Andrea Clementi+3 more|arXiv (Cornell University)|Jul 9, 2014

Distributed Control Multi-Agent Systems参考文献 31被引用数 42

ひとこと要約

本稿では、gossipモデルにおける多様性のための合意形成における初期色配置のグローバル構造を捉えるために、モノクローマティック距離（md）を導入する。完全グラフ上での不確実状態ダイナミクス（Undecided-State Dynamics）が、高確率でO(md(c̄) log n)ラウンドで収束することを証明し、並列ランダムウォークを用いたプロトコルの適応により、正則な拡張グラフ上でもO(md(c̄) polylog n)の収束を達成する。すべてのプロトコルは、高確率で多項式対数時間のメモリとメッセージサイズを用いる。

ABSTRACT

We study Plurality Consensus in the Gossip Model over a network of $n$ anonymous agents. Each agent supports an initial opinion or color. We assume that at the onset, the number of agents supporting the plurality color exceeds that of the agents supporting any other color by a sufficiently-large bias. The goal is to provide a protocol that, with high probability, brings the system into the configuration in which all agents support the (initial) plurality color. We consider the Undecided-State Dynamics, a well-known protocol which uses just one more state (the undecided one) than those necessary to store colors. We show that the speed of convergence of this protocol depends on the initial color configuration as a whole, not just on the gap between the plurality and the second largest color community. This dependence is best captured by a novel notion we introduce, namely, the monochromatic distance ${md}(\bar{\mathbf{c}})$ which measures the distance of the initial color configuration $\bar{ \mathbf {c}}$ from the closest monochromatic one. In the complete graph, we prove that, for a wide range of the input parameters, this dynamics converges within $O({md}(\bar {\mathbf {c}}) \log {n})$ rounds. We prove that this upper bound is almost tight in the strong sense: Starting from any color configuration $\bar {\mathbf {c}}$, the convergence time is $Ω({md}(\bar {\mathbf {c}}))$. Finally, we adapt the Undecided-State Dynamics to obtain a fast, random walk-based protocol for plurality consensus on regular expanders. This protocol converges in $O({md}(\bar {\mathbf {c}}) \mathrm{polylog}(n))$ rounds using only $\mathrm{polylog}(n)$ local memory. A key-ingredient to achieve the above bounds is a new analysis of the maximum node congestion that results from performing $n$ parallel random walks on regular expanders. All our bounds hold with high probability.

研究の動機と目的

• 既存の多様性のための合意形成プロトコルが、多様性と第二位の色の間のバイアスにのみ依存するという制限を解決すること。
• 初期色分布の構造的複雑さを捉える新しいグローバル測度「モノクローマティック距離（md）」を導入すること。
• この新しい測度に基づいて、完全グラフおよび正則な拡張グラフ上での不確実状態ダイナミクスの収束時間を分析すること。
• 正則な拡張グラフ上での多様性のための合意形成に、高速かつメモリ効率の良いプロトコルを設計すること。
• 収束時間のタイトな境界を、多様性のギャップだけでなく、初期構成全体に依存するように確立すること。

提案手法

• 初期色配置c̄がモノクローマティックからどれほど離れているかを測るためのモノクローマティック距離md(c̄)を導入する。
• 完全グラフ上での不確実状態ダイナミクスを分析し、高確率でO(md(c̄) log n)ラウンドで収束することを示す。
• 段階ベースのシミュレーション技術を用いて、並列ランダムウォークを介して正則な拡張グラフ上でクライQUEダイナミクスをシミュレートする。
• 正則な拡張グラフ上でのn本の並列ランダムウォークからの最大ノード混雑度の新しい分析を適用し、メッセージ遅延を制限する。
• チェルノフ不等式とユニオンボウンドを用いて、混雑度と収束時間の集中を確立する。
• クライQUEプロトコルの各ラウンドを拡張グラフ上のランダムウォークステップでシミュレートすることで、各ラウンドあたり多項式対数時間のローカルメモリとメッセージサイズに制限する。

実験結果

リサーチクエスチョン

• RQ1 多様性のための合意形成プロトコルの収束時間は、多様性と第二位の色のギャップだけでなく、初期色配置の完全な構造にどのように依存するか？
• RQ2 モノクローマティック距離md(c̄)は、O(log k)のローカルメモリしか使わない任意の多様性のための合意形成プロトコルの収束時間に対するタイトな下界として機能するか？
• RQ3 完全グラフ上での不確実状態ダイナミクスの高速収束を、正則な拡張グラフ上で多項式対数時間でシミュレートすることは可能か？
• RQ4 グローバルな配置構造は、gossipモデルにおけるシンプルなダイナミクス（例：不確実状態ダイナミクス）の性能にどのような影響を与えるか？
• RQ5 並列ランダムウォークを用いることで、拡張グラフ上でクライQUEベースのダイナミクスを効率的にシミュレートし、収束時間とメモリ効率を保持することは可能か？

主な発見

• 完全グラフ上での不確実状態ダイナミクスは、高確率でO(md(c̄) log n)ラウンドで収束する。ここでmd(c̄)は、最も近いモノクローマティック配置からの距離を測る。
• 任意の初期構成c̄に対して収束時間はΩ(md(c̄))であるため、上界が強い意味でほとんどタイトであることが示された。
• 正則な拡張グラフ上では、並列ランダムウォークを用いた変更済みプロトコルが、高確率でO(md(c̄) polylog n)の収束時間を持つ。
• プロトコルはローカルメモリと1ラウンドあたりのメッセージサイズを多項式対数時間に制限しており、効率的な実装を可能にする。
• 拡張グラフ上でのn本の並列ランダムウォークからの最大ノード混雑度の新しい分析により、クライQUEダイナミクスの各ラウンドを拡張グラフ上で多項式対数時間のラウンドでシミュレート可能であることが保証された。
• 結果として、md(c̄)はgossipモデルにおける多様性のための合意形成の収束時間を支配する基本的パラメータであることが確立された。