The logic of contextuality

11/05/2020
by   Samson Abramsky, et al.
0

Contextuality is a key signature of quantum non-classicality, which has been shown to play a central role in enabling quantum advantage for a wide range of information-processing and computational tasks. We study the logic of contextuality from a structural point of view, in the setting of partial Boolean algebras introduced by Kochen and Specker in their seminal work. These contrast with traditional quantum logic à la Birkhoff and von Neumann in that operations such as conjunction and disjunction are partial, only being defined in the domain where they are physically meaningful. We study how this setting relates to current work on contextuality such as the sheaf-theoretic and graph-theoretic approaches. We introduce a general free construction extending the commeasurability relation on a partial Boolean algebra, i.e. the domain of definition of the binary logical operations. This construction has a surprisingly broad range of uses. We apply it in the study of a number of issues, including: - establishing the connection between the abstract measurement scenarios studied in the contextuality literature and the setting of partial Boolean algebras; - formulating various contextuality properties in this setting, including probabilistic contextuality as well as the strong, state-independent notion of contextuality given by Kochen-Specker paradoxes, which are logically contradictory statements validated by partial Boolean algebras, specifically those arising from quantum mechanics; - investigating a Logical Exclusivity Principle, and its relation to the Probabilistic Exclusivity Principle widely studied in recent work on contextuality as a step towards closing in on the set of quantum-realisable correlations; - developing some work towards a logical presentation of the Hilbert space tensor product, using logical exclusivity to capture some of its salient quantum features.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/07/2020

Contextuality: At the Borders of Paradox

Contextuality is a key feature of quantum mechanics. We present the shea...
research
01/31/2022

Distributed Quantum Vote Based on Quantum Logical Operators, a New Battlefield of the Second Quantum Revolution

We designed two rules of binary quantum computed vote: Quantum Logical V...
research
04/22/2019

A comonadic view of simulation and quantum resources

We study simulation and quantum resources in the setting of the sheaf-th...
research
12/16/2020

A New Connective in Natural Deduction, and its Application to Quantum Computing

We investigate an unsuspected connection between non harmonious logical ...
research
09/06/2020

On the construction of explosive relation algebras

Fork algebras are an extension of relation algebras obtained by extendin...
research
10/16/2022

Logical Zonotope: A Set Representation for Binary Vectors

In this paper, we propose a new set representation for binary vectors ca...
research
12/06/2022

Metalinear structures and the substructural logic of quantum measurements

This paper presents three classes of metalinear structures that abstract...

Please sign up or login with your details

Forgot password? Click here to reset