[論文レビュー] Quantum Leader Election

Maor Ganz|arXiv (Cornell University)|Oct 26, 2009

Quantum Computing Algorithms and Architecture参考文献 3被引用数 9

ひとこと要約

この論文は、他の参加者の悪意ある行動に関係なく、各誠実な参加者が少なくとも $\frac{1}{n} - \epsilon$ の確率でリーダーに選ばれる量子リーダー選挙プロトコルを提示する。これは、任意に小さいバイアスを持つモコンの弱いコインフラッピングプロトコルを用い、線形または対数的ラウンド数のトーナメントベースのアプローチによって、だまし行為を行うプレイヤーが存在する状況でも公平性を確保する。

ABSTRACT

Leader election between n parties is known to be impossible classically. This work gives a simple algorithm that does it, based on the weak coin flipping protocol with arbitrarily small bias derived by Mochon in 2007, and recently published and simplified in Aharonov et al in 2016. A protocol with linear number of coin flipping rounds is quite simple to achieve; We further provide an improvement to logarithmic number of coin flipping rounds. This is a much improved journal version of a preprint posted in 2009: many typos are corrected, proofs are more rigorous and accurate, and the analysis of complexity is significantly tightened which gives a stronger result in terms of efficiency; The first protocol with linear number of rounds, was achieved independently also by Aharon and Silman in 2010.

研究の動機と目的

• 信頼できないプレイヤーが存在し、共謀する可能性がある分散型で信頼性のない環境におけるリーダー選挙問題を解決すること。
• 従来、任意に小さいバイアスを許容することが知られていた量子弱いコインフラッピングを、複数参加者向けのリーダー選挙設定に拡張すること。
• 公平性を保証するプロトコルの設計：悪意ある戦略が存在しても、誠実なプレイヤーが少なくとも $\frac{1}{n} - \epsilon$ の勝利確率を有すること。
• 従来の構成よりも効率を向上させるために、ラウンド数を $n$ に対して線形から対数的へ削減すること。

提案手法

• プレイヤーがペairして弱いコインフラッピングプロトコルを用いて勝者を決定するトーナメント形式の排除プロトコルを構築する。
• Mochonの量子弱いコインフラッピングプロトコル（バイアス $\epsilon$）をブラックボックスとして使用し、不正の確率が $\frac{1}{2}$ に限りなく近づくようにする。
• $n = 2^k$ の場合、$\log n$ ラウンドのバイナリ・ノックアウト・トーナメントを適用し、各ラウンドで弱いコインフラッピングを用いて1名のプレイヤーを除外する。
• 一般の $n$ の場合、$n$ より小さい最大の2の累乗に対してトーナメントを適用し、残りのプレイヤーは非対称な弱いコインフラッピングで処理するハイブリッドアプローチを用いる。
• 帰納法を用いて、各プレイヤーの勝利確率を評価し、悪意ある条件下でも少なくとも $\frac{1}{n} - \epsilon$ であることを示す。
• プロトコルの構造を活用してラウンド数を最小限に抑え、弱いコインフラッピングのインスタンスを巧みに合成することで $O(\log n)$ ラウンドを達成する。

実験結果

リサーチクエスチョン

• RQ1 信頼できないプレイヤーが存在し、共謀する可能性がある複数参加者環境において、量子プロトコルが公平なリーダー選挙を達成できるか？
• RQ2 すべての誠実なプレイヤーが、不正戦略にかかわらず少なくとも $\frac{1}{n} - \epsilon$ の勝利確率を持つリーダー選挙プロトコルを構築することは可能か？
• RQ3 量子リーダー選挙プロトコルのラウンド数を $n$ に対して線形から対数的へ削減することは可能か？
• RQ4 非対称な弱いコインフラッピングを直接用いることで、リーダー選挙の効率を向上させ、オーバーヘッドを低減できるか？
• RQ5 誠実なプレイヤーが正確に $\frac{1}{n}$ の勝利確率を持つプロトコルを設計することは可能か？ ただし、不正行為下でも公平性を維持するものとする。

主な発見

• この論文は、任意の $\epsilon > 0$ に対して、悪意ある行動があっても誠実なプレイヤーが少なくとも $\frac{1}{n} - \epsilon$ の確率でリーダーに選ばれる量子リーダー選挙プロトコルを構築した。
• $n = 2^k$ の場合、ノックアウトトーナメントを用い、弱いコインフラッピングを $\log n$ ラウンドにわたって適用することで、バイアス $\epsilon$ で公平性を達成する。
• 一般の $n$ の場合、対称的および非対称的な弱いコインフラッピングを組み合わせたハイブリッドアプローチを用い、$\frac{1}{n} - \epsilon$ の公平性バインディングを維持する。
• トーナメントの構造を巧みに設計し、帰納法を用いてプレイヤーの成功確率を評価することで、プロトコルは対数的ラウンド複雑性を達成する。
• 分析により、$n$ が2の累乗でない場合でも、誠実なプレイヤーの勝利確率が常に $\frac{1}{n} - \epsilon$ 以上であることが示された。
• 古典的プロトコルでは不可能とされていた結果を、任意に小さいバイアスを持つ量子弱いコインフラッピングを活用することで、公平性を実現するという点で、古典的結果を改善した。