[论文解读] Distributed Fast Crash-Tolerant Consensus with Nearly-Linear Quantum Communication

MohammadTaghi Hajiaghayi, Dariusz R. Kowalski+1 more|arXiv (Cornell University)|May 18, 2023

Quantum Computing Algorithms and Architecture被引用 1

一句话总结

本文提出了一种新颖的量子共识算法，在对抗自适应敌手的情况下，实现了预期的常数时间终止，并将量子和经典通信复杂度显著降低至对数多边形比特。通过在结构化通信图上递归使用FastCounting协议，并将其与量子公共硬币原原子结合，作者打破了经典算法中 Ω(√(n/log n)) 的时间下限，同时最小化了量子比特和比特的使用，使量子网络中的可扩展容错共识成为可能。

ABSTRACT

Fault-tolerant Consensus is about reaching agreement on some of the input values in a limited time by non-faulty autonomous processes, despite of failures of processes or communication medium. This problem is particularly challenging and costly against an adaptive adversary with full information. Bar-Joseph and Ben-Or (PODC'98) were the first who proved an absolute lower bound Ω(√{n/log n}) on expected time complexity of Consensus in any classical (i.e., randomized or deterministic) message-passing network with n processes succeeding with probability 1 against such a strong adaptive adversary crashing processes. Seminal work of Ben-Or and Hassidim (STOC'05) broke the Ω(√{n/log n}) barrier for consensus in the classical (deterministic and randomized) networks by enhancing the model with quantum channels. In such networks, quantum communication between every pair of processes participating in the protocol is also allowed. They showed an (expected) constant-time quantum algorithm for a linear number of crashes t < n/3. In this paper, we improve upon that seminal work by reducing the number of quantum and communication bits to an arbitrarily small polynomial, and even more, to a polylogarithmic number - though, the latter in the cost of a slightly larger polylogarithmic time (still exponentially smaller than the time lower bound Ω(√{n/log n}) for the classical computation models).

研究动机与目标

• 在强自适应敌手下，减少容错共识协议中的量子和经典通信开销。
• 利用量子计算突破经典分布式算法的 Ω(√(n/log n)) 时间下限。
• 在保持常数时间期望终止的同时，最小化量子共识中的量子比特使用量。
• 设计一种可扩展、高效的量子共识协议，适用于量子资源有限的实际量子网络。

提出的方法

• 设计一种递归的FastCounting算法，利用具有可控密度的确定性通信图，在亚线性时间内估计活跃进程的数量。
• 采用参数为 d 和 α 的Gossip协议，通过 O((log n / log α)^4 dα² (|M| + log n)) 的摊销通信比特数，高效地在进程间传播和聚合计数。
• 将FastCounting协议集成到量子共识框架中，以实现高概率一致性的量子公共硬币原原子。
• 在FastCounting中使用分支因子 x = n^ε，实现 O((1/ε)^4) 轮次和每进程 O(n^{3ε} log²n) 的摊销通信复杂度，从而实现常数时间性能。
• 利用结构化、稀疏的通信图（G(dα^i)）在保持自适应崩溃故障下信息传播鲁棒性的同时，减少消息开销。
• 结合量子随机化与确定性计数，实现高概率共识，同时最小化量子资源使用。

实验结果

研究问题

• RQ1 是否可以在使用量子计算的同时，将量子和经典通信复杂度降低到线性以下，并实现预期的常数时间容错共识？
• RQ2 是否可以将每进程的量子比特数量减少到对数多边形级别，而不牺牲时间效率或容错能力？
• RQ3 在具有自适应崩溃故障的分布式量子网络中，如何高效地执行近似计数？
• RQ4 是否可以使用结构化通信图在保持对全信息自适应敌手的鲁棒性的同时，最小化消息开销？
• RQ5 在强敌对模型下，量子共识中的通信复杂度与时间效率之间存在何种权衡？

主要发现

• 所提出的FastCounting算法在 O((log n / log x)(log n / log α)^3) 轮次内解决模糊计数问题，每进程的摊销通信比特数为 O((log n / log x)(log n / log α)^4 dα² x log n)。
• 当 x = α = n^ε 且 ε ∈ (0,1) 时，该算法实现 O((1/ε)^4) 轮次和每进程 O(n^{3ε} log²n) 的摊销通信复杂度，从而实现常数时间性能。
• 量子共识协议 CheapQuantumConsensus 仅使用对数多边形量子和经典通信比特，即可实现预期的常数时间终止，打破了经典的 Ω(√(n/log n)) 下限。
• 该协议使用确定性图族 G(dα^i) 确保在自适应敌手下仍能高效传播信息，且消息大小有界。
• 每进程的量子比特数量被减少到任意小的多项式级别，甚至达到对数多边形水平，代价是时间复杂度略微增大，但依然比经典下限快指数级。
• 即使在具有系统状态和量子操作完全知识的自适应敌手下，该算法仍以概率 1 维持正确性（有效性、一致性、终止性）。