[論文レビュー] Quantum Hidden Subgroup Problems: A Mathematical Perspective

Samuel J. Lomonaco, Louis H. Kauffman|arXiv (Cornell University)|Jan 22, 2002

Quantum Computing Algorithms and Architecture参考文献 37被引用数 13

ひとこと要約

本稿は、有限ランクの自由アーベル群へのシショア因数分解アルゴリズムの一般化を含み、アーベル型隠れ部分群問題（HSP）の数学的に透明な記号的量子アルゴリズムを構築する。ランダムな巡回部分群とシショアの直交基底を用いて群構造を探索する「さまよいシショアアルゴリズム」を導入し、最初のこのようなアルゴリズムとして、O(n²(lg Q)³(lglg Q)^(n+1)) のアルゴリズム的複雑度を達成する。

ABSTRACT

The ultimate objective of this paper is to create a stepping stone to the development of new quantum algorithms. The strategy chosen is to begin by focusing on the class of abelian quantum hidden subgroup algorithms, i.e., the class of abelian algorithms of the Shor/Simon genre. Our strategy is to make this class of algorithms as mathematically transparent as possible. By the phrase "mathematically transparent" we mean to expose, to bring to the surface, and to make explicit the concealed mathematical structures that are inherently and fundamentally a part of such algorithms. In so doing, we create symbolic abelian quantum hidden subgroup algorithms that are analogous to the those symbolic algorithms found within such software packages as Axiom, Cayley, Maple, Mathematica, and Magma. As a spin-off of this effort, we create three different generalizations of Shor's quantum factoring algorithm to free abelian groups of finite rank. We refer to these algorithms as wandering (or vintage Z_Q) Shor algorithms. They are essentially quantum algorithms on free abelian groups A of finite rank n which, with each iteration, first select a random cyclic direct summand Z of the group A and then apply one iteration of the standard Shor algorithm to produce a random character of the "approximating" finite group A=Z_Q, called the group probe. These characters are then in turn used to find either the order P of a maximal cyclic subgroup Z_P of the hidden quotient group H_phi, or the entire hidden quotient group H_phi. An integral part of these wandering quantum algorithms is the selection of a very special random transversal, which we refer to as a Shor transversal. The algorithmic complexity of the first of these wandering Shor algorithms is found to be O(n^2(lgQ)^3(lglgQ)^(n+1)).

研究の動機と目的

• アーベル型量子隠れ部分群アルゴリズムの数学的透明性を高めるために、その背後にある代数的構造を明示すること。
• Mathematica や Magma のようなコンピュータ代数システムに類似した記号的量子アルゴリズムを構築すること。
• シショア因数分解アルゴリズムを有限ランクの自由アーベル群へ一般化すること。
• ランダムな巡回部分群と特徴の使用を通じて、群構造を段階的に探査する反復的量子アルゴリズムを設計すること。
• 効率的な隠れ部分群再構築を可能にする特殊なランダム直交基底（「シショア直交基底」として呼ばれる）を同定し、それを活用すること。

提案手法

• アルゴリズムは、有限ランクの自由アーベル群などの代数的構造を用いて、アーベル型量子隠れ部分群プロセスの記号的表現を構築する。
• 自由アーベル群 A 内の巡回直和成分 Z をランダムに選択し、標準的なシショアアルゴリズム技術を用いて段階的なプローブを実行する。
• 各反復処理では、有限商群 A/Z_Q に対してシショアアルゴリズムを適用し、プローブ群のランダムな特徴を生成する。
• 特定のランダム直交基底（「シショア直交基底」として命名）を用いることで、プローブ中における群元の構造的かつ効率的なサンプリングを保証する。
• アルゴリズムの枠組みは、最大巡回部分群の位数 P あるいは完全な隠れ商群 H_φ の再構築を目的として設計されている。
• 群論的双対性と特徴論を活用して、量子測定から構造的情報を抽出する。

実験結果

リサーチクエスチョン

• RQ1 アーベル型量子隠れ部分群アルゴリズムは、その背後にある代数的構造を明示することで、どのように数学的に透明化できるか？
• RQ2 有限ランクの自由アーベル群へのシショア因数分解アルゴリズムの一般化は、どのようなものがあるか？
• RQ3 ランダムな巡回部分群と量子プローブを用いて、どのように隠れ商群を再構築できるか？
• RQ4 このような一般化されたさまよいかシショアアルゴリズムのアルゴリズム的複雑度は何か？
• RQ5 シショア直交基底は、群元の効率的かつ構造的なサンプリングを可能にする上で果たす役割は何か？

主な発見

• 最初のさまよいかシショアアルゴリズムは、有限ランク n の自由アーベル群に対して、O(n²(lg Q)³(lglg Q)^(n+1)) のアルゴリズム的複雑度を達成する。
• アルゴリズムは、量子測定からの最大巡回部分群の位数 P あるいは完全な隠れ商群 H_φ の両方を成功裏に再構築する。
• シショア直交基底の使用により、群構造のプローブに不可欠な構造的かつ効率的なサンプリングプロセスが実現される。
• 有限ランクの自由アーベル群に対して、3 種類の異なるシショアアルゴリズムの一般化が構築され、それぞれがランダムな巡回部分群を用いた反復的プローブに基づいている。
• この枠組みは、将来のアーベル HSP 領域における量子アルゴリズム開発のための記号的で数学的に透明な基盤を提供する。
• 本アプローチは、代数的群論と特徴論を用いて、記号的量子アルゴリズムを体系的に設計可能であることを示している。