[论文解读] Efficient Quantum Modular Arithmetics for the ISQ Era

Parfait Atchade-Adelomou, Saúl González|arXiv (Cornell University)|Nov 14, 2023

Quantum Computing Algorithms and Architecture被引用 4

一句话总结

本文提出针对中等规模量子（ISQ）设备优化的模算术量子电路——加法、乘法和指数运算。通过利用可逆的原地操作并集成迭代量子相位估计算法（IQPE），作者将模指数算符的量子比特需求从3n减少至2n+2，从而在当前硬件限制下高效实现Shor算法的周期查找子程序。

ABSTRACT

As we venture into the Intermediate-Scale Quantum (ISQ) era, the proficiency of modular arithmetic operations becomes pivotal for advancing quantum cryptographic algorithms. This study presents an array of quantum circuits, each precision-engineered for modular arithmetic functions critical to cryptographic applications. Central to our exposition are quantum modular adders, multipliers, and exponential operators, whose designs are rigorously optimized for ISQ devices. We provide a theoretical framework and practical implementations in the PennyLane quantum software, bridging the gap between conceptual and applied quantum computing. Our simulations validate the efficacy of these methodologies, offering a strategic compass for developing quantum algorithms that align with the rapid progression of quantum technology.

研究动机与目标

• 解决当前缺乏针对ISQ时代量子硬件量身定制的全面且高效的量子模算术算符实现问题。
• 通过设计原地、可逆的模算术算符，避免使用辅助量子比特寄存器，从而减少量子电路中的量子比特开销。
• 优化模指数算符以用于Shor算法，最大限度降低资源消耗，同时保持正确性。
• 在PennyLane中提供实用且可执行的量子电路，确保其在各类量子计算框架间的可移植性。
• 弥合理论量子算法与近期量子设备实际实现之间的差距。

提出的方法

• 通过受控模运算设计可逆的原地量子模加法器和乘法器，消除对辅助量子比特寄存器的依赖。
• 利用Hadamard门实现叠加，结合逆量子傅里叶变换（QFT⁻¹）实现相位估计算法，构建模指数算符。
• 应用迭代量子相位估计算法（IQPE），将量子比特数量从3n减少至2n+2，显著降低资源需求。
• 通过组合指数算符与Hadamard门及QFT⁻¹操作，构建Shor算法的周期查找电路。
• 在PennyLane中实现所有电路，采用大端序量子比特编码，确保与主流量子框架的兼容性。
• 通过仿真验证设计，证明其在ISQ相关硬件约束下的正确性与高效性。

实验结果

研究问题

• RQ1 如何优化量子模算术运算，以最小化ISQ时代量子计算机中的量子比特使用？
• RQ2 在量子比特资源有限的条件下，实现Shor算法中模指数算符的最高效方式是什么？
• RQ3 迭代量子相位估计算法（IQPE）在多大程度上可减少量子算术电路中的量子比特开销？
• RQ4 如何系统性地设计原地、可逆的量子操作，以在迭代量子算法中避免使用辅助量子比特寄存器？
• RQ5 在量子模算术中，可逆性、电路深度与量子比特效率之间的实际权衡是什么？

主要发现

• 通过应用迭代量子相位估计算法（IQPE），所提出的模指数算符将量子比特需求从3n减少至2n+2，显著提升资源效率。
• 该设计成功将指数算符转化为Shor算法核心的周期查找子程序，结合Hadamard门与QFT⁻¹实现。
• 所有量子电路均在PennyLane中实现并采用大端序编码，确保在各类量子计算平台间的可移植性与兼容性。
• 仿真结果证实了所提电路的正确性与高效性，验证了其在近期量子硬件上的适用性。
• 优化后的模加法器与乘法器电路实现了完全可逆与原地操作，避免了迭代算法中对辅助量子比特寄存器的需求。
• 本工作提供了一个全面且可执行的量子模算术工具包，可通过公共GitHub仓库获取，供社区使用与扩展。