Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1911.06448 · Entropy

Hypergraph Contextuality

Mladen Pavičić

Published Nov 12, 2019• 8 citations
arXivHTMLPDF

Abstract

Quantum contextuality is a source of quantum computational power and a theoretical delimiter between classical and quantum structures. It has been substantiated by numerous experiments and prompted generation of state independent contextual sets, that is, sets of quantum observables capable of revealing quantum contextuality for any quantum state of a given dimension. There are two major classes of state-independent contextual sets—the Kochen-Specker ones and the operator-based ones. In this paper, we present a third, hypergraph-based class of contextual sets. Hypergraph inequalities serve as a measure of contextuality. We limit ourselves to qutrits and obtain thousands of 3-dim contextual sets. The simplest of them involves only 5 quantum observables, thus enabling a straightforward implementation. They also enable establishing new entropic contextualities.

DOI
10.3390/e21111107

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.16339•Entropy•Jul 26, 2023•3 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.09637•Entropy•Jan 9, 2025•1 citation

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.05430•Physical Review A•Jun 26, 2017•14 citations

Chromatic Quantum Contextuality

Karl Svozil

Chromatic quantum contextuality is a criterion of quantum nonclassicality based on (hyper)graph coloring constraints. If a quantum hypergraph requires more colors than the number of outcomes per maximal observable (context), it lacks a classical realization with n-uniform outcomes per context. Consequently, it cannot represent a “completable” noncontextual set of coexisting n-ary outcomes per maximal observable. This result serves as a chromatic analogue of the Kochen-Specker theorem. We present an explicit example of a four-colorable quantum logic in dimension three. Furthermore, chromatic contextuality suggests a novel restriction on classical truth values, thereby excluding two-valued measures that cannot be extended to n-ary colorings. Using this framework, we establish new bounds for the house, pentagon, and pentagram hypergraphs, refining previous constraints.

arXiv:2501.15261•Entropy•Apr 5, 2025•1 citation

Generation of state-independent contextuality proofs from hypergraphs

Axel Müller, Alain Giorgetti, Метод Санига

We present a new structure, named hypergram, composed of a hypergraph and a graph of anticommutations, and a necessary and sufficient condition for the existence of a labeling of its vertices by Pauli observables which may produce a state-independent Kochen-Specker contextuality proof. Then we present a polynomial algorithm to find such a labeling with the minimal number of qubits. Applying this algorithm to medium-sized hypergraphs produces new contextuality proofs that were beyond the reach of the previous known methods. We also present the Qontextium tool in which this algorithm is implemented.

•Jan 28, 2025•0 citations

Vector generation of contextual sets

Mladen Pavičić, Norman D. Megill

As 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.

arXiv:1905.01784•EPJ Web of Conferences•Jan 1, 2019•3 citations
Quantum contextuality is a source of quantum computational power and a theoretical delimiter between classical and quantum structures. It has been substantiated by numerous experiments and prompted generation of state independent contextual sets, that is, sets of quantum observables capable of revealing quantum contextuality for any quantum state of a given dimension. There are two major classes of state-independent contextual sets—the Kochen-Specker ones and the operator-based ones. In this paper, we present a third, hypergraph-based class of contextual sets. Hypergraph inequalities serve as a measure of contextuality. We limit ourselves to qutrits and obtain thousands of 3-dim contextual sets. The simplest of them involves only 5 quantum observables, thus enabling a straightforward implementation. They also enable establishing new entropic contextualities.
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.
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.
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.
Chromatic quantum contextuality is a criterion of quantum nonclassicality based on (hyper)graph coloring constraints. If a quantum hypergraph requires more colors than the number of outcomes per maximal observable (context), it lacks a classical realization with n-uniform outcomes per context. Consequently, it cannot represent a “completable” noncontextual set of coexisting n-ary outcomes per maximal observable. This result serves as a chromatic analogue of the Kochen-Specker theorem. We present an explicit example of a four-colorable quantum logic in dimension three. Furthermore, chromatic contextuality suggests a novel restriction on classical truth values, thereby excluding two-valued measures that cannot be extended to n-ary colorings. Using this framework, we establish new bounds for the house, pentagon, and pentagram hypergraphs, refining previous constraints.
We present a new structure, named hypergram, composed of a hypergraph and a graph of anticommutations, and a necessary and sufficient condition for the existence of a labeling of its vertices by Pauli observables which may produce a state-independent Kochen-Specker contextuality proof. Then we present a polynomial algorithm to find such a labeling with the minimal number of qubits. Applying this algorithm to medium-sized hypergraphs produces new contextuality proofs that were beyond the reach of the previous known methods. We also present the Qontextium tool in which this algorithm is implemented.
As 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.