The Bell states are four specific maximally entangled
quantum states of two
qubits. They are in a superposition of 0 and 1a linear combination of the two states. Their entanglement means the following: The qubit held by Alice (subscript "A") can be in a superposition of 0 and 1. If Alice measured her qubit in the standard basis, the outcome would be either 0 or 1, each with probability 1/2; if Bob (subscript "B") also measured his qubit, the outcome would be the same as for Alice. Thus, Alice and Bob would each seemingly have random outcome. Through communication they would discover that, although their outcomes separately seemed random, these were perfectly correlated. This perfect correlation at a distance is special: maybe the two particles "agreed" in advance, when the pair was created (before the qubits were separated), which outcome they would show in case of a measurement. Hence, following
Albert Einstein,
Boris Podolsky, and
Nathan Rosen in their famous 1935 "
EPR paper", there is something missing in the description of the qubit pair given abovenamely this "agreement", called more formally a
hidden variable. In his famous paper of 1964,
John S. Bell showed by simple
probability theory arguments that these correlations (the one for the 0, 1 basis and the one for the +, − basis) cannot
both be made perfect by the use of any "pre-agreement" stored in some hidden variablesbut that quantum mechanics predicts perfect correlations. In a more refined formulation known as the
Bell–CHSH inequality, it is shown that a certain correlation measure cannot exceed the value 2 if one assumes that physics respects the constraints of
local "hidden-variable" theory (a sort of common-sense formulation of how information is conveyed), but certain systems permitted in quantum mechanics can attain values as high as 2\sqrt{2}. Thus, quantum theory violates the Bell inequality and the idea of local "hidden variables".
Bell basis Four specific two-qubit states with the maximal value of 2\sqrt{2} are designated as "Bell states". They are known as the four
maximally entangled two-qubit Bell states and form a maximally entangled basis, known as the Bell basis, of the four-dimensional
Hilbert space for two qubits: : |\Phi^+\rangle = \frac{1}{\sqrt{2}} \big(|0\rangle_A \otimes |0\rangle_B + |1\rangle_A \otimes |1\rangle_B\big) \qquad (1) : |\Phi^-\rangle = \frac{1}{\sqrt{2}} \big(|0\rangle_A \otimes |0\rangle_B - |1\rangle_A \otimes |1\rangle_B\big) \qquad (2) : |\Psi^+\rangle = \frac{1}{\sqrt{2}} \big(|0\rangle_A \otimes |1\rangle_B + |1\rangle_A \otimes |0\rangle_B\big) \qquad (3) : |\Psi^-\rangle = \frac{1}{\sqrt{2}} \big(|0\rangle_A \otimes |1\rangle_B - |1\rangle_A \otimes |0\rangle_B\big) \qquad (4)
Creating Bell states via quantum circuits Although there are many possible ways to create entangled Bell states through
quantum circuits, the simplest takes a computational basis as the input, and contains a
Hadamard gate and a
CNOT gate (see picture). As an example, the pictured quantum circuit takes the two qubit input |00\rangle and transforms it to the first Bell state |\Phi^+\rangle. Explicitly, the Hadamard gate transforms |00\rangle into a
superposition of (|0\rangle|0\rangle + |1\rangle|0\rangle) \over \sqrt{2}. This will then act as a control input to the CNOT gate, which only inverts the target (the second qubit) when the control (the first qubit) is 1. Thus, the CNOT gate transforms the second qubit as follows \frac{(|00\rangle + |11\rangle)}{\sqrt{2} } = |\Phi^+\rangle. For the four basic two-qubit inputs, |00\rangle, |01\rangle, |10\rangle, |11\rangle, the circuit outputs the four Bell states (
listed above). More generally, the circuit transforms the input in accordance with the equation |\beta(x,y)\rangle = \left ( \frac{|0,y\rangle + (-1)^x|1,\bar{y}\rangle}{\sqrt{2}} \right ), where \bar{y} is the negation of y.
Properties of Bell states The result of a measurement of a single qubit in a Bell state is indeterminate, but upon measuring the first qubit in the
z-basis, the result of measuring the second qubit is guaranteed to yield the same value (for the \Phi Bell states) or the opposite value (for the \Psi Bell states). This implies that the measurement outcomes are correlated.
John Bell was the first to prove that the measurement correlations in the Bell State are stronger than could ever exist between classical systems. This hints that quantum mechanics allows information processing beyond what is possible with classical mechanics. In addition, the Bell states form an orthonormal basis and can therefore be defined with an appropriate measurement. Because Bell states are entangled states, information on the entire system may be known, while withholding information on the individual subsystems. For example, the Bell state is a
pure state, but the reduced density operator of the first qubit is a
mixed state. The mixed state implies that not all the information on this first qubit is known. Bell States are either symmetric or antisymmetric with respect to the subsystems. Bell states are maximally entangled in the sense that its reduced density operators are maximally mixed, the multipartite generalization of Bell states in this spirit is called the
absolutely maximally entangled (AME) state. ==Bell state measurement==