[論文レビュー] The underlying digraph of a coined quantum random walk

Simone Severini|ArXiv.org|Oct 8, 2002

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

ひとこと要約

本稿は、正則有向グラフの線グラフを特徴づけ、創出された量子ランダムウォークの下位にある有向グラフが線グラフであることを示している。この関係を確立することで、量子ランダムウォークをグラフ理論的構造、特に記号的力学におけるin-splitグラフと結びつける。これにより、複雑なネットワークにおける量子ウォークダイナミクスの構造的基盤が提供される。

ABSTRACT

We give a characterization of the line digraph of a regular digraph. We make use of the characterization, to show that the underlying digraph of a coined quantum random walk is a line digraph. We remark the connection between line digraphs and in-split graphs in symbolic dynamics.

研究の動機と目的

• 構造的グラフ理論を用いて、正則有向グラフの線グラフを特徴づける。
• 創出された量子ランダムウォークの下位にある有向グラフが線グラフであることを確立する。
• 線グラフと記号的力学におけるin-splitグラフとの関係を調査する。
• 量子ランダムウォークの構造を理解するためのグラフ理論的フレームワークを提供する。

提案手法

• 線グラフ $ \overrightarrow{L}D $ を、$ D $ の弧に対応する頂点を持ち、共通の頂点を共有する弧の間に弧を持つものとして定義する。
• 有向グラフ $ D $ の頂点のin-度とout-度を用いて、$ \overrightarrow{L}D $ の弧の数を計算し、公式 $ \left|A(\overrightarrow{L}D)\right| = \sum_{v_i \in V(D)} d^+(v_i) d^-(v_i) $ を用いる。
• 正則有向グラフの性質を適用して、線グラフが構造的正則性を継承することを示す。
• $ \overrightarrow{L}^k D $（$ D $ における $ k $-dipath を頂点とするもの）という繰り返し線グラフの概念を用い、長期間のウォーク行動を分析する。
• $ D $ がカイリー有向グラフである場合、群の半直積を用いて $ \overrightarrow{L}D $ とカイリー有向グラフとの同型を確立する。
• 線グラフと記号的力学におけるin-splitグラフとの関係を示すために、$ \overrightarrow{L}D $ がin-近傍の最大分割を持つin-splitグラフの特別な場合であることを示す。

実験結果

リサーチクエスチョン

• RQ1 正則有向グラフの線グラフを特徴づける構造的性質は何か？
• RQ2 創出された量子ランダムウォークの下位にある有向グラフを、形式的に線グラフとして特定する方法は何か？
• RQ3 線グラフと記号的力学におけるin-splitグラフとの関係は何か？
• RQ4 繰り返し線グラフ $ \overrightarrow{L}^k D $ が安定化するか、無限に成長し続ける条件は何か？
• RQ5 カイリー有向グラフの線グラフが、再びカイリー有向グラフである条件は何か？

主な発見

• 正則有向グラフの線グラフの特徴づけを通じて、創出された量子ランダムウォークの下位にある有向グラフが線グラフであることが証明された。
• $ \overrightarrow{L}D $ の弧の数は $ \sum_{v_i \in V(D)} d^+(v_i) d^-(v_i) $ で与えられ、これは $ D $ の頂点のin-度とout-度に依存する。
• もし $ D $ が正則有向グラフであれば、$ \overrightarrow{L}D $ も正則であるため、ウォーク構造における対称性が保たれる。
• カイリー有向グラフ $ D = \mathrm{Cay}(\mathbb{Z}_n, \{1, n-1\}) $ に対して、線グラフ $ \overrightarrow{L}D $ は二面体群 $ D_n $ のカイリー有向グラフと同型であり、生成子 $ a $ と $ b $ を持ち、$ n $-角柱の1スケルトンとして実現可能である。
• $ \mathcal{P} $ が $ D $ の頂点のin-近傍の最大分割であるとき、線グラフ $ \overrightarrow{L}D $ はin-splitグラフ $ D_{[\mathcal{P}]} $ と同型である。これにより、記号的力学との直接的なリンクが確立される。
• $ D $ が強連結であり、ある $ n $ に対して $ \overrightarrow{L}^n D \cong D $ であるならば、$ D $ はdicycleでなければならず、$ \overrightarrow{L}D \cong D $ が成り立つ。これは、繰り返し線グラフにおける構造的剛性を示している。