[論文レビュー] Fast quantum search algorithm and Bounds on it

Arun Kumar Pati|ArXiv.org|Jul 24, 1998

Quantum Computing Algorithms and Architecture被引用数 8

ひとこと要約

この論文は幾何学的言語を用いてグローバーの量子探索アルゴリズムを一般化し、状態が非直交であっても効率的な探索を可能にする。時間に依存するユニタリ変換に起因する時間的制約という、古典的計算には存在しない独自の量子制約のもとで、不確定性関係を用いて量子力学的上限と下限を導出し、探索速度に制限が存在することを示している。

ABSTRACT

We recast Grover's generalised search algorithm in a geometric language even when the states are not approximately orthogonal. We provide a possible search algorithm based on an arbitrary unitary transformation which can speed up the steps still further. We discuss the lower and upper bounds on the transition matrix elements when the unitary operator changes with time, thereby implying that quantum search process can not be too fast or too slow. This is a remarkable feature of quantum computation unlike classical one. Quantum mechanical uncertainty relation puts bounds on search process. Also we mention the problems of perturbation and other issues in time-dependent search operation.

研究の動機と目的

• 標準的な近似的に直交する状態の仮定を超えて、グローバーの量子探索アルゴリズムを一般化すること。
• 探索ステップの高速化を可能にする任意のユニタリ変換に基づく探索フレームワークを開発すること。
• 時間に依存するユニタリ操作を用いた量子探索プロセスの速度にかかる根本的な制限を調査すること。
• 時間発展する量子系における遷移行列要素の下限と上限を導出し、内在的な速度制約を明らかにすること。
• 量子不確定性関係が量子探索アルゴリズムのダイナミクスに与える影響を調査すること。

提案手法

• ヒルバート空間の回転を用いた幾何学的表現により、グローバーのアルゴリズムを再定式化し、入力状態が非直交であっても適用可能である。
• 収束を高速化できる可能性がある、任意の時間に依存するユニタリ演算子に基づく一般化された探索プロトコルを導入する。
• 時間発展するユニタリ演算子の行列要素に上限と下限を導くために、量子力学的不確定性関係を適用する。
• ユニタリ変換下での初期状態とターゲット状態間の遷移振幅の時間発展を分析する。
• 時間に依存する探索操作における摂動効果とダイナミカル不安定性を検討する。
• 時間-エネルギー不確定性原理を用いて、探索プロセスの最小および最大可能速度を制約する。

実験結果

リサーチクエスチョン

• RQ1 幾何学的形式主義を用いて、グローバーの量子探索アルゴリズムを非直交状態に一般化できるか？
• RQ2 任意の時間に依存するユニタリ変換は、量子探索の効率性と速度にどのように影響するか？
• RQ3 量子探索プロセスの速度にかかる根本的な量子力学的制限は何か？
• RQ4 不確定性関係は、時間発展する量子探索系における遷移行列要素にどのように制約を加えるか？
• RQ5 時間に依存するユニタリ変換は、摂動理論および安定性にどのような影響を及えるか？

主な発見

• 論文は、量子不確定性関係のおかげで、量子探索が速すぎず、遅すぎないことを確立しており、プロセスに内在的な上限と下限が存在することを示している。
• ユニタリ演算子が時間に依存して発展する場合、初期状態とターゲット状態間の遷移行列要素は、下限と上限の両方で制限される。
• 非直交状態を含む状況においても、グローバーのアルゴリズムの幾何学的表現は有効である。
• 任意のユニタリ変換を用いることで、より高速な探索プロトコルを設計できる可能性があり、探索速度の最適化への道筋が示唆される。
• 摂動効果とダイナミカル不安定性は、時間に依存する量子探索操作において重要な問題であると特定された。
• 時間-エネルギー不確定性原理は、成功した量子探索に必要な最小および最大の期間を制約する重要な制約要因であることが明らかになった。