[论文解读] SupercheQ: Quantum Advantage for Distributed Databases

P. Gokhale, E. R. Anschuetz+17 more|arXiv (Cornell University)|Dec 7, 2022

Quantum Computing Algorithms and Architecture被引用 5

一句话总结

SupercheQ 引入了一类量子指纹识别协议，相较于经典方法，在分布式数据库中实现了通信复杂度的指数级优势。使用 $n$ 量子比特，SupercheQ-EE 仅用 $O(\log N)$ 量子比特即可验证大小为 $2^{O(n)}$ 比特的文件，而 SupercheQ-IE 则仅使用 Clifford 门即可实现常数时间的增量更新，两项均通过仿真和 IBM 量子硬件验证。

ABSTRACT

We introduce SupercheQ, a family of quantum protocols that achieves asymptotic advantage over classical protocols for checking the equivalence of files, a task also known as fingerprinting. The first variant, SupercheQ-EE (Efficient Encoding), uses n qubits to verify files with 2^O(n) bits -- an exponential advantage in communication complexity (i.e. bandwidth, often the limiting factor in networked applications) over the best possible classical protocol in the simultaneous message passing setting. Moreover, SupercheQ-EE can be gracefully scaled down for implementation on circuits with poly(n^l) depth to enable verification for files with O(n^l) bits for arbitrary constant l. The quantum advantage is achieved by random circuit sampling, thereby endowing circuits from recent quantum supremacy and quantum volume experiments with a practical application. We validate SupercheQ-EE's performance at scale through GPU simulation. The second variant, SupercheQ-IE (Incremental Encoding), uses n qubits to verify files with O(n^2) bits while supporting constant-time incremental updates to the fingerprint. Moreover, SupercheQ-IE only requires Clifford gates, ensuring relatively modest overheads for error-corrected implementation. We experimentally demonstrate proof-of-concepts through Qiskit Runtime on IBM quantum hardware. We envision SupercheQ could be deployed in distributed data settings, accompanying replicas of important databases.

研究动机与目标

• 解决使用经典指纹识别协议在分布式数据库一致性验证中面临的可扩展性和通信瓶颈问题。
• 设计在同时消息传递模型下，相较于经典对应协议在通信复杂度上实现渐近优势的量子协议。
• 通过可扩展且具备误差缓解的电路设计，实现在近期量子硬件上的实际部署。
• 为分布式系统中的动态文件同步支持增量更新。
• 通过仿真和在 IBM 量子处理器上的实验演示验证量子优势。

提出的方法

• SupercheQ-EE 使用随机电路采样准备一个仅含 $O(\log N)$ 量子比特的量子指纹态，从而在比较 $2^{O(n)}$ 比特文件时实现通信复杂度的指数级降低。
• 该协议利用 Haar 随机酉矩阵、近似 $t$-设计以及硬件高效量子电路，使在 NISQ 设备上实现成为可能，对于 $O(n^\ell)$ 比特文件，电路深度为 $\operatorname{poly}(n^\ell)$。
• SupercheQ-IE 采用仅含 Clifford 门的电路并结合图态编码，实现在单个位翻转时的常数时间更新，从而实现高效的增量验证。
• 协议设计为抗碰撞且对最坏情况输入对具有鲁棒性，确保在量子态可区分性下的高概率正确性。
• 性能通过 GPU 仿真验证 SupercheQ-EE，通过在 IBM Quantum Runtime 上的实验执行验证 SupercheQ-IE。
• 该框架被扩展至金融交易一致性、RAID 冗余和 VLSI 寄存器比较等实际应用场景。

实验结果

研究问题

• RQ1 在同时消息传递模型下，量子指纹识别协议是否能相较于经典协议实现通信复杂度的指数级节省？
• RQ2 能否在近期量子硬件上实现量子指纹识别，其量子比特数量和电路深度均有限？
• RQ3 是否能通过常数时间的量子操作实现文件指纹的增量更新，同时保持安全性和保真度？
• RQ4 在量子指纹识别协议中，电路深度、门数与通信效率之间的权衡关系如何？
• RQ5 如何将通信复杂度中的量子优势扩展至数据库复制和 RAID 等现实世界分布式数据工作负载？

主要发现

• SupercheQ-EE 实现了指数级通信复杂度优势：仅使用 $n$ 个量子比特即可验证 $2^{O(n)}$ 比特的文件，而经典方法的下限为 $\Theta(\sqrt{N})$ 比特。
• 该协议可扩展至 $O(n^\ell)$ 比特文件，且使用 $\operatorname{poly}(n^\ell)$ 深度的电路，使在 NISQ 设备上的近期实现成为可能。
• SupercheQ-IE 支持对位翻转变化的常数时间更新，这一特性在以往的量子指纹识别协议中缺失，对动态数据同步至关重要。
• SupercheQ-IE 仅使用 Clifford 门，确保了容错量子误差校正的低开销，显著提升了实际可行性。
• 通过在 IBM 量子硬件上使用 Qiskit Runtime 成功演示了概念验证，验证了该协议在真实量子处理器上的可行性。
• 通过 GPU 仿真在大规模上验证了该框架，确认了其在大文件尺寸下的性能和可扩展性。