[论文解读] Beables in Algebraic Quantum Mechanics

Rob Clifton|ArXiv.org|Nov 9, 1997

Quantum Mechanics and Applications参考文献 25被引用 8

一句话总结

本文通过C*-代数提出了一种对'可造性量'（beables）——即在量子力学中可被一致赋予确定值的物理量——的代数表征。研究表明，相对于某一给定态的可造性量必须构成一个'准交换'子代数，从而允许非对易可观测量具有可造性状态，且在有限维系统中提供了最大可造性子代数的完整分类。

ABSTRACT

John Bell once argued that one ought to select, out of the 'observables' of quantum theory, some subset of 'beables' that can be consistently ascribed determinate values. Moreover, this subset should be selected so as to guarantee (among other things) that we can dispense with the orthodox interpretation's loose talk about 'measurement values': "...the probability of a beable being a particular value would be calculated just as was formerly calculated the probability of observing that value". Working in the framework of C*-algebras (in particular, Segal algebras), I propose an algebraic characterization of those subsets of bounded observables of a quantum system that can have beable status with respect to any (fixed) state of the system. It turns out that observables with beable status in a state need not all commute (a possibility Bell himself does not consider), but they must at least form a certain kind of 'quasicommutative' subalgebra determined by the state. A virtue of the analysis is that it applies to beables with continuous spectra, usually neglected in discussions of the no-hidden-variables theorems. In the (very) special case where the algebra of observables for a system is representable on a finite-dimensional Hilbert space, I give a complete characterization of the maximal beable subalgebras determined by any state of the system; the infinite-dimensional case remains open. These results are discussed in relation to previous results of a similar nature, to 'no-collapse' interpretations of quantum mechanics, and to algebraic relativistic quantum field theory.

研究动机与目标

• 在C*-代数形式化量子理论的框架内，为识别哪些量子可观测量可被视为'可造性量'（即物理上真实且具有确定值）提供一个严格的代数框架。
• 通过识别一种更广泛的代数条件，将贝尔关于可造性量的概念从对易可观测量扩展至非对易可观测量，使得在某一给定态下非对易可观测量也可具有可造性状态。
• 通过提出适用于此类情况的可造性判据，克服传统隐变量定理通常排除连续谱这一局限性。
• 通过识别物理上真实结构，澄清可造性量在避免波函数坍缩的量子力学诠释（如一致历史或多世界诠释）中的作用。
• 对有限维系统中的最大可造性子代数进行表征，为任意给定态提供完整分类。

提出的方法

• 在C*-代数框架内形式化可造性量，特别是利用塞加尔代数，以定义可观测量在给定态下具有可造性状态的态依赖代数条件。
• 引入'准交换'子代数的概念，作为一组可观测量在某一给定态下可被赋予确定值的必要条件。
• 从可造性值的概率赋值必须符合标准量子概率规则的要求出发，推导出准交换条件。
• 将该框架应用于有限维希尔伯特空间，通过代数与态的结构分析，实现对最大可造性子代数的完整表征。
• 利用态依赖的谱投影与交换子结构，识别满足准交换条件的最大的闭合子代数。
• 通过展示可造性量可构成一致且客观的物理结构，将结果与代数量子场论及无坍缩诠释联系起来。

实验结果

研究问题

• RQ1 在某一给定量子态下，可观测量的子集必须满足何种代数条件，才能被视为有效的可造性量集合？
• RQ2 非对易可观测量是否可能在某一态下同时为可造性量？若可以，其代数条件为何？
• RQ3 如何将可造性量的概念扩展至包含具有连续谱的可观测量，而这些量通常被标准隐变量定理所排除？
• RQ4 在有限维量子系统中，对于任意给定态，最大可造性子代数的结构如何？
• RQ5 所提出的可造性量结构与避免波函数坍缩的量子力学诠释之间有何关系？

主要发现

• 相对于某一给定态的可造性量必须构成一个'准交换'子代数，该条件弱于完全对易，但足以确保一致的值赋值。
• 非对易可观测量可在某一态下共存为可造性量，这是贝尔未曾考虑的可能性，但前提是其满足准交换条件。
• 该框架成功扩展至具有连续谱的可观测量，克服了传统隐变量定理的一项关键局限。
• 在有限维系统中，最大可造性子代数被完全表征：即相对于该态满足准交换条件的最大子代数。
• 该结果为识别量子力学中客观物理结构奠定了基础，支持摒弃测量引发坍缩的诠释。
• 分析表明，可造性量集合是依赖于态的，而不仅仅由系统的代数结构决定，凸显了态在确定物理实在性中的作用。