What in Fact Proves the Violation of the Bell-Type Inequalities?
Sofia Wechsler
Kiryat Motzkin, Israel.
DOI: 10.4236/jqis.2023.131002   PDF    HTML   XML   76 Downloads   423 Views  

Abstract

A. Peres constructed an example of particles entangled in the state of spin singlet. He claimed to have obtained the CHSH inequality and concluded that the violation of this inequality shows that in a measurement in which some variables are tested, other variables, not tested, have no defined value. In the present paper is proved that the correct conclusion of the violation of the CHSH inequality is different. It is proved that the classical calculus of probabilities of test results, obeying the Kolmogorov axioms, is unfit for the quantum formalism, dominated by probability amplitudes.

Share and Cite:

Wechsler, S. (2023) What in Fact Proves the Violation of the Bell-Type Inequalities? Journal of Quantum Information Science, 13, 24-32. doi: 10.4236/jqis.2023.131002.

1. Introduction

J. S. Bell developed in his famous work [1] an inequality for three observables, and it was extended to more observables [2] . These inequalities were found to disagree with the quantum mechanics (QM). The violation of these inequalities was proved by the experiment, [3] - [11] , and is typically interpreted as indicating that the quantum world allows nonlocal influences between measurement results of entangled quantum objects [1] [3] [4] [5] [6] [12] - [18] (see also the references in [18] and also a generalization of the Bell-type inequalities in [19] ).

In his famous article “Unperformed experiments have no results” [20] (see also [21] ) A. Peres claimed to have deduced from the violation of Bell-type inequalities, a new conclusion, namely, that incompatible observables cannot take definite values in the same test. By incompatible is understood that the operators corresponding to the observables don’t commute. So, Peres concluded that if the observables A and B are measured and produce definite values, the wave-function (w-f) cannot predict definite values for non-measured observables, A' and B', not commuting with A respectively B.

It may though be that there are effects beyond the predictions of the w-f, e.g. that the QM admits a substructure. For example, if the quantum object behaves according to Bohm’s mechanics [22] , some observables may take values although the w-f does not acknowledge them.

It is argued in the present article that what in fact is proved by the violation of the Bell-type inequalities is another feature, namely, that the classical calculus of distribution of probabilities, satisfying the Kolmogorov axioms, is incompatible with the predictions of the w-f. The assumption of locality of measurement results yields just a particular case of such a distribution.

The next sections are organized as follows: Section 2 defines the most general distribution of probabilities of variables’ values, for which the Bell-type inequalities can be derived; no locality assumption is made. Section 3 derives the CHSH inequality using this general distribution. Section 4 compares the consequences of this distribution with the quantum predictions, and a contradiction is found. Section 5 contains conclusions.

2. A Probability Distribution under the Komogorov Axioms

Consider a set of events { E 1 , E 2 , , E n } with probabilities P from a common space satisfying the Kolmogorov axioms

1) 0 P ( E i ) 1 ,

2) P ( E i OR E j OR OR E k ) = P ( E i ) + P ( E j ) + + P ( E k ) .

In this text we will have to do with four binary variables: A and A' belong to a photon 1, B and B' belong to a photon 2. All the four variables are polarizations, A and A' along the directions a respectively a', B and B' along the directions b respectively b'. We will denote the polarization along a direction u by “+u” and perpendicular to u by “−u”. So, in a measurement of the variable A for photon 1 and B for photon 2 we will get the result “+a” for A and “−b” for B with the probability P ( + a b ) .

Assumption A: in a test of the two particles, each one along some direction, all the four variables take definite values, i.e. the non-measured variables take values as well as the measured ones.

Therefore we will have to do with probabilities of the form P A B ' ( + a + a' + b b' ) where the indexes A and B' after P indicate which observables were in fact measured.

Applying then the Komogorov axioms one has

P A B ' ( + a b' ) = P A B ' ( + + + ) + P A B ' ( + + ) + P A B ' ( + + ) + P A B ' ( + ) . (1)

We omitted here and so we will do in the rest of the article, the indexes inside the round parentheses in the four-variable probabilities, but we will keep the convention that the order of the results is ± a ± a' ± b ± b' .

Assumption B: the distribution of four-variable probabilities is independent of which variables are actually measured.

That means

P A B ( q a q a ' q b q b ' ) = P A ' B ( q a q a ' q b q b ' ) = P A B ' ( q a q a ' q b q b ' ) = P A ' B ' ( q a q a ' q b q b ' ) , (2)

with q a , q a ' , q b , q b ' [ + , ] . That gives us the possibility to omit the specification of the actual measurement in the four-variable probability, e.g. we will write simply P ( q a q a ' q b q b ' ) . We will also omit the specification of the actual measurement in the two-variable measurement, because it appears inside the parentheses, i.e. P A B ( q a q b ) = P ( q a q b ) .

3. A General Derivation of the CHSH Inequality

With the distribution of probability developed in the previous section we can obtain the following results

P ( + a + b ) = P ( + + + + ) + P ( + + + ) + P ( + + + ) + P ( + + ) ,

P ( + a b ) = P ( + + + ) + P ( + + ) + P ( + + ) + P ( + ) ,

P ( a + b ) = P ( + + + ) + P ( + + ) + P ( + + ) + P ( + ) ,

P ( a b ) = P ( + + ) + P ( + ) + P ( + ) + P ( ) ,

The average A B ¯ of the results of the joint measurement of A and B can be expressed according to the above equalities as

A B ¯ = { P ( + + + + ) + P ( + + + ) + P ( + + + ) + P ( + + ) } { P ( + + + ) + P ( + + ) + P ( + + ) + P ( + ) } { P ( + + + ) + P ( + + ) + P ( + + ) + P ( + ) } + { P ( + + ) + P ( + ) + P ( + ) + P ( ) } (3)

One can similarly express in terms of four-variable probabilities, the averages A ' B ¯ , A B ' ¯ , A ' B ' ¯

A ' B ¯ = P ( + a ' + b ) P ( + a ' b ) P ( a ' + b ) + P ( a ' b ) , A B ' ¯ = P ( + a + b ' ) P ( + a b ' ) P ( a + b ' ) + P ( a b ' ) , A ' B ' ¯ = P ( + a ' + b ' ) P ( + a ' b ' ) P ( a ' + b ' ) + P ( a ' b ' ) . (4)

e.g.

A ' B ¯ = { P ( + + + + ) + P ( + + + ) + P ( + + + ) + P ( + + ) } { P ( + + + ) + P ( + + ) + P ( + + ) + P ( + ) } { P ( + + + ) + P ( + + ) + P ( + + ) + P ( + ) } + { P ( + + ) + P ( + ) + P ( + ) + P ( ) } . (5)

Since A , A ' , B , B ' P ( A , A ' , B , B ' ) = 1 , one has

P ( + + + + ) + P ( + + + ) + P ( + + + ) + P ( + + ) + P ( + + + ) + P ( + + ) + P ( + + ) + P ( + ) + P ( + + + ) + P ( + + ) + P ( + + ) + P ( + ) + P ( + + ) + P ( + ) + P ( + ) + P ( ) = 1 (6)

From the Equalities (3) and (4) one can find by direct substitution and reducing identical terms that

A B ¯ + A ' B ¯ A B ' ¯ + A ' B ' ¯ = 2 { P ( + + + + ) + P ( + + + ) P ( + + + ) P ( + + ) P ( + + + ) + P ( + + ) P ( + + ) + P ( + ) + P ( + + + ) P ( + + ) + P ( + + ) P ( + ) P ( + + ) P ( + ) + P ( + ) + P ( ) } . (7)

Comparing with (6) one can see that

A B ¯ + A ' B ¯ A B ' ¯ + A ' B ' ¯ 2 . (8)

Indeed, if the sum of all the four-variable probabilities is equal to 1, the sum in which some of the probabilities appear with minus should be in general less than 1.

The inequality (8) is the CHSH inequality.

4. Then What in Fact Prove the Bell-Type Inequalities?

It is known that the CHSH inequality is violated if one considers the photon singlet. For a measurement of the polarization of the photon 1 along a direction u, and a measurement of the polarization of photon 2 along a direction v, the averaged product of the two results is equal to cos(2 θ uv , where θ uv is the angle between the two directions. Choosing for the observables A and A' the polarization of the photon 1 along the directions a and a', and for the observables B and B' the polarization of the photon 2 along the directions b and b', as in the Figure 1 and Figure 2, the quantum formalism predicts

Figure 1. Four coplanar directions. See explanations in the text.

Figure 2. Arrangement of a CHSH experiment involving different polarization directions.

The wave-packet of the photon 1 (2) is split according to the polarization directions a' and perpendicular to a' (b' and perpendicular to b'). Then, the two wave-packets are merged back into one and split according to the polarization axes a and perpendicular to a (b and perpendicular to b).

A B + A ' B A B ' + A ' B ' = 2 2 , (9)

This result disagrees with the inequality (8).

This violation proves that some of the assumptions made in the derivation of the distribution P ( q a q a ' q b q b ' ) in Section 2 must be wrong. These assumptions are the Kolmogorov axioms 1 and 2 and the assumptions A and B. Some of them must disagree with the QM, and it is known that QM was never disproved by the experiment.

Whether the assumptions A and B disagree with the QM is not obvious. But it is obvious that the axiom 2 of Kolmogorov does disagree with the QM. Indeed, by this axiom the probability of occurrence of a result q1 or q2 satisfies

Prob ( q 1 OR q 2 ) = Prob ( q 1 ) + Prob ( q 2 ) . (10)

However, in the quantum formalism the basic element in the calculus of probability of a result q is not the probability Prob (q), but the amplitude of probability A ( q ) , with

Prob ( q 1 ) = | A ( q 1 ) | 2 , Prob ( q 2 ) = | A ( q 2 ) | 2 , (11)

and instead of (10) one has by the QM

Prob ( q 1 OR q 2 ) = | A ( q 1 ) + A ( q 2 ) | 2 = Prob ( q 1 ) + Prob ( q 2 ) + A ( q 1 ) * A ( q 2 ) + A ( q 2 ) * A ( q 1 ) . (12)

Let’s exemplify the problem on the probability P ( + a + b ) , i.e. the actual measurement is done in the base { + a , a } for photon 1 and { + b , b } for photon 2, and we retain the pairs producing the response “++”. We will show that QM and the Kolmogorov-type calculus yield different expressions, as do (10) and (12). For this purpose we write the w-f of the photon singlet putting in evidence the polarizations along a', a, and b', b, and we denote by θ uv the angle between directions u and v.

So, we start from the expression of the w-f in the polarization base { + a' , a' } for photon 1, and { + b' , b' } for photon 2

| ψ = 1 2 { cos ( θ a'b' ) | + a' | + b' + sin ( θ a'b' ) | + a' | b' sin ( θ a'b' ) | a' | + b' + cos ( θ a'b' ) | a' | b' } = A ( + a' + b' ) | + a' | + b' + A ( + a' b' ) | + a' | b' + A ( a' + b' ) | a' | + b' + A ( a' b' ) | a' | b' . (13)

Following the evolution of the pair in the apparatus, see Figure 2, let’s pass to the base { + a , a } for photon 1

| + a' = cos ( θ a'a ) | + a + sin ( θ a'a ) | a | a' = sin ( θ a'a ) | + a + cos ( θ a'a ) | a (14)

| ψ = 1 2 { cos ( θ a'b' ) [ cos ( θ a'a ) | + a | + b' + sin ( θ a'a ) | a | + b' ] + sin ( θ a'b' ) [ cos ( θ a'a ) | + a | b' + sin ( θ a'a ) | a | b' ] sin ( θ a'b' ) [ sin ( θ a'a ) | + a | + b' + cos ( θ a'a ) | a | + b' ] + cos ( θ a'b' ) [ sin ( θ a'a ) | + a | b' + cos ( θ a'a ) | a | b' ] }

= A ( + a' + a + b' ) | + a | + b' + A ( + a' a + b' ) | a | + b' + A ( + a' + a b' ) | + a | b' + A ( + a' a b' ) | a | b' + A ( a' + a + b' ) | + a | + b' + A ( a' a + b' ) | a | + b' + A ( a' + a b' ) | + a | b' + A ( a' a b' ) | a | b' . (15)

Finally we pass from the base { + b' , b' } for the photon 2 to the base { + b , b }

| + b' = cos ( θ b'b ) | + b + sin ( θ b'b ) | b | b' = sin ( θ b'b ) | + b + cos ( θ b'b ) | b (16)

and get

| ψ = { A ( + + + + ) + A ( + + + ) + A ( + + + ) + A ( + + ) } | + a | + b + (17)

where the order inside the round parentheses is q a , q a ' , q b , q b ' , and

A ( + + + + ) = cos ( θ a'b' ) cos ( θ a'a ) cos ( θ b'b ) / 2 A ( + + + ) = sin ( θ a'b' ) cos ( θ a'a ) sin ( θ b'b ) / 2 A ( + + + ) = sin ( θ a'b' ) sin ( θ a'a ) cos ( θ b'b ) / 2 A ( + + ) = cos ( θ a'b' ) sin ( θ a'a ) sin ( θ b'b ) / 2 (18)

According to the QM from these amplitudes of probability one can calculate the probability of getting the result + a + b

P ( + a + b ) = | A ( + + + + ) + A ( + + + ) + A ( + + + ) + A ( + + ) | 2 . (19)

Substituting in (19) the expressions in (18) one gets after a simple calculus of trigonometry

P ( + a + b ) = cos 2 ( θ ab ) / 2 . (20)

However, if we equate P ( q a q a' q b q b' ) = | A ( q a q a' q b q b' ) | 2 , one can immediately see that the sum of the absolute squares of the amplitudes in (18) does not lead to the quantum result (20).

A similar problem of disagreement between the classical probability calculus and the quantum formalism was posed by Tarozzi [23] and later by Božić et al. [24] . Both referred to the two-slit experiment in which the intensity of the image on a screen S beyond the slits B and C, | ψ ( r , t ) | 2 , differs from the sum of the intensities of the images created with only one of the slits open, | φ B ( r , t ) | 2 and | φ C ( r , t ) | 2 . Indeed,

| ψ ( r , t ) | 2 = | φ B ( r , t ) + φ C ( r , t ) | 2 = | φ B ( r , t ) | 2 + | φ C ( r , t ) | 2 + X ( r , t ) ,

where X ( r , t ) is the interference term X ( r , t ) = 2 Re [ φ B * ( r , t ) φ C ( r , t ) ] .

For solving the dilemma why the whole differs from the sum of its parts, Božić et al. suggested to regard the experiment in which both sits are open as having a different configuration than the experiments in which only one slit is open and in consequence, what passes through the apparatus is different in the two types of experiment. They suggested to write for the interference experiment | ψ ( r , t ) | 2 = | φ ˜ B ( r , t ) | 2 + | φ ˜ C ( r , t ) | 2 , where each one of φ ˜ B ( r , t ) and φ ˜ C ( r , t ) contains also a part from X ( r , t ) .

This idea seems appealing for the experiment in the Figure 2 too. That means, to construct a distribution of probabilities in which P ( q a q a' q b q b' ) contains besides the absolute square of the respective four-variable amplitude, a part of the interference terms.

But that turns to be impossible. Let’s take as an example the probability P ( q a q a' q b q b' ) = | + + + , which according to (18) should be equal to sin 2 ( θ a'b' ) sin 2 ( θ a'a ) cos 2 ( θ b'b ) . This expression cannot be modified since it is dictated by the Malus law. It says that if the particle 1 took the path −a', the particle 2 takes the path +b' with probability sin 2 ( θ a'b' ) . Next, the particle 1 takes the path +a with probability sin 2 ( θ a'a ) and the particle 2 takes the particle +b with probability cos 2 ( θ b'b ) . There is no possibility for changing P ( q a q a' q b q b' ) .

5. Conclusions

In his article “Unperformed experiments have no results” [20] , Peres concluded that the assumption A, see Section 2, is wrong. However, as shown here, the correct cause of the violation of the CHSH inequality is the incompatibility between the classical calculus of probabilities, governed by the Kolmogorov axioms, and the quantum probabilities governed by the calculus of amplitudes of probability.

It has to be mentioned that 16 years after the publication of Peres’ article, Berndl et Goldstein also concluded [25] , in an examination of the celebrated Hardy’s article “Quantum Mechanics, Local Realistic Theories, and Lorenz-Invariant Realistic Theories” [26] , that observables that were not measured may have no definite values in a test in which other observables were actually measured. But, again, this conclusion does not result from the violation of the Bell-type inequality.

No locality was assumed in the derivation of the distribution P ( q a q a ' q b q b ' ) obtained here. The hypothesis of locality of measurement results leads to a particular case of P ( q a q a ' q b q b ' ) . The distribution derived here covers not only distributions obtained in base of the locality assumption, but also distributions of results dependent both on a local setup as well as on a distant setup.

The fact that the quantum probabilistic formalism is based on superposition of amplitudes of probability stresses the wave nature of the quantum object.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

References

[1] Bell, J.S. (1964) On the Einstein Podolsky Rosen Paradox. Physics Physique Fizika, 1, e195.
https://doi.org/10.1103/PhysicsPhysiqueFizika.1.195
[2] Clauser, J.F., Horne, M.A., Shimony, A. and Holt, R.A. (1969) Proposed Experiment to Test Local Hidden-Variable Theories. Physical Review Letters, 23, e880.
https://doi.org/10.1103/PhysRevLett.23.880
[3] Freedman, S.J. and Clauser, J.F. (1972) Experimental Test of Local Hidden Variable Theories. Physical Review Letters, 28, e938.
https://doi.org/10.1103/PhysRevLett.28.938
[4] Clauser, J.F. and Horne, M.A. (1974) Experimental Consequences of Objective Local Theories. Physical Review D, 10, e526.
https://doi.org/10.1103/PhysRevD.10.526
[5] Fry, E.S. and Thompson, R.C. (1976) Experimental Test of Local Hidden-Variable Theories. Physical Review Letters, 37, e465.
https://doi.org/10.1103/PhysRevLett.37.465
[6] Lamehi-Rachti, M. and Mittig, W. (1976) Quantum Mechanics and Hidden Variables: A Test of Bell’s Inequality by the Measurement of the Spin Correlation in Low-Energy Proton-Proton Scattering. Physical Review D, 14, e2543.
https://doi.org/10.1103/PhysRevD.14.2543
[7] Aspect, A., Dalibard, J. and Roger, G. (1982) Experimental Test of Bell’s Inequalities Using Time-Varying Analizers. Physical Review Letters, 49, e1804.
https://doi.org/10.1103/PhysRevLett.49.1804
[8] Aspect, A. (1983) Trois tests expérimentaux des inégalités de Bell par mesure de corrélation de polarization de photons. Thèse d’Etat, Orsay.
[9] Rarity, J.G. and Tapster, P.R. (1990) Experimental Violation of Bell’s Inequality Based on Phase and Momentum. Physical Review Letters, 64, e2495.
https://doi.org/10.1103/PhysRevLett.64.2495
[10] Fry, E.S. and Walther, T. (1997) A Bell Inequality Experiment Based on Molecular Dissociation—Extension of the Lo-Shimony Proposal to 199Hg (Nuclear Spin ½) Dimmers. In: Cohen, R.S., Horne, M. and Kluwer, J.S., Eds., Experimental Metaphysics, Bloomsbury Publishing, London, 61.
[11] Fry, E.S. and Walther, T. (2002) Atom Based Tests of the Bell Inequalities—The Legacy of John Bell Continues. In: Bertlmann, R.A. and Zeilinger, A., Eds., Quantum [Un]Speakables, Springer, New York, 103-107.
https://doi.org/10.1007/978-3-662-05032-3_8
[12] Bell, J.S. (1971) Introduction to the Hidden-Variable Question. In: d’Espagnat, B., Ed., Speakable and Unspeakable in Quantum Mechanics, Cambridge University Press, Cambridge, 171-181.
[13] Clauser, J.F. and Shimony, A. (1978) Bell’s Theorem: Experimental Tests and Implications. Reports on Progress in Physics, 41, e1881.
https://doi.org/10.1088/0034-4885/41/12/002
[14] Bell, J.S. (1985) The Theory of Local Beables. Dialectica, 39, 85-96.
https://doi.org/10.1111/j.1746-8361.1985.tb01249.x
[15] Bell, J.S. (1987) Speakable and Unspeakable in Quantum Mechanics. Cambridge University Press, Cambridge, UK.
[16] Fine, A. (1982) Joint Distributions, Quantum Correlations, and Commuting Observables. Journal of Mathematical Physics, 23, e1306.
https://doi.org/10.1063/1.525514
[17] Aspect, A. (1999) Bell’s Inequality Test: More Ideal than Ever. Nature, 398, 189-190.
https://doi.org/10.1038/18296
[18] Shimony, A. (2004) Bell’s Theorem. Stanford Encyclopedia of Philosophy.
[19] Gisin, N. (1991) Bell’s Inequality Holds for All Non-Product States. Physics Letters A, 154, 201-202.
https://doi.org/10.1016/0375-9601(91)90805-I
[20] Peres, A. (1978) Unperformed Experiments Have No Results. American Journal of Physics, 46, e745.
https://doi.org/10.1119/1.11393
[21] Peres, A. (1993) Bell’s Theorem. Quantum Theory: Concepts and Methods. Kluwer, Philadelphia, 62.
[22] David, B. (1952) A Suggested Interpretation of the Quantum Theory in Terms of “Hidden” Variables. I. Physical Review Journals Archive, 85, e166.
https://doi.org/10.1103/PhysRev.85.166
[23] Tarozzi, G. (1984) From Ghost to Real Waves: a Proposed Solution to the Wave-Particle Dilemma. In: Diner, S., Fargue, D., Lochak, G. and Selleri, F., Eds., The Wave-Particle Dualism, Springer, Dordrecht, 139-148.
https://doi.org/10.1007/978-94-009-6286-6_7
[24] Božić, M., Marić, Z. and Vigier, J.P. (1992) De Broglian Probabilities in the Double-Slit Experiment. Foundations of Physics, 22, 1325-1344.
https://doi.org/10.1007/BF01883664
[25] Berndl, K. and Goldstein, S. (1994) Comment on “Quantum Mechanics, Local Realistic Theories, and Lorenz-Invariant Realistic Theories. Physical Review Letters, 72, e780.
https://doi.org/10.1103/PhysRevLett.72.780
[26] Hardy, L. (1992) Quantum Mechanics, Local Realistic Theories, and Lorenz-Invariant Realistic Theories. Physical Review Letters, 68, e2981.
https://doi.org/10.1103/PhysRevLett.68.2981

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.