[论文解读] A Complete Characterization of Pretty Good State Transfer on Paths

Christopher M. van Bommel|arXiv (Cornell University)|Dec 16, 2016

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

一句话总结

本文在XY-哈密顿量框架下，对作为路径的量子自旋链中的良好态转移（PGST）提供了完整的特征刻画。证明了在顶点 $a$ 和 $b$ 之间发生PGST当且仅当 $a + b = n+1$，且满足 $n = 2^t - 1$ 或 $n = 2^t p - 1$（其中 $p$ 为奇素数，且 $a$ 是 $2^{t-1}$ 的倍数），从而解决了关于路径中内点间PGST的开放性问题。

ABSTRACT

We give a complete characterization of pretty good state transfer on paths between any pair of vertices with respect to the quantum walk model determined by the XY-Hamiltonian. If $n$ is the length of the path, and the vertices are indexed by the positive integers from 1 to $n$, with adjacent vertices having consecutive indices, then the necessary and sufficient conditions for pretty good state transfer between vertices $a$ and $b$ are that (a) $a + b = n + 1$, (b) $n + 1$ has at most one odd non-trivial divisor, and (c) if $n = 2^t r - 1$, for $r$ odd and $r eq 1$, then $a$ is a multiple of $2^{t - 1}$.

研究动机与目标

• 为解决在作为路径建模的量子自旋链中，内点之间良好态转移（PGST）的开放性问题。
• 在XY-哈密顿量模型下，确定路径 $P_n$ 中任意一对顶点之间PGST的必要且充分条件。
• 将先前关于端点之间PGST的结果推广至一般顶点对，特别是识别出在非端点之间发生PGST的条件。
• 证明仅当 $n = 2^t p - 1$ 且 $a$ 是 $2^{t-1}$ 的倍数时，路径家族才在内点之间实现PGST（但不在端点之间实现）。

提出的方法

• 利用谱图论和路径图邻接矩阵的特征值分解，分析跃迁振幅 $|\braket{a|e^{itA}|b}|^2$。
• 应用关于 $n+1$ 的数论条件，通过单位圆上的稠密性论证，判断特征值与特征向量是否支持PGST。
• 运用三角恒等式，特别是 $\cos\alpha + \cos\beta = 2\cos\frac{\alpha+\beta}{2}\cos\frac{\alpha-\beta}{2}$，分析跃迁振幅中的周期性与相消现象。
• 使用引理5证明：当 $n+1 = km$ 且 $m$ 为奇数时，某些余弦和为零，从而在必要性证明中构造矛盾。
• 应用引理3表明：若特定特征值之和为零，则PGST不可能发生，用于排除 $n+1$ 含多个奇素因子的情况。
• 结合对称性条件（$a + b = n+1$）与对 $a$ 和 $n$ 的数论约束，推导出必要且充分条件。

实验结果

研究问题

• RQ1 在路径 $P_n$ 上，任意两个顶点 $a$ 和 $b$ 之间在何种条件下发生良好态转移？
• RQ2 PGST是否可能在路径的内点（非端点）之间发生？若能，其结构与数论条件为何？
• RQ3 家族 $P_{2^t p - 1}$ 且 $a$ 是 $2^{t-1}$ 的倍数，是否为唯一在内点之间实现PGST但不在端点之间实现的路径类？
• RQ4 对称性条件 $a + b = n + 1$ 在路径上实现PGST中起何作用？
• RQ5 为何 $n+1$ 至多有一个非平凡奇因子的条件对PGST是必要的？

主要发现

• 在路径 $P_n$ 上，顶点 $a$ 与 $b$ 之间发生良好态转移当且仅当 $a + b = n + 1$。
• 当 $n = 2^t - 1$ 时，任意对称顶点 $a$ 与 $n+1-a$ 之间均发生PGST，包括端点。
• 当 $n = 2^t p - 1$（$p$ 为奇素数）时，对称顶点 $a$ 与 $n+1-a$ 之间发生PGST当且仅当 $a$ 是 $2^{t-1}$ 的倍数。
• 若 $n+1$ 含有两个以上奇素因子，则任意顶点对之间（包括对称对）均不发生PGST。
• 当 $n = 2^t p - 1$ 时，$a$ 为 $2^{t-1}$ 的倍数是必要条件；否则因特征值相消导致PGST失败。
• 该特征刻画是完整的：不存在其他路径家族在非端点之间实现PGST；而仅在 $n = 2^t - 1$、$n = p - 1$ 或 $n = 2p - 1$（$p$ 为素数）时，端点之间才发生PGST。