[论文解读] Explicit Multiregister Measurements for Hidden Subgroup Problems

Cristopher Moore, Alexander Russell|ArXiv.org|Apr 8, 2005

Coding theory and cryptography参考文献 27被引用 4

一句话总结

本文提出了一种在傅里叶基下显式的多寄存器量子测量方法，解决了隐藏子群问题（HSP）的一个关键情形，包括可约化为图同构问题的情形。通过纠缠 $ k = \log_2|G| $ 个寄存器并测量所有 $ 2^k $ 个子集，该方法利用每个子集的不可约表示子空间中的信息，成功区分平凡子群与二阶子群，为超越阿贝尔 HSP 的潜在高效量子算法提供了框架。

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.

研究动机与目标

• 开发一种显式的量子测量策略，以解决标准傅里叶采样失效的非阿贝尔隐藏子群问题（HSP）。
• 解决在对称群 $ S_n $ 中区分平凡子群与二阶子群的挑战，这是图同构问题的关键情形。
• 将二面体群中 HSP 与子集和问题之间的关系进行推广，为图同构的量子算法提供洞见。
• 证明多寄存器纠缠测量能够从所有寄存器子集中提取信息，每个子集均对子群识别有所贡献。

提出的方法

• 该方法使用 $ k = \log_2|G| $ 个寄存器制备 $ G^k $ 上的联合态，随后通过在寄存器子集上的表示实现受控 $ G $-作用。
• 应用一个幺正变换 $ \mathcal{M} $，通过 $ \sigma_I(g^{-1}) $ 将控制寄存器与目标寄存器纠缠，将子群结构编码进态中。
• 在控制寄存器上执行量子傅里叶变换，随后利用投影算符 $ \Pi_\eta $ 投影到与目标 $ \eta $ 同构的不可约表示子空间。
• 该测量旨在检测态是否位于每个寄存器子集 $ I $ 关联的子空间 $ W_\eta^I $ 中，这些子空间在群作用下不变。
• 该框架利用了这样一个事实：若隐藏子群为平凡子群，则大量子集 $ I $ 的态在 $ W_\eta^I $ 中占据较大份额，从而可通过部分测量实现检测。
• 建议采用类似筛法的方法，迭代组合表示的张量积并检测缺失的谐波，类似于库珀伯格（Kuperberg）针对二面体群的算法。

实验结果

研究问题

• RQ1 能否在傅里叶基下实现显式的多寄存器测量，以区分对称群 $ S_n $ 中的平凡子群与共轭二阶子群，这一情形与图同构密切相关？
• RQ2 $ k $ 个寄存器的各个子集如何对隐藏子群的检测做出贡献？其联合信息能否被有效利用？
• RQ3 是否存在一种系统性方法，用于识别那些在子空间中具有显著振幅、且与目标不可约表示 $ \eta $ 同构的寄存器子集？
• RQ4 能否将库珀伯格算法中用于二面体群的筛法推广至 $ S_n $，从而为图同构问题提供次指数或高效的量子算法？
• RQ5 多寄存器纠缠测量在克服非阿贝尔 HSP 中弱傅里叶采样与强傅里叶采样局限性方面起到何种作用？

主要发现

• 所提出的测量方法成功区分了对称群 $ S_n $ 中的平凡子群与共轭二阶子群，这是图同构问题的核心情形。
• 每个子集 $ I $ 的 $ k = \log_2|G| $ 个寄存器通过其关联子空间 $ W_\eta^I $ 贡献信息，这些子空间的张成空间可实现子群识别。
• 该方法推广了库珀伯格针对二面体群的基于筛法的算法，将其结构扩展至 $ S_n $ 等更复杂的群。
• 该框架表明，尽管在一般情况下该完整测量无法高效实现，但它为纠缠测量如何解决困难的 HSP 实例提供了理论蓝图。
• 该构造表明，控制寄存器上的量子傅里叶变换，结合对不可约表示的投影，能够检测到子集中缺失谐波的存在，从而指示出平凡子群。
• 该方法揭示了多寄存器纠缠测量能够从 HSP 中提取单寄存器测量无法捕捉的非平凡信息。