[论文解读] Continuous Time Quantum Walks on Graphs: Group State Transfer

Luke C. Brown, William J. Martin+1 more|arXiv (Cornell University)|Mar 16, 2021

Quantum Computing Algorithms and Architecture被引用 4

一句话总结

本文在图上的连续时间量子行走中引入了群态传输（GST），通过允许从一个顶点集向另一个顶点集传输量子态，推广了完美态传输和分数复兴的概念。主要贡献是一个结构定理，表明双射GST具有单配偶性且极为罕见，非平凡的例子出现在对称双星图、具有整数特征值的二分图以及通过笛卡尔积构造的图联接中。

ABSTRACT

We introduce the concept of group state transfer on graphs, summarize its relationship to other concepts in the theory of quantum walks, set up a basic theory, and discuss examples. Let $X$ be a graph with adjacency matrix $A$ and consider quantum walks on the vertex set $V(X)$ governed by the continuous time-dependent unitary transition operator $U(t)= \exp(itA)$. For $S,T\subseteq V(X)$, we says $X$ admits "group state transfer" from $S$ to $T$ at time $τ$ if the submatrix of $U(τ)$ obtained by restricting to columns in $S$ and rows not in $T$ is the all-zero matrix. As a generalization of perfect state transfer, fractional revival and periodicity, group state transfer satisfies natural monotonicity and transitivity properties. Yet non-trivial group state transfer is still rare; using a compactness argument, we prove that bijective group state transfer (the optimal case where $|S|=|T|$) is absent for almost all $t$. Focusing on this bijective case, we obtain a structure theorem, prove that bijective group state transfer is "monogamous", and study the relationship between the projections of $S$ and $T$ into each eigenspace of the graph. Group state transfer is obviously preserved by graph automorphisms and this gives us information about the relationship between the setwise stabilizer of $S\subseteq V(X)$ and the stabilizers of naturally defined subsets obtained by spreading $S$ out over time and crudely reversing this process. These operations are sufficiently well-behaved to give us a topology on $V(X)$ which is likely to be simply the topology of subsets for which bijective group state transfer occurs at that time. We illustrate non-trivial group state transfer in bipartite graphs with integer eigenvalues, in joins of graphs, and in symmetric double stars. The Cartesian product allows us to build new examples from old ones.

研究动机与目标

• 将量子行走中的态传输概念形式化并推广，超越单顶点传输，扩展至顶点集合。
• 研究顶点子集之间发生量子态传输的条件，称为群态传输（GST）。
• 建立GST的结构和拓扑性质，包括单调性、传递性，以及非平凡双射GST的稀有性。
• 探讨图邻接矩阵的特征结构与GST发生之间的关系，特别是在对称图和二分图中的情况。
• 利用图运算（如联接和笛卡尔积）构造GST的新例子，并分析其谱性质。

提出的方法

• 将从集合 $S$ 到集合 $T$ 在时间 $\tau$ 的GST定义为：$U(\tau) = \exp(itA)$ 的子矩阵，其行不在 $T$ 中且列在 $S$ 中时为零。
• 利用邻接矩阵 $A$ 的谱分解分析 $U(\tau)$，将其表示为投影到特征子空间上的形式。
• 应用紧致性论证，证明在任意区间内，仅有有限多个时间 $t$ 存在双射GST（即 $|S| = |T|$）。
• 证明双射GST具有单配偶性：一个集合 $S$ 最多只能传输到另一个大小相同的集合 $T$。
• 利用图的自同构和特征子空间投影，推导GST配置的对称性和不变量。
• 通过构造对称双星图、图联接和笛卡尔积，给出显式例子，并通过特征值和投影分析验证GST。

实验结果

研究问题

• RQ1 哪些图积保持群态传输？能否从已知例子系统性地构造新的GST例子？
• RQ2 对于路径图，所有满足双射GST的顶点子集对 $S, T$ 是否可以被完全分类？
• RQ3 所有 $t$-闭合顶点子集是否都源于双射GST？此类集合的拓扑结构如何？
• RQ4 在何种条件下，加权商图能从GST配置继承完美态传输？
• RQ5 在顶点集 $S$ 和 $T$ 之间存在最小距离 $\delta$ 的图中，具有GST的顶点数是否随 $\delta$ 指数增长？

主要发现

• 双射群态传输具有单配偶性：除平凡情况外，一个集合 $S$ 最多只能传输到另一个大小相同的集合 $T$。
• 紧致性论证表明，在任意有限区间内，除平凡GST对 $(\emptyset,\emptyset)$ 和 $(V(X),V(X))$ 外，仅有有限多个时间 $t$ 存在最大GST对。
• 在具有 $m$ 个度数为1的顶点的对称双星图中，当 $\tau = 2\pi / \sqrt{4k+1}$ 时，$(S,S)$-GST 发生，其中 $S = \{1,2\}$，通过特征值和投影分析验证。
• 对于两个完全图 $K_m$（$m \geq 3$）的联接，非平凡GST在时间 $\tau = 2\pi / \sqrt{4k+1}$ 发生，其中 $S$ 和 $T$ 分别为两个顶点集。
• 图的笛卡尔积保持GST，从而可利用已有例子构造新例子。
• 在具有整数特征值的二分图中，非平凡GST是可能的，且特征值结构确保某些投影项在特定时间消失，从而实现GST。