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:2409.17651 · Quantum Information Processing

Atom graph, partial Boolean algebra and quantum contextuality

Songyi Liu, Yongjun Wang, Baoshan Wang, Jian Yan, Heng Zhou

Published Jan 2, 2025• 1 citation
arXivHTMLPDF
DOI
10.1007/s11128-024-04632-2

Related papers

Graph structure of quantum mechanics

Songyi Liu, Yongjun Wang, Baoshan Wang +2 more

The quantum mechanics is proved to admit no hidden-variable in 1960s, which means the quantum systems are contextual. Revealing the mathematical structure of quantum mechanics is a significant task. We develop the approach of partial Boolean algebra to characterize the contextuality theory with local consistency and exclusivity, and then prove that the finite dimensional quantum systems are determined by atoms using two graph structure theorems. We also generalize our work to infinite dimensional cases. Our conclusions indicate that the quantum mechanics is a graph-structured combination of multiple hidden-variable theories, and provide a precise mathematical framework for quantum contextuality.

arXiv:2411.18146•Nov 27, 2024•0 citations

On Graph Approaches to Contextuality and their Role in Quantum Theory

Bárbara Amaral, Marcelo Terra Cunha

SpringerBriefs in mathematics•Jan 1, 2018•56 citations

Classically Realizable Incompatibility

Songyi Liu, Yongjun Wang, Baoshan Wang +2 more

Incompatibility constitutes a fundamental aspect of quantum mechanics. However, not every quantum observable non-classical property arises from incompatibility, nor can all quantum scenarios be fully captured by incompatibility alone. Within the framework of partial Boolean algebra (pBA), we research the structural properties of incompatibility scenarios. We introduce a unified method to realize any incompatibility scenario via a classical game, and the construction is extendable to any scenario embeddable into a Boolean algebra. The exclusivity graph offers a precise characterization of incompatibility scenarios. We prove that every exclusivity graph is the atom graph of an exclusive pBA, which is embedded into a Boolean algebra. These results provide a necessary condition for exclusivity graphs and a sufficient condition for atom graphs.

quant-pharXiv:2607.09047•Jul 13, 2026•0 citations

Correlations, Contextuality and Quantum Logic

Allen Stairs, Jeffrey Bub

Journal of Philosophical Logic•Apr 1, 2013•4 citations

Complementarity, context dependence, and quantum logic

Patrick A. Heelan

Foundations of Physics•Jan 1, 1970•39 citations

Event-based quantum contextuality theory

Songyi Liu, Yongjun Wang, Baoshan Wang +1 more

Fully revealing the mathmatical structure of quantum contextuality is a significant task, while some known contextuality theories are only applicable for rank-1 projectors. That is because they adopt the observable-based definitions. This paper overcomes the challenges faced by some known contextuality theories by establishing an event-based contextuality theory with exclusive partial Boolean algebra, which is used to describe the contextual systems with local consistency and exclusivity principle. Our theory provides a precise mathematical framework for quantum contextuality, which can handle the scenarios composed of general projectors, and introduces a more complete contextuality hierarchy. We conclude that the Kochen-Specker contextuality is equivalent to the state-independent strong contextuality for finite dimensional quantum systems. Therefore, when considering both the strength and proportion of contextual quantum states, Kochen-Specker contextuality is the strongest.

arXiv:2410.15790•Oct 21, 2024•0 citations
The quantum mechanics is proved to admit no hidden-variable in 1960s, which means the quantum systems are contextual. Revealing the mathematical structure of quantum mechanics is a significant task. We develop the approach of partial Boolean algebra to characterize the contextuality theory with local consistency and exclusivity, and then prove that the finite dimensional quantum systems are determined by atoms using two graph structure theorems. We also generalize our work to infinite dimensional cases. Our conclusions indicate that the quantum mechanics is a graph-structured combination of multiple hidden-variable theories, and provide a precise mathematical framework for quantum contextuality.
Incompatibility constitutes a fundamental aspect of quantum mechanics. However, not every quantum observable non-classical property arises from incompatibility, nor can all quantum scenarios be fully captured by incompatibility alone. Within the framework of partial Boolean algebra (pBA), we research the structural properties of incompatibility scenarios. We introduce a unified method to realize any incompatibility scenario via a classical game, and the construction is extendable to any scenario embeddable into a Boolean algebra. The exclusivity graph offers a precise characterization of incompatibility scenarios. We prove that every exclusivity graph is the atom graph of an exclusive pBA, which is embedded into a Boolean algebra. These results provide a necessary condition for exclusivity graphs and a sufficient condition for atom graphs.
Fully revealing the mathmatical structure of quantum contextuality is a significant task, while some known contextuality theories are only applicable for rank-1 projectors. That is because they adopt the observable-based definitions. This paper overcomes the challenges faced by some known contextuality theories by establishing an event-based contextuality theory with exclusive partial Boolean algebra, which is used to describe the contextual systems with local consistency and exclusivity principle. Our theory provides a precise mathematical framework for quantum contextuality, which can handle the scenarios composed of general projectors, and introduces a more complete contextuality hierarchy. We conclude that the Kochen-Specker contextuality is equivalent to the state-independent strong contextuality for finite dimensional quantum systems. Therefore, when considering both the strength and proportion of contextual quantum states, Kochen-Specker contextuality is the strongest.