A proof of the Kochen–Specker theorem can always be converted to a state-independent noncontextuality inequality

Autor: Xiao-Dong Yu, Yan-Qing Guo, D M Tong
Jazyk: angličtina
Rok vydání: 2015
Předmět:
Zdroj: New Journal of Physics, Vol 17, Iss 9, p 093001 (2015)
Druh dokumentu: article
ISSN: 1367-2630
DOI: 10.1088/1367-2630/17/9/093001
Popis: 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 this 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 KS theorem.
Databáze: Directory of Open Access Journals