References & Citations
Quantum Physics
Title: A proof of the Kochen-Specker theorem can always be converted to a state-independent noncontextuality inequality
(Submitted on 11 May 2015 (v1), last revised 7 Sep 2015 (this version, v2))
Abstract: Quantum contextuality is one of the fundamental notions in quantum mechanics. Proofs of the Kochen-Specker theorem and noncontextuality inequalities are two means for revealing the contextuality phenomenon in quantum mechanics. It has been found that some proofs of the Kochen-Specker theorem, such as those based on rays, can be converted to a state-independent noncontextuality inequality, but it remains open whether it is true in general, i.e., whether any proof of the Kochen-Specker theorem can always be converted to a noncontextuality inequality. In this paper, we address this issue. We prove that all kinds of proofs of the Kochen-Specker theorem, based on rays or any other observables, can always be converted to state-independent noncontextuality inequalities. Besides, our constructive proof also provides a general approach for deriving a state-independent noncontextuality inequality from a proof of the Kochen-Specker theorem.
Submission history
From: D M Tong [view email][v1] Mon, 11 May 2015 13:27:44 GMT (13kb)
[v2] Mon, 7 Sep 2015 14:01:51 GMT (10kb)
Link back to: arXiv, form interface, contact.