[论文解读] A quantum Fourier transform algorithm

Chris Lomont|ArXiv.org|Apr 9, 2004

Quantum Computing Algorithms and Architecture参考文献 15被引用 3

一句话总结

本文提出了一种针对奇数阶循环群的校正且经过严格分析的量子傅里叶变换（QFT）算法，解决了先前证明中的缺陷。该文提供了对量子比特需求和近似误差的精确界限，使精确模拟成为可能，并表明实际实现通常所需的量子比特数量远少于理论界限所暗示的数量。

ABSTRACT

Algorithms to compute the quantum Fourier transform over a cyclic group are fundamental to many quantum algorithms. This paper describes such an algorithm and gives a proof of its correctness, tightening some claimed performance bounds given earlier. Exact bounds are given for the number of qubits needed to achieve a desired tolerance, allowing simulation of the algorithm.

研究动机与目标

• 纠正早期关于奇数阶循环群上量子傅里叶变换工作的错误证明。
• 为QFT算法提供关于量子比特数量和近似误差的精确、非渐近界限。
• 通过指定给定容差下的具体资源需求，实现QFT算法的精确模拟。
• 研究理论界限与实际性能之间的差距，揭示显著减少量子比特的潜力。
• 在隐子群问题及相关量子算法的背景下，收紧QFT算法的性能界限。

提出的方法

• 提出一种用于在奇数阶N的循环群上计算傅里叶变换的量子算法，通过更大的模数M进行模算术映射。
• 定义关键映射：i' 为最接近 (M/N)i 的整数，以及一种类似除法的映射Δ，将k ∈ {0,...,M-1} 分解为(s,t)，其中s ∈ {0,...,N-1} 且 t ∈ {-α,...,α}。
• 以Coppersmith方法实现的Z_M上的标准QFT作为核心量子操作，通过O(log M (log log M + log 1/ε))次操作近似于误差ε以内。
• 使用锯齿函数 |x|_M 来度量模M下的距离，这对限制变换近似中的误差至关重要。
• 利用三角不等式和单位根的性质推导误差界限，特别是 |1 - ω_M^α| ≤ |2πα/M|。
• 证明当 M ≤ 2 × 735 × N^{3/2}/ε^3 时，可确保所需的误差容限，且⌈log M⌉ + 2个量子比特足以实现该算法。

实验结果

研究问题

• RQ1 对于给定误差容限，实现奇数阶循环群上的量子傅里叶变换，所需量子比特的精确界限是什么？
• RQ2 如何对先前关于循环QFT工作的错误正确性证明进行严格校正和收紧？
• RQ3 理论资源界限在多大程度上高估了实际应用中的量子比特需求？
• RQ4 能否通过精确分析而非渐近估计，推导出更紧的近似误差界限？
• RQ5 对于给定的N和ε，所需的最小量子比特数是多少？与理论上的上界相比如何？

主要发现

• 本文建立了量子比特数量的精确上界：⌈log M⌉ + 2，其中 M ≤ 2 × 735 × N^{3/2}/ε^3，确保了所需的近似误差。
• 模拟结果表明，实际观测到的误差始终远低于理论界限——例如，当N=25，ε=0.3时，最大观测误差仅为0.0182。
• 在实际实现中，所需量子比特数量可近乎减半：例如，当N=501且ε=0.2时，理论界限要求30个量子比特，但模拟中15个量子比特即可满足，最大误差为0.18。
• 该算法性能稳健：即使采用保守的界限，实际误差也显著小于目标ε，表明理论界限仍有收紧空间。
• 满足误差条件的最小M和L值通常远小于一般界限所暗示的值，表明通过优化选择M和L可大幅降低量子比特成本。
• 本文通过具体、可模拟的界限，证明了奇数阶循环群上QFT算法的正确性，解决了[7]和[8]中先前证明的错误。