[論文レビュー] Quantum measurements and the Abelian Stabilizer Problem

Alexei Kitaev|arXiv (Cornell University)|Nov 20, 1995

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

ひとこと要約

この論文は、アーベル安定化子問題に対する多項式時間の量子アルゴリズムを提示する。これはショアの因数分解および離散対数アルゴリズムを一般化したものである。ユニタリ演算子の固有値を測定し、有限アーベル群上の量子フーリエ変換を活用することで、この手法は効率的に問題を解き、アーベル設定における量子計算の基盤的枠組みを確立する。

ABSTRACT

We present a polynomial quantum algorithm for the Abelian stabilizer problem which includes both factoring and the discrete logarithm. Thus we extend famous Shor's results. Our method is based on a procedure for measuring an eigenvalue of a unitary operator. Another application of this procedure is a polynomial quantum Fourier transform algorithm for an arbitrary finite Abelian group. The paper also contains a rather detailed introduction to the theory of quantum computation.

研究の動機と目的

• アーベル安定化子問題を多項式時間で解く統一的な量子アルゴリズムの開発を目的とする。
• 因数分解および離散対数に関するショアの画期的な結果を、より広範な問題のクラスへと拡張することを目的とする。
• ユニタリ演算子の固有値を測定する体系的な量子手順の提供を目的とする。
• 任意の有限アーベル群に対して一般化された量子フーリエ変換アルゴリズムの構築を目的とする。
• 研究者向けに、量子計算理論の包括的紹介を提供することを目的とする。

提案手法

• アルゴリズムは、安定化子問題を解く中心的な役割を果たすユニタリ演算子の固有値を測定する手順を用いる。
• 構造的情報を抽出するために、有限アーベル群上の量子フーリエ変換を主要なサブルーチンとして適用する。
• システムを群構造とエンタングルさせるために、重ね合わせの準備と制御されたユニタリ操作の適用に依存する。
• 固有値推定は、ユニタリ演算子に量子位相推定技術を適用することで達成される。
• 測定結果の古典的後処理を効率的に行うために、群のアーベル性に依存する。
• 構成は任意の有限アーベル群に一般化されており、特定の数論的例にとどまらず広く適用可能である。

実験結果

リサーチクエスチョン

• RQ1 量子計算を用いてアーベル安定化子問題をどのように効率的に解けるか？
• RQ2 アーベル群上の量子問題を解く際に、固有値測定が果たす役割は何か？
• RQ3 任意の有限アーベル群に対して、普遍的な量子フーリエ変換を構築できるか？
• RQ4 このアプローチは、因数分解および離散対数のためのショアのアルゴリズムをどのように一般化するか？
• RQ5 アーベル構造のスケーラブルな量子アルゴリズムを構築するために必要な基礎的技術は何か？

主な発見

• 論文は、アーベル安定化子問題に対する多項式時間の量子アルゴリズムを提示し、キュービット数およびゲート数の観点からその効率性を確立する。
• この手法はショアのアルゴリズムを一般化し、因数分解および離散対数を安定化子問題の特別なケースとして統合する。
• 任意の有限アーベル群に対して量子フーリエ変換が構築され、群基底と特徴指標基底との間の効率的変換を可能にする。
• 固有値測定手順は、アーベル群における構造的問題を解く強力な原始的技術であることが示された。
• アルゴリズムの正しさと効率性は、有限アーベル群の数学的構造とユニタリ時間発展に裏打ちされている。
• 重ね合わせ、もつれ、測定といった主要な概念を含む、量子計算の詳細な理論的基盤を提供する。