[论文解读] An Efficient Quantum Algorithm for some Instances of the Group Isomorphism Problem

François Le Gall|arXiv (Cornell University)|Jan 5, 2010

Quantum Computing Algorithms and Architecture参考文献 31被引用 5

一句话总结

本文提出了一种量子算法，可在群阶的对数时间内解决一类特定非交换群——由阶互素的阿贝尔群扩张而成的循环群——的群同构问题。通过将问题约化为阿贝尔隐藏子群问题（HSP）的实例，该算法在最坏情况下相比已知的最佳经典算法实现了指数级加速，标志着非交换群同构问题中首次实现此类量子加速。

ABSTRACT

In this paper we consider the problem of testing whether two finite groups are isomorphic. Whereas the case where both groups are abelian is well understood and can be solved efficiently, very little is known about the complexity of isomorphism testing for nonabelian groups. Le Gall has constructed an efficient classical algorithm for a class of groups corresponding to one of the most natural ways of constructing nonabelian groups from abelian groups: the groups that are extensions of an abelian group $A$ by a cyclic group $Z_m$ with the order of $A$ coprime with $m$. More precisely, the running time of that algorithm is almost linear in the order of the input groups. In this paper we present a quantum algorithm solving the same problem in time polynomial in the logarithm of the order of the input groups. This algorithm works in the black-box setting and is the first quantum algorithm solving instances of the nonabelian group isomorphism problem exponentially faster than the best known classical algorithms.

研究动机与目标

• 解决非交换群同构问题中的复杂性鸿沟，因为对于大多数群类，目前尚无高效的经典算法。
• 探索量子算法是否能在非交换群同构问题中实现指数级加速，从而将已知的阿贝尔情形下的量子优势扩展至非阿贝尔情形。
• 开发一种量子算法，用于解决属于类 S 的群的同构性测试问题——即由阶互素的阿贝尔群扩张而成的循环群。
• 实现运行时间在 log n 的多项式时间内，其中 n 为较小输入群的大小，显著优于经典算法的界。
• 建立一种将非交换同构问题约化为量子友好的阿贝尔隐藏子群问题实例的框架。

提出的方法

• 将类 S 中群的非交换群同构问题约化为多个阿贝尔隐藏子群问题（HSP）的实例。
• 利用量子算法高效计算导出子群及其生成元，使用量子黑箱群操作。
• 使用量子相位估计算法和幅度放大技术，识别特定阶的元素，并通过阶的最小公倍数与因数分解计算群的结构。
• 应用量子搜索算法，在特定陪集内寻找循环子群的生成元，尤其在群作用非平凡的情况下。
• 使用量子程序构建群的标准分解，以识别阿贝尔子群与循环补群，确保在同构下结构不变性。
• 将经典后处理与量子子程序相结合，以验证同构性，并在同构存在时构造显式的同构映射。

实验结果

研究问题

• RQ1 量子算法是否能在非交换群同构问题中实现指数级加速，特别是针对如阿贝尔群扩张这类结构化群类？
• RQ2 是否能够以保持量子效率的方式，将非交换群同构问题约化为阿贝尔隐藏子群问题？
• RQ3 类 S 中群的哪些结构性质使得其能够实现高效的量子分解与同构性测试？
• RQ4 量子算法如何利用阿贝尔正规子群与循环补群之间的互素性条件，以简化同构性测试？
• RQ5 该量子算法能否推广至类 S 之外的其他非交换群类？

主要发现

• 所提出的量子算法在时间复杂度为 log n 的多项式时间内解决了类 S 中群的同构问题，其中 n 为较小输入群的大小。
• 这相比已知的最佳经典算法实现了指数级加速，后者在相同类群上的运行时间为 n^{1+o(1)}。
• 该算法利用了用于阿贝尔群分解与隐藏子群问题求解的量子子程序，其基础为 Shor 算法与 Cheung-Mosca 的工作。
• 该方法通过量子程序构建群的标准分解，以识别导出子群的生成元与循环补群。
• 当同构存在时，该算法以高概率输出显式的同构映射，且完全运行于黑箱群模型之内。
• 本工作首次建立了已知的量子算法，能够以指数级速度优于任何已知的经典方法，解决非交换群同构问题。