[论文解读] Efficient Quantum Transforms

Peter Høyer|ArXiv.org|Feb 12, 1997

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

一句话总结

本文提出了一种广义克罗内克积形式化方法，以高效构建酉变换的量子线路，通过将酉矩阵分解为稀疏且可高效实现的分量，实现了对波尔滤波器变换（Haar 和 Daubechies' D⁴）、阿贝尔与非阿贝尔群上的傅里叶变换（包括幂零群与纠错群结构）的新颖紧凑量子网络。

ABSTRACT

Quantum mechanics requires the operation of quantum computers to be unitary, and thus makes it important to have general techniques for developing fast quantum algorithms for computing unitary transforms. A quantum routine for computing a generalized Kronecker product is given. Applications include re-development of the networks for computing the Walsh-Hadamard and the quantum Fourier transform. New networks for two wavelet transforms are given. Quantum computation of Fourier transforms for non-Abelian groups is defined. A slightly relaxed definition is shown to simplify the analysis and the networks that computes the transforms. Efficient networks for computing such transforms for a class of metacyclic groups are introduced. A novel network for computing a Fourier transform for a group used in quantum error-correction is also given.

研究动机与目标

• 通过将问题重新表述为矩阵分解，开发一种通用框架，以高效构建酉变换的量子线路。
• 将量子傅里叶变换的适用范围从阿贝尔群扩展至非阿贝尔群，包括幂零群与纠错群结构。
• 提供一种系统化方法，从经典变换的数学描述中推导出量子网络，特别利用广义克罗内克积。
• 通过允许傅里叶变换的定义放宽至仅计算相位因子，简化量子算法的设计。
• 通过构建波尔变换与群论傅里叶变换的新颖高效量子线路，展示该框架的实用性。

提出的方法

• 提出一种广义克罗内克积运算，扩展标准克罗内克积，以实现复杂酉矩阵的高效分解。
• 利用广义克罗内克积，通过重新表达其经典数学结构，推导出沃尔什-哈达玛与量子傅里叶变换的量子线路。
• 将该框架应用于构建哈达玛与多贝西的 D⁴ 波尔变换的新颖量子网络，通过其分解为广义克罗内克积实现。
• 引入一种非阿贝尔傅里叶变换的宽松定义，仅计算结果的相位因子，从而简化线路设计与分析。
• 递归应用该方法，构建幂零群上傅里叶变换的高效量子线路，以及用于量子纠错的群 $E_n$ 上的线路。
• 基于广义克罗内克积，采用递归线路构造方法，从基例（如 $n=0$ 时的 Hadamard 门）出发，构建更大变换的线路。

实验结果

研究问题

• RQ1 广义克罗内克积能否系统性地从数学描述中推导出酉变换的高效量子线路？
• RQ2 非阿贝尔群上的傅里叶变换在量子计算机上如何高效实现，特别是在精确计算困难的情况下？
• RQ3 对傅里叶变换采用宽松定义（即仅计算相位因子）在多大程度上能简化量子线路设计，同时保持其有效性？
• RQ4 广义克罗内克积框架能否用于推导波尔变换（如 Haar 与 D⁴ 变换）的高效量子网络？
• RQ5 该框架对依赖傅里叶变换的量子算法（如 Shor 因子分解与 Grover 搜索）有何影响？

主要发现

• 本文提出一种基于广义克罗内克积的新量子线路构造方法，可高效实现酉变换。
• 利用广义克罗内克积形式化方法，构建了哈达玛与多贝西的 D⁴ 波尔变换的新颖高效量子网络。
• 提出一种非阿贝尔傅里叶变换的宽松定义——仅计算相位因子，显著简化了线路设计与分析。
• 利用广义克罗内克积框架，为一类幂零群上的傅里叶变换构建了高效量子线路。
• 为群 $E_n$ 上的傅里叶变换提供了一种简单高效的量子线路，该群用于量子纠错编码。
• 广义克罗内克积的递归结构允许从较小的基例（如 $n=0$ 时的 Hadamard 门）出发，构建更大变换的量子线路。