[論文レビュー] The Hidden Subgroup Problem in Affine Groups: Basis Selection in Fourier Sampling

Cristopher Moore, Daniel N. Rockmore+2 more|ArXiv.org|Nov 20, 2002

Topological and Geometric Data Analysis参考文献 18被引用数 19

ひとこと要約

この論文は、$q\mid(p-1)$ かつ $q=p/\mathrm{polylog}(p)$ を満たすアフィン群 $\mathbb{Z}_q\ltimes\mathbb{Z}_p$ における隠れ部分群問題（HSP）が、強標準フーリエサンプリング法を用いて効率的に解けることを示している。弱標準法および無視的アーベル法がこれらの群に対して失敗することを証明し、この文脈において強標準法が厳密に優れていることを確立している。

ABSTRACT

Many quantum algorithms, including Shor's celebrated factoring and discrete log algorithms, proceed by reduction to a hidden subgroup problem, in which a subgroup H of a group G must be determined from a quantum state y uniformly supported on a left coset of H. These hidden subgroup problems are then solved by Fourier sampling: the quantum Fourier transform of y is computed and measured. When the underlying group is non-Abelian, two important variants of the Fourier sampling paradigm have been identified: the weak standard method, where only representation names are measured, and the strong standard method, where full measurement occurs. It has remained open whether the strong standard method is indeed stronger, that is, whether there are hidden subgroups that can be reconstructed via the strong method but not by the weak, or any other known, method. In this article, we settle this question in the affirmative. We show that hidden subgroups of semidirect products of Z_p by Z_q, where q divides (p-1) and q = p / polylog(p), can be efficiently determined by the strong standard method. Furthermore, the weak standard method and the ``forgetful'' Abelian method are insufficient for these groups. We extend this to an information-theoretic solution for the hidden subgroup problem over semidirect products of Z_p by \Z_q where q divides (p-1) and, in particular, the Affine groups A_p. Finally, we prove a closure property for the class of groups over which the hidden subgroup problem can be solved efficiently.

研究の動機と目的

• 非アーベル群における隠れ部分群問題（HSP）を解く際、強標準フーリエサンプリング法が弱標準法やアーベル法よりも厳密に優れているかどうかを解明すること。
• $q\mid(p-1)$ かつ $q=p/\mathrm{polylog}(p)$ を満たす半直積 $\mathbb{Z}_q\ltimes\mathbb{Z}_p$ におけるHSPが、強標準法を用いて効率的に解けることを示すこと。
• 弱標準法および無視的アーベル法が、これらのアフィン群における隠れ部分群の再構築に不十分であることを示すこと。
• $q\mid(p-1)$ を満たす全クラス $\mathbb{Z}_q\ltimes\mathbb{Z}_p$ に対して、情報理論的レベルでの解法を拡張すること。特にアフィン群 $A_p$ を含むこと。
• HSPが効率的に解ける群のクラスが、多項式サイズの正規部分群による拡大に関して閉じていることを証明し、可解群や滑らかに解ける群に対する既存の結果を一般化すること。

提案手法

• 論文は非アーベル群におけるフーリエサンプリングの枠組みを分析し、弱標準法（表現名のみを測定）と強標準法（完全な非可約表現を測定）の違いを明確にしている。
• 隠れ部分群の陪集合に一様にサポートされた状態に対して量子フーリエ変換を実行し、その後強標準基底における完全な測定を実行する量子アルゴリズムを構築している。
• 群 $\mathbb{Z}_q\ltimes\mathbb{Z}_p$ において $q=p/\mathrm{polylog}(p)$ のとき、非アーベル構造と高次元表現を活用して、アーベル的フーリエ変換では得られない部分群の情報を抽出している。
• 著者らは、強標準法における測定結果の確率分布が隠れ部分群を一意に特定できることを証明している。一方、弱標準法は表現名の退化により失敗する。
• ガウス和および特徴関数の内積を用いて、$\mathbb{Z}_p^*\times\mathbb{Z}_p$ 上のアーベル的フーリエ変換が $b\neq 0$ のときの共轭部分群 $H_a^b$ を区別できないことを示し、その不十分性を証明している。
• 閉包性質を確立：群 $H$ においてHSPが効率的に解ける場合、$K$ が多項式サイズの正規部分群であれば、$K\lhd G$ かつ $G/K\cong H$ を満たす任意の拡大 $G$ に対してもHSPは効率的に解ける。

実験結果

リサーチクエスチョン

• RQ1 非アーベル群におけるHSPを解く際、強標準フーリエサンプリング法は弱標準法やアーベル法よりも厳密に優れているか？
• RQ2 アフィン群 $A_p = \mathbb{Z}_p^*\ltimes\mathbb{Z}_p$ において、強標準法を用いてHSPを効率的に解けるか？
• RQ3 弱標準法および無視的アーベル法が、$q=p/\mathrm{polylog}(p)$ のとき $\mathbb{Z}_q\ltimes\mathbb{Z}_p$ における隠れ部分群の再構築に失敗する理由は何か？
• RQ4 $q\mid(p-1)$ のとき、$\mathbb{Z}_q\ltimes\mathbb{Z}_p$ 上でのHSPの情報理論的可解性は何か？
• RQ5 多項式サイズの正規部分群による群の拡大に関して、HSPが効率的に解ける群のクラスは閉じているか？

主な発見

• 弱標準法および無視的アーベル法とは異なり、$q\mid(p-1)$ かつ $q=p/\mathrm{polylog}(p)$ を満たす $\mathbb{Z}_q\ltimes\mathbb{Z}_p$ における隠れ部分群は、強標準フーリエサンプリング法を用いて効率的に再構築可能である。
• アフィン群 $A_p$ において、HSPは強標準法を用いれば情報理論的に解けるが、$\mathbb{Z}_p^*\times\mathbb{Z}_p$ 上のアーベル的フーリエ変換では解けない。
• 強標準法における測定結果の確率分布は、隠れ部分群を一意に特定するが、弱標準法は表現名の退化により失敗する。
• アーベル的フーリエ変換は、$b\neq 0$ の共轭部分群 $H_a^b$ を区別できない。なぜなら、得られる確率が $b$ に依存しないため、区別不能である。
• HSPが効率的に解ける群のクラスは、多項式サイズの正規部分群による拡大に関して閉じており、可解群や滑らかに解ける群に対する既存の結果を一般化している。
• アルゴリズムは多項式回のクエリと古典的後処理を必要とし、関数オракルおよび効率的な群演算へのアクセスがあれば、多項式時間で実装可能である。