International Convention on Information and Communication Technology, Electronics and Microelectronics

Obtaining massive data sets for contextual experiments in quantum information

Mladen Pavičić

Published May 1, 2014• 1 citation

Abstract

Finding even the simplest Kochen-Specker sets for contextual experiments - a hot subject in the field of quantum information theory, theoretically and experimentally - by brute force would take all the clusters on Earth more than the Age of Universe. Human ingenuity found about a dozen such sets in the last 40 years. I will present how our group reduced this finding of contextual needles in a haystack to a manageable task, by first visualising them via hypergraphs, human-derived from the space symmetries, and then running jobs that generate the sets - billions of them - in parallel.

DOI: 10.1109/mipro.2014.6859586

Related papers

Non-Kochen–Specker Contextuality

Mladen Pavičić

Quantum contextuality supports quantum computation and communication. One of its main vehicles is hypergraphs. The most elaborated are the Kochen-Specker ones, but there is also another class of contextual sets that are not of this kind. Their representation has been mostly operator-based and limited to special constructs in three- to six-dim spaces, a notable example of which is the Yu-Oh set. Previously, we showed that hypergraphs underlie all of them, and in this paper, we give general methods-whose complexity does not scale up with the dimension-for generating such non-Kochen-Specker hypergraphs in any dimension and give examples in up to 16-dim spaces. Our automated generation is probabilistic and random, but the statistics of accumulated data enable one to filter out sets with the required size and structure.

arXiv:2307.16339EntropyJul 26, 20233 citations

Vector generation of contextual sets

Mladen Pavičić, Norman D. Megill

\nAs quantum contextuality proves to be a necessary resource for universal quantum computation, we present a general method for vector generation of Kochen-Specker (KS) contextual sets in the form of hypergraphs. The method supersedes all three previous methods: (i) fortuitous discoveries of smallest KS sets, (ii) exhaustive upward hypergraph-generation of sets, and (iii) random downward generation of sets from fortuitously obtained big master sets. In contrast to previous works, we can generate master sets which contain all possible KS sets starting with nothing but a few simple vector components. From them we can readily generate all KS sets obtained in the last half a century and any specified new KS sets. Herewith we can generate sufficiently large sets as well as sets with definite required features and structures to enable varieties of different implementations in quantum computation and communication.\n

Jan 15, 20192 citations

New classes of Kochen-Specker contextual sets

Norman D. Megill, Mladen Pavičić

Finding Kochen-Specker contextual sets proves to be essential for quantum information and quantum computation in particular. It is therefore essential to find algorithms and programs which can generate arbitrary Kochen-Specker sets in a nearly-exhaustive manner. In this paper we present such generations for two new classes of Kochen-Specker sets. All sets from one of the classes are completely invisible to standard algorithms and programs from the literature as well as the upper part of sets from the second class. We also describe the methods and programs we used to obtain the sets on supercomputing clusters.

International Convention on Information and Communication Technology, Electronics and MicroelectronicsMay 1, 20175 citations

Quantum Contextual Hypergraphs, Operators, Inequalities, and Applications in Higher Dimensions

Mladen Pavičić

Quantum contextuality plays a significant role in supporting quantum computation and quantum information theory. The key tools for this are the Kochen-Specker and non-Kochen-Specker contextual sets. Traditionally, their representation has been predominantly operator-based, mainly focusing on specific constructs in dimensions ranging from three to eight. However, nearly all of these constructs can be represented as low-dimensional hypergraphs. This study demonstrates how to generate contextual hypergraphs in any dimension using various methods, particularly those that do not scale in complexity with increasing dimensions. Furthermore, we introduce innovative examples of hypergraphs extending to dimension 32. Our methodology reveals the intricate structural properties of hypergraphs, enabling precise quantifications of contextuality. Additionally, we investigate several promising applications of hypergraphs in quantum communication and quantum computation, paving the way for future breakthroughs in the field.

arXiv:2501.09637EntropyJan 9, 20251 citation

Kochen-Specker theorem revisited

Del Rajan, Matt Visser

The Kochen-Specker theorem is a basic and fundamental 50 year old non-existence result affecting the foundations of quantum mechanix, strongly implying the lack of any meaningful notion of "quantum realism", and typically leading to discussions of "contextuality" in quantum physics. Original proofs of the Kochen-Specker theorem proceeded via brute force counter-examples; often quite complicated and subtle (albeit mathematically "elementary") counter-examples. Only more recently have somewhat more "geometrical" proofs been developed. We present herein yet another simplified geometrical proof of the Kochen-Specker theorem, one that is valid for any number of dimensions, that minimizes the technical machinery involved, and makes the seriousness of the issues raised manifest.

arXiv:1708.01380Aug 4, 20175 citations

Arbitrarily exhaustive hypergraph generation of 4-, 6-, 8-, 16-, and 32-dimensional quantum contextual sets

Mladen Pavičić

Quantum contextuality turns out to be a necessary resource for universal quantum computation and important in the field of quantum information processing. It is therefore of interest both for theoretical considerations and for experimental implementation to find new types and instances of contextual sets and develop methods of their optimal generation. We present an arbitrarily exhaustive hypergraph-based generation of the most explored contextual sets [Kochen-Specker (KS) ones] in 4, 6, 8, 16, and 32 dimensions. We consider and analyze 12 KS classes and obtain numerous properties of theirs, which we then compare with the results previously obtained in the literature. We generate several thousand additional types and instances of KS sets, including all KS sets in three of the classes and the upper part of a fourth set. We make use of the McKay-Megill-Pavi\ifmmode \check{c}\else \v{c}\fi{}i\ifmmode \acute{c}\else \'{c}\fi{} (MMP) hypergraph language, algorithms, and programs to generate KS sets strictly following their definition from the Kochen-Specker theorem. This approach proves to be particularly advantageous over the parity-proof-based ones (which prevail in the literature) since it turns out that only a very few KS sets have a parity proof (in six KS classes 0.01% and in one of them 0%). MMP hypergraph formalism enables a translation of an exponentially complex task of solving systems of nonlinear equations, describing KS vector orthogonalities, into a statistically linearly complex task of evaluating vertex states of hypergraph edges, thus exponentially speeding up the generation of KS sets and enabling us to generate billions of novel instances of them. The MMP hypergraph notation also enables us to graphically represent KS sets and to visually discern their features.

arXiv:1709.05430Physical Review AJun 26, 201714 citations