[论文解读] Fundamentals of fractional revival in graphs

Ada Chan, Gabriel Coutinho+7 more|arXiv (Cornell University)|Apr 2, 2020

Quantum Computing Algorithms and Architecture被引用 4

一句话总结

本文提出了一套谱框架，用于分析图上量子自旋网络中的分数复兴（fractional revival），将共谱性（cospectrality）推广至任意顶点子集，并引入强分数共谱性（strong fractional cospectrality）作为必要条件。该框架解决了开放问题：分数复兴并非单配的——三个或更多顶点可同时呈现成对复兴。此外，本文提供了一种构造方法，可为任意 $ K \geq 2 $ 构造具有指定 $ K $-分数复兴的图。该框架使得能够设计加权图，使其在指定时间支持特定转移矩阵的正确分数复兴。

ABSTRACT

We develop a general spectral framework to analyze quantum fractional revival in quantum spin networks. In particular, we introduce generalizations of the notions of cospectral and strongly cospectral vertices to arbitrary subsets of vertices, and give various examples. This work resolves two open questions of Chan et.~al. ["Quantum Fractional Revival on graphs". Discrete Applied Math, 269:86-98, 2019.]

研究动机与目标

• 将完美态传输中使用的谱工具推广至更广泛的量子自旋网络中分数复兴的语境。
• 解决两个开放问题：分数复兴是否可在非共谱顶点之间发生，以及是否可在三个或更多顶点之间成对非单配地发生。
• 开发一个通用的谱框架，用于刻画任意顶点子集 $ K $ 的 $ K $-分数复兴。
• 提供一种构造性方法，用于构建加权图，使其在给定时间下在任意指定顶点集合之间实现分数复兴。
• 建立 $ K $-分数复兴发生的必要条件，如可分解性（decomposability）和强分数共谱性。

提出的方法

• 为任意顶点子集 $ K $ 引入广义的共谱性和强共谱性概念，扩展完美态传输中的相关概念。
• 通过条件定义 $ K $-分数复兴：对所有 $ a \in K $，有 $ U(t)e_a $ 仅在 $ K $ 上有支撑，其中 $ U(t) = e^{-itA} $ 为量子行走演化算符。
• 使用谱分解 $ A = \sum_r \theta_r E_r $ 表达 $ U(t) = \sum_r e^{-it\theta_r} E_r $，并分析特征子空间上投影算子的结构。
• 通过指定特征值 $ \theta_1, \dots, \theta_n $ 和通过矩阵 $ P $ 构造的实特征向量正交基，来构建图，然后定义 $ A = PDP^T $。
• 确保最小投影 $ P_{\min}^K $ 满足特征值的比值条件，以保证分数复兴的发生，通过整数 $ \sigma, \omega $ 对特征值进行平移。
• 证明：对于任意 $ |K| \times |K $ 对称酉矩阵 $ H $ 和时间 $ \tau $，可构造一个加权图，使得在 $ K $ 上有 $ \widetilde{U(\tau)} = H $。

实验结果

研究问题

• RQ1 对于任意顶点子集 $ K $，实现 $ K $-分数复兴的必要谱条件是什么？这是否将共谱性从成对顶点推广至更一般情形？
• RQ2 分数复兴是否可在非经典共谱顶点之间发生？若可，需满足何种条件？
• RQ3 分数复兴是否具有单配性？即是否只能有一对顶点在某一时刻发生复兴，还是多对可同时存在？
• RQ4 能否构造一个图，使得大小大于二的子集 $ K $ 中的所有顶点对均发生复兴？
• RQ5 为实现指定的转移矩阵 $ H $ 的 $ K $-分数复兴，对特征值和特征子空间需施加何种结构约束？

主要发现

• 本文通过证明强分数共谱性是必要条件，解决了非共谱分数复兴的开放问题，即使在顶点不具经典共谱性时亦然。
• 证明了分数复兴并非单配的：存在图使得大小至少为三的子集 $ K $ 中，每对顶点均发生成对分数复兴。
• 提供了一种构造性方法，可为任意 $ K \geq 2 $ 构造具有 $ K $-分数复兴的加权图，给定目标时间 $ \tau $ 和 $ |K| \times |K| $ 对称酉矩阵 $ H $。
• 该框架表明，即使 $ A $ 的特征值不呈等差数列，$ K $-分数复兴仍可能发生，突破了以往假设的限制。
• 对于任意 $ \tau > 0 $ 和任意非对角对称酉矩阵 $ H $，可显式构造一个加权图 $ X $，使得在 $ K $ 上有 $ \widetilde{U(\tau)} = H $，且 $ U(\tau) $ 为分块对角矩阵。
• 该构造通过整数 $ \sigma, \omega $ 对特征值进行平移，以确保最小投影 $ P_{\min}^K $ 的特征值满足互异性和比值条件，从而满足分数复兴的谱准则。