Recurrence in discrete-time quantum stochastic walks

技术摘要：离散时间量子随机游走中的复现性

问题陈述
本文研究了在一条直线上的离散时间量子随机游走（DTQSW）中，复现性（即游走者回到起始位置的概率）这一现象。在经典一维随机游走（RW）中，过程是复现的（以确定性方式返回）；而在幺正量子游走（QW）中，由于破坏性干涉，过程可能是瞬时的（返回概率小于 1）。作者探索了一种介于幺正 QW 和经典平衡 RW 之间的 DTQSW 模型。一个核心问题是：向量子演化中引入经典随机性（随机性）是否总是会增强复现性，或者是否会出人意料地抑制复现性。本研究专门解决了准确确定渐近复现概率的挑战，因为由于密度矩阵演化带来的收敛缓慢和内存限制，通过直接数值模拟来估计该概率是非常困难的。

方法论
作者将 DTQSW 模型化为一个受完全正保迹（CPTP）映射控制的开放量子系统。其演化由三个 Kraus 算符定义：

1. $\hat{E}_0 = \sqrt{1-p}\,\hat{U}$：代表概率为 $1-p$ 的幺正量子游走步。
2. $\hat{E}_{1,2} = \sqrt{p/2}\,\hat{I}_c \otimes \hat{T}^{(\dagger)}$：代表总概率为 $p$ 的非相干经典步（左/右移位）。

为了分析复现性，作者采用了“监测复现”（monitored recurrence）方法，即在每一步都在原点处进行局部投影测量。如果发现游走者位于原点，则过程停止；否则，原点处的振幅被消除，演化继续进行。

为了克服直接模拟的局限性（直接模拟需要对密度矩阵迭代 CPTP 映射，这会导致二次方内存缩放和收敛缓慢），作者利用了首次返回生成函数（FR-functions）理论。他们通过在动量空间进行傅里叶变换推导出了系统的 Stieltjes 函数。通过在 $z$ 接近 1 的值（具体为 $z=0.99999$）处评估缩减后的 FR 函数 $F(z)$，他们能够以比直接迭代高得多的精度和有效步数（$t_{eff} \approx 10^5$）来近似渐近复现概率 $R$。

研究还将其模型与另一种 DTQSW 进行了对比，后者中的经典成分是相关随机游走（CRW），即在步进前后测量硬币状态，从而诱导退相干。

主要贡献与结果

1. 复现概率的抑制：
   主要发现是：在幺正 QW 中引入经典随机性（$p > 0$）可以降低复现概率，尽管纯经典极限（$p=1$）是复现的。

• 对于硬币角度 $\theta$ 在 $(\theta^*, \pi/2)$ 范围内的情形（其中 $\theta^* \approx 0.2892\pi$），复现概率 $R(p)$ 是非单调的。随着 $p$ 从 0 开始增加，它最初会下降形成一个“凹陷”，然后最终在 $p \to 1$ 时上升到 1。
• 这种行为被确定为渐近极限下的鲁棒特征，而非有限模拟时间的瞬态效应。

2. 干涉与退相干的作用：
   复现性的抑制归因于量子干涉与经典随机性之间的相互作用。在凹陷区域，添加经典步破坏了幺正游走中特定的干涉模式，从而降低了返回的可能性，尽管经典游走本身是复现的。

• 相比之下，对于另一种在 QW 与相关随机游走（通过测量硬币状态导致退相干）之间插值的模型，复现概率是一个阶跃函数：对于任何 $p > 0$，都有 $R(p) = 1$。作者得出结论，任何程度的硬币状态退相干都会强制实现经典复现行为。

3. 数值框架：
   论文提供了一个使用生成函数来评估开放量子系统中复现性的稳健数值框架。该方法允许研究通过标准时间演化模拟无法触及的渐近特性，证明了所观察到的抑制是一种真实的渐近特征。

意义
本文声称，这些结果挑战了直觉，即认为向量子系统添加经典噪声仅仅是单调地连接了量子与经典行为。相反，它表明特定的量子-经典相互作用机制可以产生不同于纯量子和纯经典极限的性能特征（在此案例中为降低复现性）。

作者认为，这种行为意味着对于涉及离散时间量子游走和局部测量的任务（例如量子算法中的子程序），引入经典随机性可能是有益的，因为它可以通过潜在地抑制不希望发生的返回或改变传输特性来实现。这项工作强调，引入随机性的具体机制（例如非相干移位与硬币退相干）对于决定游走的复现特性至关重要。

该研究对实验实现的讨论较为保守，指出虽然光子实现和具有中途读出功能的超导量子比特提供了潜在路径，但当前 NISQ 器件的噪声水平对于展示这些效应所需的足够多步数仍构成了显著挑战。