[论文解读] The Hidden Subgroup Problem and Eigenvalue Estimation on a Quantum Computer

Michele Mosca, Artur Ekert|ArXiv.org|Mar 20, 1999

Quantum Computing Algorithms and Architecture被引用 20

一句话总结

本文展示了通过在量子计算机上进行特征值估计算法，可以高效求解阿贝尔隐藏子群问题（HSP），表明仅需一个控制量子比特或飞行量子比特即可实现高效解法。该工作将Shor算法和Kitaev算法推广为基于特征值估计的统一框架，使高效阶查找、离散对数计算和因数分解成为可能，同时显著降低了量子资源需求。

ABSTRACT

A quantum computer can efficiently find the order of an element in a group, factors of composite integers, discrete logarithms, stabilisers in Abelian groups, and `hidden' or `unknown' subgroups of Abelian groups. It is already known how to phrase the first four problems as the estimation of eigenvalues of certain unitary operators. Here we show how the solution to the more general Abelian `hidden subgroup problem' can also be described and analysed as such. We then point out how certain instances of these problems can be solved with only one control qubit, or `flying qubits', instead of entire registers of control qubits.

研究动机与目标

• 将Shor因数分解、离散对数和阶查找问题统一在量子计算机上基于特征值估计的共同框架下进行处理。
• 证明阿贝尔隐藏子群问题可通过估计由函数 f 导出的酉算符的特征值来求解。
• 通过证明仅需一个控制量子比特或飞行量子比特即可求解阿贝尔群中的HSP，从而减少量子资源开销。
• 提出一种半经典实现策略，用顺序测量和经典控制操作替代完整的控制量子比特寄存器。

提出的方法

• 将问题重新表述为估计编码函数 f 的酉算符 U_f 的特征值，其中 f 在隐藏子群 K 的陪集上为常数。
• 算法使用群元素的叠加态，并应用受控-U_f 操作，使控制量子比特与函数的结构 entangle。
• 对控制量子比特施加一系列受控相位旋转和 Hadamard 变换，通过特征值估计实现量子傅里叶采样。
• 该方法采用“半经典”策略，利用对控制量子比特的测量来经典控制后续操作，从而减少对完整寄存器存储的需求。
• 通过为群 G 的每个生成元 e_j 应用受控操作，将该方法适配到有限生成阿贝尔群的隐藏子群问题。
• 对控制量子比特的最终测量可获得特征值的估计，随后通过经典后处理提取子群结构。

实验结果

研究问题

• RQ1 阿贝尔隐藏子群问题能否通过酉算符的特征值估计实现统一描述与求解？
• RQ2 求解阿贝尔群中HSP的最小量子资源需求（如控制量子比特数量）是什么？
• RQ3 能否用单个控制量子比特或飞行量子比特配合经典反馈，替代完整的控制量子比特寄存器？
• RQ4 半经典实现的量子傅里叶变换如何降低HSP算法中的资源开销？
• RQ5 在何种条件下，函数 f 可被高效计算，其结构可被有效用于特征值估计？

主要发现

• 阿贝尔隐藏子群问题可通过估计与函数 f 相关的酉算符的特征值来求解，推广了Shor和Kitaev的方法。
• 该算法仅使用单个控制量子比特或一系列飞行量子比特，即可实现接近 1 的成功概率，显著降低了量子内存需求。
• 该方法实现了 O(n) 次 f 的应用和 O(n²) 次基本量子门操作，可高效完成阶查找、离散对数计算与因数分解，其中 n 为输入大小。
• 半经典实现允许在后续操作前对控制量子比特进行测量，从而用经典控制旋转替代量子控制旋转。
• 该方法在输入大小 n 上保持多项式时间复杂度，对有限生成阿贝尔群（包括用于因数分解的 Z_N*）均高效。
• 该框架为阶查找、离散对数和稳定子问题提供了统一的描述，均作为量子计算机上特征值估计的实例。