An abstract structure determines the contextuality degree of observable-based Kochen-Specker proofs

Abstract

This article delves into the concept of quantum contextuality, specifically focusing on proofs of the Kochen-Specker theorem obtained by assigning Pauli observables to hypergraph vertices satisfying a given commutation relation. The abstract structure composed of this hypergraph and the graph of anticommutations is named a hypergram. Its labelings with Pauli observables generalize the well-known magic sets. A first result is that all these correct quantum labelings of a given hypergram inherently possess the same degree of contextuality. Then we provide a necessary and sufficient condition for the existence of such quantum labelings and an efficient algorithm to find one of them. We finally attach to each assignable hypergram an abstract notion of contextuality degree. By presenting the study of observable-based Kochen-Specker proofs from the perspectives of graphs and matrices, this abstraction opens the way to new methods to search for original contextual configurations.

20 pages, 3 figures, 1 table

References in corpus (16)

• Hidden Variables and the Two Theorems of John Bell
• State-independent experimental test of quantum contextuality
• Graph-Theoretic Approach to Quantum Correlations
• Kochen-Specker Contextuality
• A Combinatorial Approach to Nonlocality and Contextuality
• Perfect Commuting-Operator Strategies for Linear System Games
• Proposed test of macroscopic quantum contextuality
• Contextuality with a Small Number of Observables
• Homotopical approach to quantum contextuality
• Taxonomy of Polar Subspaces of Multi-Qubit Symplectic Polar Spaces of Small Rank
• Contextuality degree of quadrics in multi-qubit symplectic polar spaces
• Irreducible magic sets for $n$-qubit systems
• New and improved bounds on the contextuality degree of multi-qubit configurations
• Unconditional quantum magic advantage in shallow circuit computation
• No quantum solutions to linear constraint systems in odd dimension from Pauli group and diagonal Cliffords
• A new heuristic approach for contextuality degree estimates and its four- to six-qubit portrayals