Main Page | See live article | Alphabetical index

CHSH inequality

The Clauser-Horne-Shimony-Holt inequality (CHSH), arises in quantum mechanics, in discussion and experimental determination of whether local hidden variables are required for, or even compatible with, the representation of experimental results; with particular relevance to the EPR thought experiment. It is named for the authors, John F. Clauser, Michael A. Horne, Abner Shimony, and Richard A. Holt, of the paper [1.] in which this inequality was first derived, and where its utility for experimental test was emphasized.

The CHSH inequality is concerned with measurements obtained by a pair of observers, A and B, who each can detect one signal at a time in one of two distinct own channels or outcomes: for instance A detecting and counting a signal either as (A↑) or (A↓), and B detecting and counting a signal either as (B «), or (B »).

Signals are to be considered and counted only if A and B detect them trial-by-trial together; i.e. for any one signal which has been detected by A in one particular trial, B must have detected precisely one signal in the same trial, and vice versa.

For any one particular trial it may be consequently distinguished and counted whether

Similarly, it can be distinguished and counted whether Further, for any one trial j it may be consequently distinguished and counted whether Summing the counts over all trials j of a given set J of trials, one can evaluate for instance

P(A↑) (B «)( J ) = { j = first of J Σ last of J}(nj (A↑) - nj (A↓)) (nj (B «) - nj (B »)) / ({ j = first of J Σ last of J} 1),

i.e. the correlation between the channels or outcomes in which A and B individually detected the signals in the trials of set J; where -1 ≤ P(A↑) (B «)( J ) ≤ 1.

Based on suggestions by John Stewart Bell, CHSH now characterize particular sets of trials through ajustable apparatus parameters, or settings; for instance the set J referring to trials which are characterized by A's setting aA , and B's setting bB , another set K referring to trials characterized by A's setting aA , and B's setting cB , and so on. As far as B's settings bB and cB are distinct from each other, the sets of trials J and K are disjoint. Correspondingly, the correlation number P(A↑) (B «)( J ) is written as P(A↑) (B «)( aA , bB ), and P(A↑) (B «)( K ) as P(A↑) (B «)( aA , cB ), etc.

The notion of local hidden variables is now introduced by considering the following question:

Can the individual detection outcomes and corresponding counts as obtained by any one observer, e.g. the numbers (nj (A↑) - nj (A↓)), be expressed as a function A( aA , λ ) (which necessarily assumes the values +1 or -1), i.e. as a function only of the setting of this observer in this trial, and of one other hidden parameter λ, but without an explicit dependence on settings or outcomes concerning the other observer (who is considered far away)?

Or at least: can all correlation numbers such as P(A↑) (B «)( aA , bB ), which may in principle be experimentally determined, be also expressed as in terms of such independent functions, A( aA , λ ), and B( bB , λ ) as an intergral over a hidden variable λ, as

P(A↑) (B «)( aA , bB ) = ∫Γ dλ ρ( λ ) A( aA , λ ) B( bB , λ ),

with a suitable density ρ( λ ) and a suitable integration domain Γ ?

Comparison with the sum which defined P(A↑) (B «)( J ) explicitly above, readily suggests to identify

However, with Bell, CHSH consider and require the integration domain Γ being total, constant and equal in all instances; both correlation numbers P(A↑) (B «)( aA , bB ) and P(A↑) (B «)( aA , cB ) are being expressed as integrals over one and the same integration domain Γ, and with the same density ρ( λ ), even though these two correlation numbers refer to disjoint sets of trials, J vs. K.

CHSH are consequently able to evaluate for instance

P(A↑) (B «)( aA , bB ) - P(A↑) (B «)( aA , cB ) = Γ dλ ρ( λ ) A( aA , λ ) B( bB , λ ) - A( aA , λ ) B( cB , λ )).

Inserting the active zero term ± A( aA , λ ) A( qA , λ ) B( bB , λ ) B( cB , λ ), which involves yet another setting, qA , it follows

P(A↑) (B «)( aA , bB ) - P(A↑) (B «)( aA , cB ) =

Γ dλ ρ( λ ) (A( aA , λ ) B( bB , λ ))
(1 - A( qA , λ ) B( cB , λ )) - (A( aA , λ ) B( cB , λ )) (1 - A( qA , λ ) B( bB , λ )).

Noting that -1 ≤ (A( aA , λ ) B( bB , λ )) ≤ 1, and -1 ≤ (A( aA , λ ) B( cB , λ )) ≤ 1, therefore

| P(A↑) (B «)( aA , bB ) - P(A↑) (B «)( aA , cB ) |

Γ dλ ρ( λ ) (1 - A( qA , λ ) B( cB , λ )) + ∫Γ dλ ρ( λ ) (1 - A( qA , λ ) B( bB , λ )).

Identifying the integrals (as above, over one and the same integration domain) as correlation numbers for corresponding settings, and using the definition of ρ( λ ) as a density, results in

| P(A↑) (B «)( aA , bB ) - P(A↑) (B «)( aA , cB ) |1 - P(A↑) (B «)( qA , cB ) + 1 - P(A↑) (B «)( qA , bB ).

Finally, the Clauser-Horne-Shimony-Holt inequality is obtained as

| P(A↑) (B «)( aA , bB ) - P(A↑) (B «)( aA , cB ) | + P(A↑) (B «)( qA , cB ) + P(A↑) (B «)( qA , bB ) ≤ 2,

in terms of four correlation numbers which refer to four distinct pairs of settings.

For certain settings, the corresponding experimentally determined correlation numbers which are necessarily obtained from counts in four disjoint sets of trials, can be found to fail the CHSH inequality with considerable significance; as demonstrated for instance by Aspect et al..

Therefore the assumptions based on which the CHSH inequality is derived are collectively unsuitable to represent all experimental results; namely
the assumption of local hidden variables from one and the same constant total domain Γ in all sets of trials.

It is probably worth mentioning that the assumption of local hidden variables which vary between disjoint sets of trials, such as a trial index itself, does generally not allow the derivation of an inequality similar to that of CHSH.

A related inequality has been discussed by Wigner, d'Espagnat, and Bell.

Reference