[论文解读] Strong Fourier Sampling Fails over $G^n$

Gorjan Alagic, Cristopher Moore+1 more|ArXiv.org|Nov 7, 2005

Mathematical Analysis and Transform Methods参考文献 4被引用 6

一句话总结

本文证明了当基群 $G$ 满足涉及不可约特征标与Plancherel测度的表示论条件时，强傅里叶采样在 $G^n$ 的某些隐藏子群上会失效。关键结果表明，对于非交换单群及某些幂零群，即使采用最优的强傅里叶采样，对陪集态的可分测量也无法高效解决隐藏子群问题，原因在于特定子群的测量统计结果不可区分。

ABSTRACT

We present a negative result regarding the hidden subgroup problem on the powers $G^n$ of a fixed group $G$. Under a condition on the base group $G$, we prove that strong Fourier sampling cannot distinguish some subgroups of $G^n$. Since strong sampling is in fact the optimal measurement on a coset state, this shows that we have no hope of efficiently solving the hidden subgroup problem over these groups with separable measurements on coset states (that is, using any polynomial number of single-register coset state experiments). Base groups satisfying our condition include all nonabelian simple groups. We apply our results to show that there exist uniform families of nilpotent groups whose normal series factors have constant size and yet are immune to strong Fourier sampling.

研究动机与目标

• 确定强傅里叶采样在 $G^n$ 中无法区分隐藏子群的条件。
• 解释为何隐藏子群问题的递归方法受限于具有常数大小正规列因子的群。
• 确立非交换单群与某些幂零群对强傅里叶采样具有免疫性。
• 证明即使采用最优测量策略，对这些群上的陪集态的可分测量也无法高效解决HSP。

提出的方法

• 分析 $G$ 的不可约表示上的Plancherel测度，以评估不满足特征标界条件的表示的维数质量。
• 以条件 $|\chi_\rho(\mu)| < d_\rho$（其中 $\mu \notin Z(G)$ 为对合）作为弱采样失败的起点。
• 应用 MRS05 中的引理1，计算随机对合 $m$ 下 $\|\Pi_m \mathbf{b}\|^2$ 的期望值与方差。
• 构建半直积 $\mathbb{Z}_2 \wr D_k$ 与 $\mathbb{Z}_2^{\wr k}$ 的表示理论，以分析不可约表示上的特征标界。
• 证明当 $G = \mathbb{Z}_2 \wr D_k$ 或 $\mathbb{Z}_2^{\wr k}$ 时，非一维不可约表示在特定对合处的归一化特征标下界小于1，从而满足失败条件。
• 证明对于此类 $G$，$G^n$ 无法通过强傅里叶采样加以区分，意味着通过陪集态上的可分测量无法实现高效解法。

实验结果

研究问题

• RQ1 在何种基群 $G$ 条件下，强傅里叶采样无法区分 $G^n$ 中的隐藏子群？
• RQ2 为何隐藏子群问题的递归方法受限于具有常数大小正规列因子的群？
• RQ3 非交换单群是否在HSP背景下对强傅里叶采样具有免疫性？
• RQ4 哪些 $G$ 的结构性质可确保Plancherel测度不会将足够权重分配给违反特征标界条件的表示？
• RQ5 通过 $\mathbb{Z}_2$ 的迭代半直积构造的幂零群是否满足强傅里叶采样的失败条件？

主要发现

• 当基群 $G$ 满足Plancherel加权特征标界条件时，强傅里叶采样无法区分 $G^n$ 中的平凡子群与 $H = \{1, m\}$。
• 所有非交换单群均满足此条件，因此对HSP的强傅里叶采样具有免疫性。
• $\mathbb{Z}_2 \wr D_k$ 在足够大的 $k$ 时满足该条件，因此 $(\mathbb{Z}_2 \wr D_k)^n$ 对强傅里叶采样具有免疫性。
• 幂零群 $\mathbb{Z}_2^{\wr k}$ 在 $k$ 较大时满足该条件，因此 $(\mathbb{Z}_2^{\wr k})^n$ 同样对强傅里叶采样具有免疫性。
• 这些群具有常数大小因子的正规列，解释了递归HSP算法在这些结构上的局限性。
• 该失败意味着，对陪集态进行多项式数量的单寄存器实验，无法通过可分测量在这些群上高效解决HSP。