[論文レビュー] Coins Make Quantum Walks Faster

Andris Ambainis, Julia Kempe+1 more|ArXiv.org|Feb 16, 2004

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

ひとこと要約

この論文は、適切に選ばれたコイン演算子を用いた離散時間量子ウォークが、$√{N} \times \sqrt{N}$ グリッドを $O(\sqrt{N}\log N)$ 時間で探索できることを示しており、同じタスクに $\Omega(N)$ 時間を要する連続時間量子ウォークよりも顕著に優れている。主な貢献は、離散ウォークの性能がコインの選択に極めて敏感であることを示したことであり、2次元では2次元のコイン空間で最適な高速化が達成可能であり、この手法を拡張することで3次元以上で $O(\sqrt{N})$ 時間の高速化を達成した。

ABSTRACT

We show how to search N items arranged on a $\sqrt{N} imes\sqrt{N}$ grid in time $O(\sqrt N \log N)$, using a discrete time quantum walk. This result for the first time exhibits a significant difference between discrete time and continuous time walks without coin degrees of freedom, since it has been shown recently that such a continuous time walk needs time $Ω(N)$ to perform the same task. Our result furthermore improves on a previous bound for quantum local search by Aaronson and Ambainis. We generalize our result to 3 and more dimensions where the walk yields the optimal performance of $O(\sqrt{N})$ and give several extensions of quantum walk search algorithms for general graphs. The coin-flip operation needs to be chosen judiciously: we show that another ``natural'' choice of coin gives a walk that takes $Ω(N)$ steps. We also show that in 2 dimensions it is sufficient to have a two-dimensional coin-space to achieve the time $O(\sqrt{N} \log N)$.

研究の動機と目的

• 空間的に配置されたアイテムの2次元グリッド上の量子探索を高速化するアルゴリズムを開発し、場所間移動に伴う時間的オーバーヘッドを克服すること。
• 離散時間と連続時間の量子ウォークの間で、空間探索において根本的な性能差が生じることを示すこと。離散ウォークは連続ウォークでは達成できない高速化を実現できることを示すこと。
• 離散量子ウォークにおけるコイン演算子の選択がアルゴリズムの性能に与える影響を調査し、すべての自然な選択肢が効率的な探索をもたらすわけではないことを示すこと。
• 離散量子ウォーク探索を高次元に一般化し、3次元以上で最適な $O(\sqrt{N})$ の実行時間を達成すること。
• 2次元グリッド探索において、最適な性能を達成するために、4状態コインよりも少ない2次元のコイン空間で十分であることを示すこと。

提案手法

• 各ステップがコインの入れ替え（コインレジスタ上のユニタリ操作）と、コイン状態に応じた条件付きシフトから成る離散時間量子ウォークモデルを採用する。
• 2次元で迅速な局在化を実現する特定の非標準的コイン演算子（Shenviによる数値シミュレーションで同定）を用いる。
• スペクトル解析を用いてウォークのダイナミクスを分析し、ウォーク演算子 $U$ の固有値 $\theta$ における和 $\sum_{\theta} \frac{1}{1 - \cos\theta}$ に注目する。この和はアルゴリズムの速度を支配する。
• 選ばれたコインがスペクトルギャップを生じさせることを証明し、これによりマークされた頂点に十分な振幅が集中し、$O(\sqrt{N}\log N)$ の実行時間が達成できることを示す。
• $d$-次元グリッドへの一般化を行い、$d$-次元のコイン空間を用いることで $O(\sqrt{N})$ 実行時間が達成可能であることを示す。
• 他の自然なコイン選択（例：対称ハダマール型コイン）が $\Omega(N)$ 実行時間に終わることを示し、それらが非効率であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 離散時間量子ウォークは、連続時間量子ウォークよりも2次元グリッド上でより速く探索できるか？
• RQ2 コイン演算子の選択が、離散量子ウォーク探索アルゴリズムの性能にどのように影響するか？
• RQ3 離散量子ウォークを用いて、3次元以上で最適な $O(\sqrt{N})$ 実行時間を達成できるか？
• RQ4 2次元グリッド探索で量子高速化を達成するために必要なコイン空間の最小次元は何か？
• RQ5 ウォーク演算子のスペクトル的性質を用いて、アルゴリズムの実行時間を予測・上限付けることができるか？

主な発見

• 特定のコイン演算子を用いた離散量子ウォークは、$\sqrt{N} \times \sqrt{N}$ グリッド上で $O(\sqrt{N}\log N)$ 時間の探索を達成し、連続時間量子ウォークが要する $\Omega(N)$ 時間を上回る性能を示した。
• 2次元では2次元のコイン空間で十分であり、$O(\sqrt{N}\log N)$ 実行時間が達成可能であることを示し、標準的な4状態コインが必須でないことを示した。
• 3次元以上では、離散量子ウォークが最適な $O\left(\sqrt{N}\right)$ 実行時間を達成し、最高性能のグローバー基盤の境界と一致した。
• 他の自然なコイン選択（例：対称ハダマール型コイン）は $\Omega(N)$ 実行時間に終わるため、コイン選択が性能に極めて重要であることが示された。
• ウォーク演算子の固有値 $\theta$ における和 $\sum_{\theta} \frac{1}{1 - \cos\theta}$ は、アルゴリズムの速度を予測する有効な代理指標であり、全固有スペクトルの影響を捉えている。
• 本手法は、グラフ上の量子ウォークを分析する一般化されたツールボックスを提供し、グリッド探索を超えた応用にも潜在的である。