Pusey–Barrett–Rudolph theorem
The Pusey–Barrett–Rudolph 'theorem' is a no-go theorem in quantum foundations due to Matthew Pusey, Jonathan Barrett, and Terry Rudolph in 2012. It has particular significance for how one may interpret the nature of the quantum state.
With respect to certain realist hidden variable theories that attempt to explain the predictions of quantum mechanics, the theorem rules that pure quantum states must be "ontic" in the sense that they correspond directly to states of reality, rather than "epistemic" in the sense that they represent probabilistic or incomplete states of knowledge about reality.
The PBR theorem may also be compared with other no-go theorems like Bell's theorem and the Bell–Kochen–Specker theorem, which, respectively, rule out the possibility of explaining the predictions of quantum mechanics with local hidden variable theories and noncontextual hidden variable theories. Similarly, the PBR theorem could be said to rule out preparation independent hidden variable theories, in which quantum states that are prepared independently have independent hidden variable descriptions.
Theorem
This theorem concerns the interpretational status of pure quantum states. Under the classification of hidden variable models of Nicholas Harrigan and Robert Spekkens, the interpretation of the quantum wavefunction can be categorized as either ψ-ontic if "every complete physical state or ontic state in the theory is consistent with only one pure quantum state" and ψ-epistemic "if there exist ontic states that are consistent with more than one pure quantum state." The PBR theorem proves that either the quantum state is ψ-ontic, or else non-entangled quantum states violate the assumption of preparation independence, which would entail action at a distance.More specifically, the theorem applies to models that treat quantum states as probability distributions over hidden variables, or ontic states. In such a model, writing the space of ontic states as, a quantum state is a probability distribution defined on the set. An observable is represented as a set of response functions, or conditional probability densities: is the probability that the measurement has the outcome if the ontic state of the system being measured is. In order to reproduce the predictions of quantum mechanics, the probability of obtaining an outcome given a state as calculated by the Born rule must satisfy
The theorem concludes that if two quantum states are distinct, they must correspond to probability distributions that do not overlap.
The PBR theorem employs the concept of an "antidistinguishable" set of quantum states. A finite set of quantum states, written as density matrices to include the possibility of mixed states, is antidistinguishable if there exists a generalized measurement such that, for each value of, some outcome of the POVM is assigned probability zero by the state. In other words, for an antidistinguishable set of density matrices, there exists a POVM such that
for all. This concept was introduced by Carlton M. Caves, Christopher A. Fuchs and Rüdiger Schack under the name "post-Peierls incompatibility", as it generalizes a condition proposed by Rudolf Peierls. An antidistinguishable, or post-Peierls incompatible, set is also sometimes termed a set that allows "conclusive exclusion".