[論文レビュー] A Subexponential Time Algorithm for the Dihedral Hidden Subgroup Problem with Polynomial Space

Oded Regev|ArXiv.org|Jun 21, 2004

Complexity and Algorithms in Graphs参考文献 10被引用数 76

ひとこと要約

この論文は、多項式空間のみを必要とする、Dihedral Hidden Subgroup Problem (DHSP) のためのサブ指数的時間量子アルゴリズムを提示する。これは、Kuperbergの元来のサブ指数的アルゴリズムが超多項式空間を必要としたという主要な制限を解消する。アルゴリズムはKuperbergの衝突に基づくアプローチとRegevの技術を組み合わせ、$2^{O(\tilde{\rho}(\log\log N))}$ の実行時間と $\text{poly}(\log N)$ の空間を達成し、空間効率を著しく向上させつつ、ほぼ最適な実行時間を維持する。

ABSTRACT

In a recent paper, Kuperberg described the first subexponential time algorithm for solving the dihedral hidden subgroup problem. The space requirement of his algorithm is super-polynomial. We describe a modified algorithm whose running time is still subexponential and whose space requirement is only polynomial.

研究の動機と目的

• 入力サイズに対してサブ指数的時間で実行され、多項式空間のみを用いるDihedral Hidden Subgroup Problem (DHSP) のための量子アルゴリズムを開発すること。これは、従来の手法における主要な制限を解消することを目的とする。
• Kuperbergの元来のサブ指数的アルゴリズムが $2^{O(\tilde{\rho}(\text{log}\text{log}N))}$ の空間を必要としたという空間非効率性を解消し、多数のエンタングル状態を保持しないために新しい手法を導入すること。
• 実行時間をサブ指数的に保ちながら、空間複雑度を指数的から多項式に大幅に削減することで、物理的実装の可能性を高めること。
• Kuperbergの衝突に基づく戦略とRegevの代数的フレームワークの組み合わせが、DHSPに対して空間効率の良い解法を可能にすることを示すこと。
• 古典的後処理と小さな量子レジスタにおける射影測定を用いることで、Lattice問題などの古典的に困難な問題を量子計算によって解くための新しいアプローチを生み出す、構成的量子アルゴリズムを提供すること。

提案手法

• アルゴリズムは $k$ 個のルーチンのパイプラインを用い、各ルーチンは量子オブジェクトのラベルの下位 $l$ ビットをさらにゼロにすることを目的とする。ここで $l = \sqrt{\log N}$ かつ $k = \sqrt{\log N}$ である。
• 各ルーチンは、$il$ 個の下位ビットがゼロにされたラベルを持つ $l+4$ 個の入力オブジェクトを受け取り、1つの出力オブジェクトを生成する。この出力オブジェクトのラベルは $i(l+1)$ ビットがゼロにされている。
• 結合操作は、$l+4$ 量子ビットの重ね合わせ状態を準備し、古典的レジスタを測定して、$2^l$ を法とする内積が一致する状態に射影する。その後、射影測定を実行して、位相差が新しいラベルに対応する2状態の重ね合わせに収束させる。
• ランダムな線形形式における前像の数の集中性を用いて解析し、Chebyshevの不等式を適用することで、結合操作の成功確率が定数であることが保証される。
• 大規模な量子メモリを必要としないため、オブジェクトの積み上げを維持しないで、入力をバッチで処理することで、多項式空間の使用を可能にする。
• 総実行時間は $2^{O(\sqrt{\log N \cdot \log \log N})}$ であり、これは各結合操作に $2^{O(l)}$ 時間、全結合数に $2^{O(k)}$ 回の結合が必要であり、$l = \sqrt{\log N}$ かつ $k = \sqrt{\log N}$ であることから導出される。

実験結果

リサーチクエスチョン

• RQ1 Dihedral Hidden Subgroup Problem は、Kuperbergのアルゴリズムが要求する超多項式空間を回避して、多項式空間のみでサブ指数的時間で解けるか？
• RQ2 空間複雑度を指数的から多項式に削減しながら、サブ指数的実行時間を維持することは可能か？
• RQ3 Kuperbergの衝突に基づくアプローチとRegevの代数的フレームワークの組み合わせは、DHSPに対して空間効率の良い量子アルゴリズムを生み出せるか？
• RQ4 サブ指数的実行時間でDHSPを解く量子アルゴリズムの最小空間要件は何か？
• RQ5 古典的後処理と小さな量子レジスタにおける射影測定の使用は、スケーラブルで空間効率の良いDHSPの解法を可能にするか？

主な発見

• アルゴリズムの実行時間は $2^{O(\sqrt{\log N \cdot \log \log N})}$ であり、これはサブ指数的で、Kuperbergの $2^{O(\sqrt{\log N})}$ アルゴリズムに比べてわずかに遅い。
• 空間複雑度は $\text{poly}(\log N)$ に低下し、入力サイズに対して多項式的である。これは、Kuperbergの超多項式空間要件とは対照的である。
• 各結合操作の成功確率は定数であり、$2^{O(\sqrt{\log N \cdot \log \log N})}$ 個の入力を用いる場合、Chernoffの不等式によりパイプライン全体の成功確率が高くなる。
• ラベルの一致を特定し、2状態の重ね合わせに射影するための古典的後処理戦略を用いることで、$l$ 個の追加ビットがゼロにされた新しいオブジェクトの抽出が可能になる。
• この手法は、$2^l$ を法とする線形方程式の解の数の集中性に依存しており、通常は $\{2, 3, \dots, 32\}$ の範囲に収束する前像数を持つことが定数の確率で保証される。
• この結果は、Dihedral HSP がサブ指数的時間と多項式空間で解けることを示しており、Lattice問題やグラフ同型性問題に対する量子アルゴリズムへの重要な一歩を提供する。