技术摘要：无序量子轨迹的极限定理

问题陈述

本文研究了在无序环境下，有限维系统离散时间量子轨迹的长期行为。与应用重复单一量子算符的标准齐次模型不同，本研究考虑的情境是：每一步应用的算符由随机环境的实现所决定。具体而言，该环境被建模为一个可逆且保测度的动力系统 $(\Omega, \mathcal{F}, \text{pr}, \theta)$，且第 $n$ 步的算符由 $\theta^{n-1}\omega$ 索引。

研究涵盖了完美测量（后验态更新由单个 Kraus 算符实现）和不完美测量（涉及包含未观测选项的一般完全正映射）两种情况。主要焦点是在“淬火”（quenched，即给定固定无序实现）概率律和“退火”（annealed，即对无序进行平均）概率律下，建立后验态过程及其相关测量记录的极限定理。

研究方法

作者采用了一套严谨的概率论与算子理论框架：

1. 可测密度实现： 本文证明了任何可测族量子算符都可以由相对于可测控制核 $\omega \mapsto \nu_\omega$ 的联合可测密度 $(\omega, x) \mapsto T_{x;\omega}$ 来表示。这使得对选择性状态更新 $\rho \mapsto T_{x;\omega} \cdot \rho$ 进行路径定义成为可能。
2. 淬火律与退火律：
   • 淬火律 $Q_{\vartheta;\omega}$ 是针对固定的无序实现 $\omega$ 和初始态 $\vartheta(\omega)$，在测量结果空间 $\Xi^{\mathbb{N}}$ 上构建的。后验态过程被证明是一个非齐次马尔可夫链，其转移核为 $K_{\omega}, K_{\theta\omega}, \dots$。
   • 退火律 对环境和测量结果进行平均。作者引入了一种将算符过程编码进移位空间（shift space）的标准方法，以分析联合算符-后验态过程的混合性质。
3. Doeblin 微小化条件： 核心技术假设（假设 2）是一个一致的淬火 Doeblin 条件。它假定存在一个整数 $L \ge 1$，一个常数 $\varepsilon \in (0,1)$ 以及一个可测族概率测度 $\lambda_\omega$，使得 $L$ 步后验核满足：
   $$K^{(L)}_\omega(\rho, B) \ge \varepsilon \lambda_{\theta^L\omega}(B)$$
   对于所有态 $\rho$ 和可测集 $B$ 均成立。该条件确保了后验态向随机不变族族的几何收敛。
4. 谱与混合技术： 证明过程利用了在可测概率族空间上作为收缩映射的 Banach 不动点定理。对于涨落结果，作者应用了针对非平稳随机环境调整后的谱扰动理论（Nevanlinna/解析族）和鞅逼近技术。

主要贡献与结果

1. 等变后验律的存在性与唯一性

在 Doeblin 条件下，本文证明了存在唯一的（在几乎处处相等意义下）等变随机后验律族 $\omega \mapsto \mu_\omega$。该族满足 $(K_\omega)_* \mu_\omega = \mu_{\theta\omega}$。

• 重心： 该族的重心 $\rho_{ss}(\omega) = \int \eta \, \mu_\omega(d\eta)$ 被确定为与相关非选择性信道共轭映射 $\Phi^{(n)}_\omega$ 相关的唯一动力学平稳态。
• 收敛性： 后验态以几何速率 $(1-\varepsilon)^{\lfloor n/L \rfloor}$ 在全变差距离下一致收敛于该等变族，且与初始态无关。

2. 路径遍历定理

假设环境是遍历的，作者证明了一个路径遍历定理：对于几乎所有的无序实现 $\omega$，后验态的时间平均在淬火律下几乎处处收敛于唯一动力学平稳态的无序平均值：
$$\lim_{N \to \infty} \frac{1}{N} \sum_{n=1}^N \rho_{n} = \bar{\rho}_{ss} := \int_\Omega \rho_{ss}(\eta) \, \text{pr}(d\eta).$$
这对于每一个可测初始态均成立。

3. 涨落定理（CLT 与 Berry–Esseen）

对于由环境和后验态的可测有界函数生成的加法泛函，本文确立了：

• 淬火方差渐近性： 归一化方差收敛至一个确定常数 $\Sigma^2$。
• 淬火中心极限定理 (CLT)： 若 $\Sigma > 0$，则归一化和在淬火律下依分布收敛至标准正态变量。
• Berry–Esseen 界限： 本文提供了收敛速率的定量界限。
  • 在基础 Doeblin 条件下，其界限为 $O(N^{-1/2})$，并使用随机归一化（使用实现的方差）。
  • 在引入额外的关于算符过程的 $\phi$-混合假设（假设 3）后，作者推导出了具有确定性归一化 $\Sigma\sqrt{N}$ 的界限，其速率为 $O(N^{-1/2}(\log N)^{3/2})$。

4. 退火机制中的继承混合性

论文表明，平稳的退火联合算符-后验态过程继承了底层算符过程的 $\alpha$-混合性质。具体而言，退火混合系数 $\alpha_\kappa(m)$ 被一个指数衰减项加上算符过程在滞后 $\lfloor m/3 \rfloor$ 处的混合系数所控制。这使得可以将极限定理应用于非常规求和及其他复杂泛函。

5. 具体实例

作者提供了一类满足上述 Doeblin 条件的具体实例，包括：

• 基矢转移动力学： 测量驱动系统趋向于基矢态的模型。
• 共同后验准则： 不同结果序列导致相同后验态的情景（例如，重置信道、预报制备）。
• 已解析跳跃算符： 涉及量子跳跃和无跳跃输出的模型。
• 同步信道词： 驱动系统无论初始条件如何都趋向于固定态的确定性或随机性信道序列。
• 周期性再生： 通过在完整周期内发生重置来确保 Doeblin 条件成立的模型。

意义与主张

本文声称为分析无序环境下的量子轨迹提供了一个统一的框架，扩展了以往主要局限于齐次或完美测量设置的研究结果。

• 普适性： 结果适用于完美和不完美测量，并容纳一般的标准 Borel 输出空间（离散或连续）。
• 鲁棒性： 极限定理对每一个可测初始态以及几乎所有无序实现均成立，确立了渐近行为相对于初始条件和特定无序实现的稳定性。
• 定量精确性： 通过建立显式的 Berry–Esseen 界限和方差渐近性，这项工作超越了定性的遍历性，提供了定量的收敛速率和涨落尺度。
• 混合继承： 关于继承退火混合性的结果将量子轨迹的统计性质直接与驱动环境的混合性质联系起来，便于分析复杂的统计泛函。

作者强调，其工作涵盖了纯化（收敛至纯态）并不发生的场景，例如在不完美测量或替换信道中，其方法是通过关注后验分布向随机平稳测度而非单一确定态的收敛来实现的。本文并非提出新的实验装置，而是为分析现有的及未来的无序量子测量模型提供数学基础。