[論文レビュー] Grover search algorithm

Éva Borbély|ArXiv.org|May 29, 2007

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

ひとこと要約

この論文は、ユニタリな量子状態変換と測定を用いてその動作を説明するグローバーの量子探索アルゴリズムについて包括的な概要を提示している。このアルゴリズムは、N 個の要素からなる非構造的データベースを O(√N) クエリで探索でき、古典的手法よりも2乗の速度向上を達成する能力を有しており、一般の構築手法が存在しないにもかかわらず、量子アルゴリズム設計の基盤的役割を果たしていることを強調している。

ABSTRACT

A quantum algorithm is a set of instructions for a quantum computer, however, unlike algorithms in classical computer science their results cannot be guaranteed. A quantum system can undergo two types of operation, measurement and quantum state transformation, operations themselves must be unitary (reversible). Most quantum algorithms involve a series of quantum state transformations followed by a measurement. Currently very few quantum algorithms are known and no general design methodology exists for their construction.

研究の動機と目的

• 量子コンputィング分野の研究者を対象に、グローバーの量子探索アルゴリズムを明確に説明すること。
• ユニタリ操作と測定が量子アルゴリズムにおいて果たす役割を明確にすること。
• 実用的な高速化を示す少数の量子アルゴリズムの一つとして、グローバーのアルゴリズムの重要性を強調すること。
• 量子アルゴリズムの一般的な設計手法の欠如に言及すること。
• グローバーのアルゴリズムを量子アルゴリズム開発の基盤と位置づけること。

提案手法

• 論文は、グローバーのアルゴリズムを、ユニタリな量子状態変換の系列に続いて1回の測定を行うものとして記述している。
• 量子操作はすべて可逆的（ユニタリ的）でなければならないため、古典的で非可逆的な操作とは区別されるべきであることを強調している。
• アルゴリズムは、非構造的探索空間における正しい解の測定確率を高めるためにアモニチュード増幅を用いている。
• グローバーの手法は、N 個の要素の中からマークされたアイテムを発見するために O(√N) のクエリしか必要としないため、2乗の高速化を達成していると説明している。
• 論文は、量子回路と状態の時間発展の枠組みを用いて、グローバー演算子の反復的適用を図示している。
• 目標状態のアモニチュードを増幅するために、拡散（反転）演算子の使用を参照している。

実験結果

リサーチクエスチョン

• RQ1 グローバーのアルゴリズムは、古典的探索アルゴリズムに対してどのように2乗の高速化を達成するのか？
• RQ2 アルゴリズムの機能を可能にする基本的な量子操作は何か？
• RQ3 なぜアルゴリズムの結果は決定的ではなく確率的なのか？
• RQ4 ユニタリ操作が量子アルゴリズム設計に課す制約は何か？
• RQ5 グローバーのアルゴリズムは、量子アルゴリズム構築の一般的な手法の欠如をどのように例証しているのか？

主な発見

• グローバーのアルゴリズムは、古典的探索に対して2乗の高速化を提供し、クエリ数を O(N) から O(√N) に削減する。
• アルゴリズムはユニタリ変換と1回の測定に依存しており、結果は確率的である。
• アモニチュード増幅が、正しい解を測定する可能性を高める核心的なメカニズムである。
• 論文は、現在知られている量子アルゴリズムの数が非常に少ないこと、グローバーのアルゴリズムがその代表例であることを確認している。
• 強力であるにもかかわらず、新しい量子アルゴリズムを構築するための一般的な設計手法は存在しないため、このアルゴリズムの基盤的意義が強調される。
• アルゴリズムは、量子計算における可逆的（ユニタリ的）操作の必要性を示している。