Exact Hilbert-space ergodicity from continuous monitoring

技术摘要：通过连续监测实现精确的希尔伯特空间遍历性

问题陈述
量子多体系统通常被预期会向平衡态演化，这一过程通常由希尔伯特空间遍历性（Hilbert-space ergodicity）的概念来解释。该原理认为，纯态演化会在物理约束允许的范围内，在希尔伯特空间中进行均匀探索。在不存在约束的情况下，这可以由生成 Haar 随机系综来严格定义。然而，许多物理系统由于存在约束（例如守恒荷或对称性），无法实现完全的 Haar 随机性，但仍表现出混沌和散射行为。最近的理论进展表明，“Scrooge 系综”（即由目标密度矩阵 $\sigma$ 变形的 Haar 随机系综）为这类受约束系统提供了正确的普适描述。Scrooge 系综在所有具有固定平均密度矩阵 $\sigma$ 的系综中，使可获取的信息量最小化。虽然定态哈密顿动力学和投影系综的遍历性已与 Scrooge 系综建立了联系，但仍缺乏一种严谨的机制来设计出精确的 Scrooge 系综，使其成为量子轨迹（quantum trajectories）唯一的后期平衡态。

方法论
作者提出了一种通过对量子多体系统进行连续监测来生成 Scrooge 系综的方案。该方案包括：

1. 连续弱测量： 系统受到一系列弱测量的作用，这些测量是通过耦合到初始化为 $|0\rangle$ 的辅助系统并在 $x$ 基矢下进行测量来实现的。这一过程由由维纳过程（Wiener processes）驱动的随机薛定谔方程（SSE）描述。
2. 算符设计： 监测所控制的跳跃算符 $c_\alpha$ 构建为 $c_\alpha = \sqrt{\kappa D p_\alpha} \sqrt{\sigma} U_\alpha$，其中 $\sigma$ 是目标密度矩阵，$\{p_\alpha, U_\alpha\}$ 是一个酉系综。
3. 对酉算符的条件： 要求酉系综 $\{U_\alpha\}$ 满足两个条件：
   • 酉 1-设计（Unitary 1-design）： 对于任何算符 $Q$，满足 $\sum_\alpha p_\alpha U_\alpha Q U_\alpha^\dagger = \frac{\text{Tr}[Q]}{D} I$。
   • 相位中性（Phase Neutrality）： $\sum_\alpha p_\alpha U_\alpha \otimes U_\alpha = 0$。
     作者指出，这些条件显著弱于要求跳跃算符构成完整的酉 $t$-设计或为 Haar 随机的要求。

核心贡献与理论结果
本文提供了一个严格证明，证明在所提议的监测方案下，量子轨迹的系综精确收敛于与 $\sigma$ 相关的 Scrooge 系综。证明过程分为两个主要阶段：

1. 映射到经典随机动力学：
   作者利用 $\sigma$ 的本征基底对纯态 $|\psi\rangle$ 进行参数化，使用振幅变量 $y_i = |\psi_i|^2$ 和相对相位变量 $\phi_i$。他们推导出了控制这些经典变量概率分布 $p(y, \phi, t)$ 的福克-普朗克方程（Fokker-Planck equation）。

   • 振幅的漂移矢量显示为 $v_i^{(a)} = \kappa(\lambda_i - y_i)$，驱动系统趋向于 $\sigma$ 的特征值。
   • 振幅和相位的扩散矩阵也得到了显式推导，其依赖于酉 1-设计和相位中性条件来简化噪声相关性。
   • 至关重要的是，由于对称性约束，振幅与相位之间的混合扩散项消失了。

2. 平稳性与唯一性：

   • 平稳性： 作者验证了 Scrooge 概率分布 $p_{sc}(y, \phi) \propto H(y)^{-(D+1)}$（其中 $H(y) = \sum y_k/\lambda_k$）是所得福克-普朗克方程的一个平稳解。这是通过证明概率流在每一点处均为零来实现的。
   • 唯一性： 利用 Doob 定理，作者证明了平稳态的唯一性。他们证明了扩散矩阵在射影希尔伯特空间（$\mathbb{C}P^{D-1}$）上是一致正定的（一致椭圆的）。这确保了扩散过程能够连接所有状态，防止系统陷入非遍历子空间，从而保证了从任何初始态都能收敛到唯一的 Scrooge 系综。

数值结果
作者使用量子比特系统（$N=2, 4$）对理论预测进行了数值验证，其目标密度矩阵对应于量子伊辛模型（全秩及对称投影形式）的热态。

• 收敛性： 模拟显示，轨迹系综矩与目标 Scrooge 矩之间的距离迅速衰减至零。
• 弛豫速率： $n=1, 2, 3$ 阶矩的距离衰减遵循以 $\kappa$ 为速率的指数衰减，这与来自 Lindblad 主方程的一阶矩的弛豫速率一致。这表明所有阶矩的弛豫都受控于福克-普朗克算符的同一个主特征模。
• 实验基准测试： 为了解决全态层析成像（其规模随指数增长）带来的实验挑战，作者提出了使用量子-经典互相关器（$C^{QC}_2$）。数值结果表明，该相关器与 Scrooge 预测值的偏差呈指数级衰减，这为观察 Scrooge 系综的涌现提供了一种实验上可及的诊断方法。

意义与主张
本文声称建立了一种通过连续测量实现任意给定密度矩阵下精确希尔伯特空间遍历性的严谨机制。

• 弱条件： 一个主要主张是，生成最大随机系综（Scrooge）并不需要最大随机的跳跃算符。相反，更弱条件的变形酉 1-设计便已足够。
• 工程化随机性： 结果表明，可以通过测量设计系统地设计量子态的高阶统计特性。
• 实际用途： 该工作为在量子设备上研究受约束的随机态系综提供了切实可行的路径。通过制备精确的 Scrooge 系综，作者认为这可以作为研究信息隐藏、状态不可区分性以及复杂量子态普适统计属性的资源。
• 普适性： 该机制具有广泛的适用性，因为它不依赖于系统哈密顿量的特定微观细节，仅取决于监测算符的设计。

作者对未来的方向保持谦逊，指出虽然观察到的弛豫速率 $\kappa$ 在不同阶数之间是一致的，但这是否反映了福克-普朗克算符更深层的谱性质，仍是一个开放的理论问题。他们还建议将该方法扩展到具有额外守恒量的系综，作为未来的研究方向。