[论文解读] Generic Quantum Fourier Transforms

Cristopher Moore, Daniel N. Rockmore+1 more|ArXiv.org|Apr 9, 2003

Quantum Computing Algorithms and Architecture参考文献 18被引用 6

一句话总结

本论文通过计算可得的布雷蒂利图（Bratteli diagrams）、适配因子分解和盖尔范德-采林丁基（Gel'fand-Tsetlin bases）对经典‘变量分离’技术进行适配，提出了一种适用于广泛有限群类（包括阿贝尔群与非阿贝尔群）的量子傅里叶变换（QFT）通用量子电路构造。关键贡献在于，对对称群、幂零群、线性群 GLₖ(q)、SLₖ(q) 以及其他固定素数幂 q 的李型有限群，实现了多项式对数规模（polylogarithmic-size）的量子电路，其电路规模为次指数级，此前尚无此类结果。

ABSTRACT

The quantum Fourier transform (QFT) is the principal algorithmic tool underlying most efficient quantum algorithms. We present a generic framework for the construction of efficient quantum circuits for the QFT by ``quantizing'' the separation of variables technique that has been so successful in the study of classical Fourier transform computations. Specifically, this framework applies the existence of computable Bratteli diagrams, adapted factorizations, and Gel'fand-Tsetlin bases to offer efficient quantum circuits for the QFT over a wide variety a finite Abelian and non-Abelian groups, including all group families for which efficient QFTs are currently known and many new group families. Moreover, the method gives rise to the first subexponential-size quantum circuits for the QFT over the linear groups GL_k(q), SL_k(q), and the finite groups of Lie type, for any fixed prime power q.

研究动机与目标

• 开发一个统一的、通用的框架，用于在多种有限群上构造高效的量子傅里叶变换（QFT）电路。
• 将已知的高效 QFT 构造从阿贝尔群与幂零群扩展至有限李型群，如 GLₖ(q) 与 SLₖ(q)。
• 通过变量分离技术，建立高效经典傅里叶变换算法与高效量子电路之间定量且系统化的联系。
• 证明可实现多项式对数规模 QFT 电路的群类在某些阿贝尔扩张（包括位似扩张）下是封闭的。

提出的方法

• 该方法利用可计算的布雷蒂利图编码有限群的表示理论结构，实现 QFT 的分层分解。
• 采用群列的适配因子分解，将 QFT 分解为一系列在子群上作用的更小、可管理的酉操作序列。
• 通过盖尔范德-采林丁基定义一个尊重群表示层次结构的计算基，从而实现高效的态变换。
• 该方法结合了基于群元素作用的相位移位与置换矩阵（扭结因子），尤其在群扩张非分裂或非横截时表现突出。
• 通过识别非分裂扩张（如 ℤₚᶻ 对 ℤₚˡ）中相位移位的来源，将 Coppersmith 的 ℤ₂ⁿ QFT 电路推广至更一般情形。
• 该方法证明：若群 G 具有适配直径 D、最大重数 M 与最大指数 I 的子群塔，则存在大小为 poly(I × D × M × log|G|) 的 QFT 电路。

实验结果

研究问题

• RQ1 能否为包括非阿贝尔群在内的广泛有限群类开发一种通用框架，以构造高效的量子傅里叶变换？
• RQ2 经典傅里叶分析中的变量分离技术在群论傅里叶变换的量子设置中能在多大程度上被适配？
• RQ3 群的哪些结构性质——如子群塔、适配因子分解与表示维数——决定了 QFT 所致量子电路的规模？
• RQ4 能否为固定素数幂 q 的线性群（如 GLₖ(q) 与 SLₖ(q)）构造高效的 QFT 电路，而此前尚未知此类构造？
• RQ5 可实现多项式对数规模 QFT 电路的群类在位似或有界指数阿贝尔扩张下是否封闭？

主要发现

• 本文证明：对任意多项式均匀群 G，若其具有适配直径 D、最大重数 M 与最大指数 I 的子群塔，则 G 上的 QFT 可由大小为 poly(I × D × M × log|G|) 的量子电路实现。
• 该框架首次为线性群 GLₖ(q)、SLₖ(q)、PGLₖ(q) 与 PSLₖ(q) 构造出次指数规模的量子电路，适用于任意固定素数幂 q。
• 该方法恢复了对称群与幂零群（如二面体群与仿射群）的已知高效 QFT 电路，验证了与先前结果的一致性。
• 可实现多项式对数规模 QFT 电路的群类在阿贝尔群的位似扩张下是封闭的，包括所有满足其正规子群的所有不可约表示为一维的幂零群。
• 该方法通过识别相位移位源于非分裂群扩张（如 ℤₚᶻ 对 ℤₚˡ）的根源，推广了 Coppersmith 的 ℤ₂ⁿ QFT 电路。
• 该框架首次系统性地将经典变量分离技术适配至量子设置，建立了经典与量子傅里叶变换复杂性之间的定量桥梁。