[论文解读] Randomization in C*-algebras and the stability of quantum filters

Ramon van Handel|arXiv (Cornell University)|Sep 14, 2007

Advanced Operator Algebra Research参考文献 6被引用 1

一句话总结

本文建立了C*-代数中状态的绝对连续性与状态空间上绝对连续概率测度之间的联系，使经典贝叶斯公式能够应用于分析量子马尔可夫滤波器。本文推导了这些滤波器渐近稳定性的充分条件，并在有限维情形下提供了显式可计算的可观察性准则。

ABSTRACT

Abstract. The states ρi, i = 1, 2 in the state space S of a C ∗-algebra A are absolutely continuous if and only if there exist absolutely continuous probability measures µi on S such that ρi is the barycenter of µi. This technique allows one to study the transformation of conditional expectations under an absolutely continuous change of state using the classical Bayes formula, which can be exploited to obtain sufficient conditions for the asymptotic stability of quantum Markov filters. In the case that A is finite dimensional, explicitly computable observability criteria are obtained. 1.

研究动机与目标

• 建立C*-代数中状态的绝对连续性与状态空间上绝对连续概率测度之间的对应关系。
• 将经典贝叶斯公式应用于量子系统中状态变化下的条件期望。
• 推导量子马尔可夫滤波器渐近稳定性的充分条件。
• 在有限维情形下提供显式可计算的可观察性准则。

提出的方法

• 利用状态 ρi 在状态空间 S 上的概率测度 µi 的重心表示形式，将其表示为积分形式。
• 通过 S 上存在绝对连续测度 µi 的方式表征状态的绝对连续性。
• 应用经典贝叶斯公式，以变换状态变化下的条件期望。
• 将量子滤波器的稳定性分析简化为测度 µi 的测度论性质。
• 利用代数 A 的有限维性，推导出显式的可观察性条件。
• 通过测度论工具，将量子滤波器稳定性与经典概率更新联系起来。

实验结果

研究问题

• RQ1 在何种条件下，量子系统中状态变化下条件期望的变换由经典贝叶斯公式控制？
• RQ2 在C*-代数框架下，量子马尔可夫滤波器渐近稳定性的充分条件是什么？
• RQ3 在有限维C*-代数中，如何使可观察性准则显式可计算？
• RQ4 状态的绝对连续性与关联于状态空间上的概率测度的绝对连续性之间的确切关系是什么？

主要发现

• C*-代数 A 中状态 ρ1 和 ρ2 的绝对连续性，等价于存在状态空间 S 上的绝对连续概率测度 µ1 和 µ2，使得 ρi 是 µi 的重心。
• 通过测度 µi，可以利用经典贝叶斯公式分析状态变化下条件期望的变换。
• 利用此测度论框架，推导出量子马尔可夫滤波器渐近稳定性的充分条件。
• 在有限维情形下，获得了显式可计算的可观察性准则。
• 该框架实现了量子滤波稳定性与经典贝叶斯更新之间的系统性联系。
• 研究结果通过概率论与测度论工具，为分析量子滤波稳定性提供了严格的理论基础。