Disproof of Bells Theorem [ by Joy Christian ( page 7 of arXiv:1501.

03393 ) ]
Appendix C: A Simplified Local-Realistic Derivation of the EPR-Bohm Correlation [12]

As in Eqs. (7) and (8), let the spin bivectors L(s, k ) be detected by the detector bivectors D(a) and D(b), giving
}
{

k
{
}
+
1
if

=
+
1
k
S 3 A (a, k ) := lim D(a) L(s, k ) =
with
A
(a,

)
= 0
(C1)
sa
1 if k = 1
{
}

{
}
1 if k = + 1
3
k
k
k
and S B(b, ) := lim + L(s, ) D(b) =
with
B(b,

)
= 0,
(C2)
sb
+ 1 if k = 1
where the orientation of S 3 is assumed to be a random variable with 50/50 chance of being +1 or 1 at the moment
of the pair-creation, making the spinning bivector L(n, k ) a random variable relative to the detector bivector D(n):
L(n, k ) = k D(n) D(n) = k L(n, k ) .

(C3)

The expectation value of simultaneous outcomes A (a, k ) = 1 and B(b, k ) = 1 in S 3 then works out as follows:
[
]
n
1
k
k
E(a, b) = lim
A (a, ) B(b, ) within S 3 := the set of all unit (left-handed) quaternions [1][5] (C4)
n n
k=1
[
][
]]
n [
{
}
{
}
1
k
k
= lim
lim D(a) L(s, )
lim + L(s, ) D(b)
(conserving total spin = 0) (C5)
n n
sa
sb
k=1
]
[
n
{
}
1
lim D(a) L(s, k ) L(s, k ) D(b) q(a, b; s, k )
(by a property of limits) (C6)
= lim
sa
n n
s
k=1 b
[
]
n
{
}
1
k
k
k
k
k
k
= lim
lim L(a, ) L(s, ) L(s, ) L(b, ) (all bivectors in the spin basis) (C7)
sa
n n
k=1 sb
]
[
n
{
}
1
= lim
lim L(a, k ) L(s, k ) L(s, k ) L(b, k )
(scalars k commute with bivectors) (C8)
sa
n n
s

b
k=1
[
]
n
1
k
k
= lim
L(a, ) L(b, ) (follows from the conservation of zero spin angular momentum) (C9)
n n
k=1
]
[
n
1
k
= a b lim
L(a b, )
(NB: there is no third spin about the direction a b) (C10)
n n
k=1
]
[
n
1 k
= a b lim
D(a b) (summing over counterfactual detections of third spins) (C11)
n n
k=1

= a b + 0 (because the scalar coecient of the bivector D(a b) vanishes in the n limit) (C12)
Here the integrand of (C6) is necessarily a unit quaternion q(a, b; s, k ) since S 3 remains closed under multiplication;
(C7) follows from using (C3); (C8) follows from using 2 = +1; (C9) follows from the fact that all unit bivectors such
as L(s, k ) square to 1; (C10) follows from the geometric product (23); (C11) follows from using (C3); (C12) follows
from the fact that initial orientation of S 3 is a fair coin; and (C6) follows from (C5) as a special case of the identity
{
}
]
][
[
{
}
{
}
(C13)
= lim D(a) L(s, k ) L(s, k ) D(b) ,
lim + L(s, k ) D(b)
lim D(a) L(s, k )
sa

sb

sa
s b

which can be easily verified either by immediate inspection or by recalling the elementary properties of limits. Note that
apart from the assumption (C3) of initial state the only other assumption needed in this derivation is the conservation
of zero spin angular momentum. These two assumptions are necessary and sucient to dictate the singlet correlation:
[
]
n
1
E(a, b) = lim
A (a, k ) B(b, k ) = a b .
(C14)
n n
k=1

This demonstrates that EPR-Bohm correlations are correlations among the scalar points of a quaternionic 3-sphere.