[論文レビュー] Finding Matches between Two Databases on a Quantum Computer

Mark Heiligman|ArXiv.org|Jun 30, 2000

Quantum Computing Algorithms and Architecture参考文献 7被引用数 9

ひとこと要約

この論文では、サイズNの未整列データベース2つ間の共通要素を、O(N^{3/4} log N)の時間とO(N^{1/2})の量子メモリを用いて特定する量子アルゴリズムを提示している。Groverの探索とブロック単位のソーティングを組み合わせ、外側のGrover探索で一致するブロックを特定し、内側のGrover探索で各ブロック内で共通の要素を同定する。

ABSTRACT

Given two unsorted lists each of length N that have a single common entry, a quantum computer can find that matching element with a work factor of $O(N^{3/4}\log N)$ (measured in quantum memory accesses and accesses to each list). The amount of quantum memory required is $O(N^{1/2})$. The quantum algorithm that accomplishes this consists of an inner Grover search combined with a partial sort all sitting inside of an outer Grover search.

研究の動機と目的

• サイズNの2つの未整列データベース間の共通要素を、効率的に特定する量子アルゴリズムの開発。
• 量子並列性と振幅増幅を活用することで、古典的手法のO(N log N)解法を改善すること。
• Grover探索と部分的ソーティングのハイブリッドアプローチにより、古典的境界を下回る時間計算量を達成すること。
• 提案された量子サブルーチン構造のリソース要件と誤差耐性の分析。

提案手法

• アルゴリズムは、最初のデータベースの√N個のブロック（各ブロックサイズは√N）に対して、外側のGrover探索を用いて共通要素を含むブロックを特定する。
• 各候補ブロックについて、量子サブルーチンが、ブロック内の要素が2番目のデータベースの要素と一致するかを確認する。この確認には、変更を加えたGrover探索が使用される。
• 内側の探索では、ブロックを量子的にソートし、そのソート済みブロックを基準として2番目のデータベースに対してGrover探索を実行する。
• ブロック内包の指標関数を重ね合わせ状態で計算することで、外側のGrover反復が正しいブロックの振幅を増幅できる。
• 内側のサブルーチン全体（ソーティングと探索を含む）は、各評価後に量子コherーに逆転され、量子コherーが保持される。
• アルゴリズムはGroverの振幅増幅を活用し、合計時間計算量がO(N^{3/4} log N)、量子メモリ要件がO(N^{1/2})となる。

実験結果

リサーチクエスチョン

• RQ1 古典的手法より速く、2つの未整列データベース間の共通要素を特定できる量子アルゴリズムは存在するか？
• RQ2 量子リソースを用いた2つのデータベース照合問題において、達成可能な最適時間計算量は何か？
• RQ3 Groverのアルゴリズムをソーティングサブルーチンとどのように組み合わせ、より高レベルの探索問題を解けるか？
• RQ4 Grover探索と量子ソーティングをネストさせた場合、誤差の伝搬特性はどのようになるか？
• RQ5 量子並列性を用いて、重ね合わせ状態で複数のブロックを同時に照合テストできるか？

主な発見

• アルゴリズムはO(N^{3/4} log N)の時間計算量を達成しており、これは古典的O(N log N)の境界を上回る。
• 量子メモリ要件はO(N^{1/2})であり、これは内側のGroverサブルーチン中における重ね合わせの保存に使用される。
• 外側のGrover探索は、O(N^{1/4})回の反復で一致を含む正しいブロックを特定する。各反復には、内側サブルーチンの完全な評価が必要である。
• 内側のGroverサブルーチンにおける失敗確率はO(N^{-1})であり、O(N^{1/4})回の呼び出しにおける期待失敗数はO(N^{-3/4})であり、大規模なNでは無視できる。
• 内側サブルーチンで孤立した失敗が発生しても、外側のアルゴリズムは依然として非常に高い確率で正しい一致を回復できる。
• このアプローチは、標準的な衝突問題を超えた照合問題に対しても、ネストされたGrover探索とソーティングプリミティブを用いた量子高速化が可能であることを示している。