The mathematical implications of a local hidden-variable theory with regards to quantum entanglement were explored by physicist John Stewart Bell, who in 1964 proved that broad classes of local hidden-variable theories cannot reproduce the correlations between measurement outcomes that quantum mechanics predicts, a result since confirmed by a range of detailed Bell test experiments.[1]
Models
Single qubit
A collection of related theorems, beginning with Bell's proof in 1964, show that quantum mechanics is incompatible with local hidden variables. However, as Bell pointed out, restricted sets of quantum phenomena can be imitated using local hidden-variable models. Bell provided a local hidden-variable model for quantum measurements upon a spin-1/2 particle, or in the terminology of quantum information theory, a single qubit.[2] Bell's model was later simplified by N. David Mermin, and a closely related model was presented by Simon B. Kochen and Ernst Specker.[3][4][5] The existence of these models is related to the fact that Gleason's theorem does not apply to the case of a single qubit.[6]
Bipartite quantum states
Bell also pointed out that up until then, discussions of quantum entanglement focused on cases where the results of measurements upon two particles were either perfectly correlated or perfectly anti-correlated. These special cases can also be explained using local hidden variables.[2][7][8]
For separable states of two particles, there is a simple hidden-variable model for any measurements on the two parties. Surprisingly, there are also entangled states for which all von Neumann measurements can be described by a hidden-variable model.[9] Such states are entangled, but do not violate any Bell inequality. The so-called Werner states are a single-parameter family of states that are invariant under any transformation of the type where is a unitary matrix. For two qubits, they are noisy singlets given as
where the singlet is defined as .
Reinhard F. Werner showed that such states allow for a hidden-variable model for , while they are entangled if . The bound for hidden-variable models could be improved until .[10] Hidden-variable models have been constructed for Werner states even if positive operator-valued measurements (POVM) are allowed, not only von Neumann measurements.[11] Hidden variable models were also constructed to noisy maximally entangled states, and even extended to arbitrary pure states mixed with white noise.[12] Beside bipartite systems, there are also results for the multipartite case. A hidden-variable model for any von Neumann measurements at the parties has been presented for a three-qubit quantum state.[13]
Time-dependent variables
Previously some new hypotheses were conjectured concerning the role of time in constructing hidden-variables theory. One approach was suggested by K. Hess and W. Philipp and relies upon possible consequences of time dependencies of hidden variables; this hypothesis has been criticized by Richard D. Gill, Gregor Weihs [de], Anton Zeilinger and Marek Żukowski, as well as D. M. Appleby.[14][15][16]
^Kochen, S.; Specker, E. (1967). "The Problem of Hidden Variables in Quantum Mechanics". Journal of Mathematics and Mechanics. 17 (1): 59–87. JSTOR24902153.