[論文レビュー] Quantum graph walks I: mapping to quantum walks

Yusuke Higuchi, Norio Konno+2 more|arXiv (Cornell University)|Nov 5, 2012

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

ひとこと要約

本稿では、量子グラフから導かれる量子コインを用いて定義される、新しい種類のコイン型量子ウォークである量子グラフウォークを導入する。量子ウォークのダイナミクスを量子グラフハミルトニアンの固有関数にマッピングすることにより、ウォークの定常状態と量子グラフシュレーディンガー方程式の解との間の一対一対応を確立し、構造化されたコイン演算子を用いた有向弧上のユニタリな時間発展に基づく、量子グラフを分析するための量子ウォークフレームワークを提供する。

ABSTRACT

We clarify that coined quantum walk is determined by only the choice of local quantum coins. To do so, we characterize coined quantum walks on graph by disjoint Euler circles with respect to symmetric arcs. In this paper, we introduce a new class of coined quantum walk by a special choice of quantum coins determined by corresponding quantum graph, called quantum graph walk. We show that a stationary state of quantum graph walk describes the eigenfunction of the quantum graph.

研究の動機と目的

• 量子グラフの物理的パラメータから局所的な量子コインを導出することで、量子グラフに基づく新しい種類のコイン型量子ウォーク（量子グラフウォーク）を形式化すること。
• 量子ウォークの定常状態と量子グラフハミルトニアンの固有関数との間の対応関係を確立すること。
• 対称的な有向弧の構造と有向辺上のユニタリな時間発展が、量子グラフのスペクトル的性質をどのように符号化するかを明確にすること。
• 離散時間の量子ウォークと連続的な量子グラフとの橋渡しをすることにより、量子ウォークの時間発展演算子が量子グラフの散乱および伝搬ダイナミクスを再現することを示すこと。

提案手法

• 全ヒルベルト空間を $ \ell^2(D(G)) $ と定義し、これは対称的有向弧の集合 $ D(G) $ 上の平方可 summable 関数の空間とする。ここで各有向弧はグラフ内の有向辺に対応する。
• 時間発展演算子 $ U $ を、各有向弧に量子グラフのパラメータ $ \boldsymbol{L}, \lambda, A $ に基づく局所的コイン演算子 $ W_{(u,v)} $ を割り当てたユニタリ行列として構築する。
• 散乱行列 $ \widetilde{\mathcal{D}}_D $ と結合伝搬行列 $ \mathcal{T}(k) $ を用いて、量子時間発展演算子 $ \mathcal{U}_B(k) = \mathcal{T}(k)\mathcal{S}(k) $ を表現し、ウォークを量子グラフの散乱形式と結びつける。
• 条件 $ U^{(A)}_{\pi_{ff}}[H_j(k);j\in V]\boldsymbol{a}_*(k) = \boldsymbol{a}_*(k) $ を導出し、ウォークの定常状態が量子グラフ固有値問題の解に対応することを示す。
• ユニタリ変換 $ S_{\pi_{ff}} $ を用いて A 型量子ウォークと G 型ウォークの等価性を確立し、既存の文脈における標準的な量子時間発展演算子と結びつける。
• スペクトル分解とリゾルベント技術を用いて、ウォークの散乱振幅を辺の長さ $ L_{\{ij\}} $、結合定数 $ \lambda_j $、および頂点散乱行列に依存する形で表現する。

実験結果

リサーチクエスチョン

• RQ1 辺の長さや頂点結合といった量子グラフのパラメータから、どのように系統的にコイン型量子ウォークを構築できるか。
• RQ2 量子ウォークの定常状態と量子グラフハミルトニアンの固有関数との間の明確な関係は何か。
• RQ3 量子ウォークフレームワークは、量子グラフの散乱行列と伝搬ダイナミクスを再現できるか。
• RQ4 ユニタリ性や電流保存といった量子グラフの物理的整合性を保つために、量子ウォーク演算子が満たすべき条件は何か。
• RQ5 量子グラフから導かれる局所的量子コインの選択が、ウォークのスペクトル的および動的挙動にどのように影響を与えるか。

主な発見

• 量子グラフウォークの定常状態は、量子グラフハミルトニアンの固有関数に丁度一致し、量子ウォークダイナミクスと量子グラフスペクトルとの間の直接的な対応関係を確立する。
• 時間発展演算子 $ U^{(A)}_{\pi_{ff}}[H_j(k);j\in V] $ は $ U^{(A)}_{\pi_{ff}}\boldsymbol{a}_*(k) = \boldsymbol{a}_*(k) $ を満たし、ウォークの不動点が量子グラフ固有値方程式の解に対応することを証明する。
• 量子ウォークの散乱振幅はリゾルベント $ (I + tS\widetilde{\mathcal{D}}_D)^{-1} $ を通じて表現され、$ \Delta_{\{ij\}}^{-1}(t) $ を含む明示的項が、辺の長さと結合効果を符号化している。
• G 型量子ウォーク $ U^{(G)}_{\pi_{ff}}[H_j(k);j\in V] $ は、先行研究で用いられた量子時間発展演算子 $ \mathcal{U}_B(k) $ と等価であることが確認され、従来の量子グラフ理論と整合性を保っている。
• ウォークのダイナミクスは、辺の長さ $ L_{\{ij\}} $、頂点結合定数 $ \lambda_j $、および散乱行列 $ \sigma_j $ によって完全に決定され、これらは局所的コイン演算子に符号化されている。
• 変換 $ \boldsymbol{b}_*(k) = S_{\pi_{ff}}\boldsymbol{a}_*(k) $ により、ウォークの定常状態がフラップ対称性操作に対して不変であることが示され、物理的整合性が保たれている。