Continuous operations on non-Markovian processes

技术摘要：非马尔可夫过程中的连续操作

问题陈述
连续测量是量子控制与传感的基础，然而，在不指定微观测量模型的情况下，目前缺乏一种适用于任意非马尔可夫过程的模型无关（model-independent）的操作性描述。现有的多时标框架（如过程矩阵或组合/过程张量）成功地编码了离散时间序列中操作可及的多时标相关性。然而，这些框架受限于在离散时间步长进行的瞬时干预，无法表示具有有限持续时间的测量。相反，虽然连续监测在量子光学领域已得到充分发展，但其形式化通常假定噪声是马尔可夫性的，这使得对非马尔可夫系统进行连续监测的问题仍未得到解决。

方法论
作者引入了多时标量子过程形式化的连续时间扩展。该方法通过以下步骤进行：

1. 从离散到连续： 作者从离散时间过程矩阵形式出发，其中系统在经历一个过程（与环境相互作用）和经历一个操作（与测量仪相互作用）之间交替进行。他们将这些过程建模为在有限时间间隔内与辅助系统（环境和测量仪）的酉演化。
2. 哈密顿扩张与路径积分： 通过对这些交替的酉演化进行连续时间极限（Trotter化），作者推导出了一个基于通用含时哈密顿量 $\hat{H}_{TOT} = \hat{H}_{SE} + \hat{H}_{SM}$ 的描述。他们利用相干态路径积分方法来表达演化算符以及测量结果的概率。
3. 泛函定义： 该框架定义了两个核心对象：
   • 过程泛函 ($W[\alpha, \bar{\alpha}]$)： 过程矩阵的推广，用于编码系统及其环境的非马尔可夫动力学。这些泛函是从费曼-弗农（Feynman-Vernon）影响泛函中推导出来的，并经过推广以包含初始系统-环境相关性和闭合未来边界。
   • 操作泛函 ($M_r[\alpha, \bar{\alpha}]$)： 量子测试器（或测量策略）的推广，用于编码连续测量操作。
4. 连续玻恩定则（Continuous Born Rule）： 观测到连续结果记录 $r$ 的概率由如下泛函积分给出：
   $$P_r[r] = \int \mathcal{D}[\alpha, \bar{\alpha}] e^{i \int dt \text{Im}(\dot{\alpha}^*\alpha - \dot{\bar{\alpha}}^*\bar{\alpha})} M_r[\alpha, \bar{\alpha}] W[\alpha, \bar{\alpha}]$$
   该方程清晰地分离了过程与操作，保持了离散情况下的线性与独立性。

主要贡献与结果

• 操作无关性： 该形式化允许经校准的操作在不了解系统-环境相互作用的微观模型的情况下，表征背景非马尔可夫过程。
• 因果律与马尔可夫性的定义： 作者提供了连续时间下因果律与马尔可夫性的自然定义：
  • 因果律： 通过对过程泛函施加约束来定义，确保未来的操作选择不会影响过去的统计特性。这涉及特定的边界条件，即通过对未来路径求积分可得到有效的过去过程。
  • 马尔可夫性： 通过开边界过程泛函的“可分性”（divisibility）来定义。如果过程泛函可以分解为在任意子区间上的有效过程泛函之积，则该过程是马尔可夫的。这被证明等价于过程泛函可以表示为局部函数的积分的指数形式，$W_e[\alpha, \bar{\alpha}] = e^{i \int dt L(\alpha, \bar{\alpha})}$，并受到正定性和因果性的约束。
• 与离散极限的一致性： 证明了该框架在操作间隔为有限时间的瞬时操作极限下，可以还原为标准的离散时间过程矩阵形式。其泛函性质（正定性、因果性、归一化、马尔可夫性）直接映射到其离散对应物。
• 位置空间表示： 作者推导了使该形式化可以纯粹用位置空间表示的条件，即当操作泛函不依赖于动量，或者系统的动量仅耦合到环境或测量仪其中之一（而非两者）时。
• 广义卡尔德拉-莱格特（Caldeira-Leggett）模型的应用： 该形式化被应用于连续位置测量的广义卡尔德拉-莱格特模型。作者推导了连续读数 $r(t)$ 的概率分布，表明其遵循高斯泛函形式。他们证明，在强投影测量（$\tau_m \to 0$）极限下，概率与过程泛函在位置表示下的对角元素成正比。

意义与主张
本文声称提供了第一个连续时间版本的过程矩阵形式化，弥合了信息论方法（过程矩阵）与开放量子系统连续时间方法（费曼-弗农影响泛函）之间的鸿沟。

作者指出，该框架：

• 为非马尔可夫动力学下的连续监测提供了连贯的表示。
• 为连续时间下的因果律与马尔可夫性提供了自然的定义，这对于形式化连续时空中的量子因果结构至关重要。
• 为研究连续时间或时空中的量子因果结构开辟了道路，对相对论量子场论和量子引力情景具有潜在影响。
• 对于连续传感尤为重要，因为在连续传感中，测量必须独立于用于估计参数的动力学进行建模。

这项工作被呈现为一个基础性步骤，作者指出，尽管目前是以路径积分语言表达，但预计可以实现严谨的代数形式化。作者也承认，在本文初稿发布后，另一项关于量子组合（quantum combs）连续极限的独立研究已经出现。