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:2001.07656 · Physical Review Letters

Proof of the Peres Conjecture for Contextuality

Zhen‐Peng Xu, Jing‐Ling Chen, Otfried Gühne

Published Jun 9, 2020• 26 citations
arXivHTMLPDF

Abstract

A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics cannot be reconciled with classical models that are noncontextual for ideal measurements. The first explicit derivation by Kochen and Specker was rather complex, but considerable simplifications have been achieved thereafter. We propose a systematic approach to find minimal Hardy-type and Greenberger-Horne-Zeilinger-type (GHZ-type) proofs of the Kochen-Specker theorem, these are characterized by the fact that the predictions of classical models are opposite to the predictions of quantum mechanics. Based on our results, we show that the Kochen-Specker set with 18 vectors from Cabello et al. [Phys. Lett. A 212, 183 (1996)PYLAAG0375-960110.1016/0375-9601(96)00134-X] is the minimal set for any dimension, verifying a longstanding conjecture by Peres. Our results allow to identify minimal contextuality scenarios and to study their usefulness for information processing.

DOI
10.1103/physrevlett.124.230401

Related papers

Verification of Kochen-Specker-type quantum contextuality with a single photon

Shihao Ru, Weidong Tang, Yunlong Wang +3 more

Contextuality provides one of the fundamental characterizations of quantum phenomena, and can be used as a resource in lots of quantum information processing. In this paper, we summarize and derive some equivalent noncontextual inequalities from different noncontextual models of the proofs for the Kochen-Specker theorem based on Greenberger-Horne-Zeilinger states. These noncontextual inequalities are equivalent up to some correlation items which hold both for noncontextual hidden variable theories and quantum mechanics. Therefore, using single-photon hyperentangled Greenberger-Horne-Zeilinger states encoded by spin, path, and orbital angular momentum, we experimentally verify several state-dependent noncontextual models of the proofs for the Kochen-Specker theorem by testing an extreme simplest Mermin-like inequality.

arXiv:2010.05266•Physical Review A•Jan 27, 2022•4 citations

Quantum Contextuality

Costantino Budroni, Adán Cabello, Otfried Gühne +2 more

A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics is in conflict with classical models in which the result of a measurement does not depend on which other compatible measurements are jointly performed. Here, compatible measurements are those that can be performed simultaneously or in any order without disturbance. This conflict is generically called quantum contextuality. In this article, we present an introduction to this subject and its current status. We review several proofs of the Kochen-Specker theorem and different notions of contextuality. We explain how to experimentally test some of these notions and discuss connections between contextuality and nonlocality or graph theory. Finally, we review some applications of contextuality in quantum information processing.

•Feb 25, 2021•7 citations

Theoretical and Experimental Investigation of Gauge-like Equivalent Quantum Noncontextual Inequalities

Shihao Ru, Weidong Tang, Yunlong Wang +3 more

Contextuality provides one of the fundamental characterizations of quantum phenomena, and can be used as a resource in lots of quantum information processes. In this letter, we derive a class of gauge-like equivalent noncontextual inequalities from different noncontextual models of the proofs for Kochen-Specker theorem based on Greenberger-Horne-Zeilinger states. These noncontextual inequalities are equivalent up to some correlation items holding both for noncontextual hidden variable theories and quantum mechanics, and can be converted to an extreme simplest Mermin-like inequality. Then, using single-photon hyperentangled Greenberger-Horne-Zeilinger states encoded by spin, path and orbital angular momentum, we experimentally test all these state-dependent noncontextual models of the proofs for the Kochen-Specker theorem only by checking the extreme simplest Mermin-like inequality. The experiment results show that the Mermin-like inequality can be obviously violated and quantum mechanics is exclusively contextual.

•Oct 11, 2020•1 citation

Contextuality, Witness of Quantum Weirdness

Hippolyte Dourdent

The notion of contextuality, which emerges from a theorem established by Simon Kochen and Ernst Specker (1960-1967) and by John Bell (1964-1966), is certainly one of the most fundamental aspects of quantum weirdness. If it is a questioning on scholastic philosophy and a study of contrafactual logic that led Specker to his demonstration with Kochen, it was a criticism of von Neumann's "proof" that led John Bell to the result. A misinterpretation of this famous "proof" will lead them to diametrically opposite conclusions. Over the last decades, remarkable theoretical progresses have been made on the subject in the context of the study of quantum foundations and quantum information. Thus, the graphic generalizations of Cabello-Severini-Winter and Acin-Fritz-Leverrier-Sainz raise the question of the connection between non-locality and contextuality. It is also the case of the sheaf-theoretic approach of Samson Abramsky et al., which also invites us to compare contextuality with the logical structure of certain classical logical paradoxes. Another approach, initiated by Robert Spekkens, generalizes the concept to any type of experimental procedure. This new form of "universal" contextuality has been raised as a criterion of non-classicality, i.e. of weirdness. It notably led to identify the nature of curious quantum paradoxes involving post-selections and weak measurements. In the light of the fiftieth anniversary of the publication of the Kochen-Specker theorem, this report aims to introduce these results little known to the French scientific public, in the context of an investigation on the nature of the weirdness of quantum physics.

arXiv:1801.09768•Jan 29, 2018•1 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.01380•Aug 4, 2017•5 citations

Large violations in Kochen Specker contextuality and their applications

Ravishankar Ramanathan, Yuan Liu, Paweł Horodecki

Abstract It is of interest to study how contextual quantum mechanics is, in terms of the violation of Kochen Specker state-independent and state-dependent non-contextuality inequalities. We present state-independent non-contextuality inequalities with large violations, in particular, we exploit a connection between Kochen–Specker proofs and pseudo-telepathy games to show KS proofs in Hilbert spaces of dimension d ⩾ 217 with the ratio of quantum value to classical bias being O ( d / log d ) . We study the properties of this KS set and show applications of the large violation. It has been recently shown that Kochen–Specker proofs always consist of substructures of state-dependent contextuality proofs called 01-gadgets. We show a one-to-one connection between 01-gadgets in C d and Hardy paradoxes for the maximally entangled state in C d ⊗ C d . We use this connection to construct large violation 01-gadgets between arbitrary vectors in C d , as well as novel Hardy paradoxes for the maximally entangled state in C d ⊗ C d , and give applications of these constructions. As a technical result, we show that the minimum dimension of the faithful orthogonal representation of a graph in R d is not a graph monotone, a result that may be of independent interest.

arXiv:2106.15954•New Journal of Physics•Nov 17, 2021•3 citations
A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics cannot be reconciled with classical models that are noncontextual for ideal measurements. The first explicit derivation by Kochen and Specker was rather complex, but considerable simplifications have been achieved thereafter. We propose a systematic approach to find minimal Hardy-type and Greenberger-Horne-Zeilinger-type (GHZ-type) proofs of the Kochen-Specker theorem, these are characterized by the fact that the predictions of classical models are opposite to the predictions of quantum mechanics. Based on our results, we show that the Kochen-Specker set with 18 vectors from Cabello et al. [Phys. Lett. A 212, 183 (1996)PYLAAG0375-960110.1016/0375-9601(96)00134-X] is the minimal set for any dimension, verifying a longstanding conjecture by Peres. Our results allow to identify minimal contextuality scenarios and to study their usefulness for information processing.
Contextuality provides one of the fundamental characterizations of quantum phenomena, and can be used as a resource in lots of quantum information processing. In this paper, we summarize and derive some equivalent noncontextual inequalities from different noncontextual models of the proofs for the Kochen-Specker theorem based on Greenberger-Horne-Zeilinger states. These noncontextual inequalities are equivalent up to some correlation items which hold both for noncontextual hidden variable theories and quantum mechanics. Therefore, using single-photon hyperentangled Greenberger-Horne-Zeilinger states encoded by spin, path, and orbital angular momentum, we experimentally verify several state-dependent noncontextual models of the proofs for the Kochen-Specker theorem by testing an extreme simplest Mermin-like inequality.
A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics is in conflict with classical models in which the result of a measurement does not depend on which other compatible measurements are jointly performed. Here, compatible measurements are those that can be performed simultaneously or in any order without disturbance. This conflict is generically called quantum contextuality. In this article, we present an introduction to this subject and its current status. We review several proofs of the Kochen-Specker theorem and different notions of contextuality. We explain how to experimentally test some of these notions and discuss connections between contextuality and nonlocality or graph theory. Finally, we review some applications of contextuality in quantum information processing.
Contextuality provides one of the fundamental characterizations of quantum phenomena, and can be used as a resource in lots of quantum information processes. In this letter, we derive a class of gauge-like equivalent noncontextual inequalities from different noncontextual models of the proofs for Kochen-Specker theorem based on Greenberger-Horne-Zeilinger states. These noncontextual inequalities are equivalent up to some correlation items holding both for noncontextual hidden variable theories and quantum mechanics, and can be converted to an extreme simplest Mermin-like inequality. Then, using single-photon hyperentangled Greenberger-Horne-Zeilinger states encoded by spin, path and orbital angular momentum, we experimentally test all these state-dependent noncontextual models of the proofs for the Kochen-Specker theorem only by checking the extreme simplest Mermin-like inequality. The experiment results show that the Mermin-like inequality can be obviously violated and quantum mechanics is exclusively contextual.
The notion of contextuality, which emerges from a theorem established by Simon Kochen and Ernst Specker (1960-1967) and by John Bell (1964-1966), is certainly one of the most fundamental aspects of quantum weirdness. If it is a questioning on scholastic philosophy and a study of contrafactual logic that led Specker to his demonstration with Kochen, it was a criticism of von Neumann's "proof" that led John Bell to the result. A misinterpretation of this famous "proof" will lead them to diametrically opposite conclusions. Over the last decades, remarkable theoretical progresses have been made on the subject in the context of the study of quantum foundations and quantum information. Thus, the graphic generalizations of Cabello-Severini-Winter and Acin-Fritz-Leverrier-Sainz raise the question of the connection between non-locality and contextuality. It is also the case of the sheaf-theoretic approach of Samson Abramsky et al., which also invites us to compare contextuality with the logical structure of certain classical logical paradoxes. Another approach, initiated by Robert Spekkens, generalizes the concept to any type of experimental procedure. This new form of "universal" contextuality has been raised as a criterion of non-classicality, i.e. of weirdness. It notably led to identify the nature of curious quantum paradoxes involving post-selections and weak measurements. In the light of the fiftieth anniversary of the publication of the Kochen-Specker theorem, this report aims to introduce these results little known to the French scientific public, in the context of an investigation on the nature of the weirdness of quantum physics.
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.
Abstract It is of interest to study how contextual quantum mechanics is, in terms of the violation of Kochen Specker state-independent and state-dependent non-contextuality inequalities. We present state-independent non-contextuality inequalities with large violations, in particular, we exploit a connection between Kochen–Specker proofs and pseudo-telepathy games to show KS proofs in Hilbert spaces of dimension d ⩾ 217 with the ratio of quantum value to classical bias being O ( d / log d ) . We study the properties of this KS set and show applications of the large violation. It has been recently shown that Kochen–Specker proofs always consist of substructures of state-dependent contextuality proofs called 01-gadgets. We show a one-to-one connection between 01-gadgets in C d and Hardy paradoxes for the maximally entangled state in C d ⊗ C d . We use this connection to construct large violation 01-gadgets between arbitrary vectors in C d , as well as novel Hardy paradoxes for the maximally entangled state in C d ⊗ C d , and give applications of these constructions. As a technical result, we show that the minimum dimension of the faithful orthogonal representation of a graph in R d is not a graph monotone, a result that may be of independent interest.