[论文解读] Average mixing of continuous quantum walks

Chris Godsil|arXiv (Cornell University)|Mar 14, 2011

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

一句话总结

本文引入并分析了图上连续量子行走的平均混合矩阵 $\u02c7{M}_X$，其定义为 Schur 积 $H(t) \circ H(-t)$ 的时间平均，其中 $H(t) = \exp(itA)$ 且 $A$ 为邻接矩阵。主要贡献在于证明了 $\u02c7{M}_X = \sum_r E_r^{\circ 2}$，其中 $E_r$ 为谱投影算子，并展示了其为正半定、有理数且在路径图与伪循环关联方案中具有出人意料的简洁形式。

ABSTRACT

If $X$ is a graph with adjacency matrix $A$, then we define $H(t)$ to be the operator $\exp(itA)$. The Schur (or entrywise) product $H(t)\circ H(-t)$ is a doubly stochastic matrix and, because of work related to quantum computing, we are concerned the extsl{average mixing matrix}. This can be defined as the limit of $C^{-1} \int_0^C H(t)\circ H(-t)\dt$ as $C o\infty$. We establish some of the basic properties of this matrix, showing that it is positive semidefinite and that its entries are always rational. We find that for paths and cycles this matrix takes on a surprisingly simple form, thus for the path it is a linear combination of $I$, $J$ (the all-ones matrix), and a permutation matrix.

研究动机与目标

• 定义并研究图上连续量子行走的平均混合矩阵 $\u02c7{M}_X$，即 Schur 积 $H(t) \circ H(-t)$ 的时间平均。
• 建立 $\u02c7{M}_X$ 的基本性质，包括正半定性、有理数性，以及在连通图中元素的严格正性。
• 为特定图族（如路径图与伪循环关联方案中的图）推导 $\u02c7{M}_X$ 的显式闭式表达式。
• 探讨 $\u02c7{M}_X$ 的结构意义，特别是其与顶点共谱性的关系，以及当行不相等时完美态传输的缺失。

提出的方法

• 通过酉矩阵 $H(t) = \exp(itA)$ 定义连续量子行走，其中 $A$ 为图 $X$ 的邻接矩阵。
• 构造转移矩阵 $M_X(t) = H(t) \circ H(-t)$，其为双随机矩阵，描述态转移的时间演化概率密度。
• 将平均混合矩阵定义为 $\u02c7{M}_X = \lim_{C \to \infty} \frac{1}{C} \int_0^C M_X(t) \, dt$，并推导其谱分解形式 $\u02c7{M}_X = \sum_r E_r^{\circ 2}$，其中 $E_r$ 为 $A$ 的谱投影算子。
• 利用谱分解与 Schur 积理论，证明 $\u02c7{M}_X$ 为正半定且有理数，借助分裂域上域自同构的不变性。
• 分析特殊图族：对于路径图，$\u02c7{M}_X = \frac{1}{2n+2}(2J + I + T)$；对于奇数环或伪循环关联方案中的图，$\u02c7{M}_X = \frac{n-m+1}{n^2}J + \frac{m-1}{n}I$，其中 $J$ 为全1矩阵，$T$ 为对换置换矩阵。
• 建立强共谱性的刻画：顶点 $u$ 与 $v$ 强共谱当且仅当 $\u02c7{M}_X(e_u - e_v) = 0$，将谱对称性与混合行为相联系。

实验结果

研究问题

• RQ1 连续量子行走图上平均混合矩阵 $\u02c7{M}_X$ 的基本代数与谱性质为何？
• RQ2 能否为特定图族（如路径图与伪循环关联方案）给出平均混合矩阵的闭式表达？
• RQ3 在何种条件下，平均混合矩阵会反映出原始图中不存在的对称性（如在平凡自同构群的图中）？
• RQ4 是否存在 $\u02c7{M}_X$ 与强共谱性之间结构上的联系？
• RQ5 在何种条件下 $\u02c7{M}_X$ 为 $I$ 与 $J$ 的线性组合，且此类图有多普遍？

主要发现

• 平均混合矩阵 $\u02c7{M}_X$ 始终为正半定，因其为邻接矩阵谱分解中正交投影的 Schur 平方之和。
• 对于任意连通图 $X$，$\u02c7{M}_X$ 的所有元素均为严格正数，反映了行走动力的不可约性。
• $\u02c7{M}_X$ 为有理数，即使特征值为无理数，这是由于其在邻接矩阵特征多项式分裂域上的域自同构下保持不变。
• 对于 $n$ 个顶点的路径图，$\u02c7{M}_X = \frac{1}{2n+2}(2J + I + T)$，其中 $T$ 为关于中心对称交换顶点的置换矩阵。
• 对于奇数环或具有 $n$ 个顶点与 $d$ 个权值为 $m$ 的类的伪循环关联方案中的图，$\u02c7{M}_X = \frac{n-m+1}{n^2}J + \frac{m-1}{n}I$，表明尽管图本身对称性较低，其混合矩阵仍具有高度对称性。
• 顶点 $u$ 与 $v$ 强共谱当且仅当 $\u02c7{M}_X(e_u - e_v) = 0$，为该对称性质提供了谱判据。