[论文解读] Remarks on Quantum Modular Exponentiation and Some Experimental Demonstrations of Shor's Algorithm

Zhengjun Cao, Zhenfu Cao+1 more|arXiv (Cornell University)|Aug 24, 2014

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

一句话总结

本文批评了秀尔因数分解算法中标准的量子模幂运算方法，指出当应用于叠加态时，秀尔与尼尔斯和蔡的描述均存在缺陷。文章表明，现有对秀尔算法的实验演示——例如使用少于8个量子比特的首个寄存器因数分解15——违反了关键条件 $ n^2 \leq q < 2n^2 $，导致其无效且具有误导性，无法真正体现该算法的完整量子优势。

ABSTRACT

An efficient quantum modular exponentiation method is indispensible for Shor's factoring algorithm. But we find that all descriptions presented by Shor, Nielsen and Chuang, Markov and Saeedi, et al., are flawed. We also remark that some experimental demonstrations of Shor's algorithm are misleading, because they violate the necessary condition that the selected number $q=2^s$, where $s$ is the number of qubits used in the first register, must satisfy $n^2 \leq q &lt; 2n^2$, where $n$ is the large number to be factored.

研究动机与目标

• 识别并修正秀尔因数分解算法中所用标准量子模幂运算流程的缺陷。
• 质疑在首个寄存器中使用不足量子比特的秀尔算法实验演示的有效性。
• 阐明 $ n^2 \leq q < 2n^2 $（其中 $ q = 2^s $）这一条件对秀尔算法正确性至关重要。
• 证明尼尔斯-蔡方法在处理叠加态时效率低下，需 $ O(q^2) $ 次操作而非 $ O(\log n) $ 次。
• 主张许多已报道的秀尔算法实验实现因违反基本的量子计算要求而并非有效演示。

提出的方法

• 分析秀尔算法中标准量子模幂运算过程，重点关注变换 $ \frac{1}{\sqrt{q}}\sum_{a=0}^{q-1}|a\rangle|0\rangle \rightarrow \frac{1}{\sqrt{q}}\sum_{a=0}^{q-1}|a\rangle|x^a \mod n\rangle $。
• 指出尼尔斯-蔡方法基于 $ a $ 的二进制数位应用酉操作，需 $ O(q^2) $ 次操作，与多项式时间效率需求相矛盾。
• 应用连分数展开技术，表明仅当 $ q \geq n^2 $ 时，才能可靠地将 $ c/q $ 近似为 $ d/r $，其中 $ r = \text{ord}_n(x) $。
• 通过检查 $ q = 2^s \geq n^2 $ 是否成立，评估秀尔算法的实验实现（如IBM 2001年、昆士兰大学2007年、中国科学技术大学2007年、UCSB 2012年）。
• 指出现有电路图中的概念性错误，例如将 $ |C^x \mod N\rangle $ 表示为纯态，而非叠加态 $ \frac{1}{\sqrt{q}}\sum_x |C^x \mod N\rangle $。
• 利用恒等式 $ \prod_{i=0}^{s-1}(1 + x^{2^i}) = \sum_{a=0}^{2^s - 1} x^a $，揭示将量子叠加态从经典多项式恒等式直接类比的误解。

实验结果

研究问题

• RQ1 为何秀尔与尼尔斯-蔡所描述的标准量子模幂运算方法在秀尔算法的叠加态中不足？
• RQ2 为确保秀尔算法对给定 $ n $ 的正确性，首个寄存器所需的确切量子比特数是多少？
• RQ3 为何许多秀尔算法的实验演示未能满足 $ n^2 \leq q < 2n^2 $ 的必要条件？
• RQ4 尼尔斯-蔡方法在模幂运算中如何导致 $ O(q^2) $ 次操作，从而与多项式时间执行的要求相悖？
• RQ5 已发表的秀尔算法实验演示中，电路图与态表示存在哪些概念性与技术性缺陷？

主要发现

• 当应用于叠加态时，秀尔与尼尔斯-蔡所描述的标准量子模幂运算方法存在缺陷，其所需操作次数为 $ O(q^2) $ 而非 $ O(\log n) $，违反了多项式时间效率要求。
• 为使秀尔算法正确运行，首个寄存器中量子比特数 $ s $ 必须满足 $ q = 2^s \geq n^2 $，但许多实验演示使用了更少的量子比特，违反了此条件。
• IBM于2001年使用首个寄存器中仅3个量子比特（对 $ n = 15 $）的实验演示无效，因为 $ 2^3 = 8 < 225 = 15^2 $，导致连分数步骤不可靠。
• 中国科学技术大学2007年实验演示仅使用首个寄存器中2个量子比特（对 $ n = 15 $）也无效，因为 $ 2^2 = 4 < 225 $，违反了基本要求 $ q \geq n^2 $。
• UCSB于2012年使用首个寄存器中仅1个量子比特（对 $ n = 15 $）的实验演示在根本上存在缺陷，因为 $ 2^1 = 2 < 225 $，且如此小的寄存器无法有意义地表示模运算。
• 若干实验论文错误地将第二个寄存器表示为纯态 $ |C^x \mod N\rangle $，而实际上应为叠加态 $ \frac{1}{\sqrt{q}}\sum_x |C^x \mod N\rangle $，这使得量子并行机制失效。