[論文レビュー] A subexponential-time quantum algorithm for the dihedral hidden subgroup problem

Greg Kuperberg|ArXiv.org|Feb 14, 2003

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

この論文は、$2^{O(\bar{\sqrt{\log N}})}$ のサブ指数的時間およびクエリ複雑度を備えた、二面体群の隠れ部分群問題（DHSP）のための量子アルゴリズムを提示している。これは古典的手法の $O(\sqrt{N})$ クエリ境界に対して顕著に改善されたものである。アルゴリズムは、量子キャラクター変換の後、反復的なキュービットペアリングを用いて、望ましい群表現へと進化させることで、隠れ反転部分群を直接測定可能にする。

ABSTRACT

We present a quantum algorithm for the dihedral hidden subgroup problem with time and query complexity $O(\exp(C\sqrt{\log N}))$. In this problem an oracle computes a function $f$ on the dihedral group $D_N$ which is invariant under a hidden reflection in $D_N$. By contrast the classical query complexity of DHSP is $O(\sqrt{N})$. The algorithm also applies to the hidden shift problem for an arbitrary finitely generated abelian group. The algorithm begins with the quantum character transform on the group, just as for other hidden subgroup problems. Then it tensors irreducible representations of $D_N$ and extracts summands to obtain target representations. Finally, state tomography on the target representations reveals the hidden subgroup.

研究の動機と目的

• 古典的手法よりも優れた時間およびクエリ複雑度を備えた、二面体群の隠れ部分群問題（DHSP）を解く量子アルゴリズムの開発。
• 標準的な量子キャラクター変換が無効となるほど多くの共轭を有する隠れ部分群を扱う課題への対処。
• 特に指数的ではなくサブ指数的であるという、クエリ複雑度と計算時間の良好なトレードオフの達成。
• 有限生成アーベル群上の隠れシフト問題へのアプローチの一般化。

提案手法

• アルゴリズムは、$D_N$ の場合にアーベル量子フーリエ変換に等価な量子キャラクター変換から始める。
• $D_N$ の表現における量子状態を準備し、初期状態は解読不能であるが、隠れ部分群に関する情報を保持している。
• コア技術は、2つの不適切なキュービットを繰り返しペアリングし、$D_N$ のより望ましい表現における新しいキュービットを生成することである。
• 特定の $D_N$ の既約表現に焦点を当て、それらが隠れ反転を直接測定可能にする。
• 二面体群の構造とその表現を活用して、段階的に隠れ部分群を特定する。
• $N = 2^n$ の場合、時間およびクエリ複雑度は $2^{O(\sqrt{\log N})}$ に達し、$N = r^n$ の場合、よりタイトな境界 $\widetilde{O}(3^{\sqrt{2\log_3 N}})$ を得る。

実験結果

リサーチクエスチョン

• RQ1 サブ指数的時間複雑度で、二面体群の隠れ部分群問題を解ける量子アルゴリズムは存在するか？
• RQ2 表現ペアリングによる量子状態の進化は、非アーベル群における隠れ部分群検出の効率をどのように向上させるか？
• RQ3 DHSPにおける達成可能な最小クエリ複雑度は何か？ そして、古典的手法の境界と比較するとどうなるか？
• RQ4 このアルゴリズムは、有限生成アーベル群上の他の隠れシフト問題へ一般化可能か？
• RQ5 $D_N$ の特定の既約表現が、隠れ部分群の直接測定を可能にする役割は何か？

主な発見

• $N = 2^n$ の場合、時間およびクエリ複雑度が $2^{O(\sqrt{10 \log N})}$ に達し、古典的手法の $O(\sqrt{N})$ 複雑度に対して顕著な改善を示した。
• $N = r^n$ で固定基数 $r$ を用いる場合、複雑度は $\widetilde{O}(3^{\sqrt{2\log_3 N}})$ に改善され、よりタイトな漸近的境界を示した。
• アルゴリズムは $2^{O(\sqrt{\log N})}$ の量子空間を必要とし、サブ指数的時間であるが、大きな制限要因である。
• 量子状態をターゲット表現へと進化させることで、隠れ反転部分群を効果的に同定した。
• このアプローチは、任意の有限生成アーベル群上の隠れシフト問題へ一般化可能であり、適用範囲を拡張した。
• エティンガーとフーヤの先行研究に基づいているが、非アーベルの場合に標準的キャラクター変換の限界を克服するための新規ペアリング機構を導入した。