[论文解读] A Unified Sheaf-Theoretic Account Of Non-Locality and Contextuality

Samson Abramsky, Adam Brandenburger|arXiv (Cornell University)|Feb 1, 2011

Quantum Mechanics and Applications参考文献 36被引用 6

一句话总结

本文提出了一种统一的层论框架，利用函子和层论来表征量子系统中的非定域性和 contextuality（依赖性）。证明了：一个经验模型可扩展（即在所有测量上下文中一致）当且仅当存在一个可分解的隐变量模型实现它，从而确立了测量不相容性是非定域性和依赖性行为在量子力学中的核心来源。

ABSTRACT

A number of landmark results in the foundations of quantum mechanics show that quantum systems exhibit behaviour that defies explanation in classical terms, and that cannot be accounted for in such terms even by postulating “hidden variables” as additional unobserved factors. Much has been written on these matters, but there is surprisingly little unanimity even on basic definitions or the inter-relationships among the various concepts and results. We use the mathematical language of sheaves and monads to give a very general and mathematically robust description of the behaviour of systems in which one or more measurements can be selected, and one or more outcomes observed. We say that an empirical model is extendable if it can be extended consistently to all sets of measurements, regardless of compatibility. A hidden-variable model is factorizable if, for each value of the hidden variable, it factors as a product of distributions on the basic measurements. We prove that an empirical model is extendable if and only if there is a factorizable hidden-variable model which realizes it. From this we are able to prove generalized versions of well-known No-Go theorems. At the conceptual level, our equivalence result says that the existence of incompatible measurements is the essential ingredient in non-local and contextual behavior in quantum mechanics.

研究动机与目标

• 解决量子力学基础中关于非定域性和依赖性存在的概念和定义不一致问题。
• 为描述量子系统中的测量行为提供一个数学上严格且通用的框架。
• 阐明经验模型可扩展性与可分解隐变量模型存在性之间的关系。
• 利用层论工具推广已知的不可行定理。
• 确立测量不相容性是量子系统中非定域性和依赖性行为的根本起源。

提出的方法

• 本文采用层论来建模不同测量上下文中的经验数据，将结果视为测量上下文上的截面。
• 引入函子以形式化经验模型的结构及其在重叠测量集合上的相容性条件。
• 可扩展性被定义为在所有可能的测量组合上存在全局截面，无论其是否相容。
• 隐变量模型的可分解性被形式化为将联合分布分解为单个测量上的乘积测度。
• 该框架利用范畴论将各种上下文性与非定域性的概念统一于单一数学结构之下。
• 可扩展性与可分解性之间等价性的证明依赖于层论设定中的上同调与范畴论技术。

实验结果

研究问题

• RQ1 在何种条件下，一个经验模型可以被一致地扩展到所有测量上下文，即使这些测量不相容？
• RQ2 是否存在一个精确的数学表征，用于判断隐变量模型是否可在测量之间被分解？
• RQ3 测量不相容性如何与量子系统中非定域性和依赖性行为的出现相关联？
• RQ4 像 Kochen-Specker 定理和贝尔定理这样的著名不可行定理，能否作为该通用框架中的特例推导出来？
• RQ5 层论一致性条件在区分经典行为与量子行为中起着怎样的精确作用？

主要发现

• 一个经验模型是可扩展的——即它在所有测量上下文上存在全局结果分配——当且仅当存在一个可分解的隐变量模型能够再现它。
• 可扩展性与可分解性之间的等价性为理解非定域性和依赖性作为测量不相容性的结果提供了统一基础。
• 该框架将贝尔定理和 Kochen-Specker 定理推广为更广泛层论原理的特例。
• 数学结构揭示了测量不相容性是量子力学中非定域性和依赖性行为的本质资源。
• 使用层和函子使得经验模型及其可实现性的精确范畴化表述成为可能，解决了先前方法中的模糊性。
• 结果表明，任何无法被扩展的经验模型本质上都是上下文相关的或非定域的，具体取决于测量上下文的结构。