Logic of Local Inference for Contextuality in Quantum Physics and Beyond
Logic of Local Inference for Contextuality in Quantum Physics and Beyond
复制标题
量子物理及其他领域的局部推理逻辑
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
K. Kishida
中科院分区：
文献类型：
--
作者：
K. Kishida
量子物理中的情境性为量子信息和计算提供了关键资源。拓扑方法[Abramsky and Brandenburger， New J. Phys]。Abramsky et al., CSL 2015, 2015]将情境性描述为“全局不一致性”与“局部一致性”相结合，揭示了它在许多其他领域也存在的现象。这产生了一种检测和证明上下文的“全局不一致”部分的逻辑方法。我们的目标是捕获另一个“局部一致性”部分，这需要一种对上下文拓扑敏感的新颖逻辑方法。为了实现这一点，我们通过在常规类别中使用上下文敏感理论和模型来制定局部推理逻辑。这为局部一致性提供了一个统一的框架，并为检测、证明以及使用上下文作为计算资源的高级方法奠定了基础。
Contextuality in quantum physics provides a key resource for quantum information and computation. The topological approach in [Abramsky and Brandenburger, New J. Phys., 2011, Abramsky et al., CSL 2015, 2015] characterizes contextuality as "global inconsistency" coupled with "local consistency", revealing it to be a phenomenon also found in many other fields. This has yielded a logical method of detecting and proving the "global inconsistency" part of contextuality. Our goal is to capture the other, "local consistency" part, which requires a novel approach to logic that is sensitive to the topology of contexts. To achieve this, we formulate a logic of local inference by using context-sensitive theories and models in regular categories. This provides a uniform framework for local consistency, and lays a foundation for high-level methods of detecting, proving, and moreover using contextuality as computational resource.
关系数据库和贝尔定理
DOI：
--
发表时间：
2012
期刊：
CoRR
影响因子：
--
作者：
Abramsky S
通讯作者：
Abramsky S