[论文解读] The underlying digraph of a coined quantum random walk

Simone Severini|ArXiv.org|Oct 8, 2002

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

一句话总结

本文表征了正则有向图的线有向图，并证明了合成量子随机游走的底层有向图是线有向图。通过建立这一联系，该研究将量子随机游走与图论结构（特别是符号动力学中的入分裂图）联系起来，为复杂网络上量子游走动力学的分析提供了结构基础。

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.

研究动机与目标

• 使用结构图论表征正则有向图的线有向图。
• 确立合成量子随机游走的底层有向图为线有向图。
• 探索线有向图与符号动力学中入分裂图之间的联系。
• 为理解量子随机游走的结构提供图论框架。

提出的方法

• 将线有向图 $ \overrightarrow{L}D $ 定义为：其顶点对应于 $ D $ 的弧，且当两条弧共享一个公共顶点时存在弧连接。
• 利用 $ D $ 中顶点的入度和出度，通过公式 $ \left|A(\overrightarrow{L}D)\right| = \sum_{v_i \in V(D)} d^+(v_i) d^-(v_i) $ 计算 $ \overrightarrow{L}D $ 中的弧数。
• 应用正则有向图的性质，证明线有向图继承了结构正则性。
• 使用迭代线有向图 $ \overrightarrow{L}^k D $（其顶点代表 $ D $ 中的 $ k $-有向路径）来分析长期游走行为。
• 当 $ D $ 为凯莱有向图时，利用群的半直积，证明 $ \overrightarrow{L}D $ 与凯莱有向图同构。
• 通过证明 $ \overrightarrow{L}D $ 是入分裂图的一个特例（且具有最大划分），将线有向图与符号动力学中的入分裂图联系起来。

实验结果

研究问题

• RQ1 正则有向图的线有向图具有哪些结构性质？
• RQ2 如何形式化地识别合成量子随机游走的底层有向图为线有向图？
• RQ3 线有向图与符号动力学中入分裂图之间存在何种关系？
• RQ4 在何种条件下，迭代线有向图 $ \overrightarrow{L}^k D $ 会稳定或无限增长？
• RQ5 当凯莱有向图的线有向图本身也是凯莱有向图时，其条件是什么？

主要发现

• 通过正则有向图的线有向图表征，已证明合成量子随机游走的底层有向图是线有向图。
• $ \overrightarrow{L}D $ 中的弧数由 $ \sum_{v_i \in V(D)} d^+(v_i) d^-(v_i) $ 给出，其值取决于 $ D $ 中顶点的入度和出度。
• 若 $ 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 $ 中顶点入邻域的最大划分时，线有向图 $ \overrightarrow{L}D $ 同构于入分裂图 $ D_{[\mathcal{P}]} $，从而建立了与符号动力学的直接联系。
• 若 $ D $ 为强连通图，且存在某个 $ n $ 使得 $ \overrightarrow{L}^n D \cong D $，则 $ D $ 必为有向环，且 $ \overrightarrow{L}D \cong D $，表明迭代线有向图具有结构刚性。