[论文解读] Contextuality and the fundamental theorems of quantum mechanics

Andreas Döring, Markus Frembs|arXiv (Cornell University)|Oct 21, 2019

Quantum Mechanics and Applications参考文献 43被引用 7

一句话总结

本文通过在上下文范畴上使用预层，将量子力学中的关键定理——Wigner定理、Gleason定理、Kochen-Specker定理和Bell定理——重新表述为基于上下文性的统一基础。它表明，对值赋值、概率测度和关联性在不同上下文间的一致性条件，精确地恢复了这些定理，揭示了上下文性作为量子理论非经典性质的核心结构特征。

ABSTRACT

Contextuality is a key feature of quantum mechanics, as was first brought to light by Bohr and later realised more technically by Kochen and Specker. Isham and Butterfield put contextuality at the heart of their topos-based formalism and gave a reformulation of the Kochen-Specker theorem in the language of presheaves. Here, we broaden this perspective considerably (partly drawing on existing, but scattered results) and show that apart from the Kochen-Specker theorem, also Wigner's theorem, Gleason's theorem, and Bell's theorem relate fundamentally to contextuality. We provide reformulations of the theorems using the language of presheaves over contexts and give general versions valid for von Neumann algebras. This shows that a very substantial part of the structure of quantum theory is encoded by contextuality.

研究动机与目标

• 在上下文性的统一框架下，统一量子力学的基础定理——Wigner定理、Gleason定理、Kochen-Specker定理和Bell定理。
• 使用上下文范畴上的预层语言，重新表述这些定理中的每一个，从而揭示其在上下文性中共享的结构根源。
• 将这些定理推广至冯·诺伊曼代数，将其有效性扩展到有限维希尔伯特空间之外。
• 证明，与非局域性或非经典概率相比，上下文性才是区分量子理论与经典理论的根本特征。
• 通过拓扑方法和层论一致性条件，提供一个统一且数学上严谨的量子基础视角。

提出的方法

• 将物理上下文形式化为冯·诺伊曼代数中的交换子代数（或极大阿贝尔子代数），并按包含关系构成一个偏序范畴。
• 在该上下文范畴上构造预层：用于值赋值的谱预层、用于测度的概率预层，以及用于复合系统中关联性的Bell预层。
• 将每个基础定理重新表述为全局截面问题：全局截面的存在性对应于定理的结论（例如，量子态的存在性或Bell不等式的破坏）。
• 利用限制映射在上下文之间强制一致性，概率预层和Bell预层中引入了边际化约束。
• 在局部子系统中引入时间方向性，以推导出非信号传递约束，从而排除超出Tsirelson界限的“后量子”关联。
• 利用Gleason定理的推广版本和上同调工具，证明Bell预层的全局截面与量子态之间存在双射关系。

实验结果

研究问题

• RQ1 Wigner定理（将对称性与酉/反酉算子联系起来）能否以上下文性和预层的语言重新表述？
• RQ2 Kochen-Specker定理（禁止非上下文性值赋值）如何从谱预层中全局截面的不存在性中自然导出？
• RQ3 Gleason定理（为Born规则提供依据）如何从概率预层中全局截面的存在性中导出？
• RQ4 Bell定理（对局域关联性施加约束）如何通过尊重物理上下文性的预层构造，而非经典乘积态空间，自然导出？
• RQ5 这些定理通过上下文性实现统一，是否可以推广至一般的冯·诺伊曼代数，而不仅限于有限维系统？

主要发现

• Wigner定理被重新表述为在上下文范畴上，Jordan ∗-自同构预层的非平凡性，其中上下文性阻止了平凡的全局截面。
• Kochen-Specker定理等价于谱预层中全局截面的不存在性，该预层编码了跨上下文的值赋值。
• Gleason定理被恢复为概率预层的全局截面与量子态（密度矩阵）之间的双射关系，一致性通过边际化约束强制实现。
• Bell定理通过在定向乘积上下文范畴上的Bell预层被重新表述，其中全局截面恰好对应于量子关联，排除了“后量子”非信号传递模型。
• Bell预层结构中非信号传递与时间方向性约束的结合，重现了Tsirelson界限，表明通过上下文范畴实现的上下文性，取代了可分解性，成为排除超量子关联的物理原理。
• 所有四个基础定理均被证明是同一基本原理——上下文性——的表现形式，该原理通过上下文偏序集上的预层形式化，统一了它们在量子理论中的逻辑与结构角色。