[论文解读] For Distinguishing Conjugate Hidden Subgroups, the Pretty Good Measurement is as Good as it Gets

Cristopher Moore, Alexander Russell|ArXiv.org|Jan 31, 2005

Quantum Computing Algorithms and Architecture参考文献 15被引用 19

一句话总结

本文证明了在隐藏子群在子群H的共轭中均匀分布时，对于单寄存器情形下的共轭隐藏子群问题，Pretty Good Measurement（PGM）是最优的。此外，当G和H构成Gel'fand对时，无论寄存器数量多少，PGM依然最优，从而将此前关于二面体群的结果推广至一般群与子群，并利用表示理论与Plancherel测度得出了成功概率的紧致上界。

ABSTRACT

Recently Bacon, Childs and van Dam showed that the ``pretty good measurement'' (PGM) is optimal for the Hidden Subgroup Problem on the dihedral group D_n in the case where the hidden subgroup is chosen uniformly from the n involutions. We show that, for any group and any subgroup H, the PGM is the optimal one-register experiment in the case where the hidden subgroup is a uniformly random conjugate of H. We go on to show that when H forms a Gel'fand pair with its parent group, the PGM is the optimal measurement for any number of registers. In both cases we bound the probability that the optimal measurement succeeds. This generalizes the case of the dihedral group, and includes a number of other examples of interest.

研究动机与目标

• 确定量子算法中用于区分共轭隐藏子群的Pretty Good Measurement（PGM）的最优性。
• 将此前关于二面体群的结果推广至任意满足G和H构成Gel'fand对的群与子群。
• 在单寄存器与多寄存器情形下，推导PGM成功概率的紧致上界。
• 利用表示论工具，证明在共轭子群的先验分布为均匀分布时，PGM是最佳测量策略。

提出的方法

• 将隐藏共轭问题定义为在群G中识别一个关于非正规子群H的均匀随机共轭。
• 采用PGM构造：E_i = p_i M^{-1/2} ρ_i M^{-1/2}，其中M = ∑ p_i ρ_i，用于在陪集态上定义测量算符。
• 利用Schur引理与表示理论，将密度矩阵ρ_g分解为G的不可约表示。
• 通过算子代数与迹不等式，证明PGM在单寄存器情形下满足最优性条件(1.4)–(1.6)。
• 对于Gel'fand对，通过分析Plancherel测度与表示结构，证明PGM在多寄存器情形下依然最优。
• 利用Plancherel分布与H在G中的正规化子大小，对成功概率进行界定。

实验结果

研究问题

• RQ1 在单寄存器情形下，PGM是否是最优的，用于区分共轭隐藏子群？
• RQ2 在何种群-子群条件下，PGM在多寄存器情形下是最优的？
• RQ3 能否基于群表示理论，对PGM的成功概率给出紧致上界？
• RQ4 PGM在二面体群情形下的最优性是否可推广至其他非阿贝尔群？
• RQ5 Gel'fand对的结构如何与隐藏共轭问题中PGM的最优性相关联？

主要发现

• 当隐藏子群在H的共轭中均匀分布时，PGM在单寄存器隐藏共轭问题中是最优的。
• 对于任意群G与子群H，在均匀先验下，PGM在单寄存器情形下实现了最高可能的成功概率。
• 当G和H构成Gel'fand对时，PGM在任意数量的寄存器下均最优，推广了Bacon、Childs与van Dam在二面体群上的结果。
• PGM的成功概率上界为|H|^k / |C(H)|乘以在π^σ_g非零的表示上Plancherel测度的k次方。
• 上界P_success ≤ |H|^k / |C(H)| × Planch(S_H)^k 是紧致的，并能恢复二面体群与仿射群的已知结果。
• 该结果适用于多个重要情形，包括仿射群A_p、Heisenberg群子群，以及对称群中具有超八面体或抛物型子群的情形。