[论文解读] Explicit Multiregister Measurements for Hidden Subgroup Problems; or, Fourier Sampling Strikes Back

Cristopher Moore, Alexander Russell|arXiv (Cornell University)|Apr 8, 2005

Limits and Structures in Graph Theory参考文献 27被引用 13

一句话总结

该论文提出了一种在傅里叶基下显式进行多寄存器量子测量的方法，解决了隐子群问题（HSP）中的一个关键情形，包括可从图同构问题约化而来的实例。通过纠缠 k = log₂|G| 个寄存器并利用所有 2ᵏ 个子集的信息，该方法推广了先前的方法，并为图同构问题的量子算法提供了新见解，尽管在一般情况下并未得到高效算法。

ABSTRACT

We present an explicit measurement in the Fourier basis that solves an important case of the Hidden Subgroup Problem, including the case to which Graph Isomorphism reduces. This entangled measurement uses k = log 2 |G | registers, and each of the 2 k subsets of the registers contributes some information. While this does not, in general, yield an efficient algorithm, it generalizes the relationship between Subset Sum and the HSP in the dihedral group, and sheds some light on how quantum algorithms for Graph Isomorphism might work. 1

研究动机与目标

• 开发一种在傅里叶基下显式解决隐子群问题关键情形的量子测量策略。
• 研究多寄存器纠缠测量如何从群对称性中提取结构信息。
• 推广二面体群 HSP 与子集和问题之间的关系。
• 阐明图同构问题量子算法潜在机制的线索。

提出的方法

• 该方法使用 k = log₂|G| 个量子寄存器来编码群元素及其变换。
• 在所有 k 个寄存器上联合执行傅里叶基下的测量，利用纠缠访问相关子空间。
• k 个寄存器的所有 2ᵏ 个子集均提供关于隐藏子群的独立信息。
• 该测量通过有限群上的群表示理论和傅里叶变换显式构建。
• 该方法通过考虑所有可能的寄存器子集组合，推广了先前的单寄存器傅里叶采样方法。
• 其重点在于量子态傅里叶变换的结构，以提取子群信息。

实验结果

研究问题

• RQ1 多寄存器傅里叶测量是否能解决单寄存器采样失败的隐子群问题情形？
• RQ2 在多个寄存器上进行纠缠测量如何有助于识别非阿贝尔群中的隐藏子群？
• RQ3 基于子集的信息提取在提升 HSP 算法成功概率方面起到什么作用？
• RQ4 该测量与从图同构问题导出的 HSP 实例有何关联？
• RQ5 该方法能否推广二面体 HSP 与子集和问题之间的联系？

主要发现

• 所提出的多寄存器测量在 HSP 的一个关键情形下成功提取了隐藏子群的信息，包括可从图同构问题约化而来的实例。
• 该测量使用 k = log₂|G| 个寄存器，所有 2ᵏ 个子集均提供有意义的信息。
• 该方法通过扩展测量框架，推广了二面体 HSP 与子集和问题之间的关系。
• 尽管在一般情况下并不高效，但该方法为理解如何将量子傅里叶采样扩展至非阿贝尔群提供了更深层次的结构认识。
• 该工作通过强调多寄存器纠缠在傅里叶采样中的重要性，为图同构问题量子算法的设计提供了新视角。