[论文解读] Limitations of Quantum Coset States for Graph Isomorphism

Sean Hallgren, Martin Roetteler+1 more|arXiv (Cornell University)|Nov 15, 2005

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

一句话总结

该论文表明，基于共轭态的图同构量子算法需要对至少 Ω(n log n) 个态进行高度纠缠的测量，才能提取有用信息，因此此类方法因实现此类测量的极端困难而不可行。该结果可推广至其他非阿贝尔群（如 GL(n, F_{p^m}) 和 G^n），在特定条件下表明，单个或少数态的测量仅能获得关于隐藏子群的指数级少量信息。

ABSTRACT

It has been known for some time that graph isomorphism reduces to the hidden subgroup problem (HSP). What is more, most exponential speedups in quantum computation are obtained by solving instances of the HSP. A common feature of the resulting algorithms is the use of quantum coset states, which encode the hidden subgroup. An open question has been how hard it is to use these states to solve graph isomorphism. It was recently shown by Moore, Russell, and Schulman that only an exponentially small amount of information is available from one, or a pair of coset states. A potential source of power to exploit are entangled quantum measurements that act jointly on many states at once. We show that entangled quantum measurements on at least Ω(n log n) coset states are necessary to get useful information for the case of graph isomorphism, matching an information theoretic upper bound. This may be viewed as a negative result because highly entangled measurements seem hard to implement in general. Our main theorem is very general and also rules out using joint measurements on few coset states for some other groups, such as GL(n, F_{p^m}) and G^n where G is finite and satisfies a suitable property.

研究动机与目标

• 确定为从隐藏子群中提取关于图同构问题的多项式有用信息，所需共轭态的最小数量，这些信息通过联合测量获得。
• 分析量子共轭态在解决对称群及相关群的非阿贝尔隐藏子群问题（HSP）时的局限性。
• 建立基于联合测量的高效量子算法所需共轭态数量的信息论下限。
• 将这些发现推广至其他非阿贝尔群，如 GL(n, F_{p^m}) 和 G^n，在特定结构条件下。
• 证明依赖于单个或少数共轭态的现有方法，无法通过共轭态方法高效求解图同构问题。

提出的方法

• 作者分析了在 k 个共轭态上作用的 POVM 所诱导的分布之间的总变差距离，以衡量关于隐藏子群可提取的信息量。
• 利用有限群的表示理论和特征理论，推导出对应于不同候选子群的混合态之间的迹距离的界。
• 分析聚焦于对称群 S_m 及其积 (S_m)^n，特别是当隐藏子群为由对合生成的对角子群或平凡子群时的情况。
• 通过谱范数和特征和，特别是涉及不可约表示及其特征，推导出关键不等式。
• 证明依赖于参数 ε = 1 - 2|C(h)|/|G| 的重叠衰减界限，该参数量化了群元素的可区分性。
• 作者应用柯西-施瓦茨不等式，并利用不可约表示的结构，推导出迹距离仅在 k 为 Ω(n log n) 时才可能指数衰减的条件。

实验结果

研究问题

• RQ1 为从隐藏子群中提取关于图同构问题的多项式有用信息，所需共轭态的最小数量是多少？
• RQ2 能否仅使用单个或少数共轭态构建图同构的高效量子算法，还是必须对多个态进行高度纠缠的测量？
• RQ3 群 G 的结构，特别是其不可约表示和特征值，如何影响共轭态的可区分性？
• RQ4 对于哪些非阿贝尔群族，可严格证明必须对 Ω(n) 个共轭态进行纠缠测量，才能高效求解 HSP？
• RQ5 现有基于共轭态的量子算法在多大程度上因测量单个或少数共轭态时信息的指数级衰减而失败？

主要发现

• 对于图同构问题，任何基于共轭态的高效量子算法都必须对至少 Ω(n log n) 个寄存器进行纠缠测量，才能提取有用信息。
• 信息论上界 O(log |G|) 与下界一致，表明在此背景下 Ω(n log n) 是最优的。
• 对于群 (S_m)^n（其中 m ≥ 5）且 h 为对合时，必须对 Ω(n) 个寄存器进行纠缠测量，才能区分由对角子群 ⟨(h,…,h)⟩ 和平凡子群。
• 当 G 是一个有限群，且存在对合 h 满足 |G|^{1/2} > |Ĝ|^{1/2} ∑_{σ∈Λ} d_σ²（其中 Λ 收集满足 |χ_σ(h)| = d_σ 的不可约表示）时，则需要 Ω(n) 个纠缠测量。
• 该结果可推广至 GL(n, F_{p^m}) 和 G^n 等群，在适当条件下表明此类纠缠要求并非局限于图同构问题。
• 本文证实，单个或少数共轭态测量仅能获得指数级小的信息增益，因此在这些情况下不足以实现 HSP 的高效求解。