Quantum random walks on d-regular graphs with Haar-random coin operators

技术摘要：基于 Haar 随机硬币算子的 d-正则图上的量子随机游走

问题陈述
本文研究了在 $d$-正则无向连通图上的离散时间量子随机游走（QRW）。标准的 QRW 使用固定的幺正硬币算子（例如 Hadamard 或 Grover）来诱导干涉，从而产生不同于经典随机游走的弹道式扩散（$\sigma^2 \propto t^2$）。开放量子游走通过引入退相干，通常会回归到经典的扩散行为。本研究探讨了一个特定的变体：在这种 QRW 中，硬币算子并非固定不变，而是在每一次迭代中都从 $U(d)$ 幺正群中根据 Haar 测度独立抽取。核心问题在于这种“Haar 随机”硬币如何影响动力学过程：即这种平均通道是否会导致完全去极化（抹除所有初始状态信息），或者是否存在特定的结构使得尽管存在退相干，初始状态信息仍能得以保留。

方法论
作者在分层希尔伯特空间 $\mathbb{C}^d \otimes \mathbb{C}^N$ 上构建了该游走，其中 $d$ 代表硬币空间（图的度数），$N$ 代表顶点空间。

1. 模型定义： 游走通过迭代幺正算子 $\hat{U} = \Lambda_S (\hat{C} \otimes \hat{I}_N)$ 来定义，其中 $\Lambda_S$ 是由图的边标记函数 $w(j, v)$ 决定的受控移位算子，而 $\hat{C}$ 是硬币算子。
2. Haar 随机硬币： 硬币算子 $\hat{V}$ 并非固定，而是每一步 $t$ 都从 $U(d)$ 的 Haar 测度 $\mu_H$ 中独立选取。
3. 平均通道： 为了分析该系统，作者计算了硬币算子分布下的量子通道期望值。利用性质：对于任何算子 $O$，有 $E_{U \in \mu_H}[U O U^\dagger] = \frac{\text{tr}(O)}{d} \hat{I}_d$，他们推导出了“平均量子通道” $\bar{E}_{SV}$。该通道通过对硬币子空间进行去极化处理，同时对顶点子空间应用概率性移位来作用于密度算子 $\rho$。
4. 谱分析： 作者分析了平均通道超算符的谱，特别是寻找不动点（特征值为 1）和周期-2 轨道（特征值为 -1）。他们针对特定情况（循环图、超立方体以及有限阿贝尔群的通用 Cayley 图）进行了检查。
5. 方差估计： 作者通过估计此类游走系综的顶点位置测量方差，以确定其扩散行为。

主要贡献与结果

• 去极化 vs. 信息保留： 平均通道 $\bar{E}_{SV}$ 在硬币子空间上表现为去极化通道，有效地破坏了硬币空间内的相干性。因此，系综的顶点位置分布类似于使用公平硬币（或平衡的 $d$ 面骰子）的经典随机游走，表现出扩散式扩散，其方差随时间线性增长（$\sigma^2 \propto t$）。
• 非遍历性： 一个主要发现是该平均通道是非遍历的。与典型的退相干通道（通常收敛到唯一的极大混合态）不同，该通道在密度算子空间中拥有多个不动点。线性无关的不动点数量等于顶点的数量 $N$（或 Cayley 图中群的阶）。
• 初始状态信息的持久性： 尽管硬币子空间被去极化，但论文证明了即使经过多次迭代，通过顶点子空间的测量仍能获取关于初始量子状态的信息。
  • 循环图与超立方体图： 对于这些特定图（阿贝尔群的 Cayley 图），作者表明如果初始状态是特定傅里叶基态的叠加（例如循环图中的 $|k\rangle_F$ 和 $|k + N/2\rangle_F$，或超立方体中的 $|\tilde{0}\rangle_F$ 和 $|\tilde{1}\rangle_F$），密度矩阵中的非对角项将会持续存在。
  • 特征值 -1： 如果通道具有特征值为 $-1$ 的特征向量，信息就会持续存在。对于 Cayley 图，这仅在所有非单位元群元素均为偶数阶时发生。在这种情况下，非对角项会发生振荡（周期-2 轨道），而不是衰减，从而可以通过顶点测量恢复初始叠加的角度。
  • 相关性测量： 在特征值绝对值严格小于 1 的情况下（不存在周期-2 轨道），作者认为虽然顶点位置分布趋于均匀，但通过测量顶点对之间的相关性仍然可以揭示初始叠加角 $\theta$。这是因为该通道是在傅里叶基下进行退相干，而非在顶点基下。
• 方差行为： 论文计算出，对于初始局域化的状态，Haar 随机游走的顶点位置测量方差随迭代次数线性增加（$\sigma^2 \sim t$），证实了系综呈现出经典的扩散行为，这与相干 QRW 的弹道式扩散截然不同。

意义与主张
论文声称，该模型是一个特定的例子，展示了在一个双分量强相互作用系统中，一个子系统（硬币）受到类似高热库环境的强扰动，而另一个子系统（行进者/顶点）中的初始状态信息仍可能被永久测量。

作者明确指出，由于 Haar 随机硬币引入的退相干，这些游走对于量子搜索算法并无用处，因为这类算法依赖于相干态的弹道式扩散。相反，这项工作的意义在于：

1. 为理解具有强扰动子系统的量子系统提供理论框架。
2. 说明通过对特定分布进行平均，可以从幺正量子过程产生经典随机游走行为（扩散）。
3. 证明如果全局通道是非遍历的且具有特定的谱性质（特征值为 -1 或特定的退相干结构），那么特定子空间的“退相干”并不一定意味着初始状态信息的完全丢失。

这项工作是通过解析工具（平均通道、阿贝尔群上的傅里叶分析）和数值说明进行的理论探索，并未提出新的实验硬件或除了模拟噪声量子系统之外的直接实际应用。