Documente Academic
Documente Profesional
Documente Cultură
Anand Prahlad
anand.prahlad@gmail.com
December 11, 2009
Abstract
This is a fun project I do after work, with my buddies. If you spot an
error or want to add some material that could improve it, drop a comment.
I’ll be happy to include it in the post.
1 Bell’s Inequality
The Bell Inequality is a maths result that is valid for sets (& consequently for
all logical systems that are based on set theory). It’s trivial & doesn’t require
more than high-school set theory to understand. Consider the following Venn
diagram:
1
From the diagram we see that:
A = {1, 2, 5, 4}
B = {2, 3, 5, 6}
C = {4, 5, 6, 7}
Now, we have:
It’s a simple matter to see that this result is valid even if some of the sets
in the above example are disjoint. Thus, the Bell Inequality is a general math-
ematical result that applies to any bunch of 3 sets.
Now, because the electron pair is in a singlet state, we notice that the fol-
lowing results hold good for electron 2:
2
2.1 Probabilistic Form
Now, if we take a large number of readings then the Bell Inequality (1) can be
expressed in equivalent probabilistic terms as:
P (A, ¬B) + P (B, ¬C) ≥ P (A, ¬C) (3)
Now, in Quantum Mechanics probabilities are expressed using projection
operators.
Probability of some condition A happening =< Ψ|PA |Ψ >;
where:
PA = Projection operator for condition A
|Ψ > = System state vector
Also, the probabilities of 2 conditions A & B happening together is given by
the dot product of the 2 projection operators in the following way:
Probability of both A & B happening =< Ψ|PA .PB |Ψ >;
Thus, equation (3), can then be expressed using projection operators in the
following manner:
< Φ|PA,¬B |Φ > + < Φ|PB,¬C |Φ > ≥ < Φ|PA,¬C |Φ > (4)
⇒ < Φ|PA .P¬B |Φ > + < Φ|PB .P¬C |Φ > ≥ < Φ|PA .P¬C |Φ > (5)
One way that we can simplify the above equation is by making use of the fact
that Quantum Mechanical probabilities are rotationally invariant. In equation
(3), P (A, ¬B) & P (B, ¬C) are the same because they only differ in that the
system is rotated by 45 degrees. Thus, equation (5) can then be simplified to:
3
When dealing with the singlet state, we denote the spin observables of the
first electron by the usual, σ. The spin observables of the second electron
however, are normally denoted by another Greek letter, Tau, τ . The action
of the τ matrices is the same as that of the σ matrices, except that they only
operate on the second electron.
Now,
τ45◦ = τ.n̂45◦
Where, n̂45◦ is the unit vector that lies at 45◦ to the 1 & 3 axes.
Since it is a unit vector, the co-efficients of n̂45◦ are nothing but the cosines
of the angles between the vector & the axes, i.e.
4
Thus, we can then construct:
τ45◦ = τ.n̂45◦
1
= √ {τ1 + τ3 }
2
Substituting the above, into the equation for the projection operator of B,
i.e., equation(9) we get:
τ45◦ + 1
PB =
2
1
!
√ {τ1 + τ3 } + 1
2
=
2
Substituting the values of PA & PB into the equation(7), which is the LHS
of Bell’s Inequality, we have:
√1 {τ1
" !#
σ3 + 1
2
+ τ3 } + 1
. |Φ> (12)
2 2
√1 {τ1
" !#
σ3 + 1
2
+ τ3 } + 1 |u, d > −|d, u >
⇒ . √ (13)
2 2 2
When we consider the action of σ32+1 , then the term involving |d, u > gets
5
τ3
!
√
2
+1 |u, d >
√ (15)
2 2
1 |u, d> |u, d>
⇒ − + √ (16)
2 2 2
1 1 1
⇒ |u, d> − +√ (17)
2 2 2
Let us substitute this into the original LHS equation (11), we then get:
1 1 1
2 <Φ| |u, d> − +√ (18)
2 2 2
< u, d|− < d, u| 1 1 1
⇒ 2 √ |u, d> − +√ (19)
2 2 2 2
Simplifying we get:
2 1 1 1
√ <u, d|u, d> − +√ (20)
2 2 2 2
2 1 1 1
⇒ √ − +√ (21)
2 2 2 2
⇒ 0.146 (22)
Unlike the case of the LHS, we needn’t spend time simplifying the above
projection operators because they are already written in terms of the standard
σ & τ operators. Whew!
Ok, substituting this into the above equation (23) we get:
σ3 + 1 τ1 + 1
<Φ| . |Φ> (24)
2 2
6
Where <Φ| & |Φ> are the usual abbreviations for the bra & ket forms of
the singlet state i.e., <u,d|−<d,u|
√
2
& |u,d>−|d,u>
√
2
.
Let’s now focus on the sub-expression between the box brackets, i.e.,
σ3 + 1 τ1 + 1
. |Φ> (25)
2 2
σ3 + 1 τ1 + 1 |u, d > −|d, u >
⇒ . √ (26)
2 2 2
Now, σ32+1 removes the orthogonal vector |d, u> from the above expression
to give:
τ1 + 1 |u, d>
√
2 2
This can be further simplified by seeing that the action of τ1 can be eliminated
because there is no complimentary <u, u| term in <Φ|. Thus, the sub-expression
(26) finally reduces to:
1 |u, d>
√
2 2
Upon substituting the above result into the original RHS equation (24) we
get:
σ3 + 1 τ1 + 1
<Φ| . |Φ>
2 2
1 |u, d>
⇒ <Φ| √
2 2
< u, d|− < d, u| 1 |u, d>
⇒ √ √
2 2 2
1 1
⇒ √ . √ {<u, d|u, d>}
2 2 2