[论文解读] A subexponential-time quantum algorithm for the dihedral hidden subgroup problem

Greg Kuperberg|ArXiv.org|Feb 14, 2003

Quantum Computing Algorithms and Architecture被引用 4

一句话总结

该论文提出了一种针对二面体隐子群问题（DHSP）的量子算法，其时间复杂度和查询复杂度均为 $2^{O(\sqrt{\log N})}$，显著优于经典方法的 $O(\sqrt{N})$ 查询界。该算法通过量子特征变换，再经由迭代的量子比特配对，演化至有利的群表示，从而实现对隐藏反射子群的直接测量。

ABSTRACT

We present a quantum algorithm for the dihedral hidden subgroup problem with time and query complexity $O(\exp(C\sqrt{\log N}))$. In this problem an oracle computes a function $f$ on the dihedral group $D_N$ which is invariant under a hidden reflection in $D_N$. By contrast the classical query complexity of DHSP is $O(\sqrt{N})$. The algorithm also applies to the hidden shift problem for an arbitrary finitely generated abelian group. The algorithm begins with the quantum character transform on the group, just as for other hidden subgroup problems. Then it tensors irreducible representations of $D_N$ and extracts summands to obtain target representations. Finally, state tomography on the target representations reveals the hidden subgroup.

研究动机与目标

• 开发一种量子算法，以优于经典方法的时间和查询复杂度解决二面体隐子群问题（DHSP）。
• 解决隐藏子群具有大量共轭类的问题，此时标准量子特征变换失效。
• 在查询复杂度与计算时间之间实现有利的权衡，具体而言实现亚指数而非指数级复杂度。
• 将该方法推广至有限生成阿贝尔群上的隐移问题。

提出的方法

• 该算法以量子特征变换开始，对于 $D_N$ 情况，其等价于阿贝尔量子傅里叶变换。
• 在 $D_N$ 的表示中制备一个量子态，该态初始时难以解读，但携带了关于隐藏子群的信息。
• 核心技术在于反复将两个不利的量子比特配对，生成一个处于 $D_N$ 更有利表示中的新量子比特。
• 该算法针对特定的 $D_N$ 不可约表示，这些表示允许直接测量以揭示隐藏的反射子群。
• 该过程利用二面体群及其表示的结构，逐步隔离出隐藏子群。
• 对于 $N = 2^n$，该算法实现的时间和查询复杂度为 $2^{O(\sqrt{\log N})}$，当 $N = r^n$ 时，复杂度更紧致地表示为 $\widetilde{O}(3^{\sqrt{2\log_3 N}})$。

实验结果

研究问题

• RQ1 是否存在一种量子算法，能够以亚指数时间复杂度解决二面体隐子群问题？
• RQ2 通过表示配对实现的量子态演化，如何提升在非阿贝尔群中隐藏子群检测的效率？
• RQ3 DHSP 可实现的最小查询复杂度是多少？与经典界相比如何？
• RQ4 该算法能否推广至任意有限生成阿贝尔群上的隐移问题？
• RQ5 特定的 $D_N$ 不可约表示在实现隐藏子群的直接测量中起到何种作用？

主要发现

• 对于 $N = 2^n$，该算法实现的时间和查询复杂度为 $2^{O(\sqrt{10 \log N})}$，显著优于经典方法的 $O(\sqrt{N})$ 复杂度。
• 当 $N = r^n$ 且基数 $r$ 固定时，复杂度进一步优化为 $\widetilde{O}(3^{\sqrt{2\log_3 N}})$，展示了更紧致的渐近界。
• 该算法需要 $2^{O(\sqrt{\log N})}$ 量化的空间，尽管时间复杂度为亚指数，但这是主要限制。
• 该方法通过将量子态演化至目标表示，成功识别出隐藏的反射子群，从而实现直接测量。
• 该方法可推广至任意有限生成阿贝尔群上的隐移问题，扩展了其适用范围。
• 该算法在 Ettinger 和 H{\'o}yer 的前期工作基础上，引入了一种新颖的配对机制，克服了标准特征变换在非阿贝尔情形下的局限性。