[论文解读] Quantum algorithm for the hidden subgroup problem on a class of semidirect product groups

Carlos Magno Martins Cosme, Renato Portugal|ArXiv.org|Mar 23, 2007

Quantum Computing Algorithms and Architecture被引用 3

一句话总结

本文提出了针对奇素数 $p$ 和 $r>4$ 的半直积群 $\pi_{p^{r}}\rtimes_{\phi}\mathbb{Z}_{p^{2}}$ 上隐藏子群问题（HSP）的高效量子算法，通过归约为阿贝尔 HSP 和直接使用量子技术实现。该算法在 $\log|G|$ 上具有多项式时间复杂度，相较于经典方法实现了指数级加速。

ABSTRACT

We present efficient quantum algorithms for the hidden subgroup problem (HSP) on the semidirect product of cyclic groups $\Z_{p^r} times_ϕ\Z_{p^2}$, where $p$ is any odd prime number and $r$ is any integer such that $r>4$. We also address the HSP in the group $\Z_{N} times_ϕ\Z_{p^2}$, where $N$ is an integer with a special prime factorization. These quantum algorithms are exponentially faster than any classical algorithm for the same purpose.

研究动机与目标

• 为非阿贝尔半直积群 $\mathbb{Z}_{p^r}\rtimes_{\phi}\mathbb{Z}_{p^2}$ 上的隐藏子群问题（HSP）开发高效的量子算法。
• 将已知的 HSP 解决方案从阿贝尔和简单非阿贝尔情形扩展到具有结构化自同态作用的更广泛的一类可解群。
• 解决 $\mathbb{Z}_N\rtimes_{\phi}\mathbb{Z}_{p^2}$ 上的 HSP，其中 $N$ 具有特定的素因数分解，利用群同构性质。
• 通过将问题归约为阿贝尔 HSP 实例并利用正规子群的已知技术，实现多项式时间的量子复杂度。

提出的方法

• 基于同态 $\phi$，使用三个参数 $t$、$i$ 和 $j$ 对 $\mathbb{Z}_{p^r}\rtimes_{\phi}\mathbb{Z}_{p^2}$ 的所有子群进行分类。
• 通过将函数 $f$ 限制在阿贝尔子群 $G$ 上，利用阿贝尔 HSP 的归约方法，提取关于隐藏子群 $H$ 的信息。
• 当 $H$ 为循环群或具有特定结构时，应用直接量子算法，特别是在 $\gcd(\tau, p^2) = 1$ 的第一类群中。
• 当 $H$ 不包含于任何阿贝尔子群中时，采用 Ivanyos 等人（2006）的方法处理正规子群，确保算法的完备性。
• 通过群同构将 $\mathbb{Z}_N\rtimes_{\phi}\mathbb{Z}_{p^2}$ 上的 HSP 归约为 $\mathbb{Z}_{p_1^{r_1}}\rtimes_{\psi}\mathbb{Z}_{p^2}$ 和循环因子上的 HSP，利用阶数互素的性质。
• 将整体复杂度控制在 $O(\text{poly}((r+2)\log p))$，确保在输入规模上的多项式时间运行。

实验结果

研究问题

• RQ1 能否使用量子算法在 $\mathbb{Z}_{p^r}\rtimes_{\phi}\mathbb{Z}_{p^2}$ 上高效求解隐藏子群问题（HSP），其中 $p$ 为奇素数且 $r>4$？
• RQ2 如何利用 $\mathbb{Z}_{p^r}\rtimes_{\phi}\mathbb{Z}_{p^2}$ 中子群的结构，将 HSP 归约为阿贝尔 HSP 实例？
• RQ3 在什么条件下，$\mathbb{Z}_N\rtimes_{\phi}\mathbb{Z}_{p^2}$ 上的 HSP 可以归约为 $\mathbb{Z}_{p^r}\rtimes_{\psi}\mathbb{Z}_{p^2}$ 上的 HSP？
• RQ4 能否以多项式时间的量子复杂度求解 $\mathbb{Z}_{p^r}\rtimes_{\phi}\mathbb{Z}_{p^2}$ 上的 HSP？其成功概率是多少？

主要发现

• 在 $\mathbb{Z}_{p^r}\rtimes_{\phi}\mathbb{Z}_{p^2}$ 上的 HSP 可在多项式时间内求解，复杂度受 $O(\text{poly}((r+2)\log p))$ 限制。
• 该算法通过归约为阿贝尔 HSP 和使用直接量子技术，相较于经典算法实现了指数级加速。
• 对于群 $\mathbb{Z}_N\rtimes_{\phi}\mathbb{Z}_{p^2}$，当对所有 $i$ 有 $p$ 不整除 $p_i - 1$ 时，HSP 可归约为 $\mathbb{Z}_{p_1^{r_1}}\rtimes_{\psi}\mathbb{Z}_{p^2}$ 和循环群上的 HSP。
• 该算法的成功概率超过 $1/2$，其方法为概率性但高效。
• 将子群划分为三类参数族，使得可根据 $H$ 的结构系统地设计归约策略。
• 本研究推广了先前关于 $\mathbb{Z}_{p^r}\rtimes\mathbb{Z}_p$ 的工作，将其扩展至 $\mathbb{Z}_{p^r}\rtimes\mathbb{Z}_{p^2}$ 且 $r>4$ 的情形。