[论文解读] Quantum Leader Election

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

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

一句话总结

本文提出了一种量子领导选举协议，确保每位诚实参与者无论其他参与者是否存在恶意行为，都有至少 $\frac{1}{n} - \epsilon$ 的当选概率。该协议利用 Mochon 的弱随机币协议，其偏差可任意小，采用锦标赛式方法，通过线性或对数轮次实现存在作弊者时的公平性。

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$ 的对数级别，从而在效率上优于先前的构造。

提出的方法

• 构建一种锦标赛式淘汰协议，参与者两两配对，并使用弱随机币协议决定胜者。
• 将 Mochon 的量子弱随机币协议（偏差为 $\epsilon$）作为黑箱使用，其作弊概率可任意接近 $\frac{1}{2}$。
• 当 $n = 2^k$ 时，采用具有 $\log n$ 轮的二叉淘汰锦标赛，每轮使用弱随机币淘汰一名参与者。
• 对于一般 $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$。
• 该协议通过利用偏差可任意小的量子弱随机币，突破了经典协议的不可能结果，实现了经典方法无法达成的公平性。