vanesch
Staff Emeritus
Science Advisor
Gold Member
- 5,109
- 20
heusdens said:A stream consists of elements, and an element and detector setting gives an outcome/result. We do not assume we have any further knowledge about elements. Just that the stream characteristics when different combinations of detector settings are used, lead to different results and correlations.
Can we model your setup as follows ?
We have a sequence of mathematical objects of your choice, drawn from a set S:
s: N -> S: i -> s(i).
For each element s of S, we have 6 operators A(1), A(2), A(3), B(1), B(2) and B(3) which can act upon s, and which produce a result + or -. There's no need in making the operators stochastical, as the elements of S can contain all random numbers one needs.
There are two mappings, a and b, from N into the set {1,2,3}:
a: N -> {1,2,3}: i -> "alice choice"
b: N -> {1,2,3}: i -> "bob choice"
The 3-some (s,a,b) gives us an "experimental result", which is given by the sequence of points:
exp: N -> {+,-} x {+,-}: i -> (A(a(i)) s(i) ; B(b(i)) s(i))
That is, we have the table of paired results by Alice and Bob, which is a list of pairs ++, +-, -+ and --, which is given by the act of A(a(i)) (with i-th choice by Alice) onto the element s(i) of our stream etc...
A priori, there only needs to be a definition of A(a(i)) and B(b(i)) on the i-th element of s ; that is, the other outcomes do not need to be defined.
It is the stream exp(i) which needs to satisfy the correlation and boundary conditions for sufficiently long series 1,2,3...,i,...
However, given that it is an assumption in the Bell derivation that the source (which is the mapping s) doesn't know in advance what are going to be the "drawn operators", the above condition needs to be satisfied:
- for one and the same s mapping
- for ALL possible mappings a and b.
This assumption is the fundamental assumption of Bell. If we might change the s-mapping for each different mapping a or b (which would mean that somehow, the "source knew of the choices of the detectors"), or if we had to pick mapping b AS A FUNCTION OF MAPPING a and s, (which would mean that b somehow knew of the a-choice) or if the operators A(1), ... were function of i or of a or of b, then there would be "communication" between the alice and the source, or bob and the source, or alice and bob, which is, BY ASSUMPTION, not supposed to happen.
It is this which allows us to:
1) have the same operators A(1), ... B(3) for all elements of s.
2) to require that the same single mapping s must give same statistics for ALL choices of a and b.
The proof is now rather simple:
consider first the series:
a: i -> 1 for all i
b: i -> 1 for all i
We now have to have that A(1) s(i) = B(1) s(i) for all i.
So this means that for all i:
A(1) s(i) is defined, B(1) s(i) is defined, and moreover they are equal.
We can hence do away with the operator B(1), because it is the same as A(1) for the given s(i).
We also have to have that for half of the i-values, A(1) s(i) = + and for half of the i-values, A(1) s(i) = -.
Similar for the choice:
a: i -> 2 for all i
b: i -> 2 for all i.
etc...
We can hence conclude:
for all i: the three operators A(1), A(2) and A(3) must be defined for s(i), moreover, they are identical to the B(1), B(2) and B(3) values for s(i), hence no need for a specific different notation.
Given the first N elements of s(i) (N big enough to be statistically significant), we can hence write down a table, which contains the number of times we have, in the set {s(1), s(2), ... s(N)}
1) the case A(1)s(i) = + AND A(2) s(i) = + AND A(3) s(i) = +
Say that it is N1
2) the case A(1)s(i) = + AND A(2) s(i) = + AND A(3) s(i) = -
say that it is N2
...
8) the case A(1)s(i) = - AND A(2) s(i) = - AND A(3) s(i) = -
say that it is N8
N1 + N2 + N3 + ... + N8 = N of course...
and we're back to our initial table of 8 possibilities, from which we derive a Bell inequality for the numbers Ni, and from which we derive an equality for the observed correlations if we make one more assumption:
That the series a and the series b are randomly picked streams which are uncorrelated with s.
This is the assumption against superdeterminism. It is nothing else but the assumption that "randomly and independently" picking a "polarizer direction" picks out a fair sample of the overall population, and hence allows us to find the correct "population correlation" and is not biased in a way.
Last edited: