Bell's theorem/Quantum correlation

Here it is shown that for an entangled pair of photons, the linear and circular polarization obey:
 * LL> + |RR> = |xx> + |yy> ... if &Psi;(&minus;z)=&Psi;(+z)
 * RR> &minus; |LL> = |yx> &minus; |xy> ... if &Psi;(&minus;z)=&minus;&Psi;(+z)

The two photons, Alice and Bob in a Bell's theorem experiment, have the same linear polarization if entangled state has even parity, and perpendicular  polarization if the parity is odd.

Circular motion of a phasor in the x-y plane
We begin by defining positive and negative helicity with respect to the +z direction
 * $$\phi_{+} = \frac{\hat x - i\hat y}{\sqrt 2}e^{-i\omega t}$$

rotates with a sign that is positive with respect to the z axis (counterclockwise if the z-axis is facing towards you). Both the real and imaginary parts rotate in this direction; for example the real part is $$\Re\phi_{+}=\cos(\omega t)\hat x + \sin(\omega t)\hat y$$. A signal with the opposite helicity,


 * $$\phi_- = \frac{\hat x + i\hat y}{\sqrt 2}e^{-i\omega t}$$

rotates with a sign that is negative with respect to the z axis. It is convenient to define the two complex unit vectors:


 * $$\hat u_+ = \frac{\hat x - i\hat y}{\sqrt 2} $$ and $$\hat u_- =  \frac{\hat x + i\hat y}{\sqrt 2} $$

In order to ascertain whether whether the unit vectors $$\hat u_\pm$$ are associated with right or left-handed helicity, it is necessary to know which direction (along the z axis) the signal is propagating. Since there are two potons (called Bob and Alice), we need two different spatial variables (zA,zB along the z-axis. We shall temporarily assume that Alice is travelling in the &minus;z direction, and Bob is travelling in the +z direction (and later find that we must entangle the two photon propagation directions  due to parity considerations).
 * $$\psi^A_L = \hat u^+e^{i(-kz_A-\omega t)}$$ represents a left-handed photon travelling in the &minus;z direction
 * $$\psi^A_R = \hat u^-e^{i(-kz_A-\omega t)}$$ is a right-handed photon travelling in the &minus;z direction.
 * $$\psi^B_R = \hat u^+e^{i(kz_B-\omega t)}$$ is a right-handed photon travelling in the +z direction.
 * $$\psi^B_L = \hat u^-e^{i(kz_B-\omega t)}$$ is a left-handed photon travelling in the +z direction.

The Alice-first convention
When two quantum particles are considered simultaneously, it is necessary to create a composite, or tensor product of the two states. Taking a hint from Dirac's convenient Bra–ket notation, we simplify as much as possible by describing states with minimum notational description. For example, we may avoid labeling the unit vectors with A and B superscripts, provided we adopt a convention in which the polarization of the A (Alice) state is placed in front of the polarization of the B (Bob) state. It is also convenient to omit the time dependence e&minus;i&omega;t:


 * $$\psi_{RR} =

\frac{\hat x + i\hat y }{\sqrt 2}\cdot\frac{\hat x - i\hat y }{\sqrt 2} e^{ik(z_B-z_A)} $$


 * $$\psi_{LL} =

\frac{\hat x - i\hat y }{\sqrt 2}\cdot\frac{\hat x + i\hat y }{\sqrt 2} e^{ik(z_B-z_A)} $$

For example, our "Alice first" convention allows us to interpret $$\hat x\hat y$$ as follows:


 * $$\hat x\hat y e^{ik(z_B-z_A)}

\equiv \left(\hat x_A e^{-ikz_A}\right) \otimes \left( \hat y_B e^{ikz_B}\right)$$

Here, the location of $$\hat x$$ as the first unit vector implies that Alice is polarized in the x direction, while the location of $$\hat y$$ in the second position implies that Bob is polarized in the y direction. Alternatives to the composite notation $$(\otimes)$$ include the creation of a two-dimensional vector with components $$[\phi_A,\phi_B]$$, or using the "ket", $$|RL\rangle$$, to represent $$\psi_{RL}$$.

Simplifying assumptions that reduce unnecessary complications
Even though $$\psi_{RL} \text{ and } \psi_{LR}$$ are allowed photon states, we are deliberately excluding them by restricting ourselves to transitions in which that parent atom's angular momentum does not change. We also exclude, for simplicity, the possibility that Alice and Bob have different energy. If the energies are different, expressions such as, $$e^{ik(z_B-z_A)}$$, are replaced by, $$e^{i(k_Bz_B-k_Az_A)}$$, where kA and kB are the wavenumbers of Alice and Bob, respectively.

Expressing the circular polarized states in terms of linear polarization unit vectors

 * $$\psi_{RR} =

\left[ \frac{\hat x \hat x + \hat y \hat y }{2} +i\frac{\hat y \hat x - \hat x \hat y }{2} \right] e^{ik(z_B-z_A)} $$


 * $$\psi_{LL} =

\left[ \frac{\hat x \hat x + \hat y \hat y }{2} +i\frac{\hat x \hat y - \hat y \hat x }{2} \right] e^{ik(z_B-z_A)} $$

By restricting our discussion to a situation where the angular momentum of the parent atom does not change, we my ignore the two corresponding entangled photon states ($$\psi_{RL}$$ and $$\psi_{LR}$$) because they have net angular momentum. We now seek states of known parity, first by adding and subtracting:


 * $$\frac{\psi_{RR}+\psi_{LL}}{\sqrt 2}

=\frac{\hat x \hat x + \hat y \hat y}{\sqrt 2} e^{ik(z_B-z_A)}\equiv \psi_{+}$$


 * $$\frac{\psi_{RR}-\psi_{LL}}{\sqrt 2}

=i\frac{\hat y \hat x - \hat x \hat y}{\sqrt 2} e^{ik(z_B-z_A)}\equiv \psi_{-}$$.

The states $$\psi_+ \text{ and } \psi_-$$ are now almost states of even and odd parity, respectively. To finish the task, we take the complex conjugate of both wavefunctions and combine:

Entangled states of even and odd parity
The entangled photon states of parity, P=+1 and P=&minus;1, are, respectively:
 * $$\Psi_{+}=\frac{\psi_+ + \overline\psi_-}{2} =

\frac{\hat x \hat x + \hat y \hat y}{\sqrt 2}\cos k(z_B-z_A)$$


 * $$\Psi_{-}=\frac{\psi_+ - \overline\psi_-}{2i}=

\frac{\hat y \hat x - \hat x \hat y}{\sqrt 2}\sin k(z_B-z_A)$$

The reader may wonder how the travelling photons Alice and Bob became standing waves. A standing wave is a superposition of travelling waves in both directions, and in order to create entangled photon states that were eigenstates of the parity operator, it was necessary to entangle the identity of two photons. If these photons have different energy, then each photon's energy takes an indeterminate value that can be established only after a measurement on one of the photons is made. The reader may verify the parity by applying the parity operator, P, to each state:


 * $$P\Psi_{+}(z_A,z_B)=\Psi_{+}(-z_A,-z_B)=(+1)\Psi_{+}(z_A,z_B)$$
 * $$P\Psi_{-}(z_A,z_B)=\Psi_{-}(-z_A,-z_B)=(-1)\Psi_{-}(z_A,z_B)$$

Footnotes and references

 * See Special:Permalink/1572047 for a checked version of this page