[論文レビュー] 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解法をアーベル群および単純な非アーベル群の範囲を超えて、自己同型作用の構造的性質を持つより広いクラスの可解群へ拡張することを目的とする。
• $N$ が特定の素因数分解を持つ場合に、$\mathbb{Z}_N\rtimes_{\phi}\mathbb{Z}_{p^2}$ 上のHSPを群同型を活用して解くこと。
• 隠れ部分群 $H$ がアーベル部分群に含まれない場合に、正規部分群に対する既知の技術を用いて、問題をアーベル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 奇素数 $p$ および $r>4$ に対して、$\mathbb{Z}_{p^r}\rtimes_{\phi}\mathbb{Z}_{p^2}$ 上のHSPを量子アルゴリズムで効率的に解くことは可能か？
• RQ2 $\mathbb{Z}_{p^r}\rtimes_{\phi}\mathbb{Z}_{p^2}$ の部分群の構造をどのように活用して、HSPをアーベルHSPのインスタンスに還元できるか？
• RQ3 $N$ にどのような条件が課されると、$\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}$ 上のHSPでは、$p$ がすべての $i$ に対して $p_i - 1$ を割り切らない場合、HSPは $\mathbb{Z}_{p_1^{r_1}}\rtimes_{\psi}\mathbb{Z}_{p^2}$ および巡回群へのHSPに還元される。
• アルゴリズムの成功確率は $1/2$ を超え、確率的ではあるが効率的である。
• 部分群を三つのパrameter族に分類することで、$H$ の構造に基づく体系的な還元戦略が可能になる。
• 既存の $\mathbb{Z}_{p^r}\rtimes\mathbb{Z}_p$ に関する研究を一般化し、$r>4$ の場合に $\mathbb{Z}_{p^r}\rtimes\mathbb{Z}_{p^2}$ へ拡張した。