[論文レビュー] Quantum Random Walks Hit Exponentially Faster

Julia Kempe|ArXiv.org|May 14, 2002

Quantum Computing Algorithms and Architecture参考文献 19被引用数 98

ひとこと要約

本稿では、グラフ上の離散的量子ランダムウォークにおける2つの新しい量子到着時間の定義を導入し、$n$-ビットハイパーキューブ上で、片方のコーナーから反対側のコーナーへの到着時間が$n$に関して多項式的であることを示している。これは、古典的ランダムウォークの指数的到着時間とは対照的である。これにより、到着時間における最初の解析的指数的量子古典的ギャップが確立され、部分指数的ノイズに対しても高い成功確率で動作する堅牢な量子ルーティングプロトコルの実現が可能になる。

ABSTRACT

We show that the hitting time of the discrete time quantum random walk on the n-bit hypercube from one corner to its opposite is polynomial in n. This gives the first exponential quantum-classical gap in the hitting time of discrete quantum random walks. We provide the framework for quantum hitting time and give two alternative definitions to set the ground for its study on general graphs. We then give an application to random routing.

研究の動機と目的

• 離散的量子ランダムウォークにおける量子到着時間の定義と形式化を行い、測定によるデコherenceの課題に対処すること。
• 一般のグラフ上における量子ウォークの到着時間の理論的枠組みを確立し、古典的混合時間解析とは異なるものとすること。
• 古典的ランダムウォークと比較して、$n$-ビットハイパーキューブ上での量子ウォークの到着時間における指数的高速化を示すこと。
• ノイズや部分的ネットワーク障害に強く、実用的な応用である量子ランダムルーティングを提案し、その耐障害性を示すこと。
• 敵対的エッジまたはノード障害下での量子到着時間の耐性を調査し、多項式的到着時間の性質が保持される近傍のサイズを評価すること。

提案手法

• 1回の測定による$p$到着時間（固定時刻$T$での測定）と、各ステップで部分測定を行う同時$p$到着時間の2つの定義を提案。
• 時間発展演算子$T = d \cdot \pi/2$ステップで、$d$次元のコイン演算子$C_d$を用いて$n$-ビットハイパーキューブ上の量子ランダムウォークを分析。
• 振幅伝搬の議論を用い、時刻$T = \pi n/2$で振幅がターゲット状態$|\overline{x}\rangle$に集中し、ハミング距離$k$のノードには$O(1/n^k)$の振幅が分布することを示す。
• 量子干渉と位相キャンセレーションを用いて急速な拡散とターゲットへの局在化を実現し、古典的ランダムウォークの拡散的拡散とは対照的である。
• 距離$d = d_H(x,y)$の部分立方体に量子ウォークを制限し、関連するビット位置に限定することで複雑性を低減。
• 量子コherenveを保ちつつターゲット到着を検出可能な測定戦略を実装し、確率的ではあるが効率的なルーティングを可能にする。

実験結果

リサーチクエスチョン

• RQ1 量子ランダムウォークは、構造的グラフ上で古典的ランダムウォークと比較して、指数的高速な到着時間を達成できるか？
• RQ2 測定が状態を崩壊させるため、量子ウォークにおける物理的に意味のある到着時間はどのように定義できるか？
• RQ3 ネットワークにおける部分指数的エッジまたはノード障害下で、量子到着時間の耐性はどの程度か？
• RQ4 初期位置と終了位置の選択が到着時間に与える影響は何か？ また、多項式的到着時間の性質が保持される近傍のサイズはどの程度か？
• RQ5 量子到着時間は、ノイズ耐性を持つ実用的ネットワークルーティングプロトコルに活用可能か？

主な発見

• $n$-ビットハイパーキューブの片方のコーナーから反対側のコーナーへの量子到着時間は、$n$に関して多項式的であり、具体的には$O(n)$である。これは、古典的到着時間の指数的性質とは対照的である。
• 1回の測定モデルでは、時刻$T = \pi n/2$でターゲット状態$|\overline{x}\rangle$を測定する確率は1に近くなり、より早い段階では周辺ノードに振幅が分散している。
• 同時測定モデルでは、$T$ステップ後のターゲット到着検出成功確率は$\Omega(1/(n \log^2 n))$であり、$O(n \log^2 n)$回の再試行によってほぼ1に向上可能である。
• $d = \Omega(n)$のとき、部分指数的数のエッジまたはノードが削除または故障しても、量子ルーティングプロトコルの成功確率は$1 - O(\log^3 d / d)$を維持する。
• 中間ノードによる部分測定に対してもプロトコルは耐性があり、対称的な振幅分布のため、任意の1ノードによる傍受確率は無視できるほど小さい。
• この枠組みにより、グラフ上での離散的量子ランダムウォークにおける最初の完全に解析的指数的量子古典的ギャップが確立された。