# 15.3: Hidden Variables - Bell’s Inequality and Aspect’s experiment

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\id}{\mathrm{id}}$$ $$\newcommand{\Span}{\mathrm{span}}$$

( \newcommand{\kernel}{\mathrm{null}\,}\) $$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$ $$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$ $$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\id}{\mathrm{id}}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\kernel}{\mathrm{null}\,}$$

$$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$

$$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$

$$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$ $$\newcommand{\AA}{\unicode[.8,0]{x212B}}$$

$$\newcommand{\vectorA}[1]{\vec{#1}} % arrow$$

$$\newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow$$

$$\newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vectorC}[1]{\textbf{#1}}$$

$$\newcommand{\vectorD}[1]{\overrightarrow{#1}}$$

$$\newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}}$$

$$\newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}}$$

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\avec}{\mathbf a}$$ $$\newcommand{\bvec}{\mathbf b}$$ $$\newcommand{\cvec}{\mathbf c}$$ $$\newcommand{\dvec}{\mathbf d}$$ $$\newcommand{\dtil}{\widetilde{\mathbf d}}$$ $$\newcommand{\evec}{\mathbf e}$$ $$\newcommand{\fvec}{\mathbf f}$$ $$\newcommand{\nvec}{\mathbf n}$$ $$\newcommand{\pvec}{\mathbf p}$$ $$\newcommand{\qvec}{\mathbf q}$$ $$\newcommand{\svec}{\mathbf s}$$ $$\newcommand{\tvec}{\mathbf t}$$ $$\newcommand{\uvec}{\mathbf u}$$ $$\newcommand{\vvec}{\mathbf v}$$ $$\newcommand{\wvec}{\mathbf w}$$ $$\newcommand{\xvec}{\mathbf x}$$ $$\newcommand{\yvec}{\mathbf y}$$ $$\newcommand{\zvec}{\mathbf z}$$ $$\newcommand{\rvec}{\mathbf r}$$ $$\newcommand{\mvec}{\mathbf m}$$ $$\newcommand{\zerovec}{\mathbf 0}$$ $$\newcommand{\onevec}{\mathbf 1}$$ $$\newcommand{\real}{\mathbb R}$$ $$\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}$$ $$\newcommand{\laspan}[1]{\text{Span}\{#1\}}$$ $$\newcommand{\bcal}{\cal B}$$ $$\newcommand{\ccal}{\cal C}$$ $$\newcommand{\scal}{\cal S}$$ $$\newcommand{\wcal}{\cal W}$$ $$\newcommand{\ecal}{\cal E}$$ $$\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}$$ $$\newcommand{\gray}[1]{\color{gray}{#1}}$$ $$\newcommand{\lgray}[1]{\color{lightgray}{#1}}$$ $$\newcommand{\rank}{\operatorname{rank}}$$ $$\newcommand{\row}{\text{Row}}$$ $$\newcommand{\col}{\text{Col}}$$ $$\renewcommand{\row}{\text{Row}}$$ $$\newcommand{\nul}{\text{Nul}}$$ $$\newcommand{\var}{\text{Var}}$$ $$\newcommand{\corr}{\text{corr}}$$ $$\newcommand{\len}[1]{\left|#1\right|}$$ $$\newcommand{\bbar}{\overline{\bvec}}$$ $$\newcommand{\bhat}{\widehat{\bvec}}$$ $$\newcommand{\bperp}{\bvec^\perp}$$ $$\newcommand{\xhat}{\widehat{\xvec}}$$ $$\newcommand{\vhat}{\widehat{\vvec}}$$ $$\newcommand{\uhat}{\widehat{\uvec}}$$ $$\newcommand{\what}{\widehat{\wvec}}$$ $$\newcommand{\Sighat}{\widehat{\Sigma}}$$ $$\newcommand{\lt}{<}$$ $$\newcommand{\gt}{>}$$ $$\newcommand{\amp}{&}$$ $$\definecolor{fillinmathshade}{gray}{0.9}$$

Consider extending the experiment described above to the case of analysers at arbitrary angles which detect all photons. We define measurables a$$(\theta )$$ and b$$(\phi )$$ as +1 if the photon is aligned with the analyser and -1 if it is opposed. What, then, is the ensemble average value of $$P(\theta , \phi ) = \langle a(\theta )b(\phi )\rangle$$? Clearly, if a$$(\theta )$$ and b$$(\phi )$$ are uncorrelated $$P=0$$, but since they come from a common source, this is not the case: their wavefunctions are sometimes referred to as ‘entangled’.

If the photons start out with ‘hidden variable’ polarization $$\chi$$, then it is easily shown that:

$P_{HV} (\theta , \phi ) = \frac{1}{2\pi} \oint \left( \cos^2 (\theta − \chi ) − \sin^2 (\theta − \chi ) \right) \left( \cos^2 (\phi − \chi ) − \sin^2 (\phi − \chi ) \right) d\chi = \frac{1}{2} \cos 2(\theta − \phi ) \nonumber$

Meanwhile if the wavefunction collapses at the first measurement, taken arbitrarily as A:

$P_{QM} (\theta , \phi ) = \frac{1}{2\pi} \oint \left( \cos^2 (\theta − \chi ) − \sin^2 (\theta − \chi ) \right) \left( \cos^2 (\theta − \phi ) − \sin^2 (\theta − \phi ) \right) d\chi = \cos 2(\theta − \phi ) \nonumber$

In 1982, to test this Aspect carried out measurements on $$^{40}$$Ca decays using two different angles for both $$\theta$$ and $$\phi$$. The quantity he evaluated was:

$S(\theta_1, \phi_1, \theta_2, \phi_2) = P(\theta_1, \phi_1) + P(\theta_2, \phi_2) + P(\theta_2, \phi_1) − P(\theta_1, \phi_2) \nonumber$

Where he chose the values which give the largest $$S$$: $$\theta_1 = \phi_1 + \frac{\pi}{8} = \theta_2 + \frac{2\pi}{8} = \phi_2 + \frac{3\pi}{8}$$

The hidden variables theory suggests the result should be $$S=\sqrt{2}$$, while the wavefunction collapse suggests $$S=2\sqrt{2}$$ with perfect measurement devices. Imperfections in the measurement will reduce the measured correlation in each case. Aspect measured $$S = 2.697 \pm 0.015$$, confirming the quantum prediction.

The apparent complexity of Aspect’s experiment is needed to eliminate sources of error due to detector, analyser and source imperfections.

There is an apparent contradiction between quantum mechanics and relativity, in that the interpretation of quantum mechanics requires instantaneous collapse of the wavefunction. There is no measurable quantity for which the two theories give different predictions. “Teleportation” can transport a quantum state arbitrary distances, but it doesn’t transfer information instantatneously.

Most of the wavefunctions we have solved are from Schrödingers equation, which treats time and space in different ways. For a properly relativistic approach, they should be equivalent. This discrepancy between quantum and relativity is easily resolved: the Dirac equation provides a fully relativistic wave equation for which the Schrödinger equation is a low energy approximation. A nice thing about the Dirac equation is it can only be solved by spinors: as with quantization the observed physics turns out to be the only way to solve the mathematics.

This page titled 15.3: Hidden Variables - Bell’s Inequality and Aspect’s experiment is shared under a CC BY 4.0 license and was authored, remixed, and/or curated by Graeme Ackland via source content that was edited to the style and standards of the LibreTexts platform.