[论文解读] Discrete Cosine Transforms on Quantum Computers

Andreas Klappenecker, Martin Roetteler|arXiv (Cornell University)|Nov 7, 2001

Quantum Computing Algorithms and Architecture参考文献 9被引用 54

一句话总结

本文提出了一种在量子计算机上计算类型 I–IV 离散余弦变换（DCT）和离散正弦变换（DST）的量子算法，实现复杂度为 O(log²N) 次操作——相比经典算法的 O(N log N) 边界实现指数级加速。该方法通过利用量子叠加、纠缠和干涉，借助 Hadamard 门、受控相位操作和排列网络对酉变换进行高效分解，实现高效计算。

ABSTRACT

A classical computer does not allow to calculate a discrete cosine transform on N points in less than linear time. This trivial lower bound is no longer valid for a computer that takes advantage of quantum mechanical superposition, entanglement, and interference principles. In fact, we show that it is possible to realize the discrete cosine transforms and the discrete sine transforms of size NxN and types I,II,III, and IV with as little as O(log^2 N) operations on a quantum computer, whereas the known fast algorithms on a classical computer need O(N log N) operations.

研究动机与目标

• 开发用于类型 I–IV 离散余弦变换和正弦变换（DCT 和 DST）的高效量子算法。
• 通过利用量子并行性和酉变换分解，突破 DCT 计算的经典 O(N log N) 下界。
• 证明 DCT 和 DST 可在量子计算机上以多项式对数级门数实现。
• 使用标准量子门为所有四种 DCT/DST 类型提供显式的量子电路分解。
• 证明这些变换在实际量子计算架构（如离子阱、自旋系统和线性光学）中的可行性。

提出的方法

• 通过使用变换矩阵 T_N 将量子傅里叶变换（QFT）进行基变换，推导出类型 I 的 DCT 和 DST，该矩阵将 2N 点的 DFT 与 DCT_I 和 DST_I 的组合联系起来。
• 该算法使用受控相位操作 U_N，其被分解为单量子比特旋转、受控-非门和排列操作（π₁, π₂）的序列，从而实现所需酉演化。
• 该分解依赖于 Hadamard 门（H）和相位旋转（ω = e^{iπ/2^n}）的使用，关键恒等式包括 V_N = π₁(H ⊗ 1_N) 和 U_N = D₁† T̄_N D₀ π₂。
• 受控操作通过条件相位移位和单量子比特旋转实现，矩阵 J = 1/√2 [[1, -i], [-i, 1]] 用于实现具有复振幅的受控-Z 类门。
• DCT-IV 的电路通过包含 Hadamard 变换和受控相位门的递归结构构建，最终变换通过排列和相位操作的组合实现。
• 复杂度分析表明，所有 DCT 和 DST 类型均可在 O(log²N) 个基本量子门内实现，随输入大小 N = 2^n 高效缩放。

实验结果

研究问题

• RQ1 是否可以在量子计算机上以亚线性门数实现类型 I–IV 的离散余弦和正弦变换？
• RQ2 使用标准量子门实现 DCT 和 DST 操作所需的最小量子电路深度和门数是多少？
• RQ3 如何利用量子傅里叶变换与 DCT/DST 之间的关系来构建高效的量子算法？
• RQ4 在保持低深度分解的同时，能否在量子电路中保持 DCT 和 DST 的正交结构？
• RQ5 与现有量子计算平台兼容的 DCT 和 DST 的实际量子门分解是什么？

主要发现

• 类型 I–IV 的 DCT 和 DST 可在量子计算机上仅使用 O(log²N) 个基本量子门实现，相比经典 O(N log N) 算法实现显著的指数级加速。
• DCT-IV 的量子算法通过包含 Hadamard 变换和受控相位操作的递归分解构建，总门数为 O(log²N)。
• 通过使用矩阵 T_N 进行基变换，将量子傅里叶变换转换为 DCT-I 和 DST-I，从而实现从单一框架构建所有 DCT 和 DST 类型。
• 关键酉操作 U_N 被分解为单量子比特旋转、受控相位门和排列操作（π₁, π₂）的序列，每种操作均可通过标准量子门实现。
• 相位操作（如 D₁ 和 D₀）的实现通过受控旋转和条件相位移位完成，并提供了明确的电路图以供验证。
• 结果证实，DCT 和 DST 等信号处理变换可在量子计算机上高效实现，表明其在未来的量子算法设计中具有实用价值。