Logic of Local Inference for Contextuality in Quantum Physics and Beyond

DOI10.4230/LIPICS.ICALP.2016.113MaRDI QIDQ4598254zbMATH OpenFDO

Authors Kohei Kishida

Publication date 19 December 2017

Full work available at URL https://arxiv.org/abs/1605.08949

zbMATH Keywords

contextualityquantum mechanicsregular categoryregular logicseparated presheaf

Mathematics Subject Classification ID

Quantum logic (03G12) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Contextuality in quantum theory (81P13) Quantum computation (81P68)

Abstract: 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.

Recommendations

• Correlations, contextuality and quantum logic
• Non locality proofs in quantum mechanics analyzed by ordinary mathematical logic
• The notion of locality in relational quantum mechanics
• Contextuality, nonlocality and counterfactual arguments
• Quantum counterfactuals and locality
• Probabilistic foundations of contextuality
• On the locality of hidden-variable theories in quantum physics
• Contextual logic for quantum systems
• A Fock-space theory of local contextual hidden variables

Cited in

(9)

• Continuous-variable nonlocality and contextuality
• Contextual logic for quantum systems
• A complete characterization of all-versus-nothing arguments for stabilizer states
• Non locality proofs in quantum mechanics analyzed by ordinary mathematical logic
• On measures and measurements: a fibre bundle approach to contextuality
• The rank of contextuality
• Closing Bell boxing black box simulations in the resource theory of contextuality
• Gödel, Escher, Bell: contextual semantics of logical paradoxes
• The sheaf-theoretic structure of definite causality

This page was built for publication: Logic of Local Inference for Contextuality in Quantum Physics and Beyond

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4598254)