Vector Generation of Quantum Contextual Sets in Even Dimensional Hilbert Spaces

Recently, quantum contextuality has been proved to be the source of quantum computation’s power. That, together with multiple recent contextual experiments, prompts improving the methods of generation of contextual sets and finding their features. The most elaborated contextual sets, which offer blueprints for contextual experiments and computational gates, are the Kochen–Specker (KS) sets. In this paper, we show a method of vector generation that supersedes previous methods. It is implemented by means of algorithms and programs that generate hypergraphs embodying the Kochen–Specker property and that are designed to be carried out on supercomputers. We show that vector component generation of KS hypergraphs exhausts all possible vectors that can be constructed from chosen vector components, in contrast to previous studies that used incomplete lists of vectors and therefore missed a majority of hypergraphs. Consequently, this unified method is far more efficient for generations of KS sets and their implementation in quantum computation and quantum communication. Several new KS classes and their features have been found and are elaborated on in the paper. Greechie diagrams are discussed.

[1]  P. K. Aravind,et al.  Proofs of the Kochen–Specker theorem based on a system of three qubits , 2012, 1205.5015.

[2]  M. Bourennane,et al.  State-independent quantum contextuality with single photons. , 2009, Physical review letters.

[3]  Tsuyoshi Murata,et al.  {m , 1934, ACML.

[4]  Norman D. Megill,et al.  Algorithms for Greechie Diagrams , 2000 .

[5]  Mladen Pavicic,et al.  Quantum logic and quantum computation , 2008, 0812.3072.

[6]  Norman D. Megill,et al.  New Kochen–Specker sets in four dimensions , 2009, 0910.1311.

[7]  Weinfurter,et al.  Experiments towards falsification of noncontextual hidden variable theories , 2000, Physical review letters.

[8]  Gustavo Lima,et al.  Applying the simplest Kochen-Specker set for quantum information processing. , 2014, Physical review letters.

[9]  Ravi Kunjwal,et al.  Hypergraph framework for irreducible noncontextuality inequalities from logical proofs of the Kochen-Specker theorem , 2018, Quantum.

[10]  Ravi Kunjwal,et al.  From the Kochen-Specker theorem to noncontextuality inequalities without assuming determinism. , 2015, Physical review letters.

[11]  Norman D. Megill,et al.  Kochen-Specker Vectors , 2004, quant-ph/0409014.

[12]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[13]  M. Planat.  On small proofs of the Bell-Kochen-Specker theorem for two, three and four qubits , 2012, 1204.4275.

[14]  Norman D. Megill,et al.  Parity Proofs of the Bell-Kochen-Specker Theorem Based on the 600-cell , 2010, 1010.4353.

[15]  P. K. Aravind,et al.  Parity proofs of the Kochen–Specker theorem based on the Lie algebra E8 , 2015, 1502.04350.

[16]  Koji Nagata.  Kochen-Specker theorem as a precondition for secure quantum key distribution , 2005 .

[17]  P. K. Aravind,et al.  The Penrose dodecahedron and the Witting polytope are identical in CP3 , 2017 .

[18]  G. Cañas,et al.  Experimental implementation of an eight-dimensional Kochen-Specker set and observation of its connection with the Greenberger-Horne-Zeilinger theorem , 2013, 1308.6336.

[19]  Fabio Sciarrino,et al.  Experimental Implementation of a Kochen-Specker Set of Quantum Tests , 2012, 1209.1836.

[20]  Norman D. Megill,et al.  New Class of 4-Dim Kochen-Specker Sets , 2010, 1004.1433.

[21]  R. Loidl,et al.  Quantum contextuality in a single-neutron optical experiment. , 2006, Physical review letters.

[22]  M. Pavičić.  Arbitrarily exhaustive hypergraph generation of 4-, 6-, 8-, 16-, and 32-dimensional quantum contextual sets , 2017, 1709.05430.

[23]  Asher Peres,et al.  Two simple proofs of the Kochen-Specker theorem , 1991 .

[24]  P. Badziag,et al.  Kochen-Specker set with seven contexts , 2013, 1308.6012.

[25]  Dov M. Gabbay,et al.  Handbook of Quantum logic and Quantum Structures , 2007 .

[26]  P. K. Aravind,et al.  Proofs of the Kochen-Specker theorem based on the N-qubit Pauli group , 2013, 1302.4801.

[27]  S. Filipp,et al.  Proposed experiment for testing quantum contextuality with neutrons. , 2008, Physical review letters.

[28]  Mladen Pavicic,et al.  New classes of Kochen-Specker contextual sets , 2017, 2017 40th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO).

[29]  P. K. Aravind,et al.  Parity Proofs of the Kochen–Specker Theorem Based on the 120-Cell , 2010, Foundations of Physics.

[30]  P. K. Aravind,et al.  BKS Theorem and Bell's Theorem in 16 Dimensions , 2019 .

[31]  Raymond Laflamme,et al.  Testing contextuality on quantum ensembles with one clean qubit. , 2009, Physical review letters.

[32]  Norman D. Megill,et al.  Graph approach to quantum systems , 2010, 1004.0776.

[33]  Guang-Can Guo,et al.  Experimental test of the Kochen-Specker theorem with single photons. , 2003, Physical review letters.

[34]  A. Cabello,et al.  Experimental test of quantum contextuality in neutron interferometry. , 2009, Physical review letters.

[35]  Guang-Can Guo,et al.  Experimental demonstration of quantum contextuality with nonentangled photons , 2009 .

[36]  P. K. Aravind,et al.  Critical noncolorings of the 600-cell proving the Bell–Kochen–Specker theorem , 2009, 0911.2289.

[37]  M. Kernaghan.  Bell-Kochen-Specker theorem for 20 vectors , 1994 .

[38]  O. Gühne,et al.  State-independent experimental test of quantum contextuality , 2009, Nature.

[39]  Weinfurter,et al.  Feasible "Kochen-Specker" experiment with single particles , 2000, Physical review letters.

[40]  Adrian Kent,et al.  Non-contextuality, finite precision measurement and the Kochen-Specker theorem , 2003 .

[41]  Norman D. Megill,et al.  Kochen–Specker Sets and Generalized Orthoarguesian Equations , 2010, 1005.0016.

[42]  Fabio Sciarrino,et al.  Hybrid ququart-encoded quantum cryptography protected by Kochen-Specker contextuality , 2011, 1109.2508.

[43]  M. Planat,et al.  Five-qubit contextuality, noise-like distribution of distances between maximal bases and finite geometry , 2012, 1206.0105.

[44]  P. K. Aravind,et al.  Parity proofs of the Kochen–Specker theorem based on 60 complex rays in four dimensions , 2011, 1109.1299.

[45]  Norman D. Megill,et al.  Probabilistic Generation of Quantum Contextual Sets , 2011, 1105.1840.

[46]  A. Cabello,et al.  Bell-Kochen-Specker theorem: A proof with 18 vectors , 1996, quant-ph/9706009.

[47]  R. W. Spekkens.  Contextuality for preparations, transformations, and unsharp measurements (17 pages) , 2005 .

[48]  R. Spekkens.  Contextuality for preparations, transformations, and unsharp measurements , 2004, quant-ph/0406166.

[49]  Victor Veitch,et al.  Contextuality Supplies the Magic for Quantum Computation , 2015, 2015 IEEE International Symposium on Multiple-Valued Logic.