Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1905.03822 · Quantum

Homotopical approach to quantum contextuality

Cihan Okay, Robert Raussendorf

Published Jan 5, 2020• 14 citations
arXivHTMLPDF

Abstract

We consider the phenomenon of quantum mechanical contextuality, and specifically parity-based proofs thereof. Mermin’s square and star are representative examples. Part of the information invoked in such contextuality proofs is the commutativity structure among the pertaining observables. We investigate to which extent this commutativity structure alone determines the viability of a parity-based contextuality proof. We establish a topological criterion for this, generalizing an earlier result by Arkhipov.

DOI
10.22331/q-2020-01-05-217

Related papers

Topological proofs of contextuality in quantum mechanics

Cihan Okay, Sam Roberts, Stephen D. Bartlett +1 more

We provide a cohomological framework for contextuality of quantum mechanics that is suited to describing contextuality as a resource in measurement-based quantum computation. This framework applies to the parity proofs first discussed by Mermin, as well as a different type of contextuality proofs based on symmetry transformations. The topological arguments presented can be used in the state-dependent and the state-independent case.

arXiv:1701.01888•Quantum Information and Computation•Nov 1, 2017•38 citations

Contextually in a Peres—Mermin square using arbitrary operators

Adrien Laversanne-Finot, Andreas Ketterer, Mariana R. Barros +4 more

The contextuality of quantum mechanics can be shown by the violation of inequalities based on measurements of well chosen observables. These inequalities have been designed separately for both discrete and continuous variables. Here we unify both strategies by introducing general conditions to demonstrate the contextuality of quantum mechanics from measurements of observables of arbitrary dimensions. Among the consequences of our results is the impossibility of having a maximal violation of contextuality in the Peres-Mermin scenario with discrete observables of odd dimensions. In addition, we show how to construct a large class of observables with a continuous spectrum enabling the realization of contextuality tests both in the Gaussian and non-Gaussian regimes.

Journal of Physics Conference Series•Mar 1, 2016•1 citation

Contextuality, Cohomology and Paradox

Samson Abramsky, Rui Soares Barbosa, Kohei Kishida +2 more

Contextuality is a key feature of quantum mechanics that provides an important non-classical resource for quantum information and computation. Abramsky and Brandenburger used sheaf theory to give a general treatment of contextuality in quantum theory [New Journal of Physics 13 (2011) 113036]. However, contextual phenomena are found in other fields as well, for example database theory. In this paper, we shall develop this unified view of contextuality. We provide two main contributions: firstly, we expose a remarkable connection between contexuality and logical paradoxes; secondly, we show that an important class of contextuality arguments has a topological origin. More specifically, we show that "All-vs-Nothing" proofs of contextuality are witnessed by cohomological obstructions.

arXiv:1502.03097•Leibniz international proceedings in informatics•Jan 1, 2015•60 citations

Commutation Groups and State-Independent Contextuality

Samson Abramsky, Serban-Ion Cercelescu, Carmen Constantin

We introduce an algebraic structure for studying state-independent contextuality arguments, a key form of quantum non-classicality exemplified by the well-known Peres-Mermin magic square, and used as a source of quantum advantage. We introduce commutation groups presented by generators and relations, and analyse them in terms of a string rewriting system. There is also a linear algebraic construction, a directed version of the Heisenberg group. We introduce contextual words as a general form of contextuality witness. We characterise when contextual words can arise in commutation groups, and explicitly construct non-contextual value assignments in other cases. We give unitary representations of commutation groups as subgroups of generalized Pauli n-groups.

Leibniz international proceedings in informatics•Jan 1, 2024•0 citations

Quantum contextuality in the Copenhagen approach

Gregg S. Jaeger

The origin and basis of the notion of quantum contextuality is identified in the Copenhagen approach to quantum mechanics, where context is automatically invoked by its requirement that the experimental arrangement involved in any measurements or set of measurements be taken into account while, in general, the outcome of a measurement may depend on other measurements immediately preceding or jointly performed on the same system. For Bohr, the specification of the experimental situation of any measurement is essential to its significance in light of complementarity and the omnipresence of the quantum of action in physics; for Heisenberg, the incompatibility of pairs of sharp measurements belonging to different situations coheres with both the completeness of the quantum state as an objective physical description and the principle of indeterminacy. Here, context in the Copenhagen approach is taken to be the equivalence class of experimental arrangements corresponding to a set of compatible measurements of quantum observables in standard quantum mechanics; the associated form of contextuality in quantum mechanics arises via the non-commutativity in general of sharp observables, proven by von Neumann, that can appear, providing different contexts. This notion is related to theoretical situations explored later by Bell, by Kochen and Specker, and by others in relation to the classification of hidden-variables theories and elsewhere in physics. This article is part of the theme issue ‘Contextuality and probability in quantum mechanics and beyond’.

Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences•Sep 16, 2019•18 citations

Commutation Groups and State-Independent Contextuality

Samson Abramsky, Serban-Ion Cercelescu, Carmen-Maria Constantin

We introduce an algebraic structure for studying state-independent contextuality arguments, a key form of quantum non-classicality exemplified by the well-known Peres-Mermin magic square, and used as a source of quantum advantage. We introduce \emph{commutation groups} presented by generators and relations, and analyse them in terms of a string rewriting system. There is also a linear algebraic construction, a directed version of the Heisenberg group. We introduce \emph{contextual words} as a general form of contextuality witness. We characterise when contextual words can arise in commutation groups, and explicitly construct non-contextual value assignments in other cases. We give unitary representations of commutation groups as subgroups of generalized Pauli $n$-groups.

quant-pharXiv:2603.12197•Mar 13, 2026•0 citations
We consider the phenomenon of quantum mechanical contextuality, and specifically parity-based proofs thereof. Mermin’s square and star are representative examples. Part of the information invoked in such contextuality proofs is the commutativity structure among the pertaining observables. We investigate to which extent this commutativity structure alone determines the viability of a parity-based contextuality proof. We establish a topological criterion for this, generalizing an earlier result by Arkhipov.
The contextuality of quantum mechanics can be shown by the violation of inequalities based on measurements of well chosen observables. These inequalities have been designed separately for both discrete and continuous variables. Here we unify both strategies by introducing general conditions to demonstrate the contextuality of quantum mechanics from measurements of observables of arbitrary dimensions. Among the consequences of our results is the impossibility of having a maximal violation of contextuality in the Peres-Mermin scenario with discrete observables of odd dimensions. In addition, we show how to construct a large class of observables with a continuous spectrum enabling the realization of contextuality tests both in the Gaussian and non-Gaussian regimes.
Contextuality is a key feature of quantum mechanics that provides an important non-classical resource for quantum information and computation. Abramsky and Brandenburger used sheaf theory to give a general treatment of contextuality in quantum theory [New Journal of Physics 13 (2011) 113036]. However, contextual phenomena are found in other fields as well, for example database theory. In this paper, we shall develop this unified view of contextuality. We provide two main contributions: firstly, we expose a remarkable connection between contexuality and logical paradoxes; secondly, we show that an important class of contextuality arguments has a topological origin. More specifically, we show that "All-vs-Nothing" proofs of contextuality are witnessed by cohomological obstructions.
We introduce an algebraic structure for studying state-independent contextuality arguments, a key form of quantum non-classicality exemplified by the well-known Peres-Mermin magic square, and used as a source of quantum advantage. We introduce commutation groups presented by generators and relations, and analyse them in terms of a string rewriting system. There is also a linear algebraic construction, a directed version of the Heisenberg group. We introduce contextual words as a general form of contextuality witness. We characterise when contextual words can arise in commutation groups, and explicitly construct non-contextual value assignments in other cases. We give unitary representations of commutation groups as subgroups of generalized Pauli n-groups.
The origin and basis of the notion of quantum contextuality is identified in the Copenhagen approach to quantum mechanics, where context is automatically invoked by its requirement that the experimental arrangement involved in any measurements or set of measurements be taken into account while, in general, the outcome of a measurement may depend on other measurements immediately preceding or jointly performed on the same system. For Bohr, the specification of the experimental situation of any measurement is essential to its significance in light of complementarity and the omnipresence of the quantum of action in physics; for Heisenberg, the incompatibility of pairs of sharp measurements belonging to different situations coheres with both the completeness of the quantum state as an objective physical description and the principle of indeterminacy. Here, context in the Copenhagen approach is taken to be the equivalence class of experimental arrangements corresponding to a set of compatible measurements of quantum observables in standard quantum mechanics; the associated form of contextuality in quantum mechanics arises via the non-commutativity in general of sharp observables, proven by von Neumann, that can appear, providing different contexts. This notion is related to theoretical situations explored later by Bell, by Kochen and Specker, and by others in relation to the classification of hidden-variables theories and elsewhere in physics. This article is part of the theme issue ‘Contextuality and probability in quantum mechanics and beyond’.
We introduce an algebraic structure for studying state-independent contextuality arguments, a key form of quantum non-classicality exemplified by the well-known Peres-Mermin magic square, and used as a source of quantum advantage. We introduce \emph{commutation groups} presented by generators and relations, and analyse them in terms of a string rewriting system. There is also a linear algebraic construction, a directed version of the Heisenberg group. We introduce \emph{contextual words} as a general form of contextuality witness. We characterise when contextual words can arise in commutation groups, and explicitly construct non-contextual value assignments in other cases. We give unitary representations of commutation groups as subgroups of generalized Pauli nnn-groups.