Wigner-d'Espagnat inequality

Wigner-d'Espagnat inequality

The Wigner - d'Espagnat inequality is a basic result of set theory.It is named for Eugene Wigner and Bernard d'Espagnat who (as pointed out by Bell) both employed it in their popularizations of quantum mechanics.

Given a set S with three subsets, J, K, and L, the following holds:

* each member of S which is a member of J, but not of L :: is either a member of J, but neither of K, nor of L, :: or else is a member of J and of K, but not of L;
* each member of J which is neither a member of K, nor of L, is therefore a member of J, but not of K; and
* each member of J, which is a member of K, but not of L, is therefore a member of K, but not of L.

The number of members of J which are not members of L is consequently less than, or at most equal to, the sum of the number of members of J which are not members of K, and the number of members of K which are not members of L;

"n(incl J) (excl L) ≤ n(incl J) (excl K) + n(incl K) (excl L)".

If the ratios "N" of these numbers to the number "n(incl S)" of all members of set S can be evaluated, e.g.

"N(incl J) (excl L) = n(incl J) (excl L) / n(incl S)",

then the Wigner - d'Espagnat inequality is obtained as:

"N(incl J) (excl L) ≤ N(incl J) (excl K) + N(incl K) (excl L)".

Considering this particular form in which the Wigner - d'Espagnat inequality is thereby expressed, and noting that the various non-negative ratios "N" satisfy

# "N(incl J) (incl K) + N(incl J) (excl K) + N(excl J) (incl K) + N(excl J) (excl K) = 1",
# "N(incl J) (incl L) + N(incl J) (excl L) + N(excl J) (incl L) + N(excl J) (excl L) = 1", and
# "N(incl K) (incl L) + N(incl K) (excl L) + N(excl K) (incl L) + N(excl K) (excl L) = 1",

it is probably worth mentioning that certain non-negative ratios are readily encountered, which are appropriately labelled by similarly related indices, and which do satisfy equations corresponding to 1., 2. and 3., but which nevertheless don't satisfy the Wigner - d'Espagnat inequality. For instance:

if three observers, A, B, and C, had each detected signals in one of two distinct own channels (e.g. as "(hit A)" vs. "(miss A)", "(hit B)" vs. "(miss B)", and "(hit C)" vs. "(miss C)", respectively), over several (at least pairwise defined) trials, then non-negative ratios "N" may be evaluated, appropriately labelled, and found to satisfy

# "N(hit A) (hit B) + N(hit A) (miss B) + N(miss A) (hit B) + N(miss A) (miss B) = 1",
# "N(hit A) (hit C) + N(hit A) (miss C) + N(miss A) (hit C) + N(miss A) (miss C) = 1", and
# "N(hit B) (hit C) + N(hit B) (miss C) + N(miss B) (hit C) + N(miss B) (miss C) = 1".

However if the pairwise "orientation angles" between these three observers are determined (following the inverse of a quantum-mechanical interpretation of Malus's Law) from the measured ratios as

: "orientation angle( A, B ) = 1/2 arccos( N(hit A) (hit B) - N(hit A) (miss B) - N(miss A) (hit B) + N(miss A) (miss B) )", : "orientation angle( A, C ) = 1/2 arccos( N(hit A) (hit C) - N(hit A) (miss C) - N(miss A) (hit C) + N(miss A) (miss C) )",: "orientation angle( B, C ) = 1/2 arccos( N(hit B) (hit C) - N(hit B) (miss C) - N(miss B) (hit C) + N(miss B) (miss C) )",

and if A's, B's, and C's channels are considered having been properly "set up" only if the constraints
"orientation angle( A, B ) = orientation angle( B, C ) = orientation angle( A, C )/2 < π/4"
had been found satisfied (as one may well require, to any accuracy; where the accuracy depends on the number of trials from which the orientation angle values were obtained), then necessarily (given sufficient accuracy)

"(cos( orientation angle( A, C ) ))² ="
: "(N(hit A) (hit C) + N(miss A) (miss C)) = (2 (N(hit A) (hit B) + N(miss A) (miss B)) - 1)2 > 0".

Since

"1 ≥ (N(hit A) (hit B) + N(miss A) (miss B))",

therefore

"1 ≥ 2 (N(hit A) (hit B) + N(miss A) (miss B)) - 1",
"(2 (N(hit A) (hit B) + N(miss A) (miss B)) - 1) ≥ (2 (N(hit A) (hit B) + N(miss A) (miss B)) - 1) ²",
"(2 (N(hit A) (hit B) + N(miss A) (miss B)) - 1) ≥(N(hit A) (hit C) + N(miss A) (miss C))",
"(1 - 2 (N(hit A) (miss B) + N(miss A) (hit B))) ≥ (1 - (N(hit A) (miss C) + N(miss A) (hit C)))",
"(N(hit A) (miss C) + N(miss A) (hit C)) ≥ 2 (N(hit A) (miss B) + N(miss A) (hit B))",

"(N(hit A) (miss C) + N(miss A) (hit C)) ≥" ::: "(N(hit A) (miss B) + N(miss A) (hit B)) + (N(hit B) (miss C) + N(miss B) (hit C))",

which is in (formal) contradiction to the Wigner - d'Espagnat inequalities

"N(hit A) (miss C) ≤ N(hit A) (miss B) + N(hit B) (miss C)", or
"N(miss A) (hit C)) ≤ N(miss A) (hit B)) + N(miss B) (hit C))", or both.

Accordingly, the ratios "N" obtained by A, B, and C, with the particular constraints on their "setup" in terms of values of orientation angles, cannot have been derived all at once, in one and the same set of trials together; otherwise they'd necessarily satisfy the Wigner - d'Espagnat inequalities.Instead, they had to be derived in three distinct sets of trials, separately and pairwise by A and B, by A and C, and by B and C, respectively.

The failure of certain measurements (such as the non-negative ratios in the example) to be obtained at once, together from one and the same set of trials, and thus their failure to satisfy Wigner - d'Espagnat inequalities, has been characterized as constituting disproof of Einstein's notion of "local realism".

Similar interdependencies between "two" particular measurements and the corresponding operators are the uncertainty relations as first expressed by Heisenberg for the interdependence between measurements of distance and of momentum, and as generalized by Edward Condon, Howard Percy Robertson, and Erwin Schrödinger.

References

* John S. Bell, "Bertlmann's socks and the nature of reality", Journal de Physique 42, no. 3, p. 41 (1981); and references therein.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Sakurai's Bell inequality — The intention of a Bell inequality is to serve as a test of local realism or local hidden variable theories as against quantum mechanics, applying Bell s theorem, which shows them to be incompatible. Not all the Bell s inequalities that appear in …   Wikipedia

  • List of mathematics articles (W) — NOTOC Wad Wadge hierarchy Wagstaff prime Wald test Wald Wolfowitz runs test Wald s equation Waldhausen category Wall Sun Sun prime Wallenius noncentral hypergeometric distribution Wallis product Wallman compactification Wallpaper group Walrasian… …   Wikipedia

  • List of mathematical topics in quantum theory — This is a list of mathematical topics in quantum theory, by Wikipedia page. See also list of functional analysis topics, list of Lie group topics, list of quantum mechanical systems with analytical solutions. Contents 1 Mathematical formulation… …   Wikipedia

  • List of combinatorics topics — This is a list of combinatorics topics.A few decades ago it might have been said that combinatorics is little more than a way to classify poorly understood problems, and some standard remedies. Great progress has been made since 1960.This page is …   Wikipedia

  • Wave function collapse — Quantum mechanics Uncertainty principle …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”