Atom graph, partial Boolean algebra and quantum contextuality

TL;DR

This paper introduces atom graphs to represent the structure of partial Boolean algebras in quantum systems, establishing their uniqueness and connection to exclusivity graphs, and provides a graph-based approach to Kochen-Specker theorem.

Contribution

It proposes atom graphs as a novel tool to analyze quantum contextuality and links them to existing graph models, offering new insights into quantum logic and experiments.

Findings

Quantum systems are uniquely determined by their atom graphs.

States on atom graphs extend uniquely to partial Boolean algebras.

A method to express exclusivity experiments more precisely using atom graphs.

Abstract

Partial Boolean algebra underlies the quantum logic as an important tool for quantum contextuality. We propose the notion atom graphs to reveal the graph structure of partial Boolean algebra for finite dimensional quantum systems by proving that (i) the partial Boolean algebras for quantum systems are determined by their atom graphs; (ii) the states on atom graphs can be extended uniquely to the partial Boolean algebras, and (iii) each exclusivity graph is an induced graph of an atom graph. (i) and (ii) show that the finite dimensional quantum systems are uniquely determined by their atom graphs. which proves the reasonability of graphs as the models of quantum experiments. (iii) establishes a connection between atom graphs and exclusivity graphs, and introduces a method to express the exclusivity experiments more precisely. We also present a general and parametric description for Kochen-Specker theorem based on graphs, which gives a type of non-contextuality inequality for KS contextuality.