[论文解读] Quantum measurements and the Abelian Stabilizer Problem

Alexei Kitaev|arXiv (Cornell University)|Nov 20, 1995

Quantum Computing Algorithms and Architecture参考文献 13被引用 397

一句话总结

本文提出了一种多项式时间的量子算法来解决阿贝尔稳定子问题，该算法推广了秀尔的因数分解和离散对数算法。通过测量酉算符的本征值并利用有限阿贝尔群上的量子傅里叶变换，该方法高效地解决了该问题，并为阿贝尔设置下的量子计算建立了基础框架。

ABSTRACT

We present a polynomial quantum algorithm for the Abelian stabilizer problem which includes both factoring and the discrete logarithm. Thus we extend famous Shor's results. Our method is based on a procedure for measuring an eigenvalue of a unitary operator. Another application of this procedure is a polynomial quantum Fourier transform algorithm for an arbitrary finite Abelian group. The paper also contains a rather detailed introduction to the theory of quantum computation.

研究动机与目标

• 开发一种统一的量子算法，以多项式时间解决阿贝尔稳定子问题。
• 将秀尔在因数分解和离散对数方面的开创性结果推广到更广泛的问题类别。
• 提供一种系统性的量子程序，用于测量酉算符的本征值。
• 为任意有限阿贝尔群构建一个通用的量子傅里叶变换算法。
• 为研究人员提供一个关于量子计算理论的全面导论。

提出的方法

• 该算法使用一种测量酉算符本征值的程序，这是解决稳定子问题的核心。
• 它将有限阿贝尔群上的量子傅里叶变换作为关键子程序，用于提取结构信息。
• 该方法依赖于制备叠加态，并应用受控酉操作，以使系统与群结构纠缠。
• 通过将量子相位估计算法应用于酉算符，实现本征值估计。
• 该算法利用群的阿贝尔性质，确保测量结果的高效经典后处理。
• 该构造被推广至任意有限阿贝尔群，使其在特定数论实例之外也具有广泛适用性。

实验结果

研究问题

• RQ1 如何利用量子计算高效求解阿贝尔稳定子问题？
• RQ2 本征值测量在阿贝尔群上求解量子问题中扮演什么角色？
• RQ3 能否为任意有限阿贝尔群构建一个通用的量子傅里叶变换？
• RQ4 该方法如何推广秀尔的因数分解与离散对数算法？
• RQ5 构建适用于阿贝尔结构的可扩展量子算法所需的基础技术是什么？

主要发现

• 本文提出了一种用于阿贝尔稳定子问题的多项式时间量子算法，从量子比特数和门操作数的角度确立了其效率。
• 该方法推广了秀尔的算法，将因数分解和离散对数统一为稳定子问题的特例。
• 为任意有限阿贝尔群构建了量子傅里叶变换，实现了在群基与特征标基之间高效转换。
• 本征值测量程序被证明是求解阿贝尔群中结构性问题的强大原 primitive。
• 该算法的正确性与效率基于有限阿贝尔群与酉演化之间的数学结构。
• 该工作为量子计算提供了详细的理论基础，包括叠加、纠缠和测量等关键概念在阿贝尔群背景下的阐述。