[論文レビュー] Analysis of Lackadaisical Quantum Walks

Peter Høyer, Zhan Yu|arXiv (Cornell University)|Feb 26, 2020

Quantum Computing Algorithms and Architecture参考文献 23被引用数 4

ひとこと要約

本稿では、各頂点に重み ℓ = d/N の自己ループを備えた無気力量子ウォーク（lackadaisical quantum walks）が、任意の正則かつ局所的に弧対称なグラフ上で、O(√HT) ステップで一意なマーク付き頂点を定常確率で発見できることを解析的に証明している。主な貢献は、無気力量子ウォークと量子補間ウォークの間の直接的な等価性を確立したことであり、トーラス、サイクル、ジョンソングラフ、ハイパーキューブを含むグラフにおいて、先行する数値的予想を裏付けている。

ABSTRACT

The lackadaisical quantum walk is a quantum analogue of the lazy random walk obtained by adding a self-loop to each vertex in the graph. We analytically prove that lackadaisical quantum walks can find a unique marked vertex on any regular locally arc-transitive graph with constant success probability quadratically faster than the hitting time. This result proves several speculations and numerical findings in previous work, including the conjectures that the lackadaisical quantum walk finds a unique marked vertex with constant success probability on the torus, cycle, Johnson graphs, and other classes of vertex-transitive graphs. Our proof establishes and uses a relationship between lackadaisical quantum walks and quantum interpolated walks for any locally arc-transitive graph.

研究の動機と目的

• 構造的グラフ上における無気力量子ウォークの成功確率と実行時間に関する長年の予想を解消すること。
• トーラス、サイクル、ジョンソングラフ、ハイパーキューブにおいて、無気力ウォークが定常確率で成功することが観察されたという数値的発見の解析的基盤を提供すること。
• 正則で局所的に弧対称なグラフ上において、無気力量子ウォークと量子補間ウォークの間の正式な関係を確立すること。
• 自己ループ重み ℓ = d/N が、頂点推移的かつ対称なグラフの広いクラスにおいて、定常的成功確率探索を最適化することを証明すること。

提案手法

• 著者らは、d-正則グラフの各頂点に重み ℓ の自己ループを追加することで、無気力量子ウォークを定義し、コインウォークフレームワークを一般化している。
• パラメータ変換 s = 1 − ℓ/d を用いて、無気力量子ウォークと量子補間ウォークの間の数学的等価性を確立している。
• 証明はスペクトル解析と量子到達時間の使用に依拠しており、両ウォークのタイプが同じ漸近的スケーリングを持つことを示している。
• 補題と三角不等式の議論を用いて、2つのウォークモデルの状態発展間の ℓ2-ノルム差を評価し、O(1/N^{1/4}) の収束を証明している。
• 局所的に弧対称な対称性を活用することで、マーク付き頂点の隣接頂点間で一様な振る舞いを保証し、解析の可能性を高めている。
• このフレームワークは、トーラス、ジョンソングラフ、ハイパーキューブを含む、d-正則で局所的に弧対称な任意のグラフに適用可能である。

実験結果

リサーチクエスチョン

• RQ1 無気力量子ウォークは、正則で局所的に弧対称なグラフ上において、一意なマーク付き頂点を定常的成功確率で発見できるか？
• RQ2 このようなグラフ上において、無気力量子ウォークと量子補間ウォークの間に正式な等価性が存在するか？
• RQ3 先行する数値的研究が示唆するように、自己ループ重み ℓ = d/N が複数のグラフクラスにおいて最適な性能をもたらすか？
• RQ4 トーラスやサイクルのようなグラフでは、なぜ無気力ウォークが高確率で成功するのか、かつ、それに対しては以前に解析的証明が存在しなかったのはなぜか？

主な発見

• 自己ループ重み ℓ = d/N を備えた無気力量子ウォークは、任意の d-正則で局所的に弧対称なグラフ上で、一意なマーク付き頂点を定常的成功確率で発見する。
• 無気力量子ウォークの量子到達時間は、量子補間ウォークのそれと同程度のオーダーであることが示され、両者の漸近的性能が等価であることが証明された。
• 本稿では、自己ループ重み ℓ が量子補間ウォークにおける補間パラメータ s = 1 − ℓ/d に対応することを証明し、2つのモデル間の正確なマッピングを確立した。
• テストされたすべてのグラフクラス（√N × √N のトーラス、サイクル、ジョンソングラフ、ハイパーキューブ）において、成功確率がゼロから離れて（定常的）保たれている。
• 先行する数値的予想（トーラスでは ℓ = 4/N、サイクルでは ℓ = 2/N、ジョンソングラフでは ℓ = d/N）が、今や解析的に証明された。
• 結果は、すべての正則で局所的に弧対称なグラフに拡張可能であり、頂点推移的グラフに限らない、無気力ウォークを分析する一般化された解析的ツールを提供している。