[论文解读] Constant-optimized quantum circuits for modular multiplication and exponentiation

Igor L. Markov, Mehdi Saeedi|arXiv (Cornell University)|May 1, 2012

Quantum Computing Algorithms and Architecture参考文献 25被引用 80

一句话总结

本文提出针对模乘法和模指数运算的常数优化量子线路，侧重于实际效率而非渐近复杂度。通过在有辅助量子比特时将寻找紧凑线路的问题建模为最短路径问题，实现了显著的常数因子和加法项改进——尤其有利于小规模量子实验——且未改变其最坏情况下的Θ(n²)复杂度。

ABSTRACT

Reversible circuits for modular multiplication Cx%M with x < M arise as components of modular exponentiation in Shor's quantum number-factoring algorithm. However, existing generic constructions focus on asymptotic gate count and circuit depth rather than actual values, producing fairly large circuits not optimized for specific C and M values. In this work, we develop such optimizations in a bottom-up fashion, starting with most convenient C values. When zero-initialized ancilla registers are available, we reduce the search for compact circuits to a shortest-path problem. Some of our modular-multiplication circuits are asymptotically smaller than previous constructions, but worst-case bounds and average sizes remain Θ(n2). In the context of modular exponentiation, we offer several constant-factor improvements, as well as an improvement by a constant additive term that is significant for few-qubit circuits arising in ongoing laboratory experiments with Shor's algorithm.

研究动机与目标

• 为特定值的模乘法 Cx%M 开发实用的、常数优化的量子线路。
• 填补现有量子线路构造中过度关注渐近性能而忽视实际门数与深度的空白，以适应真实量子硬件。
• 通过减少常数因子和加法项，提升肖尔算法中使用的模指数运算线路的效率。
• 使当前及近期含有限量子比特数与保真度的量子计算机更可行地实现肖尔算法。

提出的方法

• 利用零初始化的辅助量子比特，将寻找紧凑量子线路的问题转化为最短路径问题。
• 使用动态规划或图搜索技术，探索针对固定 C 和 M 的门数最少的线路配置。
• 自底向上构建模乘法线路，从最方便的 C 值开始，构建高效的基本单元。
• 将这些优化后的模乘法线路作为子程序应用于模指数运算线路，以减少整体资源开销。
• 特别关注门数和线路深度中常数因子与加法项的最小化，尤其适用于少量量子比特系统。
• 在整个线路设计过程中保持可逆性与幺正性，以确保与肖尔因数分解等量子算法的兼容性。

实验结果

研究问题

• RQ1 如何针对特定的 C 和 M 值优化模乘法的量子线路，而非仅关注渐近行为？
• RQ2 在模乘法线路中，门数和线路深度的常数因子与加法项可实现多大程度的减少？
• RQ3 这些优化在小规模量子系统中，对肖尔算法中模指数运算线路的效率提升程度如何？
• RQ4 当存在辅助量子比特时，能否有效将紧凑线路的搜索建模为最短路径问题？
• RQ5 在实际的近期量子计算场景中，优化后的线路与通用构造相比，在尺寸和深度上表现如何？

主要发现

• 所提方法显著降低了模乘法线路的门数和线路深度中的常数因子，尤其有利于小规模实现。
• 利用零初始化的辅助量子比特，使线路搜索问题可重新表述为最短路径问题，从而获得更紧凑的解决方案。
• 部分所得模乘法线路在渐近意义上小于先前构造，尽管最坏情况与平均情况的复杂度仍保持为Θ(n²)。
• 模指数运算线路同时受益于常数因子减少与加法项改进，这些改进在当前实验室中使用的少量量子比特系统中具有重要意义。
• 该方法通过最小化资源开销，使在近期量子硬件上实现更高效、更实用的肖尔算法成为可能。