Abstract
A generalized Kochen-Specker theorem is proved. It is shown that there exist sets of n projection operators, representing n yes-no questions about a quantum system, such that none of the 2″ possible answers is compatible with sum rules imposed by quantum mechanics. Namely, if a subset of commuting projection operators sums up to a matrix having only even or only odd eigenvalues, the number of “yes” answers ought to he even or odd, respectively. This requirement may lead to contradictions. An example is provided, involving nine projection operators in a 4-dimensional space.
Similar content being viewed by others
References
S. Kochen and E. P. Specker,J. Math. Mech. 17, 59 (1967).
M. Redhead,Incompleteness, Nonlocality, and Realism (Clarendon, Oxford, 1987).
R. Clifton,Am. J. Phys. 61, 443 (1993).
H. B. Johansen,Am. J. Phys. 62, 471 (1994).
A. Peres,J. Phys. A: Math. Gen. 24, L175 (1991).
A. Peres.Quantum Theory: Concepts and Methods (Kluwer. Dordrecht, 1993). p. 114.
M. Kernaghan,J. Phys. A: Math. Gen. 27, L829 (1994).
M. Kernaghan and A. Peres,Phys. Lett. A 198, 1 (1995).
A. Fine and P. Teller,Found. Phys. 8, 629 (1978).
N. D. Mermin,Phys. Ret. Lett. 65, 3373 (1990);Rev. Mod. Phys. 65, 803 (1993).
A. Peres,Phys. Lett. A 151, 107 (1990);Found. Phys. 22, 357 (1992).
Author information
Authors and Affiliations
Additional information
Dedicated to Professor Max Jammer on the occasion of his 80th birthday.
I am grateful to N. D. Mermin for patiently explaining to me that ref. 11 was a Kochen-Specker argument, not one about locality, as I had wrongly thought. This work was supported by the Gerard Swope Fund, and the Fund for Encouragement of Research.
Rights and permissions
About this article
Cite this article
Peres, A. Generalized Kochen-Specker theorem. Found Phys 26, 807–812 (1996). https://doi.org/10.1007/BF02058634
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02058634