The Einstein-Podolsky-Rosen (EPR) paradox originated following deba...
The original EPR paradox challenges the predictions of quantum mech...
A very interesting lecture from Feynman about Heisenberg’s uncertai...
In 1957 David Bohm and Yakir Aharonov provided a simplified formula...
Einstein states that instantaneous action at a distance violates sp...
$\lambda$ stands for a set of hidden variables, **inaccessible vari...
To get a better grasp of Bell’s results refer to [this Oxford lectu...
Bell’s test experiments are designed to demonstrate the real world ...
### Tests of Bell’s inequalities: #### J. Freedman and J. Clause...
Physics
Vol.
1,
No.
3,
pp.
195-290,
1964
Physics
Publishing
Co.
Printed
in
the
United
States
ON
THE
EINSTEIN
PODOLSKY
ROSEN
PARADOX*
].
S.
BELLt
Department
of
Physics,
University
of
Wisconsin, Madison, Wisconsin
(Received
4 November 1964)
I.
Introduction
THE
paradox of
Einstein,
Podolsky
and
Rosen
[1]
was
advanced
as
an argument
that
quantum
mechanics
could
not
be
a
complete
theory
but
should
be
supplemented
by
additional
variables.
These
additional
vari-
ables
were to
restore
to
the
theory
causality
and
locality
[2]. In
this
note
that
idea
will
be
formulated
mathematically
and shown to
be
incompatible
with
the
statistical
predictions
of
quantum
mechanics.
It
is
the
requirement
of
locality,
or
more
precisely
that
the
result
of
a
measurement
on one
system
be
unaffected
by
operations
on a
distant
system
with which
it
has
interacted
in
the
past,
that
creates
the
essential
dif-
ficulty.
There
have
been
attempts
[3]
to
show
that
even
without
such
a
separability
or
locality
require-
ment
no
"hidden
variable"
interpretation
of
quantum
mechanics
is
possible.
These
attempts
have
been
examined
elsewhere
[ 4] and found wanting. Moreover, a hidden
variable
interpretation
of
elementary
quan-
tum theory
[S]
has
been
explicitly
constructed.
That
particular
interpretation
has
indeed
a
grossly
non-
local
structure.
This
is
characteristic,
according
to
the
result
to
be
proved
here,
of
any
such
theory which
reproduces
exactly
the
quantum
mechanical
predictions.
II.
Formulation
With
the
example
advocated
by Bohm and Aharonov [6],
the
EPR
argument
is
the
following.
Consider
a
pair
of
spin
one-half
particles
formed somehow
in
the
singlet
spin
state
and moving
freely
in
opposite
directions.
Measurements
can
be
made,
say
by
Stern-Gerlach
magnets,
on
selected
components
of
the
Spins
d l
and
a
2
,
If
measurement
Of
the
component d I '
a,
where a
is
some
unit
vector,
yields
the
value
+ 1
then,
according
to quantum
mechanics,
measurement
of
a
2
·a
must
yield
the
value
-1
and
vice
versa.
Now we make
the
hypothesis
[2],
and
it
seems
one
at
least
worth
considering,
that
if
the
two
measure-
ments
are
made
at
places
remote from
one
another
the
orientation
of
one
magnet
does
not
influence
the
result
obtained
with
the
other.
Since
we
can
predict
in
advance
the
result
of
measuring
any
chosen
compo-
nent
of
a
2
,
by
previously
measuring
the
same
component
of
d
1
,
it
follows
that
the
result
of
any
such
measurement
must
actually
be
predetermined.
Since
the
initial
quantum
mechanical
wave
function
does
not
determine
the
result
of
an
individual
measurement,
this
predetermination
implies
the
possibility
of
a more
complete
specification
of
the
state.
Let
this
more
complete
specification
be
effected
by
means
of
parameters
A.
It
is
a
matter
of
indiffer-
ence
in
the
following
whether
A.
denotes
a
single
variable
or a
set,
or
even
a
set
of
functions,
and whether
the
variables
are
discrete
or
continuous.
However, we write
as
if
A were a
single
continuous
parameter.
The
result
A
of
measuring
a
1
·a
is
then
determined by a and
A.,
and
the
result
B
of
measuring
7,
2
b in
the
same
instance
is
determined
by b and
A.,
and
*Work
supported
in
part
by
the
U.S.
Atomic
Energy
Commission
tan
leave
of
absence
from
SLAC
and
CERN
195
196
].
S.
BELL
Vol.
1,
No.
3
A
(l:i,
,\)
= ±
1,
B
(b,
,\)
= ± 1.
(1)
The
vital
assumption
[2]
is
that
the
result
B for
particle
2
does
not
depend
on
the
setting
;;,
of
the
magnet
for
particle
1, nor A on b.
If
p (,\)
is
the
probability
distribution
of
,\
then
the
expectation
value
of
the
product
of
the
two com-
~ ~
~
7
ponents
o
1
a
and
o
2
D
is
P
(t;,
b)
= .fn p
(,\)A
(~,
,\) B
(b
,
,\)
(2)
This
should
equal
the
quantum
mechanical
expectation
value,
which for
the
singlet
state
is
(3)
But
it
will
be
shown
that
this
is
not
possible.
Some might
prefer
a formulation in which
the
hidden
variables
fall
into
two
sets,
with
A
dependent
on
one
and
B on
the
other;
this
possibility
is
contained
in
the
above,
since
,\
stands
for any number
of
vari-
ables
and
the
dependences
thereon
of
A
and
B
are
unrestricted.
In a
complete
physical
theory
of
the
type
envisaged
by
Einstein,
the
hidden
variables
would
have
dynamical
significance
and
laws
of
motion;
our
,\
can
then
be
thought
of
as
initial
values
of
these
variables
at
some
suitable
instant.
111.
111
us trot
ion
The
proof of
the
main
result
is
quite
simple.
Before
giving
it,
however,
a number
of
illustrations
may
serve
to
put
it
in
perspective
.
Firstly,
there
is
no
difficulty
in
giving
a
hidden
variable
account
of
spin
measurements
on a
single
particle.
Suppose
we
have
a
spin
half
particle
in a pure
spin
state
with
polarization
denoted
by a
unit
->
_.
vector
p.
Let
the
hidden
variable
be
(for
example)
a
unit
vector
,\ with uniform
probability
distribution
over
the
hemisphere
A · p > 0.
Specify
that
the
result
of
measurement
of a
component
; · ;;
is
->
-> I
sign
,\ · a ,
(4)
where
-.;i
is
a
unit
vector
depending
on
~
and
p
in
a way
to
be
specified,
and
the
sign
function
is
+ 1 or
-1
according
to
the
sign
of
its
argument.
Actually
this
leaves
the
result
undetermined
when ,\ ·
a'_.=
0,
but
as
the
probability
of
this
is
zero
we
will
not
make
special
prescriptions
for
it.
Averaging
over
,\
the
expectation
value
is
< ; ·
~
> = 1 - 2
e'
Irr
,
(5)
where
()
1
is
the
angle
between
t;'
and
p.
Suppose
then
that
"ii'
is
obtained
from
; by
rotation
towards
P
until
2
()'
1 -
TT
cos
()
-> ->
where
()
is
the
angle
between
a
and
p.
Then
we
have
the
desired
result
< ; .
;;
> =
cos
()
(6)
(7)
So in
this
simple
case
there
is
no
difficulty
in
the
view
that
the
result
of
every
measurement
is
determined
by
the
value
of
an
extra
variable,
and
that
the
statistical
features
of
quantum
mechanics
arise
because
the
value
of
this
variable
is
unknown
in
individual
instances.
Vol.
1,
No.
3 ON
THE
EINSTEIN
PODOLSKY
ROSEN
PARADOX
197
Secondly,
there
is
no
difficulty
in reproducing, in
the
form
(2),
the
only
features
of
(3)
comm
only
used
in
verbal
discussions
of
this
problem:
(
.... ....
(
....
....
P a, a) = - P a, -
a)
= - 1 l
P
<a,
b)
= o
if
;; .
1i
= o
~
(8)
For
example
,
let
A now
be
unit
vector
A,
with uniform
probability
distribution
over
all
directions,
and
take
This
gives
A(a,
A)
=
sign
a.
A t
B (a, b) = -
sign
b · A \
P
<a
,
b)
= - 1 +
3.
e ,
Tr
(9)
(10)
where e
is
the
angle
between
a ·
and
b,
and (10)
has
the
properties
(8) .
For
comparison,
consider
the
re-
sult
of
a modified theory [6]
in
which
the
pure
singlet
state
is
replaced
in
the
course
of
time
by
an
iso-
tropic
mixture
of
product
states;
this
gives
the
correlation
function
(11)
It
is
probably
less
easy,
experimentally,
to
distinguish
(10) from (3), than (11)
from
(3).
Unlike (3),
the
function (10)
is
not
stationary
at
the
minimum
value
-
l(at
e = 0).
It
will
be
seen
that
this
is
characteristic
of
functions
of
type
(2).
Thirdly,
and
finally,
there
is
no
difficulty
in
reproducing
the
quantum
mechanical
correlation
(3)
if
the
results
A and B in (2)
are
allowed
to
depend
on
b and a
respectively
as
well
as
on a
and
b.
For
ex-
ample,
replace
a in
(9)
by
a',
obtained
from
a
by
rotation
towards
b
until
2 I
1 - - e =
cos
e,
Tr
where
e'
is
the
angle
between
a'
and
b.
However, for given
values
of
the
hidden
variables,
the
results
of
measurements
with one
magnet
now
depend
on
the
setting
of
the
distant
magnet, which
is
just
what
we
would
wish
to
avoid.
IV.
Contradiction
The
main
result
will
now
be
proved.
Because
p
is
a
normalized
probability
distribution,
/d>..p(A.) =
l,
(12)
and
because
of
the
properties
(1), p
in
(2)
cannot
be
less
than
- 1.
It
can
reach
- 1
at
a = b only
if
A
(a,
>..)
= - B
(a,
A)
except
at
a
set
of
points
A
of
zero
probability.
Assuming
this,
(2)
can
be
rewritten
P(a,
b)
= - fa>..p(A.) A(a,
A)
A(b,
A).
(13)
(14)
198
].
S.
BELL
It
follows
that
c
is
another unit
vector
using
(1), whence
P(a,
b)
-P(;,
c) = - fi1i.p(A)
[A(a,
A)
A(b,
A)
-A(a,
A)
A(c,
,\))
= fi1i. p
(A)
A
(a,
,\)
A
(b,
,\)
[A
(b,
,\)
A
(c,
,\)
-1)
1 P(a,
"h)
-P(a,
c) 1 s f<np(,\)
[1-
A(b,
,\)
A(c,
1i.)J
The
second
term on
the
right
is
P
(b,
c),
whence
1 + p
<"h,
c)
2 1 P
<a,
6)
- P
<a,
c)
1
Vol.
1,
No.
3
(15)
Unless
p
is
constant,
the right hand
side
is
in general
of
order I
b-
c I for
small
I
b-
c I .
Thus
p
(b,
c)
cannot
be
stationary
at
the
minimum value
(-1
at
b =
c)
and
cannot
equal the quantum
mechanical
value (3).
Nor
can
the quantum
mechanical
correlation (3) be arbitrarily
closely
approximated by
the
form
(2).
The
formal proof
of
this
may be
set
out
as
follows.
We
would not worry about failure
of
the
approximation
at
isolated
points,
so
let
us
consider
instead
of (2) and (3) the functions
P(a,
6)
and
_;;;.
Ii
d
. d d . f
p (
....
,
71)
d
->1
71
->1
d
71
.
where
the
bar
enotes
1n
epen
ent
averaging
o
a,
o an
-a
· o over vectors a an o within
sp~c-
ified
small
angles
of a
and
b.
Suppose
that
for
all
;; and b the difference
is
bounded by
€:
-
1 p
<a,
b)
+
-a
. 6 1 s f
Then
it
will be shown
that
cannot
be made arbitrarily small.
Suppose
that
for
all
a and b
Then
from
(16)
IPC.i,
t,)
+;;;·"his
(+a
From (2)
p
<a,
b)
=
j:i
1i.
p
(,\)
,4
<a,
,\)
'B
(b,
,\)
where
I A
<a,
;..)
I s 1
and
I
'B
<6,
;..)
I s 1
From
(18) and (19), with ;; =
b,
From (19)
I
d,\p(A)
[A(b,
A)
B(b,
A)
+
1)
s ( + 8
p
<a,
6)
.:.
P
<a,
c)
=fa
1i.p
<1i.)
[A
<a,
;..)
'B
<"h.
1i.)
-
.4
<Ii.
1i.>
'B
<c,
1i.)J
=
f:.>.p<1i.>
.4<8,
>.)
'B<Ti.
1i.)
(1+.4<".b.1i.)
s<c,
A)J
-I'>.p(A)
A<a,
;..)
'B<c,
A)
(1
+
.4ct,,
>.)'Bet,,>.)]
(17)
(18)
(19)
(20)
(21)
Vol.
1,
No.
3
Using
(20) then
Then
using
(19) and 21)
Finally,
using
(18),
or
ON
THE
EINSTEIN
PODOLSKY
ROSEN
PARADOX
1
?c:;,
b)
-?c:;,
;;)1
.'.S
;:11
...
ru,)
[1 +
A"ci,
A)
8c;;,
A)]
+
/aAp(A)
[1 +
A(b,
A)
B(b,
A)]
I
:;
·
;;
-
:;
·
"b
I - 2
(E
+
o)
< 1 -
"b
·
;;
+ 2
(E
+ o)
~
~
~
7 7
~
4
(E
+
0)
2:
I a · c - a · b I + b c - 1
Take
for example a ·
(;
=
0,
a · b = b ·
(;
= l/
y'2
Then
4
CE
+ o)
;::,
v2 - 1
Therefore,
for
small
finite
o,
cannot
be
arbitrarily
small.
199
(22)
Thus,
the
quantum
mechanical
expectation
value
cannot
be
represented,
either
accurately
or arbitrar-
ily
closely,
in
the
form
(2).
V.
Generalization
The
example
considered
above
has
the
advantage
that
it
requires
little
imagination
to
envisage
the
measurements
involved
actually
being
made. In a more formal way,
assuming
[7]
that
any Hermitian oper-
ator
with a
complete
set
of
eigenstates
is
an
"observable",
the
result
is
easily
extended
to
other
systems.
If
the
two
systems
have
state
spaces
of
dimensionality
greater
than 2 we
can
always
consider
two dimen-
sional
subspaces
and
define,
in
their
direct
product,
operators
d
1
and d
2
formally
analogous
to
those
used
above
and which
are
zero
for
states
outside
the
product
subspace.
Then for
at
least
one
quantum
mechanical
state,
the
"singlet"
state
in
the
combined
subspaces,
the
statistical
predictions
of quantum
mechanics
are
incompatible
with
separable
predetermination.
VI.
Conclusion
In a theory
in
which
parameters
are
added
to quantum
mechanics
to
determine
the
results
of
individual
measurements,
without
changing
the
statistical
predictions,
there
must
be
a mechanism whereby
the
set-
ting
of
one
measuring
device
can
influence
the
reading
of
another
instrument, however remote. Moreover,
the
signal
involved
must
pr~pagate
instantaneously,
so
that
such
a theory
could
not
be
Lorentz
invariant.
Of
course,
the
situation
is
different
if
the
quantum
mechanical
predictions
are
of
limited
validity.
Conceivably
they might apply only to
experiments
in
which
the
settings
of
the
instruments
are
made
suffi-
ciently
in
advance
to
allow
them
to
reach
some mutual rapport by
exchange
of
signals
with
velocity
less
than or
equal
to
that
of
light.
In
that
connection,
experiments
of
the
type
proposed
by
Bohm
and
Aharonov
[6],
in
which
the
settings
are
changed
during
the
flight
of
the
particles,
are
crucial.
I
am
indebted
to Drs.
M.
Bander
and].
K. Perring for
very
useful
discussions
of
this
problem. The
first draft
of
the
paper
was written during a
stay
at
Brandeis University; I
am
indebted
to
colleagues
there
and
at
the University
of
Wisconsin
for
their
interest
and
hospitality.

Discussion

The original EPR paper: [EPR paradox](http://journals.aps.org/pr/pdf/10.1103/PhysRev.47.777) @Micael, thanks a bunch. Griffiths seems to have very good reviews. Also, I noticed (and was assuming) that getting into QM will require a decent study in classical mechanics, as well. Now I was working through the book "Structure and Interpretation of Classical Mechanics", which approaches CM from the variational principle side as opposed to Newtonian, and I found it incredibly difficult after a point to follow. Do you also have some books for the kind of (physics) background that QM will require? $\lambda$ stands for a set of hidden variables, **inaccessible variables** of each system. The hidden variables were introduced to account for the probabilistic features of quantum mechanics. I don't think it matters whether the λ variable is actually accessible or not: we're just supposing that it gives a "more complete specification" of the state. Einstein states that instantaneous action at a distance violates special relativity and the upper limit on the speed of information propagation. In this case a measurement on system B cannot influence system A and vice versa. If you want to learn more about the Bohm-Ahranov form of the EPR paradox [read their paper here.](http://www.chemie.unibas.ch/~steinhauser/documents/Bohm_1957_100_1070-1076.pdf) To get a better grasp of Bell’s results refer to [this Oxford lecture](https://youtu.be/uef_qN7VFuY?t=1008) by Professor J.J. Binney. I would like to learn more about quantum mechanics, coming from a computer science background (otherwise I am finding myself constantly looking up things like "singlet spin state", "spin $\frac{1}{2}$ particles" etc. Do the physicists here have a good book in mind? Don't mind some dense math. In 1957 David Bohm and Yakir Aharonov provided a simplified formulation of the EPR paradox in terms of the spin components of two particles. They went on to describe the machinery necessary for such an experiment but because of technical limitations of that time, there were no immediate attempts to perform a Bohm version of EPR. It is this form of the EPR paradox that J. S. Bell discusses in this paper. *Interesting fact about the EPR paper:* Podolsky wrote the original EPR paper and Einstein did not see the final draft before it was published. Einstein later confessed to Schrödinger that his views **“did not come out as well as I had originally wanted; rather, the essential thing was, so to speak, smothered by the formalism.”** In 1936, Einstein presented an individual account of his local realist ideas [Einstein Physics and Reality.](http://www.kostic.niu.edu/physics_and_reality-albert_einstein.pdf) The Einstein-Podolsky-Rosen (EPR) paradox originated following debates between Albert Einstein and Niels Bohr that took place at the Solvay conferences of 1927 and 1930. Einstein was convinced that quantum mechanics did not provide a complete description of physical reality and thus could not be considered a complete theory of nature. In 1935 Einstein, Podolski and Rosen proposed a thought experiment that was to show that quantum mechanics was inconsistent with other known laws of physics. A very interesting lecture from Feynman about Heisenberg’s uncertainty principle and the EPR paradox: [Video Lecture](https://youtu.be/72us6pnbEvE?t=1072) Bohm extrapolated much of the basis for his works (specifically "implicate order" (http://www.gci.org.uk/Documents/DavidBohm-WholenessAndTheImplicateOrder.pdf) and "on dialogue" (http://sprott.physics.wisc.edu/Chaos-Complexity/dialogue.pdf)) from J.Krishnamurti. Krishnamuriti's related insight has to do with frames and reference points, and our assumptions in regards to these that are religious and not scientific. At time of this paper bohm's ideas are not fully expressed. I am quite confident I am of the most knowledgeable of the philosophical basis for such content. Krishnamurti points to an objective viewpoint that we are missing that changes our understanding of the cosmos and Bohm sought to formalize/generalize such insights in a language. This is all very relateable to the economic evolution we are going through right now as there have been notable revelations by John Nash in regards to "inflation theory" and there is a conjecture that such revelations also have cosmological significance http://www.dailymail.co.uk/news/article-3103618/Had-Beautiful-Mind-just-finest-work-Mathematician-Nash-told-friends-devised-equation-replace-Einstein-s-famous-theory-just-DAYS-died-car-crash.html Nash did in fact give lectures on the subject http://sites.stat.psu.edu/~babu/nash/intereq.pdf Now if truly follow the real works here and story, we will know that Nash's concept for ideal money is from the 50's and that Nash DID in fact present his inflation theories to Einstein back then... @Yati here go some books worth reading about Quantum Mechanics: - [Introduction to Quantum Mechanics - David J. Griffiths](http://www.amazon.com/Introduction-Quantum-Mechanics-David-Griffiths/dp/0131118927/ref=sr_1_2?ie=UTF8&qid=1443574205&sr=8-2&keywords=quantum+mechanics) - [Quantum Mechanics, Vol. 1 - Claude Cohen-Tannoudji](http://www.amazon.com/Quantum-Mechanics-Vol-Claude-Cohen-Tannoudji/dp/047116433X/ref=sr_1_2?s=books&ie=UTF8&qid=1443574455&sr=1-2&keywords=quantum+mechanics+cohen-tannoudji) - [Quantum Physics - Stephen Gasiorowicz](http://www.amazon.com/Quantum-Physics-Third-Stephen-Gasiorowicz/dp/0471057002/ref=sr_1_1?s=books&ie=UTF8&qid=1443574465&sr=1-1&keywords=quantum+mechanics+gasiorowicz) Bell’s test experiments are designed to demonstrate the real world evidence of theoretical consequences of the phenomenon quantum entanglement. These results could not occur in a *classical representation* of the world, characterised by the notion of local realism with hidden variables. In this paper Bell showed that under local realism, **correlations between outcomes of different measurements performed on separated physical systems have to satisfy the constraints: Bell’s inequalities**. ### Tests of Bell’s inequalities: #### J. Freedman and J. Clauser *(1972)*: This was the first test of Bell’s inequalities. They measured the linear polarisation correlation of photons. Their results were in agreement with quantum mechanics: **"It has been shown by a generalization of Bell's inequality that the existence of local hidden variables imposes restrictions on this correlation in conflict with the predictions of quantum mechanics. Our data, in agreement with quantum mechanics, violate those restrictions to a high statical accuracy, thus providing strong evidence against local hidden-variable theories."** See original paper: [Experimental Test of Local Hidden-Variable Theories](http://dieumsnh.qfb.umich.mx/archivoshistoricosMQ/ModernaHist/Freedman.pdf) #### A. Aspect, P. Granguer, G. Roger *(1982)*: In 1982 Aspect et al. proved the ”spooky” nonlocal action of quantum mechanics by observing strong violation of Bell's inequalities with entangled photon pairs. They state: **"The new experimental scheme, using two-channel polarizers(i.e., optical analogues of Stern-Gerlach filters), is a straightforward transposition of Einstein-Podolsky-Rosen-Bohm Gedankenexperiment. The present results, in excellent agreement with the quantum mechanical predictions, lead to the greatest violation of generalized Bell's inequalities ever achieved."** See original paper: [Experimental Realization of Einstein-Podolsky-Rosen-Bohm Gedankenexperiment: A New Violation of Bell's Inequalities](http://www.qudev.ethz.ch/phys4/studentspresentations/epr/aspect.pdf) The original EPR paradox challenges the predictions of quantum mechanics that not all the classical physical observables of a system can be simultaneously well defined with unlimited precision (Heisenberg’s uncertainty principle). A well known example of this is the position and momentum of a particle but it can be extended to other pairs of physical properties like the spin components. *Brief description:* In the original paper EPR imagined two systems A and B that are allowed to interact at the beginning and then move in opposite directions so that after some time they are far enough apart so that there is no interaction between them. According to the uncertainty principle it is impossible to know any of the systems (A and B) position and momentum simultaneously. We can measure the position of particle A. With the exact position of A we can then by calculation determine the the exact position of particle B. We can also measure the momentum of particle B. With this two measurements we would have determine simultaneously the position and momentum of particle B which violates the uncertainty principle. In QM the first measurement on system A “influences” the measurement on B, independently of the distance between the two system. It is easy to understand that a measurement on a given system’s position would affect the uncertainty of it’s momentum, but QM indicates that a measurement on the position of a system affects the uncertainty of the momentum of the other system. Einstein, Podolsky and Rosen asked how can system B "know" to have precisely defined position but uncertain momentum? This implies that one particle is communicating with the other instantaneously across space, i.e., faster than light, this is the “paradox”, what Einstein coined as “spooky action at a distance".