The Status of Determinism in Proofs of the Impossibility of a Noncontextual Model of Quantum Theory
In order to claim that one has experimentally tested whether a noncontextual ontological model could underlie certain measurement statistics in quantum theory, it is necessary to have a notion of noncontextuality that applies to unsharp measurements, i.e., those that can only be represented by positive operator-valued measures rather than projection-valued measures. This is because any realistic measurement necessarily has some nonvanishing amount of noise and therefore never achieves the ideal of sharpness. Assuming a generalized notion of noncontextuality that applies to arbitrary experimental procedures, it is shown that the outcome of a measurement depends deterministically on the ontic state of the system being measured if and only if the measurement is sharp. Hence for every unsharp measurement, its outcome necessarily has an indeterministic dependence on the ontic state. We defend this proposal against alternatives. In particular, we demonstrate why considerations parallel to Fine’s theorem do not challenge this conclusion.
KeywordsQuantum contextuality Kochen–Specker theorem Quantum foundations Positive operator valued measures Quantum measurement theory
The author would like to thank John Sipe and Howard Wiseman for their insistence that the topic of outcome-determinism for unsharp measurements deserved a better treatment. Thanks also to Ernesto Galvão, Ben Toner, Howard Wiseman, and Ravi Kunjwal for discussions, and to an anonymous referee for suggesting a simplification of the proof of Theorem 1. Research at Perimeter Institute is supported in part by the Government of Canada through NSERC and by the Province of Ontario through MRI.
- 1.Bell, J.S.: On the problem of hidden variables in quantum mechanics. Rev. Mod. Phys. 38, 447 (1966). (Reprinted in Ref. , chap. 1.)Google Scholar
- 8.Bell, J.S.: On the Einstein-Podolsky-Rosen paradox. Physics 1, 195 (1964). (Reprinted in Ref. , chap. 2.)Google Scholar
- 14.Zhang, Q., Li, H., Yang, T., Yin, J., Du, J., Pan, J.W.: Experimental test of the Kochen-Specker theorem for single qubits using positive operator-valued measures. arXiv:0412049v2 (2004)
- 20.Spekkens, R.W.: The paradigm of kinematics and dynamics must yield to causal structure. arXiv:1209.0023 (2012)
- 21.Harrigan, N., Rudolph, T.: Ontological models and the interpretation of contextuality. arXiv:0709.4266 (2007)
- 23.Greenberger, D.M., Horne, M.A., Zeilinger, A.: Going beyond Bells theorem. In Bells theorem, quantum theory and conceptions of the universe (pp. 69–72). Springer, Netherlands (1989).Google Scholar
- 30.Toner, B.F., Bacon, D., Ben-Or, M.: Kochen-Specker theorem for generalized measurements. Unpublished manuscript (2005).Google Scholar
- 31.Kunjwal, R., Ghosh, S.: A minimal state-dependent proof of measurement contextuality for a qubit. arXiv:1305.7009 (2013)
- 33.Spekkens, R.W., Kunjwal, R.: In preparation.Google Scholar