[論文レビュー] Phase estimation as a quantum nondemolition measurement

B. C. Travaglione, G. J. Milburn+1 more|ArXiv.org|Mar 27, 2002

Quantum Computing Algorithms and Architecture参考文献 5被引用数 3

ひとこと要約

この論文は、ショアの因数分解やその他の量子アルゴリズムの根幹をなす量子位相推定アルゴリズムが、数学的に量子非破壊（QND）測定と等価であることを示している。著者らは、位相推定がQND測定の3つの基準（自由ハミルトニアン、相互作用ハミルトニアン、メーター変数との可換性）を満たすことを示し、量子情報における2つの主要な概念—量子アルゴリズム設計とバックアクション回避測定—を統合し、離散的および連続的変数量子系の両方にその等価性を拡張した。

ABSTRACT

The phase estimation algorithm, which is at the heart of a variety of quantum algorithms, including Shor's factoring algorithm, allows a quantum computer to accurately determine an eigenvalue of an unitary operator. Quantum nondemolition measurements are a quantum mechanical procedure, used to overcome the standard quantum limit when measuring an observable. We show that the phase estimation algorithm, in both the discrete and continuous variable setting, can be viewed as a quantum nondemolition measurement.

研究の動機と目的

• 位相推定アルゴリズムと量子非破壊（QND）測定との間の理論的等価性を確立すること。
• 位相推定プロトコルがQND測定の3つの基本的基準（自由ハミルトニアン、相互作用ハミルトニアン、非可換メーター変数）を満たしていることを示すこと。
• 連続的変数量子系への等価性の拡張を図り、連続的変数位相推定が連続的変数QND測定と同型であることを示すこと。
• 量子アルゴリズム設計と量子測定理論の概念を統合し、量子情報処理における共通の原理を強調すること。

提案手法

• QND測定の3つの基準を形式化する：[ĤF, Â] = 0、[ĤSM, Â] = 0、および[ĤSM, B̂] ≠ 0。
• 位相推定アルゴリズムを3段階で適用する：初期化（メーターをゼロ固有状態に準備）、エンタングルメント（制御ユニタリ Û = e^{iĤUΛ} の適用）、測定（フーリエ変換と計算基底での測定）。
• Hadamardゲートをフーリエ変換として用い、制御NOTを相互作用ハミルトニアンとして用いることで、離散キュービット位相推定回路をQND測定フレームワークにマッピングする。
• 無限次元系にキュービットレジスタを置き換えることで連続変数への拡張を図り、位置固有状態を計算基底、運動量を共役メーター変数として用いる。
• 相互作用ハミルトニアン e^{iX̂IÂT} がQND基準を満たすことを示し、Â を測定すべき観測量とする。
• 最終測定がフーリエ基底で行われることは、共役変数の測定に対応しており、QND原理と整合的であることを用いる。

実験結果

リサーチクエスチョン

• RQ1 位相推定アルゴリズムは、量子非破壊測定として解釈可能か？
• RQ2 QND測定の3つの定義的基準が、位相推定プロトコルで満たされているか？
• RQ3 連続的変数領域において、位相推定とQND測定の等価性は保持されるか？
• RQ4 位相推定アルゴリズムの構造は、量子測定におけるバックアクション回避原理とどのように整合するか？
• RQ5 量子アルゴリズムと高精度測定技術との間の運用的および概念的関係は何か？

主な発見

• 位相推定アルゴリズムは、量子非破壊測定の3つの基準すべてを満たしている：観測量は自由ハミルトニアンと可換であり、相互作用ハミルトニアンと可換であり、メーター変数は相互作用ハミルトニアンと非可換である。
• 離散的状況では、制御NOTゲートが相互作用ハミルトニアン e^{iĤSM} = e^{iχX̂aŶb} を実装し、[ĤSM, X̂a] = 0 および [ĤSM, Ŷb] ≠ 0 を満たす。
• 初期状態 |x⟩a|0⟩b は、相互作用下で ∫dy |x⟩a|y⟩b に進化し、系とメーターのエンタングルメントが生じ、QND測定と整合的である。
• フーリエ基底での最終測定（Hadamardゲートを介して）は、メーター変数を系の観測量の共役に射影し、測定された観測量にバックアクションを及げずに固有値を抽出可能にする。
• 連続的変数極限では、位相推定プロトコルは、理想の四元数QND測定に直接マッピングされ、インデックス系は運動量固有状態（零運動量）に準備され、最終測定は位置基底で行われる。
• 実際には、理想の位置固有状態への物理的到達不能性のため、等価性は近似的にしか成立せず、実験的実装にはスリクド状態や他の近似が必要となる。