[论文解读] The Quantum Fourier Transform and Extensions of the Abelian Hidden Subgroup Problem

Lisa Hales|ArXiv.org|Nov 30, 2002

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

一句话总结

该论文通过为循环群上的量子傅里叶变换（QFT），特别是 $\mathbb{Z}_{2^n}$ 和任意 $\mathbb{Z}_N$，开发改进的量子线路，推进了量子算法的发展，并通过放宽陪集函数的互异性条件，扩展了阿贝尔隐藏子群问题（HSP）的适用范围。论文证明了实数域上的周期查找比整数域上的周期查找更难，位于复杂性类 $MA$ 之外，并为有限生成阿贝尔群上的松弛 HSP 提供了高效的量子解法。

ABSTRACT

The quantum Fourier transform (QFT) has emerged as the primary tool in quantum algorithms which achieve exponential advantage over classical computation and lies at the heart of the solution to the abelian hidden subgroup problem, of which Shor's celebrated factoring and discrete log algorithms are a special case. We begin by addressing various computational issues surrounding the QFT and give improved parallel circuits for both the QFT over a power of 2 and the QFT over an arbitrary cyclic group. These circuits are based on new insight into the relationship between the discrete Fourier transform over different cyclic groups. We then exploit this insight to extend the class of hidden subgroup problems with efficient quantum solutions. First we relax the condition that the underlying hidden subgroup function be distinct on distinct cosets of the subgroup in question and show that this relaxation can be solved whenever G is a finitely-generated abelian group. We then extend this reasoning to the hidden cyclic subgroup problem over the reals, showing how to efficiently generate the bits of the period of any sufficiently piecewise-continuous function on R. Finally, we show that this problem of period-finding over R, viewed as an oracle promise problem, is strictly harder than its integral counterpart. In particular, period-finding over R lies outside the complexity class MA, a class which contains period-finding over the integers.

研究动机与目标

• 为 $\mathbb{Z}_{2^n}$ 和任意 $\mathbb{Z}_N$ 上的量子傅里叶变换（QFT）设计更高效的量子线路。
• 通过放宽隐藏子群函数在不同陪集上必须互异的要求，扩展可在量子多项式时间内求解的隐藏子群问题类别。
• 解决实数域上的隐藏循环子群问题，实现对分段连续函数周期位的高效生成。
• 通过证明实数域上的周期查找比整数域上的周期查找更难，位于复杂性类 $MA$ 之外，建立量子与经典复杂性类之间的分离。

提出的方法

• 利用特征值估计和受控旋转门，设计 $\mathbb{Z}_{2^n}$ 上 QFT 的并行量子线路，降低线路深度并提升可扩展性。
• 通过新颖的傅里叶采样技术和相位估计，提出任意 $\mathbb{Z}_N$ 上的近似 QFT，具有有界误差并改进了线路深度。
• 应用傅里叶变换定理和矩阵范数分析，界定 QFT 近似中出现的矩阵的算子范数，确保精度。
• 利用酉不变性和几何级数恒等式，分析 QFT 状态及其近似之间的保真度，尤其关注移位基态的情形。
• 通过将实周期问题约化为一个预言机承诺问题，建立与 $MA$ 的复杂性理论分离，利用矩阵元素和相位差的界。
• 利用不同循环群上 DFT 之间关系的洞见，统一并优化了跨模数的 QFT 构造。

实验结果

研究问题

• RQ1 能否在降低门控数量和线路深度的前提下，实现 $\mathbb{Z}_{2^n}$ 上 QFT 的改进并行电路？
• RQ2 在阿贝尔隐藏子群问题中，若放宽对陪集函数互异性的要求，是否仍可在有限生成阿贝尔群上实现高效的量子解法？
• RQ3 能否在实数域上求解隐藏循环子群问题？若可，能否高效生成分段连续函数周期的各位？
• RQ4 在复杂性类成员资格的意义上，实数域上的周期查找是否严格难于整数域上的周期查找？
• RQ5 实周期隐藏子群问题是否位于复杂性类 $MA$ 之外？其形式化依据是什么？

主要发现

• 基于特征值估计和受控旋转门，构建了 $\mathbb{Z}_{2^n}$ 上 QFT 的改进并行量子线路，具有更低的深度和更小的规模。
• 通过傅里叶采样和相位估计，开发了任意 $\mathbb{Z}_N$ 上具有有界误差的近似 QFT，实现了多项式深度和规模。
• 松弛的阿贝尔隐藏子群问题——即函数在不同陪集上无需互异——对所有有限生成阿贝尔群均存在高效的量子解法。
• 实数域上的周期查找被证明严格难于整数域上的周期查找，因其位于复杂性类 $MA$ 之外，而该类包含整数周期查找问题。
• 通过几何级数和矩阵重索引，界定了 QFT 近似中关键矩阵的算子范数，其界与均匀向量情形相差不超过四倍。
• 证明了近似傅里叶基态之间的保真度以 $\mathcal{O}(RN/M)$ 的速率衰减，表明在受控条件下，近似 QFT 状态仍与真实状态保持接近。