[论文解读] Fully graphical treatment of the quantum algorithm for the Hidden Subgroup Problem

Stefano Gogioso, Aleks Kissinger|ArXiv.org|Jan 30, 2017

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

一句话总结

本文首次以完全图表化的方式证明了阿贝尔隐藏子群问题（HSP）的量子算法，表明强互补可观测量是实现量子优势的根本代数特征。通过范畴量子力学与弦图，作者将证明推广至有限维量子理论之外，表明其适用于实量子理论及格点与环面等无限维系统。

ABSTRACT

The abelian Hidden Subgroup Problem (HSP) is extremely general, and many problems with known quantum exponential speed-up (such as integers factorisation, the discrete logarithm and Simon's problem) can be seen as specific instances of it. The traditional presentation of the quantum protocol for the abelian HSP is low-level, and relies heavily on the the interplay between classical group theory and complex vector spaces. Instead, we give a high-level diagrammatic presentation which showcases the quantum structures truly at play. Specifically, we provide the first fully diagrammatic proof of correctness for the abelian HSP protocol, showing that strongly complementary observables are the key ingredient to its success. Being fully diagrammatic, our proof extends beyond the traditional case of finite-dimensional quantum theory: for example, we can use it to show that Simon's problem can be efficiently solved in real quantum theory, and to obtain a protocol that solves the HSP for certain infinite abelian groups.

研究动机与目标

• 提供阿贝尔隐藏子群问题（HSP）量子算法的高层次、完全图表化证明，超越低层次的代数处理方式。
• 证明强互补可观测量是HSP中实现量子加速的核心结构特征，而非偶然产物。
• 将HSP算法的适用性从标准有限维量子力学扩展至具有兼容代数结构的其他理论。
• 表明在图表化框架下，西蒙问题可在实量子理论中被高效求解。
• 利用非标准分析与无限维希尔伯特空间，将HSP算法推广至无限阿贝尔群如Z^N和T^N。

提出的方法

• 采用 dagger 对称单幕范畴与弦图的图形语言来表示量子过程，左到右的复合表示顺序操作。
• 将量子傅里叶变换与酉预言机U_f表示为代数结构——具体而言，作为图示演算中的 †-Frobenius 代数。
• 利用 †-Frobenius 代数之间的强互补性概念，刻画HSP算法中的量子优势。
• 将量子子程序形式化为图示组件的复合：哈达玛门、预言机与傅里叶变换，全部以图示语言表达。
• 通过包含有界与无界算子及狄拉克δ函数的范畴 ⋆Hilb，将框架扩展至无限维情形。
• 通过验证这些设定中存在合适的强互补对，将图示证明应用于实量子理论与无限阿贝尔群。

实验结果

研究问题

• RQ1 强互补性是否为阿贝尔HSP中量子子程序成功运行的必要且充分条件？
• RQ2 HSP的量子算法能否在完全图表化、范畴论的框架下重新表述，从而脱离复向量空间的依赖？
• RQ3 图表化方法是否可扩展至实量子理论？能否在该设定下证明西蒙问题可被高效求解？
• RQ4 能否利用图表方法与非标准分析，将HSP算法推广至如Z^N与T^N等无限阿贝尔群？
• RQ5 当对偶子群Ann[H]为无限时，经典后处理步骤在无限维情形下如何调整？

主要发现

• 本文首次建立了阿贝尔HSP量子算法正确性的完全图表化证明，表明强互补性是实现量子优势的根本结构特征。
• 图表化框架证实，西蒙问题可在实量子理论中被高效求解，因为该设定中存在所需的强互补可观测量。
• 该方法可推广至无限维量子系统，为Z^N（格点）与T^N（环面）上的HSP提供有效的量子子程序。
• 在G = Z^N的情况下，经典后处理保持有限且高效，因为所有商群G/H与对偶子群Ann[H] ≤ T^N均为有限。
• 在G = T^N的情况下，由于Z^N中的对偶子群为无限，经典后处理需进行微调，但量子部分仍保持有效且图示上成立。
• 该框架在不同物理理论中均具鲁棒性：适用于标准量子理论（在C上）、实量子理论（在R上），以及通过范畴⋆Hilb推广至无限维理论。