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:1607.07567 · International Journal of Quantum Information

Contextuality with a small number of observables

Frédéric Holweck, Метод Санига

Published Jun 1, 2017• 17 citations
arXivHTMLPDF

Abstract

We investigate small geometric configurations that furnish observable-based proofs of the Kochen–Specker theorem. Assuming that each context consists of the same number of observables and each observable is shared by two contexts, it is proved that the most economical proofs are the famous Mermin–Peres square and the Mermin pentagram featuring, respectively, 9 and 10 observables, there being no proofs using less than 9 observables. We also propose a new proof with 14 observables forming a “magic” heptagram. On the other hand, some other prominent small-size finite geometries, like the Pasch configuration and the prism, are shown not to be contextual.

DOI
10.1142/s0219749917500265

Related papers

Automated search for highly contextual Kochen-Specker proofs

Axel Muller, Metod Saniga

Observable-based Kochen-Specker proofs are configurations of multi-qubit Pauli observables grouped into contexts whose products are plus or minus the indentity. Their robustness as state-independent contextuality tests can be measured by the tolerated error per context $\varepsilon = 2d/|H|$, where $d$ is the contextuality degree and $|H|$ the number of contexts. Since the degree depends only on an underlying abstract structure called the hypergram i.e. the pair formed by the context hypergraph and the anticommutation graph, the search for highly contextual proofs can be carried out on them instead, with no reference to qubits or to any particular Pauli labeling. We further exploit this by enumerating anticommutation graphs first, and then by associating to each graph $G$ the single hypergram carrying its entire hypergraph support $HS(G)$, so that exactly one candidate is examined per graph. Applied to the House of Graphs database and to censuses of vertex-transitive graphs on at most 24 vertices, this pipeline recovers the Peres-Mermin square, the doily and the Mermin pentagram, and yields configurations reaching $\varepsilon = 0.707$, against $0.424$ for the previous published record. The best configurations are predominantly those stemming from line graphs and unions of graphs; we explain the former by showing that every perfect matching of a graph is a context of its line graph, which exhibits the Peres-Mermin square and the doily as the first members of two infinite families. We close with finite geometric descriptions of the most striking configurations inside symplectic polar spaces, in terms of ovoids, hyperbolic quadrics and Fano planes.

quant-pharXiv:2609.19862•Sep 18, 2026•0 citations

Construction of Three-Qubit Kochen-Specker Sets

S. P. Toh

Contextuality is one of the fundamental deviations of quantum mechanics from classical physics.The Kochen-Specker theorem shows that non-contextual classical physics with hidden variables is inconsistent with the predictions of quantum mechanics.Parity proof is one of the many different approaches applied to prove Kochen-Specker theorem for quantum system with different dimensionality.This method of proof requires Kochen-Specker sets that were composed of an odd number of bases and an even number of projectors.In most of the cases, the number of Kochen-Specker sets produced is large and its production is generally aided by computer calculation.However, manual generation of the Kochen-Specker sets are also reported previously for qutrit and two-qubit systems.We put forward the first and surprisingly simple method to generate manually Kochen-Specker sets, with respect to the Mermin pentagram, that can be used for the parity proof of the Kochen-Specker theorem in a state space of eight-dimensional three-qubit system.

arXiv:1603.08282•Acta Physica Polonica A•Mar 1, 2016•0 citations

State-Independent Proof of Kochen-Specker Theorem with 13 Rays

Sixia Yu, C. H. Oh

Quantum contextuality, as proved by Kochen and Specker, and also by Bell, should manifest itself in any state in any system with more than two distinguishable states and recently has been experimentally verified. However, for the simplest system capable of exhibiting contextuality, a qutrit, the quantum contextuality is verified only state dependently in experiment because too many (at least 31) observables are involved in all the known state-independent tests. Here we report an experimentally testable inequality involving only 13 observables that is satisfied by all noncontextual realistic models while being violated by all qutrit states. Thus our inequality facilitates a state-independent test of the quantum contextuality for an indivisible quantum system. We also provide a record-breaking state-independent proof of the Kochen-Specker theorem with 13 directions determined by 26 points on the surface of a magic cube.

arXiv:1109.4396•Physical Review Letters•Jan 18, 2012•235 citations

Mermin's pentagram and Bell's theorem

P. K. Aravind

It is shown how a proof of the Bell-Kochen-Specker (BKS) theorem given by Kernaghan and Peres can be experimentally realized using a scheme of measurements derived from a related proof of the same theorem by Mermin. It is also pointed out that if this BKS experiment is carried out independently by two distant observers who repeatedly make measurements on a specially correlated state of six qubits, it provides an inequality-free demonstration of Bell's theorem as well.

arXiv:quant-ph/0104138•Apr 30, 2001•2 citations

The many mathematical faces of Mermin's proof of the Kochen-Specker theorem

Leon Loveridge, Raouf Dridi

Mermin's simple "pentagram" proof of the Kochen-Specker theorem is examined from various perspectives. We emphasise the many mathematical structures intimately related to Kochen-Specker proofs, ranging through functional analysis, sheaf theory and topos theory, Coxeter groups and algebraic geometry. Some novel results are presented along the way.

arXiv:1511.00950•Nov 3, 2015•3 citations

State-Independent Proof of Kochen—Specker Theorem with Thirty Rank-Two Projectors

S. P. Toh

The Kochen—Specker theorem states that noncontextual hidden variable theories are incompatible with quantum mechanics. We provide a state-independent proof of the Kochen—Specker theorem using the smallest number of projectors, i.e., thirty rank-2 projectors, associated with the Mermin pentagram for a three-qubit system.

arXiv:1310.0190•Chinese Physics Letters•Oct 1, 2013•4 citations
We investigate small geometric configurations that furnish observable-based proofs of the Kochen–Specker theorem. Assuming that each context consists of the same number of observables and each observable is shared by two contexts, it is proved that the most economical proofs are the famous Mermin–Peres square and the Mermin pentagram featuring, respectively, 9 and 10 observables, there being no proofs using less than 9 observables. We also propose a new proof with 14 observables forming a “magic” heptagram. On the other hand, some other prominent small-size finite geometries, like the Pasch configuration and the prism, are shown not to be contextual.
Observable-based Kochen-Specker proofs are configurations of multi-qubit Pauli observables grouped into contexts whose products are plus or minus the indentity. Their robustness as state-independent contextuality tests can be measured by the tolerated error per context ε=2d/∣H∣\varepsilon = 2d/|H|ε=2d/∣H∣, where ddd is the contextuality degree and ∣H∣|H|∣H∣ the number of contexts. Since the degree depends only on an underlying abstract structure called the hypergram i.e. the pair formed by the context hypergraph and the anticommutation graph, the search for highly contextual proofs can be carried out on them instead, with no reference to qubits or to any particular Pauli labeling. We further exploit this by enumerating anticommutation graphs first, and then by associating to each graph GGG the single hypergram carrying its entire hypergraph support HS(G)HS(G)HS(G), so that exactly one candidate is examined per graph. Applied to the House of Graphs database and to censuses of vertex-transitive graphs on at most 24 vertices, this pipeline recovers the Peres-Mermin square, the doily and the Mermin pentagram, and yields configurations reaching ε=0.707\varepsilon = 0.707ε=0.707, against 0.4240.4240.424 for the previous published record. The best configurations are predominantly those stemming from line graphs and unions of graphs; we explain the former by showing that every perfect matching of a graph is a context of its line graph, which exhibits the Peres-Mermin square and the doily as the first members of two infinite families. We close with finite geometric descriptions of the most striking configurations inside symplectic polar spaces, in terms of ovoids, hyperbolic quadrics and Fano planes.
Contextuality is one of the fundamental deviations of quantum mechanics from classical physics.The Kochen-Specker theorem shows that non-contextual classical physics with hidden variables is inconsistent with the predictions of quantum mechanics.Parity proof is one of the many different approaches applied to prove Kochen-Specker theorem for quantum system with different dimensionality.This method of proof requires Kochen-Specker sets that were composed of an odd number of bases and an even number of projectors.In most of the cases, the number of Kochen-Specker sets produced is large and its production is generally aided by computer calculation.However, manual generation of the Kochen-Specker sets are also reported previously for qutrit and two-qubit systems.We put forward the first and surprisingly simple method to generate manually Kochen-Specker sets, with respect to the Mermin pentagram, that can be used for the parity proof of the Kochen-Specker theorem in a state space of eight-dimensional three-qubit system.
Quantum contextuality, as proved by Kochen and Specker, and also by Bell, should manifest itself in any state in any system with more than two distinguishable states and recently has been experimentally verified. However, for the simplest system capable of exhibiting contextuality, a qutrit, the quantum contextuality is verified only state dependently in experiment because too many (at least 31) observables are involved in all the known state-independent tests. Here we report an experimentally testable inequality involving only 13 observables that is satisfied by all noncontextual realistic models while being violated by all qutrit states. Thus our inequality facilitates a state-independent test of the quantum contextuality for an indivisible quantum system. We also provide a record-breaking state-independent proof of the Kochen-Specker theorem with 13 directions determined by 26 points on the surface of a magic cube.