- #1
- 8,195
- 1,930
Bell's Theorem and Negative Probabilities
Introduction
============
Author's note: This post is based on Bell's Theorem (1). I have reformulated the presentation to make it a little easier to see that "Negative Probabilties" are a seemingly paradoxical consequence of his work. The Bell Inequalities can be presented in many forms, and most are essentially equivalent. I do not know if this particular presentation format or derivation has been used by others, I can only assume it has. I follow conventional interpretation of both QM and Bell. For a more rigorous proof, look to Bell and others. I assume the reader already has basic familiarity with Bell test setups such as Aspect(2). Assistance is welcome in achieving the desired result :) so please don't sue me if I don't get it 100% right the first time. My goal is to make this short, sweet and as easy to follow as possible. I will likely edit the post as improvements are incorporated so that this can be referenced in the future.
Some forum members have posed the question, "How does Bell's Theorem lead to predictions of negative probabilies?" Bell's Theorem demonstrates that the following 3 things cannot all be true:
i) The experimental predictions of quantum mechanics (QM) are correct in all particulars
ii) Hidden variables exist (particle attributes really exist independently of observation)
iii) Locality holds (a measurement at one place does not affect a measurement result at another)
QM predicts that certain classical scenarios, if they existed, would have negative likelihood of occurance (in defiance of common sense). Any local realistic theory - in which ii) and iii) above are assumed to be true - will make predictions for values of these scenarios which is significantly different than the QM predicted values. QM does not acknowledge the existence of these scenarios, often called hidden variables (HV), so it does not have a problem with this consequence of Bell's Theorem. We will ignore the iii) case here, as if you accept that locality fails anyway then there is no particular conflict between i) and ii). Again, our objective is to see the effect of the "hidden variable" or "Realistic" assumption and how that specifically leads to results that defy our intuitive common sense.
In the entangled photon scenarios, the Realistic view - which maps to assumption ii) above - states that the photon polarity is determinate as of the point in time that the photons' existence begins. Even though the entangled photons can only be measured at 2 angles before they are disturbed, the Realistic view states that they could potentially have been measured at other angles as well. Thus, the Realistic view is that the existence of the photon spin polarity is independent of the act of measurement. On the other hand, QM (Heisenberg Uncertainty Principle) says that the photon polarity exists only in the context of a measurement, and the the act of observation is somehow fundamental to the measurement results. Here is the paradox that is a partial result of Bell's Theorem:
Proof
=====
a. Let there be 2 single channel detectors I will call Left and Right. The Left is set at angle A=0 degrees. The Right is set at C=67.5 degrees. We will consider that there is the possibility that we could have also measured the polarity at another angle in between the settings of Left and Right detectors, and this angle is for the sake of discussion called B=45 degrees. In each case, the angle settings are adjusted so that 0 degrees difference would mean that there is perfect correlation, as is true in both classical and quantum mechancial scenarios. A difference of 90 degrees means there is perfect anti-correlation, also identical in all scenarios. Our selection of the angles is not random, it is done specifically to highlight the desired conclusion. Let's call it + if there was a detection at that spot, and - if there is no detection. Practical detector efficiencies and actual experimental requirements are ignored.
b. In the Realistic view, we could imagine that A, B and C all exist at the same time - even if we could only measure 2 at a time. Therefore, there are 8 possible outcomes that must total to 100% (probability=1). This is "common sense". The permutations are:
[1] A+ B+ C+ (and the likelihood of this is >=0)
[2] A+ B+ C- (and the likelihood of this is >=0)
[3] A+ B- C+ (and the likelihood of this is >=0)
[4] A+ B- C- (and the likelihood of this is >=0)
[5] A- B+ C+ (and the likelihood of this is >=0)
[6] A- B+ C- (and the likelihood of this is >=0)
[7] A- B- C+ (and the likelihood of this is >=0)
[8] A- B- C- (and the likelihood of this is >=0)
The sum of all possible outcomes above:
[1] + [2] + [3] + [4] + [5] + [6] + [7] + [8] = 100% = 1
With a Realistic view, this is true regardless of the unknown hidden variable function that controls these individual outcome probabilities. So it is the requirement that each outcome have an expectation value >=0 that connects to the assumption of reality per ii) above. When measuring A and C, B existed even if we didn't measure it.
c. In the quantum world, 2 of the above outcome cases are suppressed: [3] and [6]. The reason is that they don't actually exist as possibilities - even though common sense says they should! B is the hypothesized angle between A (left) and C (right) in my example, and B must always yield the same +/- value as either A or C. In these two cases [3] and [6] as you can see from the chart above, B is opposite to A and C. It does not matter to the argument presented here if you agree with this reasoning; you only need to accept that it is the [3] and [6] cases which QM says have a negative probability of occurance as will be shown in d.-h. below.
But in the Realistic view, [3]>=0 and [6]>=0. Combining these, we get the non-negative prediction for the Realistic side:
[3] + [6] >= 0 (per the Realistic view)
This is the only assumption we make for the Realistic view, and it is not required in QM. We next need the QM prediction for cases [3] and [6], preferably one that can be tested via experiment.
d. Bell brilliantly saw a way to do this. Remember, we can only actually measure two of A, B, or C at a time - we can't measure all 3 simulataneously. But we can separately measure some new combined cases called X, Y and Z:
X = combined probability of cases [1] + [3] + [6] + [8]
Y = combined probability of cases [3] + [4] + [5] + [6]
Z = combined probability of cases [1] + [4] + [5] + [8]
e. Also note that:
X = correlations between measurements at A and C
Y = non-correlations between measurements at A and B
Z = correlations between measurements at B and C
You can review the 8 cases in b. above to see that this is so.
f. Why do we pick these particular combinations to define X, Y and Z? Because (X + Y - Z)/2 is the same as the probability of our 2 suppressed cases, [3] and [6] from c) above. You can now see that:
(X + Y - Z) / 2
= (([1] + [3] + [6] + [8]) + ([3] + [4] + [5] + [6]) - ([1] + [4] + [5] + [8])) / 2
Now simplify by eliminating offsetting terms:
= ([3] + [6] + [3] + [6]) / 2
= [3] + [6]
Which means that, if c. above is true, per the Realistic side:
(X + Y - Z) / 2 >= 0
g. In QM and in classical optics, correlation of photon polarity is a function of the square of the cosine of the angle between. Non-correlation of photon polarity is a function of the square of the sine of the angle between.
X is determined by the angle between A and C, a difference of 67.5 degrees
X = COS^2(67.5 degrees) = .1464
This prediction of quantum mechanics can be measured experimentally.
Y is determined by the angle between A and B, a difference 45 degrees
Y = SIN^2(45 degrees) = .5000
This prediction of quantum mechanics can be measured experimentally.
Z is determined by the angle between B and C, a difference 22.5 degrees
Z = COS^2(22.5 degrees) = .8536
This prediction of quantum mechanics can be measured experimentally.
h. QM predicts that (X + Y - Z)/2 would then be calculated as follows:
(X + Y - Z) / 2
Substituting values from g. above:
= (.1464 + .5000 - .8536)/2
= (-.2072)/2
= -.1036
Therefore:
[3] + [6] = -.1036 (per QM)
Which predicted result is less than zero. (QED per c. above)
Conclusion
==========
QM predicts an expectation value for cases [3] and [6] of -.1036, which is less than 0 and seemingly absurd. However, this is born out by experiment, in defiance of common sense. Note that X, Y and Z can be separately tested anywhere in the world at any time and you still end up with the same conclusion once you combine the results per h.
IMPORTANT NOTE: If you are a proponent of local realism (local hidden variable theories), the above argument is sufficient to dash your hopes as purported Bell test loopholes don't matter. You have only to convince yourself that the experimentally measured values of X, Y and Z are close enough to the predictions given by QM from g. above. It is pretty obvious that any other values would have been noticed a long time ago, since the QM predictions match classical optics anyway. No local realist has ever even given alternative predictions for the experimental values of X, Y and Z which would yield a result compatible with the Realistic view after Bell's Theorem.
References
==========
(1) J.S. Bell: "On the Einstein Podolsky Rosen paradox" Physics 1 #3, 195 (1964). You can view a copy of the original paper at: http://www.drchinese.com/David/EPR_Bell_Aspect.htm
(2) A. Aspect, Dalibard, G. Roger: "Experimental test of Bell's inequalities using time-varying analyzers" Physical Review Letters 49 #25, 1804 (20 Dec 1982).
-DrChinese
Introduction
============
Author's note: This post is based on Bell's Theorem (1). I have reformulated the presentation to make it a little easier to see that "Negative Probabilties" are a seemingly paradoxical consequence of his work. The Bell Inequalities can be presented in many forms, and most are essentially equivalent. I do not know if this particular presentation format or derivation has been used by others, I can only assume it has. I follow conventional interpretation of both QM and Bell. For a more rigorous proof, look to Bell and others. I assume the reader already has basic familiarity with Bell test setups such as Aspect(2). Assistance is welcome in achieving the desired result :) so please don't sue me if I don't get it 100% right the first time. My goal is to make this short, sweet and as easy to follow as possible. I will likely edit the post as improvements are incorporated so that this can be referenced in the future.
Some forum members have posed the question, "How does Bell's Theorem lead to predictions of negative probabilies?" Bell's Theorem demonstrates that the following 3 things cannot all be true:
i) The experimental predictions of quantum mechanics (QM) are correct in all particulars
ii) Hidden variables exist (particle attributes really exist independently of observation)
iii) Locality holds (a measurement at one place does not affect a measurement result at another)
QM predicts that certain classical scenarios, if they existed, would have negative likelihood of occurance (in defiance of common sense). Any local realistic theory - in which ii) and iii) above are assumed to be true - will make predictions for values of these scenarios which is significantly different than the QM predicted values. QM does not acknowledge the existence of these scenarios, often called hidden variables (HV), so it does not have a problem with this consequence of Bell's Theorem. We will ignore the iii) case here, as if you accept that locality fails anyway then there is no particular conflict between i) and ii). Again, our objective is to see the effect of the "hidden variable" or "Realistic" assumption and how that specifically leads to results that defy our intuitive common sense.
In the entangled photon scenarios, the Realistic view - which maps to assumption ii) above - states that the photon polarity is determinate as of the point in time that the photons' existence begins. Even though the entangled photons can only be measured at 2 angles before they are disturbed, the Realistic view states that they could potentially have been measured at other angles as well. Thus, the Realistic view is that the existence of the photon spin polarity is independent of the act of measurement. On the other hand, QM (Heisenberg Uncertainty Principle) says that the photon polarity exists only in the context of a measurement, and the the act of observation is somehow fundamental to the measurement results. Here is the paradox that is a partial result of Bell's Theorem:
Proof
=====
a. Let there be 2 single channel detectors I will call Left and Right. The Left is set at angle A=0 degrees. The Right is set at C=67.5 degrees. We will consider that there is the possibility that we could have also measured the polarity at another angle in between the settings of Left and Right detectors, and this angle is for the sake of discussion called B=45 degrees. In each case, the angle settings are adjusted so that 0 degrees difference would mean that there is perfect correlation, as is true in both classical and quantum mechancial scenarios. A difference of 90 degrees means there is perfect anti-correlation, also identical in all scenarios. Our selection of the angles is not random, it is done specifically to highlight the desired conclusion. Let's call it + if there was a detection at that spot, and - if there is no detection. Practical detector efficiencies and actual experimental requirements are ignored.
b. In the Realistic view, we could imagine that A, B and C all exist at the same time - even if we could only measure 2 at a time. Therefore, there are 8 possible outcomes that must total to 100% (probability=1). This is "common sense". The permutations are:
[1] A+ B+ C+ (and the likelihood of this is >=0)
[2] A+ B+ C- (and the likelihood of this is >=0)
[3] A+ B- C+ (and the likelihood of this is >=0)
[4] A+ B- C- (and the likelihood of this is >=0)
[5] A- B+ C+ (and the likelihood of this is >=0)
[6] A- B+ C- (and the likelihood of this is >=0)
[7] A- B- C+ (and the likelihood of this is >=0)
[8] A- B- C- (and the likelihood of this is >=0)
The sum of all possible outcomes above:
[1] + [2] + [3] + [4] + [5] + [6] + [7] + [8] = 100% = 1
With a Realistic view, this is true regardless of the unknown hidden variable function that controls these individual outcome probabilities. So it is the requirement that each outcome have an expectation value >=0 that connects to the assumption of reality per ii) above. When measuring A and C, B existed even if we didn't measure it.
c. In the quantum world, 2 of the above outcome cases are suppressed: [3] and [6]. The reason is that they don't actually exist as possibilities - even though common sense says they should! B is the hypothesized angle between A (left) and C (right) in my example, and B must always yield the same +/- value as either A or C. In these two cases [3] and [6] as you can see from the chart above, B is opposite to A and C. It does not matter to the argument presented here if you agree with this reasoning; you only need to accept that it is the [3] and [6] cases which QM says have a negative probability of occurance as will be shown in d.-h. below.
But in the Realistic view, [3]>=0 and [6]>=0. Combining these, we get the non-negative prediction for the Realistic side:
[3] + [6] >= 0 (per the Realistic view)
This is the only assumption we make for the Realistic view, and it is not required in QM. We next need the QM prediction for cases [3] and [6], preferably one that can be tested via experiment.
d. Bell brilliantly saw a way to do this. Remember, we can only actually measure two of A, B, or C at a time - we can't measure all 3 simulataneously. But we can separately measure some new combined cases called X, Y and Z:
X = combined probability of cases [1] + [3] + [6] + [8]
Y = combined probability of cases [3] + [4] + [5] + [6]
Z = combined probability of cases [1] + [4] + [5] + [8]
e. Also note that:
X = correlations between measurements at A and C
Y = non-correlations between measurements at A and B
Z = correlations between measurements at B and C
You can review the 8 cases in b. above to see that this is so.
f. Why do we pick these particular combinations to define X, Y and Z? Because (X + Y - Z)/2 is the same as the probability of our 2 suppressed cases, [3] and [6] from c) above. You can now see that:
(X + Y - Z) / 2
= (([1] + [3] + [6] + [8]) + ([3] + [4] + [5] + [6]) - ([1] + [4] + [5] + [8])) / 2
Now simplify by eliminating offsetting terms:
= ([3] + [6] + [3] + [6]) / 2
= [3] + [6]
Which means that, if c. above is true, per the Realistic side:
(X + Y - Z) / 2 >= 0
g. In QM and in classical optics, correlation of photon polarity is a function of the square of the cosine of the angle between. Non-correlation of photon polarity is a function of the square of the sine of the angle between.
X is determined by the angle between A and C, a difference of 67.5 degrees
X = COS^2(67.5 degrees) = .1464
This prediction of quantum mechanics can be measured experimentally.
Y is determined by the angle between A and B, a difference 45 degrees
Y = SIN^2(45 degrees) = .5000
This prediction of quantum mechanics can be measured experimentally.
Z is determined by the angle between B and C, a difference 22.5 degrees
Z = COS^2(22.5 degrees) = .8536
This prediction of quantum mechanics can be measured experimentally.
h. QM predicts that (X + Y - Z)/2 would then be calculated as follows:
(X + Y - Z) / 2
Substituting values from g. above:
= (.1464 + .5000 - .8536)/2
= (-.2072)/2
= -.1036
Therefore:
[3] + [6] = -.1036 (per QM)
Which predicted result is less than zero. (QED per c. above)
Conclusion
==========
QM predicts an expectation value for cases [3] and [6] of -.1036, which is less than 0 and seemingly absurd. However, this is born out by experiment, in defiance of common sense. Note that X, Y and Z can be separately tested anywhere in the world at any time and you still end up with the same conclusion once you combine the results per h.
IMPORTANT NOTE: If you are a proponent of local realism (local hidden variable theories), the above argument is sufficient to dash your hopes as purported Bell test loopholes don't matter. You have only to convince yourself that the experimentally measured values of X, Y and Z are close enough to the predictions given by QM from g. above. It is pretty obvious that any other values would have been noticed a long time ago, since the QM predictions match classical optics anyway. No local realist has ever even given alternative predictions for the experimental values of X, Y and Z which would yield a result compatible with the Realistic view after Bell's Theorem.
References
==========
(1) J.S. Bell: "On the Einstein Podolsky Rosen paradox" Physics 1 #3, 195 (1964). You can view a copy of the original paper at: http://www.drchinese.com/David/EPR_Bell_Aspect.htm
(2) A. Aspect, Dalibard, G. Roger: "Experimental test of Bell's inequalities using time-varying analyzers" Physical Review Letters 49 #25, 1804 (20 Dec 1982).
-DrChinese