[论文解读] 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

一句话总结

本文引入了量子图随机游走作为一类新型的 coined 量子随机游走，其量子骰子由量子图导出。通过将量子随机游走的动力学映射到量子图哈密顿量的本征态，建立了游走的定态与量子图薛定谔方程解之间的一一对应关系，为通过在有向弧上进行幺正演化并结合结构化的骰子算符，提供了分析量子图的量子随机游走框架。

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.

研究动机与目标

• 通过从图的物理参数中推导出局部量子骰子，正式建立基于量子图的新一类 coined 量子随机游走，称为量子图随机游走。
• 建立量子随机游走的定态与量子图哈密顿量本征态之间的对应关系。
• 阐明对称弧的结构以及在有向边上进行幺正演化如何编码量子图的谱特性。
• 通过证明量子随机游走的时间演化算符重现了量子图的散射与传播动力学，弥合了离散时间量子随机游走与连续量子图之间的鸿沟。

提出的方法

• 将总希尔伯特空间定义为 $ \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 如何系统地从量子图的参数（如边长和顶点耦合）构造一个 coined 量子随机游走？
• 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) $ 表明，游走的定态在翻转对称操作下保持不变，从而保持了物理一致性。