[論文レビュー] How fast can a quantum computer search?

Lov K. Grover|ArXiv.org|Sep 10, 1998

Quantum Computing Algorithms and Architecture被引用数 20

ひとこと要約

この論文は、N個の要素からなる未整列リストを検索するため、量子コンピュータが少なくとも Ω(√N) 回のクエリを必要とするという、簡単で直感的な証明を提供している。これは、量子探索効率における根本的な下界を確立するものである。ヒルベルト空間における状態ベクトルの拡散に基づく幾何的議論を用いて、解を区別するための直交状態が、少なくとも 2N 単位分だけ拡散しなければならないことを示し、各クエリがその拡散を最大で O(t²) までしか増加させないことを示す。これにより、√N 回のクエリ下界が得られ、Groverのアルゴリズムの性能とちょうど一致する。

ABSTRACT

This paper gives a simple proof of why a quantum computer, despite being in all possible states simultaneously, needs at least 0.707 sqrt(N) queries to retrieve a desired item from an unsorted list of items. The proof is refined to show that a quantum computer would need at least 0.785 sqrt(N) queries. The quantum search algorithm needs precisely this many queries.

研究の動機と目的

• 未整列データベースの量子探索に必要なクエリ回数のタイトな下界を確立すること。
• 量子探索が O(√N) クエリより速くならない理由を明確にする、簡単で幾何的な証明を提供すること。
• 状態ベクトルのヒルベルト空間における拡散が探索速度を制限することを示し、以前の境界を精緻化すること。
• Groverのアルゴリズムが、Ω(√N) クエリ複雑性を達成できないいかなる量子アルゴリズムよりも最適であることを証明することで、最適性を示すこと。

提案手法

• 各々が異なるターゲットアイテムを探索する N 個の量子コンピュータのアンサンブルを用いる。
• 状態ベクトルの「拡散」を、基準状態からの二乗偏差の和として定義し、区別可能性を定量化する。
• 定理1を適用して、N 個の直交状態が区別可能であるためには、少なくとも 2N 単位分の拡散が必要であることを示す。
• 定理2を用いて、1クエリあたりの最大拡散増加を O(t²) で抑え、合計で O(4t²) の拡散を得る。
• 定理3では、ベクトル成分の差に三角関数的境界を適用することで、より鋭い解析を行い、上界を 4N·sin²(t/N) + t/(2N) に精緻化する。
• 数学的帰納法と微積分を用いて、1クエリあたりの拡散増加が最大で O(t²) であることを証明し、√N のクエリ下界に至る。

実験結果

リサーチクエスチョン

• RQ1 未整列リストのN個の要素を探索するため、いかなる量子アルゴリズムが最小で何回のクエリを必要とするか？
• RQ2 O(√N) クエリを達成するGroバのアルゴリズムが最適であるのはなぜか？
• RQ3 量子状態ベクトルの幾何的拡散は、量子探索の速度をどのように制限するか？
• RQ4 以前の複雑なユニタリ変換の議論よりも、より簡単で直感的な Ω(√N) クエリ下界の証明は可能か？
• RQ5 t 回のクエリ後に状態ベクトルの拡散の最もタイトな上界は何か？

主な発見

• この論文は、未整列リストのN個の要素を探索するため、いかなる量子アルゴリズムでも少なくとも Ω(√N) 回のクエリを必要とする、と証明している。
• この下界は、N 個の直交状態ベクトルが区別可能であるためには、少なくとも 2N 単位分の拡散が必要であるという要請に起因する。
• t 回のクエリ後に達成可能な最大の拡散は、4N·sin²(t/N) + t/(2N) で抑えられ、これは O(t²) の割合で増加する。
• この境界は、区別可能性に十分な拡散を達成するためには t が少なくとも Ω(√N) でなければならないことを示唆する。
• 解析により、1クエリあたりの拡散増加が最大で O(t²) であることが示され、√N が最小クエリ数であることが確認された。
• この結果により、正確に O(√N) クエリを用いるGroバのアルゴリズムが、漸近的に最適であることが裏付けられた。