[論文レビュー] The Hidden Subgroup Problem and Eigenvalue Estimation on a Quantum Computer

Michele Mosca, Artur Ekert|ArXiv.org|Mar 20, 1999

Quantum Computing Algorithms and Architecture被引用数 20

ひとこと要約

この論文は、アーベル型隠れ部分群問題（HSP）が、量子コンピュータ上で固有値推定を用いて解けることを示しており、効率的な解法には1つの制御キュービットまたはフラーリングキュービットのみで十分であることを示している。本研究は、関数 f から導かれるユニタリ演算子の固有値推定問題として HSP を定式化することで、ショアのアルゴリズムおよびキタエフのアルゴリズムを一般化し、量子リソースの要件を低減させながら、効率的な位数探索、離散的対数、因数分解を実現している。

ABSTRACT

A quantum computer can efficiently find the order of an element in a group, factors of composite integers, discrete logarithms, stabilisers in Abelian groups, and `hidden' or `unknown' subgroups of Abelian groups. It is already known how to phrase the first four problems as the estimation of eigenvalues of certain unitary operators. Here we show how the solution to the more general Abelian `hidden subgroup problem' can also be described and analysed as such. We then point out how certain instances of these problems can be solved with only one control qubit, or `flying qubits', instead of entire registers of control qubits.

研究の動機と目的

• 量子コンピュータ上での固有値推定という共通の枠組みにおいて、ショアの因数分解、離散的対数、位数探索問題を統一的に扱うことを目的とする。
• 関数 f から導かれるユニタリ演算子の固有値を推定することで、アーベル型隠れ部分群問題が解けることを示す。
• アーベル群における HSP を解くために、1つの制御キュービットまたはフラーリングキュービットで十分であることを示し、量子リソースの過剰な消費を削減する。
• 完全な制御キュービットレジスタの代わりに、逐次的な測定と古典的制御操作を用いる半古典的実装戦略を提供する。

提案手法

• 問題は、f が隠れ部分群 K の陪集合上で定数であるような関数 f を符号化するユニタリ演算子 U_f の固有値推定問題に再定式化される。
• アルゴリズムは、群の要素の重ね合わせを用い、制御 U_f 操作を適用することで、制御キュービットを関数の構造とエンタングルする。
• 制御キュービットに対して、一連の制御位相シフトとハダマード変換を適用し、固有値推定を用いた量子フーリエサンプリングを実行する。
• 本手法は、測定結果を用いて次なる操作を古典的に制御する「半古典的」アプローチを活用しており、完全なレジスタの保存を減らす。
• 群 G の各生成子 e_j に対して制御操作を適用することで、有限生成アーベル群における隠れ部分群問題に本手法を適応する。
• 最終的な制御キュービットの測定により、固有値の推定値が得られ、これを古典的に後処理することで部分群構造が抽出される。

実験結果

リサーチクエスチョン

• RQ1 アーベル型隠れ部分群問題は、ユニタリ演算子の固有値推定という枠組みで一様に記述され、解けるか？
• RQ2 アーベル群における HSP を解くために必要な最小限の量子リソース（例：制御キュービット数）は何か？
• RQ3 完全な制御キュービットレジスタを、1つの制御キュービットまたはフラーリングキュービットと古典フィードバックで置き換えられるか？
• RQ4 半古典的実装による量子フーリエ変換は、HSP アルゴリズムにおけるリソース過剰消費をどのように低減するか？
• RQ5 関数 f が効率的に計算可能であり、その構造が固有値推定にどのように利用可能か？

主な発見

• 関数 f に関連するユニタリ演算子の固有値を推定することで、アーベル型隠れ部分群問題が解ける。これは、ショアの手法およびキタエフの手法を一般化する。
• 1つの制御キュービットまたは一連のフラーリングキュービットを用いることで、成功確率が1に近づき、量子メモリ要件が顕著に削減される。
• 本手法により、f の適用回数が O(n)、基本量子操作の総数が O(n²) で、位数探索、離散的対数計算、因数分解が効率的に実行可能である。ここで n は入力サイズを表す。
• 半古典的実装により、次の操作の前に制御キュービットの測定が可能となり、量子制御回転を古典的制御回転に置き換えることができる。
• 本手法は入力サイズ n に対して多項式時間で実行可能であり、有限生成アーベル群（因数分解のための Z_N* を含む）においても効率的である。
• 本フレームワークにより、位数探索、離散的対数、安定化子問題が、すべて量子コンピュータ上での固有値推定の具体例として統一的に記述可能である。