2025-11-19T18:16:14.210450

Continuous-Time Quantum State Transfer with a Generalized Laplacian

Shi

Quantum walks generated by the adjacency matrix or the Laplacian are known to exhibit low transfer fidelity on general graphs. In this paper, we study continuous-time quantum walks governed by the generalized Laplacian operator L_k = A+kD, where A is the adjacency matrix, D is the degree matrix, and k is a real-valued parameter. Recent work of Duda, McLaughlin, and Wong showed that in the single-excitation Heisenberg (XYZ) spin model, one can realize walks generated by this family of operators on signed weighted graphs. Motivated by earlier studies on vertex-weighted graphs, we demonstrate that for certain graphs, tuning the parameter k can significantly enhance the fidelity of state transfer between endpoints.

academic

Continuous-Time Quantum State Transfer with a Generalized Laplacian

基本信息

论文ID: 2509.05454
标题: Continuous-Time Quantum State Transfer with a Generalized Laplacian
作者: Yujia Shi (Department of Physics, Creighton University)
分类: quant-ph math.CO
发表时间: October 13, 2025 (arXiv预印本)
论文链接: https://arxiv.org/abs/2509.05454

摘要

传统的基于邻接矩阵或拉普拉斯矩阵的量子游走在一般图上表现出较低的传输保真度。本文研究由广义拉普拉斯算子 $L_k = A + kD$ 控制的连续时间量子游走，其中 $A$ 是邻接矩阵， $D$ 是度矩阵， $k$ 是实值参数。基于 Duda、McLaughlin 和 Wong 在单激发海森堡(XYZ)自旋模型中的工作，作者证明了通过调节参数 $k$ 可以显著增强特定图上端点间的状态传输保真度。

研究背景与动机

核心问题：传统量子状态传输方法（基于邻接矩阵或拉普拉斯矩阵）在一般图结构上存在传输保真度低的问题，特别是在路径图的端点之间。
问题重要性：量子状态传输是量子通信的重要模型，高保真度的状态传输对于量子信息处理和量子通信网络至关重要。
现有方法局限性：
- 标准的邻接矩阵和拉普拉斯矩阵哈密顿量在长路径上导致端点间传输保真度很差
- 完美状态传输(PST)需要严格的条件，在实际应用中很难实现
研究动机：受到顶点加权图研究的启发，探索广义拉普拉斯算子家族是否能够通过参数调节来改善状态传输性能。

核心贡献

理论框架扩展：将广义拉普拉斯算子 $L_k = A + kD$ 引入量子状态传输研究，建立了参数 $k$ 与传输概率的显式关系。
高保真度传输条件：证明了通过适当调节参数 $k$ ，可以在某些图类上实现任意接近1的传输保真度。
实用性增强：将之前关于顶点加权图的结果扩展到所有实数值 $k$ ，提供了更灵活的参数选择。
具体应用示例：在完全二分图 $K_{2,n-2}$ 和路径图 $P_n$ 上验证了方法的有效性。

方法详解

任务定义

研究在图 $G = (V,E)$ 上的连续时间量子游走，系统的希尔伯特空间为 $\mathbb{C}^n$ ，演化遵循薛定谔方程： $i\frac{d}{dt}\psi(t) = H\psi(t)$

其中哈密顿量 $H = -(A + kD)$ ，目标是找到参数 $k$ 使得从顶点 $u$ 到顶点 $v$ 的传输概率最大化。

模型架构

1. 广义拉普拉斯算子 $L_k = A + kD$ 其中：

$A$ ：图的邻接矩阵
$D$ ：度矩阵， $D_{ii} = \deg(v_i)$
$k$ ：实值参数

2. 时间演化算子 $U(t) = e^{-iL_k t}$

3. 传输概率 从顶点 $u$ 到顶点 $v$ 在时间 $t$ 的传输概率为： $P_{u \to v}(t) = |U(t)_{u,v}|^2 = \left|\sum_{j=1}^n e^{i\lambda_j t}\psi_j(u)\psi_j(v)\right|^2$

技术创新点

1. 等价性转换（引理3.3）对于具有特殊度结构的图，广义拉普拉斯 $L_k$ 等价于： $A + Q(E_u + E_v)$ 其中 $Q = k(d_1 - d_2)$ ， $E_x$ 是投影矩阵。

2. 高保真度条件 基于共谱性理论，当两个顶点满足 $\text{co}(u,v) = \infty$ 时，存在特征向量对近似为 $(e_u \pm e_v)/\sqrt{2}$ 的形式。

3. 参数界限 对于给定的误差容忍度 $\varepsilon$ ，需要满足： $|k| > 16 \frac{1}{\varepsilon^{1/\min(2,c-d+1)}} m^{1+\max(1/2, d/(c-d+1))}$

实验设置

测试图类

完全二分图 $K_{2,n-2}$ ( $n \geq 5$ )
路径图 $P_n$
具有对合的一般图

评价指标

峰值保真度： $F(Q) := \sup_{t>0} |U(t)_{u,v}|$
传输概率： $P_{u \to v}(t) = |U(t)_{u,v}|^2$

对比方法

邻接矩阵模型： $H = -A$
拉普拉斯模型： $H = -(A - D)$
无符号拉普拉斯模型
广义拉普拉斯模型： $H = -L_k$

实验结果

主要结果

定理3.1的应用：

对于 $K_{2,n-2}$ ( $n \geq 5$ )：当 $|k| > 16\frac{(n-2)^{3/2}}{\sqrt{\varepsilon}(n-4)}$ 时，端点传输保真度至少为 $1-\varepsilon$
对于路径 $P_n$ ：当 $|k| > \frac{32\sqrt{2}}{\sqrt{\varepsilon}}$ 时，端点传输保真度至少为 $1-\varepsilon$