[論文レビュー] The Hidden Subgroup Problem

Frédéric Wang|arXiv (Cornell University)|Jul 30, 2010

Quantum Computing Algorithms and Architecture参考文献 8被引用数 10

ひとこと要約

この論文は2010年時点における隠れ部分群問題（HSP）の包括的かつ最新のアップデートを提供しており、正規部分群と剰余群を用いたHSPの帰納的解法のための新しい理論的枠組みを導入している。Dedekind群に対して群同型を用いた新規のアルゴリズムを提示し、二面体群における強力なフーリエ測定の正確な式を導出し、剛体グラフ同型性問題を交代群上のHSPに還元するとともに、Regevのアルゴリズムについて、明示的なオракル複雑度の上限を含めて分析している。

ABSTRACT

We give an overview of the Hidden Subgroup Problem (HSP) as of July 2010, including new results discovered since the survey of arXiv:quant-ph/0411037v1. We recall how the problem provides a framework for efficient quantum algorithms and present the standard methods based on coset sampling. We study the Dihedral and Symmetric HSPs and how they relate to hard problems on lattices and graphs. Finally, we conclude with the known solutions and techniques, describe connections with efficient algorithms as well as miscellaneous variants of HSP. We also bring various contributions to the topic. We show that in theory, we can solve HSP over a given group inductively: the base case is solving HSP over its simple factor groups and the inductive step is building efficient oracles over a normal subgroup N and over the factor group G/N. We apply this analysis to the Dedekindian HSP to get an alternative abelian HSP algorithm based on a change of the underlying group. We also propose a quotient reduction by the normal group obtained via Weak Fourier Sampling. We compute the exact expression of Strong Fourier Sampling over the dihedral group, showing how the previous reduction is natural and matches the standard one. We also give a reduction of rigid graph isomorphism problem to HSP over the alternating group. For this group and other simple groups, we propose maximal subgroup reduction as a possible approach. We also analyse Regev's algorithm for the poly(n)-uniqueSVP, prove how the degree of the polynomial is related to the oracle complexity used and we suggest several variants.

研究の動機と目的

• アーベル群および既知の非アーベル群の範囲を超えて、隠れ部分群問題（HSP）を解くための理論的枠組みを拡張すること。
• 正規部分群と商群に基づく、HSPに対する新しい帰納的アプローチを開発すること。
• 二面体群における強力なフーリエ測定の正確な式を導出すること。
• 剛体グラフ同型性問題を交代群上のHSPに還元すること。
• Regevのアルゴリズムをpoly(n)-uniqueSVPに対して分析・精緻化し、オラクル複雑度を明確にすること。

提案手法

• 単純な剰余群上でHSPを解き、正規部分群および商群上のオラクルを用いて解を統合することで、HSPに対する帰納的解法を提案する。
• Dedekind群に対して、基礎となる群を変更することで、代替的なアーベルHSPアルゴリズムを構築する。
• 弱いフーリエ測定を適用し、サンプリングから得られる正規部分群を介して自然な剰余還元を実現する。
• 二面体群における強力なフーリエ測定の正確な式を計算し、標準的構成と整合することを確認する。
• 群論的構成を用いて、剛体グラフ同型性問題を交代群上のHSPに還元する。
• Regevのアルゴリズムをpoly(n)-uniqueSVPに対して分析し、多項式の次数とオラクル複雑度の関係を導出する。

実験結果

リサーチクエスチョン

• RQ1 正規部分群と商群を用いた帰納的アプローチで、隠れ部分群問題（HSP）を解くことは可能か？
• RQ2 Dedekind群の構造は、代替的なアーベルHSPアルゴリズムの設計にどのように活用できるか？
• RQ3 二面体群における強力なフーリエ測定の正確な式は何か？ そして、既存の還元とどのように関係するか？
• RQ4 剛体グラフ同型性問題は、交代群上のHSPに還元可能か？
• RQ5 Regevのアルゴリズムにおける多項式の次数とオラクル複雑度の正確な関係は何か？

主な発見

• 正規部分群および商群上のオラクルを用いた帰納的枠組みが確立され、基本ケースは単純な因子群であり、帰納ステップは正規部分群および商群上のオラクルを統合することで実現される。
• 基礎となる群を変更することで、Dedekind群に対する代替的なアーベルHSPアルゴリズムが構築され、群構造の活用に新たな視点が与えられる。
• 二面体群における強力なフーリエ測定の正確な式が導出され、弱いフーリエ測定による自然な剰余還元の妥当性が裏付けられる。
• 剛体グラフ同型性問題が交代群上のHSPに還元され、この難解な問題に対する量子的アプローチの可能性が示唆される。
• 本論文は、Regevのアルゴリズムにおける多項式の次数が、オラクル複雑度と直接的に関連していることを明確にし、明示的な変種が提案されている。
• 最大部分群還元が、交代群のような単純群におけるHSPの解法として実用的である戦略であると提言される。