[論文レビュー] Quasi-Majority Functional Voting on Expander Graphs

Nobutaka Shimizu, Takeharu Shiraga|arXiv (Cornell University)|Jan 1, 2020

Distributed systems and fault tolerance参考文献 36被引用数 3

ひとこと要約

本稿では、拡張グラフ上の同期投票を一般化したモデルとして、準多数決関数投票を導入する。これは、最良の2つと最良の3つのルールを統合するものである。十分な初期バイアスまたは高い拡張性（例：$ p = \Omega(1/\sqrt{n}) $ の Erdős-Rényi グラフ）がある場合、高確率で $ O(\log n) $ ステップで合意に到達することが証明されており、最良の$(2k+1)$の場合、$ k = o(n/\log n) $ のときには時間は $ O(\log n / \log k) $ である。

ABSTRACT

Consider a distributed graph where each vertex holds one of two distinct opinions. In this paper, we are interested in synchronous voting processes where each vertex updates its opinion according to a predefined common local updating rule. For example, each vertex adopts the majority opinion among 1) itself and two randomly picked neighbors in best-of-two or 2) three randomly picked neighbors in best-of-three. Previous works intensively studied specific rules including best-of-two and best-of-three individually. In this paper, we generalize and extend previous works of best-of-two and best-of-three on expander graphs by proposing a new model, quasi-majority functional voting. This new model contains best-of-two and best-of-three as special cases. We show that, on expander graphs with sufficiently large initial bias, any quasi-majority functional voting reaches consensus within $O(\log n)$ steps with high probability. Moreover, we show that, for any initial opinion configuration, any quasi-majority functional voting on expander graphs with higher expansion (e.g., Erdős-Rényi graph $G(n,p)$ with $p=Ω(1/\sqrt{n})$) reaches consensus within $O(\log n)$ with high probability. Furthermore, we show that the consensus time is $O(\log n/\log k)$ of best-of-$(2k+1)$ for $k=o(n/\log n)$.

研究の動機と目的

• 最良の2つや最良の3つのルールに限らない、拡張グラフ上の投票プロセスの合意時間解析におけるギャップを埋める。
• 既存のモデルを統一的フレームワークに一般化する——最良の2つと最良の3つを特別なケースとして含む、準多数決関数投票という統一的枠組みを構築する。
• 異なる拡張性を持つ拡張グラフにおけるこの一般化モデルのタイトな合意時間バウンドを確立する。
• 初期意見バイアスとグラフの拡張性が合意収束速度に与える影響を分析する。
• 最良の$k$投票に関する先行結果を、$k$に明示的な依存関係を持つ、より広いクラスの拡張グラフへと拡張する。

提案手法

• 各頂点が、置き換えありでランダムに選ばれた $ 2k+1 $ 個の隣接頂点の意見に基づいて意見を更新する、新しい投票モデル「準多数決関数投票」を提案する。
• 更新関数 $ f_{2k+1}(x) $ を、意見1の割合が $ x $ のとき、頂点が意見1を採用する確率として定義し、単調性と対称性を保証する。
• スペクトルグラフ理論を用いて、ランダムウォーク遷移行列の2番目の固有値 $ \lambda_2 $ を用いてグラフの拡張性をモデル化し、$ \lambda $-拡張性を定義する。
• マルコフ連鎖解析と集中不等式（例：Hoeffdingの不等式）を用いて、ラウンドごとの意見1を持つ頂点の割合の期待変化をバウンドする。
• 合意プロセスを段階に分ける：(I) 初期バイアス段階、(II) バイアス増幅段階、(III) 急速収束段階、(IV) 最終吸収段階。それぞれを確率的カップリングとドリフト解析で分析する。
• hitting time と確率的支配の議論を用いて、システムが合意に到達するまでの時間をバウンドする。特に、意見1の割合が $ 1/n^2 $ 未満になる最終段階において重点を置く。

実験結果

リサーチクエスチョン

• RQ1 最良の2つと最良の3つの投票を拡張グラフ上で一般化する統一的モデルを開発できるか？
• RQ2 $ \lambda = O(n^{-1/2}) $ の $ \lambda $-拡張グラフ上での準多数決関数投票の合意時間は何か？
• RQ3 $ k = o(n/\log n) $ のとき、高拡張性グラフ上での最良の$(2k+1)$投票における合意時間は $ k $ に対してどのようにスケーリングされるか？
• RQ4 グラフの拡張性が十分に高い場合、任意の初期構成に対しても合意時間は $ O(\log n) $ のまま保たれるか？
• RQ5 初期バイアスまたはグラフの拡張性に応じて、収束速度に段階的転移が生じるか？

主な発見

• $ \lambda = O(n^{-1/2}) $ の $ \lambda $-拡張グラフ上での準多数決関数投票は、任意の初期意見構成に対して、高確率で $ O(\log n) $ ステップで合意に到達する。
• 初期バイアスが十分に大きい場合、$ \lambda = O(n^{-1/2}) $ を超えるグラフの拡張性にかかわらず、高確率で $ O(\log n) $ ステップで合意に到達する。
• $ k = o(n/\log n) $ の最良の$(2k+1)$投票において、Erdős-Rényi $ G(n,p) $ で $ p = \Omega(1/\sqrt{n}) $ のような高拡張性グラフ上では、合意時間は $ O\left(\log n / \log k\right) $ である。
• 分析により、意見1を持つ頂点の割合が $ O(\log n / \log k) $ ステップ以内に $ 1/n^2 $ 未満に低下することが示され、高確率で合意に到達することが示唆される。
• 最終段階では、システムが非合意の状態にとどまる確率は $ O(n^{-1}) $ 以下に抑えられ、$ O(\log n / \log k) $ ステップ後には高確率で合意に到達することが保証される。
• Hoeffdingの不等式とドリフト解析を用いて、初期段階で意見バイアスが急速に増幅され、その後の段階で高速収束が達成されることを確立している。