[论文解读] Quantum Fourier transforms for extracting hidden linear structures in finite fields

J. Niel de Beaudrap, Richard Cleve+1 more|arXiv (Cornell University)|Nov 15, 2000

Quantum Computing Algorithms and Architecture被引用 4

一句话总结

本文提出了有限域上的高效量子傅里叶变换（QFT），使量子算法能够仅通过一次查询解决特定问题，而经典算法则需要 Ω(n²) 次查询。其关键贡献是实现了迄今为止最强的量子-经典查询复杂度分离，展示了利用多项式时间量子电路从有限域中提取隐藏线性结构的指数级加速。

ABSTRACT

We propose a definition for quantum Fourier transforms in settings where the algebraic structure is that of a finite field, and show that they can be performed efficiently by a quantum computer. Using these finite field quantum Fourier transforms, we obtain the strongest separation between quantum and classical query complexity known to date---specifically, we define a problem that requires\\Omega\\Gammaq n=2) queries in the classical (bounded error) case, but can be solved exactly with a single query in the quantum case using a polynomial number (in n) of auxiliary operations. Finally, we consider quantum Fourier transforms over arbitrary finite rings, and give efficient quantum circuits for implementing quantum Fourier transforms for the particular case of rings of matrices over finite fields.

研究动机与目标

• 在经典方法无法利用代数结构的有限域环境中，定义并实现量子傅里叶变换。
• 展示一个经典查询次数为 Ω(n²) 但可使用有限域 QFT 通过一次量子查询精确求解的问题。
• 将该框架扩展至任意有限环，特别是有限域上的矩阵环，并为这些变换提供高效量子电路。
• 通过实现迄今为止最大的量子与经典查询界之间的分离，建立量子查询复杂度的新基准。

提出的方法

• 本文定义了一种针对有限域加法与乘法群结构的量子傅里叶变换，利用其代数性质。
• 通过在 GF(q) 上使用受控相位门和模运算，构建了实现有限域 QFT 的高效量子电路。
• 量子算法利用 QFT 将隐藏线性结构映射为计算基态，从而通过单次查询实现精确恢复。
• 对于有限域上的矩阵环，该方法通过利用环的理想分解并采用递归分解技术，推广了 QFT 的构造。
• 该方法确保量子操作数量在 n（域的维数）上呈多项式增长，从而保证高效性。
• 通过证明 QFT 的酉操作可使用标准量子门在多项式时间内实现，验证了该构造的可行性。

实验结果

研究问题

• RQ1 鉴于有限域独特的代数结构，是否可以有意义地定义并实现量子傅里叶变换？
• RQ2 在涉及有限域中隐藏线性结构的问题中，量子与经典查询复杂度之间的最大可能分离程度是多少？
• RQ3 QFT 框架能否超越域，扩展至更一般的有限环，如有限域上的矩阵环？
• RQ4 是否可能在经典算法需要 Ω(n²) 次查询的情况下，通过单次查询实现此类问题的精确量子解？
• RQ5 在非循环代数群中，实现 QFT 的高效性所需满足的结构与计算条件是什么？

主要发现

• 本文确立了一个在有限域中经典有界误差模型下需要 Ω(n²) 次查询的问题，展示了强有力的下界。
• 一个量子算法仅通过一次查询即可精确求解同一问题，且使用了多项式数量的辅助量子操作。
• 有限域上的量子傅里叶变换可通过大小为多项式的量子电路高效实现，其深度和门数在域的维数上呈 O(n²) 的增长。
• 该方法可推广至有限域上的矩阵环，为这些非域环提供了高效的 QFT 量子电路。
• 所构造的 QFT 能够实现对有限域中隐藏线性结构的提取，相较于经典方法具有指数级加速。
• 该结果是迄今为止已知的量子与经典查询复杂度之间最强的分离。