[论文解读] Maximal Beable Subalgebras of Quantum-Mechanical Observables

Hans Halvorson, Rob Clifton|ArXiv.org|May 13, 1999

Quantum Mechanics and Applications参考文献 22被引用 24

一句话总结

本文引入并表征了最大可公度子代数——即在给定态下可表示为非色散态混合的量子可观测量子代数——为识别具有同时确定值的最大可观测量集合提供了严格的数学框架。主要贡献在于确立此类子代数是哥本哈根诠释核心原理（包括互补性及共轭变量的不确定性）的基础。

ABSTRACT

Given a state on an algebra of bounded quantum-mechanical observables (the self-adjoint part of a C*-algebra), we investigate those subalgebras that are maximal with respect to the property that the given state's restriction to the subalgebra is a mixture of dispersion-free states---what we call maximal "beable" subalgebras (borrowing a terminology due to J. S. Bell). We also extend our investigation to the theory of algebras of unbounded observables (as developed by R. Kadison), and show how our results articulate a solid mathematical foundation for central tenets of the orthodox Copenhagen interpretation of quantum theory (such as the joint indeterminacy of canonically conjugate observables, and Bohr's defense of the completeness of quantum theory against the argument of Einstein, Podolsky, and Rosen).

研究动机与目标

• 识别并表征在给定态的非色散态混合性质下封闭的量子可观测量的最大子代数。
• 将‘可公度量’（具有确定值的可观测量）的概念从交换代数推广至非交换设置。
• 为哥本哈根诠释的关键原则（如互补性及EPR佯谬的解决）提供数学上严格的理论基础。
• 分析最大可公度子代数在涉及位置与动量可观测量的EPR型思想实验中的作用。
• 通过$C^*$-代数及其相关技术，将该框架推广至无界可观测量，适用于无界连续函数的场景。

提出的方法

• 将最大可公度子代数定义为：在给定态下限制为非色散态混合的子代数，使用$C^*$-代数与冯·诺依曼代数。
• 应用GNS构造，将态表示为希尔伯特空间中的向量，从而分析其谱性质与非色散态。
• 利用正则对易关系（CCR）的Weyl形式，分析与位置和动量可观测量相关的酉算子。
• 在GNS表示中运用柯西-施瓦茨不等式与$*$-同态性质，证明酉元素属于可公度子代数。
• 利用谱测度与函数演算，将自伴算子的博雷尔函数与有界一致连续（BUC）函数与可公度子代数联系起来。
• 应用格莱森定理并简化至有限维情形，分析非交换子代数中部分非色散态的不存在性。

实验结果

研究问题

• RQ1 哪些非交换可观测量子代数能够支持一个表示为非色散态混合的态？
• RQ2 在量子理论的代数结构中，如何以数学上严格的方式形式化‘可公度量’的概念？
• RQ3 最大可公度子代数在解决EPR佯谬并保持量子力学完备性方面起什么作用？
• RQ4 最大可公度子代数如何与位置与动量等共轭可观测量的联合不确定性相关联？
• RQ5 最大可公度子代数的框架能否推广至无界可观测量？这与标准量子形式主义有何关联？

主要发现

• 对于给定态$\rho$，当测量$Q_1$时，最大可公度子代数$\mathfrak{B}(C^*(Q_1), \rho)$包含$Q_2$的所有有界一致连续函数，但不包含$D_2$的函数。
• $C^*(Q_2)$包含于$\mathfrak{B}(C^*(Q_1), \rho)$，而$C^*(D_2)$不包含，这是由于$Q_2$与$D_2$在Weyl CCR下不满足交换性。
• 若$W_s = e^{isD_2} \in \mathfrak{B}(C^*(Q_1), \rho)$对$s \neq 0$成立，则通过Weyl关系$U_t W_s = e^{ist} W_s U_t$与非色散态的非零谱性质，将导致矛盾。
• GNS表示确保对单位元$A \in C^*(Q_2)$，有$\pi_\rho(A)x_\rho \in \mathcal{S}$，从而确认$A \in \mathfrak{B}(C^*(Q_1), \rho)$。
• 该框架支持玻尔的互补性原理：在固定测量背景下，$Q_2$与$D_2$中仅有一个可观测量可同时具有确定值。
• 结果为哥本哈根诠释提供了严格的代数基础，尤其解释了为何位置与动量无法同时具有确定值。