[论文解读] Notes on the hidden subgroup problem on some semi-direct product groups

Dong Pyo, Jeong San Kim+1 more|arXiv (Cornell University)|Apr 24, 2006

Algebraic structures and combinatorial models被引用 6

一句话总结

本文提出了一种针对半直积群 $\pi_N \rtimes \mathbb{Z}_p$ 上隐藏子群问题（HSP）的高效量子算法，其中 $N$ 是一个合数，其素因子 $p_j$ 满足 $p$ 不整除 $p_j - 1$。通过利用同态性质与子群结构分类，作者证明了在此类非交换群上，HSP 可以在 $\log|G|$ 的多项式时间内通过量子傅里叶采样求解，从而将已知结果扩展至阿贝尔群及特定非阿贝尔情形（如 $\mathbb{Z}_{p^r} \rtimes \mathbb{Z}_p$）之外。其主要贡献在于为一大类半直积群构建了高效的 HSP 求解通用框架。

ABSTRACT

We consider the hidden subgroup problem on the semi-direct product of cyclic groups $\Z_{N} times\Z_{p}$ with some restriction on $N$ and $p$. By using the homomorphic properties, we present a class of semi-direct product groups in which the structures of subgroups can be easily classified. Furthermore, we show that there exists an efficient quantum algorithm for the hidden subgroup problem on the class.

研究动机与目标

• 解决非阿贝尔群上隐藏子群问题（HSP）的开放问题，特别是循环群半直积的情形。
• 通过分析同态下的子群分类，识别 $\mathbb{Z}_N \rtimes \mathbb{Z}_p$ 的结构条件，以实现基于同态结构的高效量子算法。
• 将关于 $\mathbb{Z}_{p^r} \rtimes \mathbb{Z}_p$ 的已知结果推广至更广范围的群类，其中 $N = p_1^{r_1} \cdots p_n^{r_n}$ 且 $p \nmid p_j - 1$。
• 证明该类群上的 HSP 可通过量子傅里叶变换与幅度放大技术以高概率求解。

提出的方法

• 作者通过同态 $\phi: \mathbb{Z}_p \to \mathrm{Aut}(\mathbb{Z}_N)$ 定义半直积 $\mathbb{Z}_N \rtimes_\phi \mathbb{Z}_p$，其中群运算由 $\phi(1)(1)$（即自同构的生成元）决定。
• 他们利用 $\mathbb{Z}_N$ 的同态分解为 $\mathbb{Z}_{q^s} \times \mathbb{Z}_{p^r}$，使得 $\phi(\alpha)$ 可独立作用于每个分量，从而简化子群结构的分析。
• 该算法在 $\mathbb{Z}_p \times \mathbb{Z}_p$ 上使用量子傅里叶变换（QFT），分析对应于隐藏子群 $H$ 的陪集的量子态叠加，通过测量获得群元素之间的关系。
• 对于形如 $H = \langle x^{2^t p^s}, x^{h 2^t p^{s-1}} y \rangle$ 的子群，算法通过变量替换 $a_0 = a - b h \mod p$ 重写态，并应用 QFT 以提取 $h$。
• 当 $H = \langle x^{2^t p^s} \rangle$ 时，预言机函数在集合 $\{x^{a 2^t p^{s-1}} y^b\}$ 上是单射的，算法通过 QFT 输出中的非零 $c$-值来推断 $h$。
• 通过 $k$ 次重复提升成功概率，总成功概率至少为 $1 - (2^k p - p + 1)/p^k$，确保以高概率恢复 $h$。

实验结果

研究问题

• RQ1 在 $N$ 和 $p$ 满足特定数论约束的条件下，是否能高效求解半直积群 $\mathbb{Z}_N \rtimes \mathbb{Z}_p$ 上的隐藏子群问题？
• RQ2 在 $p \nmid p_j - 1$ 条件下，$\mathbb{Z}_N \rtimes \mathbb{Z}_p$ 的同态结构是否允许对子群进行系统分类，从而支持高效量子算法的设计？
• RQ3 当子群非正规或非素数阶时，量子傅里叶变换能否有效应用于非阿贝尔半直积群以提取隐藏子群结构？
• RQ4 该类群上 HSP 的量子算法成功概率是多少？是否可通过重复技术将其提升至近乎确定？

主要发现

• 当 $N = p_1^{r_1} \cdots p_n^{r_n}$ 且对任意 $j$ 都有 $p$ 不整除 $p_j - 1$ 时，$\mathbb{Z}_N \rtimes \mathbb{Z}_p$ 上的 HSP 存在高效量子算法，运行时间在 $\log|G|$ 上为多项式时间。
• 在给定约束下，$\mathbb{Z}_N \rtimes \mathbb{Z}_p$ 的子群结构已完全分类，为基于同态分解的算法设计提供了基础。
• 对于形如 $H = \langle x^{2^t p^s}, x^{h 2^t p^{s-1}} y \rangle$ 的子群，算法在每次运行中以 $1 - 1/p$ 的概率提取 $h$，通过在 $\mathbb{Z}_p \times \mathbb{Z}_p$ 上应用 QFT 与测量实现。
• 对于形如 $H = \langle x^{2^t p^s} \rangle$ 的子群，算法通过 QFT 输出中的非零 $c$-值检测 $h$，在 $k$ 次重复后成功概率为 $1 - 1/p^k$。
• 该算法的总成功概率至少为 $1 - (2^k p - p + 1)/p^k$，当 $k$ 为常数时趋近于 1，确保对隐藏子群的高置信度恢复。
• 结果将先前关于 $\mathbb{Z}_{p^r} \rtimes \mathbb{Z}_p$ 的工作推广至更广范围的半直积群，为非阿贝尔情形下高效 HSP 求解建立了新框架。