[论文解读] Extendability in the Sheaf-theoretic Approach: Construction of Bell Models from Kochen-Specker Models

Mansfield, Shane, Barbosa, Rui Soares|arXiv (Cornell University)|Feb 19, 2014

Quantum Mechanics and Applications参考文献 32被引用 14

一句话总结

本文在层论框架下引入了可扩展性的精细化概念，以从一般上下文模型（特别是 Kochen-Specker 型模型）构造出等价的贝尔型模型，同时保持非局域性和上下文性。关键结果表明，上下文三角模型生成的贝尔模型等价于一个折叠的普罗佩斯-罗尔里希盒子配置，揭示了最简单的上下文模型与非局域关联之间深层的结构联系。

ABSTRACT

Extendability of an empirical model was shown by Abramsky & Brandenburger to correspond in a unified manner to both locality and non-contextuality. We develop their approach by presenting a refinement of the notion of extendability that can also be useful in characterising the properties of sub-models. The refinement is found to have another useful application: it is shown that a particular canonical extension, when well-defined, may be used for the construction of Bell-type models from models of more general kinds in such a way that the constructed model is equivalent to the original in terms of non-locality/contextuality. This is important since on practical and foundational levels, the notion of locality in Bell-type models can more easily be motivated than the corresponding general notion of contextuality. We consider examples of Bell-type models generated from some standard examples of contextual models, including an entire class of Kochen-Specker-like models. This exposes an intriguing relationship between the simplest possible contextual model (the contextual triangle) and Popescu-Rohrlich no-signalling correlations.

研究动机与目标

• 为了精细化层论中可扩展性的概念，以捕捉对局域性和非上下文性的部分近似。
• 开发一种规范扩展方法，将一般上下文模型转化为等价的贝尔型模型。
• 通过在贝尔场景中重新表述上下文性，使非局域性更易于从基础和实际角度理解。
• 证明该构造保持强上下文性，且在对称情况下也保持概率层面的上下文性。
• 探讨量子实现性，以及基础模型（如上下文三角模型与 PR 箱子）之间的结构关系。

提出的方法

• 引入一种精细化的可扩展性条件，该条件推广了标准可扩展性，并能捕捉子模型的性质。
• 对具有兼容测量覆盖的测量场景中的经验模型应用规范扩展。
• 采用层论框架，使用有限测量上下文上的事件层和分布预层。
• 通过将模型扩展到测量集合的幂集，构建贝尔型模型，确保与边缘化和上下文结构相容。
• 利用测量覆盖与贝尔场景之间的对偶性，将上下文模型映射为非局域形式。
• 将该构造应用于整个 Kochen-Specker 型模型类，包括上下文三角模型和 Peres-Mermin 方阵。

实验结果

研究问题

• RQ1 是否存在一种规范扩展，能够将一般上下文模型转化为等价的贝尔型模型，同时保持非局域性和上下文性？
• RQ2 最简单的上下文模型（即上下文三角模型）与普罗佩斯-罗尔里希盒子之间存在何种结构关系？
• RQ3 该构造是否保持上下文性，而不仅仅是强上下文性？在何种条件下成立？
• RQ4 是否存在一类更广泛的模型（超越 Kochen-Specker 型模型），使得此类贝尔模型构造成为可能？
• RQ5 原始模型的量子实现性与其中的贝尔模型扩展的实现性之间有何关系？

主要发现

• 规范扩展成功为上下文三角模型构造出一个等价的贝尔模型，其结构等价于多个普罗佩斯-罗尔里希盒子的折叠配置。
• 该构造对所有最大上下文大小恒定的 Kochen-Specker 型模型均保持强上下文性。
• 对于对称模型（如 Peres-Mermin 方阵），等价性不仅存在于强上下文性层面，也存在于上下文性本身层面。
• 上下文三角模型对应的贝尔模型不包含 GHZ 子模型或 Hardy 思维实验矛盾，表明其具有独特的非局域结构。
• 该方法为提出针对上下文性结果的贝尔型检验提供了路径，但所构造模型的量子实现性仍是开放问题。