[论文解读] Quantum Probability Theory and the Foundations of Quantum Mechanics

Jürg Fröhlich, Baptiste Schubnel|arXiv (Cornell University)|Oct 5, 2013

Quantum Mechanics and Applications被引用 6

一句话总结

本文运用量子概率论与算子代数技术——特别是汤米-竹崎模理论——重新审视量子力学的基础问题。通过聚焦冯·诺伊曼代数中的信息丢失、纠缠与条件期望，提供了一个数学上严谨的框架，用于定义经验性质与测量，表明通过模自同构不变性与条件期望，态的中心化子与中心编码了可观测量。

ABSTRACT

We attempt to contribute some novel points of view to the "foundations of quantum mechanics", using mathematical tools from "quantum probability theory" (such as the theory of operator algebras). We first introduce an abstract algebraic framework for the formulation of mathematical models of physical systems that is general enough to encompass classical and quantum mechanical models. After a short discussion on the properties of classical systems (realism and determinism), we move on to the study of a general class of quantum-mechanical models of physical systems and explain what some of the key problems in a quantum theory of observations and measurements are. In the last part of our essay, we attempt to elucidate the roles played by entanglement between a system and its environment and of information loss in understanding "decoherence" and "dephasing", which are key mechanisms in a quantum theory of measurements and experiments. We also discuss the problem of "time in quantum mechanics" and sketch an answer to the question when an experiment can be considered to have been completed successfully.

研究动机与目标

• 使用量子概率论与算子代数重新构建量子力学基础，超越解释性争论。
• 通过将经验性质建立在条件期望与模自同构等数学结构之上，解决量子基础中的概念危机。
• 通过信息丢失与态分离的视角，阐明量子力学中测量与观测的本质。
• 证明在忠实态下，冯·诺伊曼代数的中心化子与中心通过模不变性对应于可观测、稳定的可观测量。
• 为非破坏性测量与量子系统中经验性质的动力学提供严谨的数学框架。

提出的方法

• 使用 $C^*$-代数与冯·诺伊曼代数建模物理系统，其中态表示为这些代数上的正线性泛函。
• 应用汤米-竹崎模理论，定义模自同构群 $\alpha_\sigma(a) = \Delta_\omega^{i\sigma} a \Delta_\omega^{-i\sigma}$，将时间演化与态结构联系起来。
• 引入条件期望 $\epsilon^\omega$ 与 $\dot{\epsilon}^\omega$，作为从代数到态的中心化子与中心的投影，确保 $\omega(a) = \omega(\epsilon^\omega(a))$。
• 通过条件期望 $\dot{\epsilon}^\omega(a) = a^\omega$ 定义经验性质，该投影将算子投影到中心化子的中心，代表可观测量。
• 利用 KMS 条件与模算子 $\Delta_\omega$ 的谱性质，刻画分离态与正规态，确保数学一致性。
• 应用竹崎定理证明：子代数 $\mathcal{N} \subset \mathcal{M}$ 在模群下不变当且仅当存在一个范数为 1 的、$\sigma$-弱连续的条件期望 $\epsilon: \mathcal{M} \to \mathcal{N}$，使得对所有 $a \in \mathcal{M}$ 有 $\omega(a) = \omega(\epsilon(a))$，从而将代数结构与物理可观测性联系起来。

实验结果

研究问题

• RQ1 如何利用条件期望等代数结构，严谨地定义量子力学中的经验性质？
• RQ2 汤米-竹崎模自同构群在刻画可观测量与时间演化方面起什么作用？
• RQ3 信息丢失与纠缠如何在冯·诺伊曼代数及其子代数的结构中体现？
• RQ4 在冯·诺伊曼代数 $\mathcal{M}$ 上的态 $\omega$ 满足何种条件时，能对中心化子或中心存在良好定义的条件期望？
• RQ5 子代数在模群下的不变性与量子系统中非破坏性测量的存在性之间有何关系？

主要发现

• 态 $\omega$ 在冯·诺伊曼代数 $\mathcal{M}$ 上的中心化子 $\mathcal{C}^\omega_\mathcal{M}$ 是汤米-竹崎模自同构群的不动点集，即 $\mathcal{C}^\omega_\mathcal{M} = \{a \in \mathcal{M} \mid \Delta_\omega^{i\sigma} a \Delta_\omega^{-i\sigma} = a \text{ 对所有 } \sigma \in \mathbb{R}\}$。
• 子代数 $\mathcal{N} \subset \mathcal{M}$ 在模自同构群下不变当且仅当存在一个范数为 1 的、$\sigma$-弱连续的条件期望 $\epsilon: \mathcal{M} \to \mathcal{N}$，使得对所有 $a \in \mathcal{M}$ 有 $\omega(a) = \omega(\epsilon(a))$。
• 算子 $a$ 在态 $\omega$ 下的方差定义为 $\Delta^\omega_t a = \sqrt{\omega((a - a^\omega)^* (a - a^\omega))}$，其中 $a^\omega = \dot{\epsilon}^\omega(a)$，提供对经验值不确定性的度量。
• 当 $\omega$ 对 $\mathcal{M}$ 是分离态时，条件 $\{a, \omega\}_\mathcal{M} = 0$ 等价于对所有 $\sigma \in \mathbb{R}$ 有 $\Delta_\omega^{i\sigma} a \Delta_\omega^{-i\sigma} = a$，将代数对易性与模不变性联系起来。
• 对中心化子 $\mathcal{C}^\omega_\mathcal{M}$ 的条件期望 $\epsilon^\omega$ 满足 $\epsilon^\omega(a) = a$ 当且仅当 $a$ 与中心化子中所有元素对易，确保与态结构的一致性。
• 在 $\omega$ 对 $\mathcal{E}^\omega_{\geq t}$ 是分离态的特殊情况下，密度矩阵 $\rho^\omega_{\geq t}$ 必须具有严格正的特征值，从而保证良好定义的条件期望 $\epsilon^\omega_{\geq t}$ 与 $\dot{\epsilon}^\omega_{\geq t}$ 的存在性。