[論文レビュー] On Leader Green Election

Jacek Cichoń, Rafał Kapelko+1 more|arXiv (Cornell University)|Apr 30, 2016

Advanced Combinatorial Mathematics参考文献 15被引用数 3

ひとこと要約

この論文は、確率的手法を用いて分散リーダー選挙におけるリーダー・グリーン選挙（LGE）アルゴリズムを分析し、初期フェーズ終了後の生存者数の期待値に注目する。Riceの手法を適用して生存確率の正確な式を導出し、LGEは候補者を小さな集合にまで削減するための一時的使用に限定すべきであり、その後に二次的プロトコルを実行すべきであることを示している。主な貢献は、生存者数に対するタイトな上界と、アンズとボールのモデルに基づくリーダー選挙プロトコルに必要なラウンド数の下界の確立である。

ABSTRACT

We investigate the number of survivors in the Leader Green Election (LGE) algorithm introduced by P. Jacquet, D. Milioris and P. Muhlethaler in 2013. Our method is based on the Rice method and gives quite precise formulas. We derive upper bounds on the number of survivors in this algorithm and we propose a proper use of LGE. Finally, we discuss one property of a general urns and balls problem and show a lower bound for a required number of rounds for a large class of distributed leader election protocols.

研究の動機と目的

• リーダー・グリーン選挙（LGE）アルゴリズムにおける生存者数を確率的手法を用いて分析すること。
• Riceの手法を用いて、生存者数の期待値とその分布の正確な式を導出すること。
• LGEにおける生存者数の上界を確立し、LGEを事前選挙フェーズとして適切に使用することを提言すること。
• LGEと一般のアンズとボール問題との関係を調査し、とりわけシングルトンの存在に注目すること。
• 大規模なクラスの分散リーダー選挙プロトコルが高確率で成功するために必要な最小ラウンド数の下界を導出すること。

提案手法

• 生存者数の分布を分析するためにRiceの手法を用い、生存確率の正確な式を提供する。
• LGEプロセスを幾何分布に従う乱数の選択と、その後の2値キー送信フェーズにモデル化する。
• LGEで使用されるタイムスロットを最大幾何確率変数（MGeo分布）でモデル化する。
• 最大値を選択する候補者数をモデル化するため、WMGeo分布を導入する。
• 非一様確率を伴うアンズとボールモデルを分析し、リーダー選挙成功に不可欠なシングルトンの存在を検討する。
• 関数 f(𝐩) = Σ(Q=2 to n) Pr[S𝐩,Q]/Q を用いて、シングルトン存在の最大成功確率の境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 幾何分布の仮定のもとで、LGEアルゴリズムにおける生存者の期待数は何か？
• RQ2 Riceの手法は、LGEにおける生存確率の正確な式を導出するためにどのように適用可能か？
• RQ3 与えられた候補者数とパラメータ p に対して、LGEにおける生存者数の最もタイトな上界は何か？
• RQ4 大規模なクラスの分散リーダー選挙プロトコルが高確率で成功するために必要な最小ラウンド数は何か？
• RQ5 ボールの数が未知かつ有界である場合、アンズとボールモデルにおけるシングルトンの存在を高確率で保証できるか？

主な発見

• LGEにおける生存者の期待数は、E[Wₙ,ₚ] = (np/q) × Σ(b=0 to n−1) [(-1)ᵇ × C(n−1,b) / (1 − qᵇ⁺¹)] で与えられ、ここで q = 1−p である。
• ちょうど a 個の候補者が生存する確率は、Pr[Wₙ,ₚ = a] = C(n,a) × pᵃ × Σ(b=0 to n−a) [C(n−a,b) × (-1)ᵇ / (1 − qᵃ⁺ᵇ)] である。
• 尾確率に対する上界は、Pr[M > C × (ln n)/ln(1/(1−p))] ≤ 1/n^(C−1) であり、ここで M ~ MGeo(n,p) である。
• L 個のアンズに最大 n 個のボールがある場合、少なくとも1つのシングルトンが存在する最大成功確率 MSP(L,n) は、(L−1)/(Hₙ−1) よりも厳密に小さい、ここで Hₙ は第 n 項調和数である。
• L ≤ ½ ln n + (1+γ)/2 ならば、MSP(L,n) < ½ である。これは、このようなモデルでは高確率で一意な選択が存在しないことを意味する。
• M ≤ log₂(½ ln n + (1+γ)/2) ならば、M ビットのシーケンスを用いた一意なリーダー選択の確率は ½ よりも小さい。これは、信頼できる選択に十分なランダムネスが欠けていることを示している。