[論文レビュー] A Characterization of the Graphs to Induce Periodic Grover Walk

Yusuke Yoshie|arXiv (Cornell University)|Mar 18, 2017

Advanced Graph Theory Research参考文献 7被引用数 7

ひとこと要約

本稿は、有限単純グラフの遷移行列の固有値を分析することで、k = 2, 3, 4, 5 のときのk周期的グローバー量子ウォークを誘導するグラフを同定する。2-, 3-, 4-, 5周期的ウォークを誘導するのはそれぞれP₂, C₃, 完全二部グラフKᵣ,ₛ, C₅に限られ、固有値がk乗単位根の実部であるというスペクトル的条件を確立する。

ABSTRACT

This paper explains the periodicity of the Grover walk on finite graphs. We characterize the graphs to induce 2, 3, 4, 5-periodic Grover walk and obtain a necessary condition of the graphs to induce an odd-periodic Grover walk.

研究の動機と目的

• 固定されたk ∈ {2,3,4,5}に対して、k周期的グローバー量子ウォークを誘導するすべての有限単純グラフを同定すること。
• グローバー量子ウォークにおける周期性を保証する遷移行列のスペクトル的条件を特定すること。
• グローバーのユニタリ時間発展演算の下で周期的量子力学的進化を示すグラフの構造的性質を同定すること。
• グラフの対称性、二部グラフ性、正則性が周期的挙動を誘導する役割を明らかにすること。
• グラフクラスではなく周期kを固定することで、量子ウォークにおける周期性に関する先行研究を拡張すること。

提案手法

• 有限単純グラフGの遷移行列Tのスペクトルを分析し、k乗単位根の実部である固有値に注目する。
• スペクトル理論を用いて、グラフがk周期的グローバー量子ウォークを誘導するための必要十分条件を導出する。
• 固有値の重複度や行列のブロック分解といった線形代数の結果を応用し、グラフを分類する。
• グラフが二部グラフであることと、その遷移行列に-1が固有値として含まれることとは同値であるという事実を用いる。
• Tのランクと核次元を用いて、構造的制約（例えば、ランク(T) = 2のとき完全二部グラフ構造が成立）を導出する。
• スペクトル分解を用いて、特定の固有値パターン（例：k=4では{1, -1}）を持つグラフのみが周期的ウォークを誘導可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 どの有限単純グラフが2周期的グローバー量子ウォークを誘導するか？
• RQ2 どのグラフが3周期的グローバー量子ウォークを誘導するか、そしてそのスペクトル的条件は何か？
• RQ3 4周期的グローバー量子ウォークを誘導するグラフの完全な特徴付けは何か？
• RQ4 奇数k ≥ 5の場合、どのグラフがk周期的グローバー量子ウォークを誘導できるか、そしてそのスペクトル的制約は何か？
• RQ5 グラフの分割操作（例：サブディビジョン）によってグローバー量子ウォークの周期性は保たれるか？

主な発見

• 2周期的グローバー量子ウォークを誘導するのはパスグラフP₂に限られる。
• 3周期的グローバー量子ウォークを誘導するのは三角形グラフC₃に限られる。
• 完全二部グラフKᵣ,ₛは4周期的グローバー量子ウォークを誘導する唯一のグラフである。
• 5周期的グローバー量子ウォークを誘導するのはサイクルグラフC₅に限られる。
• k ≥ 6の場合、本稿ではPₖが2(k−1)周期的グローバー量子ウォークを誘導することを特定し、C₆やP₄を同一視したグラフのような6周期的ウォークを誘導する例も構成する。
• k周期的グローバー量子ウォークを誘導するグラフGのサブディビジョングラフS(G)は2k周期的ウォークを誘導する。これにより、周期性を保つグラフ作用素が確立される。