Automated generation of Kochen-Specker sets

Abstract

Quantum contextuality turns out to be a necessary resource for universal quantum computation and also has applications in quantum communication. Thus it becomes important to generate contextual sets of arbitrary structure and complexity to enable a variety of implementations. In recent years, such generation has been done for contextual sets known as Kochen-Specker sets. Up to now, two approaches have been used for massive generation of non-isomorphic Kochen-Specker sets: exhaustive generation up to a given size and downward generation from master sets and their associated coordinatizations. Master sets were obtained earlier from serendipitous or intuitive connections with polytopes or Pauli operators, and more recently from arbitrary vector components using an algorithm that generates orthogonal vector groupings from them. However, both upward and downward generation face an inherent exponential complexity barrier. In contrast, in this paper we present methods and algorithms that we apply to downward generation that can overcome the exponential barrier in many cases of interest. These involve tailoring and manipulating Kochen-Specker master sets obtained from a small number of simple vector components, filtered by the features of the sets we aim to obtain. Some of the classes of Kochen-Specker sets we generate contain all previously known ones, and others are completely novel. We provide examples of both kinds in 4- and 6-dim Hilbert spaces. We also give a brief introduction for a wider audience and a novice reader.

arXiv comment17 pages, 9 figures

References in corpus (35)

• Contextuality for preparations, transformations, and unsharp measurements
• Contextuality supplies the magic for quantum computation
• State-independent experimental test of quantum contextuality
• Bell-Kochen-Specker theorem: A proof with 18 vectors
• Experimental test of quantum contextuality in neutron interferometry
• Automated Search for new Quantum Experiments
• State-independent quantum contextuality with single photons
• Testing contextuality on quantum ensembles with one clean qubit
• A feasible "Kochen-Specker" experiment with single particles
• Experiments towards Falsification of Noncontextual Hidden Variable Theories
• From the Kochen-Specker theorem to noncontextuality inequalities without assuming determinism
• Experimental implementation of a Kochen-Specker set of quantum tests
• Applying the simplest Kochen-Specker set for quantum information processing
• Kochen-Specker Vectors
• Hybrid ququart-encoded quantum cryptography protected by Kochen-Specker contextuality
• Kochen-Specker set with seven contexts
• Proofs of the Kochen-Specker theorem based on a system of three qubits
• What does an experimental test of quantum contextuality prove or disprove?
• Experimental implementation of an eight-dimensional Kochen-Specker set and observation of its connection with the Greenberger-Horne-Zeilinger theorem
• Proofs of the Kochen-Specker theorem based on the N-qubit Pauli group
• Recursive proof of the Bell-Kochen-Specker theorem in any dimension $n>3$
• New Kochen-Specker Sets in Four Dimensions
• Parity proofs of the Bell-Kochen-Specker theorem based on the 600-cell
• Parity proofs of the Kochen-Specker theorem based on 60 complex rays in four dimensions
• Kochen-Specker theorem as a precondition for secure quantum key distribution
• Parity proofs of the Kochen-Specker theorem based on the Lie algebra E8
• Graph Approach to Quantum Systems
• Probabilistic Generation of Quantum Contextual Sets
• Vector Generation of Quantum Contextual Sets in Even Dimensional Hilbert Spaces
• Arbitrarily exhaustive hypergraph generation of 4-, 6-, 8-, 16-, and 32-dimensional quantum contextual sets
• Parity proofs of the Kochen-Specker theorem based on the 120-cell
• Critical noncolorings of the 600-cell proving the Bell-Kochen-Specker theorem
• New Class of 4-Dim Kochen-Specker Sets
• The Penrose dodecahedron and the Witting polytope are identical in CP(3)
• Kochen-Specker Sets and Generalized Orthoarguesian Equations

Cited by in corpus (9)

• Computer-inspired Quantum Experiments
• Machine Learning meets Quantum Foundations: A Brief Survey
• Quantum Contextuality
• What makes quantum clicks special?
• Hypergraph Contextuality
• Automated Generation of Arbitrarily Many Kochen-Specker and Other Contextual Sets in Odd Dimensional Hilbert Spaces
• Non-Kochen-Specker Contextuality
• Generation of Kochen-Specker contextual sets in higher dimensions by dimensional upscaling whose complexity does not scale with dimension and their applications
• Quantum Contextual Hypergraphs, Operators, Inequalities, and Applications in Higher Dimensions