[論文レビュー] Can quantum walks provide practical exponential speedups

B. L. Douglas, Jingbo Wang|arXiv (Cornell University)|Jun 3, 2007

Quantum Computing Algorithms and Architecture被引用数 1

ひとこと要約

この論文は、オラクルクエリに依存せずに、量子ウォークが実用的な指数的高速化を古典的アルゴリズムよりも達成できるかどうかを調査する。高対称性を持つグラフを分析することで、量子ウォークに適した効率的な量子回路を構築できることを示し、このような構造における量子探索問題の指数的高速化の可能性を示している。

ABSTRACT

Quantum walks, being the quantum analogue of classical random walks, are expected to provide a fruitful source of quantum algorithms. A few such algorithms have already been developed, including the `glued trees' algorithm, which provides an exponential speedup over classical methods, relative to a particular quantum oracle. Here, we discuss the possibility of a quantum walk algorithm yielding such an exponential speedup over possible classical algorithms, without the use of an oracle. We provide examples of some highly symmetric graphs on which efficient quantum circuits implementing quantum walks can be constructed, and discuss potential applications to quantum search for marked vertices along these graphs.

研究の動機と目的

• 量子ウォークが実用的状況下で古典的アルゴリズムよりも指数的高速化を達成できるかどうかを特定すること。
• 量子ウォーク回路の効率的実装を可能にするグラフ構造を同定すること。
• オラクルへのアクセスがなくとも、マークされた頂点を探索するための量子ウォークの実現可能性を調査すること。
• 量子ウォークがスケーラブルで実用的な量子優位性の源泉としての可能性を評価すること。

提案手法

• 高対称性を持つグラフを分析し、効率的な量子回路の構築に適したものを同定する。
• 従来の手法とは異なり、オラクルに依存しない量子ウォークアルゴリズムを設計する。
• 対称的グラフの構造を活用して、量子ウォーク進化演算子の実装を簡素化する。
• グラフ構造内でのマークされた頂点の探索に量子ウォークダイナミクスを適用する。
• 近位の量子ハードウェアで物理的に実現可能なスケーラブルで実用的な量子回路の構築に焦点を当てる。
• 得られたアルゴリズムの計算複雑度を古典的手法と比較して評価する。

実験結果

リサーチクエスチョン

• RQ1 オラクルを用いずに、量子ウォークが古典的アルゴリズムよりも指数的高速化を達成できるか？
• RQ2 どの対称的グラフ構造が量子ウォーク回路の効率的実装を可能にするか？
• RQ3 オラクルへのアクセスがなくとも、量子ウォークの量子探索における潜在的価値は何か？
• RQ4 このようなグラフ上で、量子ウォークに必要な計算リソースは、古典的探索アルゴリズムと比べてどの程度か？

主な発見

• 特定の高対称性を持つグラフにおける量子ウォークは、効率的な量子回路によって実装可能であり、実用的なアルゴリズム設計を可能にする。
• これらのグラフにおける量子探索において、オラクルクエリなしでも理論的に指数的高速化が可能である。
• 対称的グラフの構造のおかげで、量子ウォーク進化の実装が簡素化され、リソースのオーバーヘッドが低減される。
• オラクル依存の欠如により、提案手法は現実世界の問題にさらに適用可能になる。
• 結果から、対称的グラフにおける量子ウォークは、近位の量子優位性の強力な候補であると考えられる。
• このフレームワークは、オラクルモデルの制限を回避するスケーラブルな量子アルゴリズムへの道筋を提供する。