[论文解读] Abelian Hypergroups and Quantum Computation

Juan Bermejo-Vega, Kevin C. Zatloukal|arXiv (Cornell University)|Sep 18, 2015

Computability, Logic, AI Algorithms参考文献 98被引用 3

一句话总结

本文引入阿贝尔超群稳定子形式化，以推广Gottesman-Knill定理，并为幂零阿贝尔超群中的隐藏子超群问题开发一个可证明高效的量子算法。通过将非阿贝尔群中的隐藏正规子群问题（HNSP）与共轭类联系起来，转化为隐藏子超群问题（HSHP），作者提出了一种针对幂零群的新型量子算法，展示了经典可模拟性与适用于非幺正稳定子的自适应傅里叶采样技术。

ABSTRACT

Motivated by a connection, described here for the first time, between the hidden normal subgroup problem (HNSP) and abelian hypergroups (algebraic objects that model collisions of physical particles), we develop a stabilizer formalism using abelian hypergroups and an associated classical simulation theorem (a la Gottesman-Knill). Using these tools, we develop the first provably efficient quantum algorithm for finding hidden subhypergroups of nilpotent abelian hypergroups and, via the aforementioned connection, a new, hypergroup-based algorithm for the HNSP on nilpotent groups. We also give efficient methods for manipulating non-unitary, non-monomial stabilizers and an adaptive Fourier sampling technique of general interest.

研究动机与目标

• 通过将阿贝尔群稳定子形式化推广至群之外，理解非阿贝尔群中隐藏正规子群问题（HNSP）的量子算法。
• 在HNSP与阿贝尔超群之间建立正式联系，表明非阿贝尔群中共轭类的结构在乘法下构成阿贝尔超群。
• 为阿贝尔超群构建稳定子形式化，实现对量子电路的经典模拟，并扩展Gottesman-Knill框架。
• 通过超群形式化，为幂零群上的HNSP提供一种新型量子算法，具备可证明的高效性与自适应傅里叶采样。
• 扩展适用于非幺正、非单项稳定子的工具，并展示相关量子电路的经典可模拟性。

提出的方法

• 作者将阿贝尔超群定义为群的推广，其中碰撞产生结果集合，用于建模粒子相互作用。
• 他们证明非阿贝尔群的共轭类在乘法下构成阿贝尔超群，从而捕捉正规子群的结构。
• 为阿贝尔超群构建稳定子形式化，将Gottesman-Knill定理推广至允许对这些结构上的量子电路进行高效经典模拟。
• 该方法包含一种专为非幺正和非单项稳定子态设计的自适应傅里叶采样技术。
• 将形式化应用于幂零阿贝尔超群，得出针对隐藏子超群问题（HSHP）的高效量子算法。
• 关键方程包括特征正交性与测量平凡不可约表示的概率界，用于分析成功概率。

实验结果

研究问题

• RQ1 非阿贝尔群中的隐藏正规子群问题（HNSP）能否被重新表述为阿贝尔超群中的隐藏子超群问题（HSHP）？
• RQ2 是否存在一种阿贝尔超群的稳定子形式化，能够实现对量子电路的经典模拟，并推广Gottesman-Knill定理？
• RQ3 能否利用该形式化为幂零阿贝尔超群中的HSHP构造高效量子算法？
• RQ4 在超群态的傅里叶采样中，测量平凡不可约表示的成功概率是多少？其与子群结构有何关系？
• RQ5 哪些类别的非幂零、超可解群可通过此超群方法实现高效量子算法？

主要发现

• 本文建立了非阿贝尔群中HNSP与阿贝尔超群中HSHP之间的正式联系，表明共轭类在乘法下构成阿贝尔超群。
• 开发了阿贝尔超群稳定子形式化，将Gottesman-Knill定理推广至允许对阿贝尔超群上量子电路进行高效经典模拟。
• 为幂零阿贝尔超群中隐藏子超群的寻找构造了高效量子算法，其成功概率与零保持正距离（例如，二面体群中最多为2/3）。
• 该算法在二面体群上具有高成功概率，当n为奇数时，测量平凡不可约表示的概率上限为2/3；当n为偶数时，上限为1/2，两者均为与n无关的常数。
• 该方法包含一种自适应傅里叶采样技术，可高效测量非幺正、非单项稳定子态，扩展了模拟技术的适用范围。
• 该算法在某些超可解群（如ℤ_p上的仿射群）上失败，表明该方法并非普遍适用，但在其他群（如二面体群）上成功，突显出一类非平凡的可解群，其HNSP可被高效求解。