|
|
| Line 1: |
Line 1: |
| '''Bell's theorem''' is a [[no-go theorem]] famous for drawing an important line in the sand between [[quantum mechanics]] (QM) and the world as we know it classically. In its simplest form, Bell's theorem states:<ref name="C.B. Parker 1994 542">{{cite book | author = C.B. Parker | title = McGraw Hill Encyclopaedia of Physics | edition = 2nd | page = 542 | year= 1994 | publisher = McGraw Hill | isbn = 0-07-051400-3 }}</ref>
| | PPN Hardwood Flooring is a professional flooring company from Ottawa where people can find a variety of flooring materials to use for any type of establishment. This company aims to offer its clients high quality products at fair rates and enable them to have the home of their dreams. The website of this company has been designed to offer people all the information they need about the products and services of this company. At ppnflooring.com you will be able to read extensive information about each type of flooring offered by this company. |
|
| |
|
| {{quotation|No physical theory of local hidden variables can ever reproduce all of the predictions of quantum mechanics.}}
| | People who are looking for professional hardwood flooring Ottawa companies can stop their search as PPN Hardwood Flooring is a specialist in this field and is prepared to offer them everything they need. When it comes to working with flooring Ottawa companies everyone knows how important it is to find someone who you can rely on and PPN Hardwood Flooring is a very professional company who will do everything possible to satisfy the needs of its customers. |
|
| |
|
| In the early 1930s, the philosophical implications of the current interpretations of quantum theory were troubling to many prominent physicists of the day, including [[Albert Einstein]]. In a well known 1935 paper, Einstein and co-authors [[Boris Podolsky]] and [[Nathan Rosen]] (collectively EPR) demonstrated by a [[EPR paradox|paradox]] that QM was incomplete. This provided hope that a more complete (and less troubling) theory might one day be discovered. But that conclusion rested on the seemingly reasonable assumptions of locality and realism (together called "local realism" or "[[local hidden variables]]", often interchangeably). In the vernacular of Einstein: locality meant no instantaneous [[quantum entanglement|("spooky") action at a distance]]; realism meant the moon is there even when not being observed. These assumptions were hotly debated within the physics community, notably between Nobel laureates Einstein and [[Niels Bohr]].
| | All the products sold by this company are made in America and are designed to offer any place elegance and warmth. This company has worked with many individual buyers as well as business people, so it has experience with any type of flooring one may need. Among the products of PPN Hardwood Flooring people can find [http://www.infoblog.com/articledetail.php?artid=759822 hardwood floors in Ottawa], laminate flooring, tiles, cork and even vinyl. In addition this company also offers sanding and refinishing services to those who have hardwood floors and want to restore their previous beauty. |
|
| |
|
| In his groundbreaking 1964 paper, "On the Einstein Podolsky Rosen paradox", physicist [[John Stewart Bell]] presented an analogy (based on spin measurements on pairs of entangled electrons) to EPR's hypothetical paradox. Using their reasoning, he said, a choice of measurement setting here should not affect the outcome of a measurement there (and vice versa). After providing a mathematical formulation of locality and realism based on this, he showed specific cases where this would be inconsistent with the predictions of QM.
| | Those who want to contact PPN Hardwood Flooring will find on its website a special contact form that they can fill and a representative with answer them as soon as possible. This company focuses on providing quality customer care, which is why it will always do its best to offer all the information a client might request. People can also contact this company by calling the number available on its website. No matter what type of flooring you might be interested in, this company has a wide range of products for people to choose from. |
|
| |
|
| In experimental tests following Bell's example, now using [[quantum entanglement]] of photons instead of electrons, [[John Clauser]] and Stuart Freedman (1972) and [[Alain Aspect]] et al. (1981) convincingly demonstrated that the predictions of QM are correct in this regard. While this does not demonstrate QM is complete, one is forced to reject locality, realism, or freedom (the last leads to alternative [[Superdeterminism|superdeterministic]] theories). Two logical possibilities, non-locality and non-realism, correspond to well-developed interpretations of quantum mechanics, and have many supporters; this is not the case for the third logical possibility, non-freedom. Conclusive experimental evidence of the violation of Bell's inequality would drastically reduce the class of acceptable deterministic theories but would not falsify absolute determinism, which was described by Bell himself as '...not just inanimate nature running on behind-the-scenes clockwork, but with our behaviour, including our belief that we are free to choose to do one experiment rather than another, absolutely predetermined'.<ref>BBC Radio interview with Paul Davies, 1985|'There is a way to escape the inference of [[superluminal]] speeds and spooky action at a distance. But it involves absolute [[determinism]] in the universe, the complete absence of [[free will]]. Suppose the world is super-deterministic, with not just inanimate nature running on behind-the-scenes clockwork, but with our behavior, including our belief that we are free to choose to do one experiment rather than another, absolutely predetermined, including the "decision" by the experimenter to carry out one set of measurements rather than another, the difficulty disappears. There is no need for a faster than light signal to tell particle A what measurement has been carried out on particle B, because the universe, including particle A, already "knows" what that measurement, and its outcome, will be'</ref><ref>The quotation is an adaptation from the edited transcript of the radio interview with John Bell of 1985. See [http://books.google.com/books?id=KHezRs7nsAgC&redir_esc=y ''The Ghost in the Atom: A Discussion of the Mysteries of Quantum Physics''], by Paul C. W. Davies and Julian R. Brown, 1986/1993, [http://books.google.com/books?id=KHezRs7nsAgC&q=%22Your+famous+result+that+we+all+know%22&redir_esc=y#v=snippet&q=%22Your%20famous%20result%20that%20we%20all%20know%22&f=false pp. 45-46]</ref>
| | These [http://berojgarjago.com/article/article.php?id=43062 hardwood Ottawa] experts will make sure each customer is satisfied with the hardwood they have chosen. Whether you have a commercial space that needs flooring materials or you want to decorate your home with new flooring, this company has a variety of products, allowing customers to find something that will meet their tastes perfectly. To conclude, PPN Hardwood Flooring is a professional flooring provider that people can rely on to offer them high quality flooring products. |
|
| |
|
| These three key concepts—locality, realism, freedom—are highly technical and much debated. In particular, the concept of ''realism'' is now somewhat different from what it was in discussions in the 30's. It is more precisely called ''counterfactual definiteness'', it means that we may think of outcomes of measurements that were not actually performed as being just as much part of reality as those that were made. ''Locality'' is short for ''local relativistic causality''. ''Freedom'' refers not to the philosophical concept of [[free will]] but to the physical possibility to determine settings on measurement devices independently of the internal state of the physical system being measured.
| | Whether you want hardwood floors in Ottawa or you are looking for laminate flooring, with this company on your side you will have the chance to choose exactly what you wanted. PPN Hardwood Flooring aims to offer its products at fair rates and is always interested in improving its customer care. To this extent, people are free to contact the company for any questions they might have regarding its products and services. |
| | |
| [[Cornell]] solid-state physicist [[David Mermin]] has described the various appraisals of the importance of Bell's theorem within the physics community as ranging from "indifference" to "wild extravagance".<ref>{{cite journal|authorlink=David Mermin|first=David|last=Mermin|title=Is the moon there when nobody looks? Reality and the quantum theory|journal=Physics Today|date=April 1985|pages=38–47|url=http://cp3.irmp.ucl.ac.be/~maltoni/PHY1222/mermin_moon.pdf}}</ref> [[Lawrence Berkeley]] particle physicist [[Henry Stapp]] declared: “Bell's theorem is the most profound discovery of science.”<ref>{{cite journal|authorlink=Henry P. Stapp|first=Henry P.|last=Stapp|title=Bell's Theorem and World Process|journal=[[Nuovo Cimento]]|volume=29B|issue=2|page=270|year=1975|url=http://link.springer.com/article/10.1007/BF02728310}} (Quote on p. 271)</ref>
| |
| | |
| == Overview ==
| |
| Bell's theorem states that any physical theory that incorporates [[local hidden variable theory|local realism]], favoured by [[Albert Einstein|Einstein]],<ref>{{cite book | author = C.B. Parker | title = McGraw Hill Encyclopaedia of Physics | edition = 2nd | page = 541 | year= 1994 | publisher = McGraw Hill | isbn = 0-07-051400-3 }}</ref> cannot reproduce all the predictions of quantum mechanical theory. Because numerous experiments agree with the predictions of quantum mechanical theory, and show differences between correlations that could not be explained by local hidden variables, the experimental results have been taken by many as refuting the concept of local realism as an explanation of the physical phenomena under test. For a hidden variable theory, if Bell's conditions are correct, the results that agree with quantum mechanical theory appear to indicate [[superluminal]] effects, in contradiction to the [[principle of locality]].
| |
| | |
| [[Image:Bell's theorem.svg|thumb|450px|right|Illustration of Bell test for spin-half particles such as electrons. A source produces a [[singlet state|singlet]] pair, one particle is sent to one location, and the other is sent to another location. A [[measurement in quantum mechanics|measurement]] of the entangled property is performed at various angles at each location. The scheme for measurements on [[photons]] looks very similar: the quantum state is different but has very similar properties.]]
| |
| | |
| The theorem is usually proved by consideration of a quantum system of two [[quantum entanglement|entangled]] [[qubit]]s. The most common examples concern systems of particles that are entangled in [[spin (physics)|spin]] or [[polarization (waves)|polarization]]. Quantum mechanics allows predictions of correlations that would be observed if these two particles have their spin or polarization measured in different directions. Bell showed that if a local hidden variable theory would hold, then these correlations would have to satisfy certain constraints, called '''Bell inequalities'''. However, for the quantum correlations arising in the specific example considered, those constraints are not satisfied, hence the phenomenon being studied cannot be explained by a local hidden variables theory.
| |
| | |
| Following the argument in the [[EPR paradox|Einstein–Podolsky–Rosen (EPR) paradox]] paper (but using the example of spin, as in [[David Bohm]]'s version of the EPR argument<ref name="Bell 1964">
| |
| {{cite journal
| |
| |last=Bell |first=John
| |
| |year=1964
| |
| |title=On the Einstein Podolsky Rosen Paradox
| |
| |url=http://www.drchinese.com/David/Bell_Compact.pdf
| |
| |journal=[[Physics (journal)|Physics]]
| |
| |volume=1 |issue=3 |pages=195–200
| |
| }}</ref><ref>{{cite book|last=Bohm|first=David|title=Quantum Theory|authorlink=David Bohm|publisher=Prentice−Hall|year=1951}}</ref>), Bell considered an experiment in which there are "a pair of spin one-half particles formed somehow in the [[Singlet state|singlet spin state]] and moving freely in opposite directions."<ref name="Bell 1964"/> The two particles travel away from each other to two distant locations, at which measurements of spin are performed, along axes that are independently chosen. Each measurement yields a result of either spin-up (+) or spin-down (−); it means, spin in the positive or negative direction of the chosen axis.
| |
| | |
| The probability of the same result being obtained at the two locations varies, depending on the relative angles at which the two spin measurements are made, and is strictly between zero and one for all relative angles other than perfectly parallel alignments (0° or 180°). Bell's theorem is concerned with correlations defined in terms of averages taken over very many trials of the experiment. The [[Quantum correlation|correlation]] of two binary variables is usually defined in quantum physics as the average of the product of the two outcomes of the pairs of measurements. (Note that this is different from the usual definition of [[correlation]] in statistics. The quantum physicist's "correlation" is the statisticians "raw (uncentered, unnormalized) product [[Moment (mathematics)|moment]]"). But also with the physicist's definition, if the pairs of outcomes are always the same, the correlation is +1, no matter which same value each pair of outcomes have. If the pairs of outcomes are always opposite, the correlation is -1. Finally, if the pairs of outcomes are perfectly balanced, being 50% of the times in accordance, and 50% of the times opposite, the correlation, being an average, is 0. The correlation is related in a simple way to the probability of equal outcomes, namely it is equal to twice this probability, minus one.
| |
| | |
| [[Pauli operator|Measuring the spin]] of these entangled particles along anti-parallel directions—i.e., along the same axis but in opposite directions, the set of all results is perfectly correlated. On the other hand, if measurements are performed along parallel directions they always yield opposite results, and the set of measurements shows perfect anti-correlation. Finally, measurement at perpendicular directions has a 50% chance of matching, and the total set of measurements is uncorrelated. These basic cases are illustrated in the table below.
| |
| | |
| {| style="float:center"
| |
| |- style="text-align:left"
| |
| ! Anti-parallel || Pair 1 || Pair 2 || Pair 3 || Pair 4 || … || ''Pair n'' ||
| |
| |-
| |
| | [[Alice and Bob|Alice]], 0° || + || − || + || + || … || − ||
| |
| |-
| |
| | [[Alice and Bob|Bob]], 180° || + || − || + || + || … || − ||
| |
| |- style="text-align:left"
| |
| ! Correlation = <span style="float:right"></span>(|| +1 || +1 || +1 || +1 || … || +1 || ) / ''n'' = +1
| |
| |-
| |
| | || || || || || || || <small>(100% identical)</small>
| |
| |- style="text-align:left"
| |
| ! Parallel || Pair 1 || Pair 2 || Pair 3 || Pair 4 || … || ''Pair n'' ||
| |
| |-
| |
| | [[Alice and Bob|Alice]], 0° || + || − || − || + || … || + ||
| |
| |-
| |
| | [[Alice and Bob|Bob]], 0° or 360° || − || + || + || − || … || − ||
| |
| |- style="text-align:left"
| |
| ! Correlation = <span style="float:right"></span>(|| -1 || -1 || -1 || -1 || … || -1 || ) / ''n'' = -1
| |
| |-
| |
| | || || || || || || || <small>(100% opposite)</small>
| |
| |- style="text-align:left"
| |
| ! Orthogonal || Pair 1 || Pair 2 || Pair 3 || Pair 4 || … || ''Pair n'' ||
| |
| |-
| |
| | Alice, 0° || + || − || + || − || … || − ||
| |
| |-
| |
| | Bob, 90° or 270° || − || − || + || + || … || − ||
| |
| |- style="text-align:left"
| |
| ! Correlation = <span style="float:right"></span>( || −1 || +1 || +1 || −1 || … || +1 || ) / ''n'' = 0
| |
| |-
| |
| | || || || || || || || <small>(50% identical, 50% opposite)</small>
| |
| |}
| |
| [[Image:Bell.svg||400px|thumb|right|The best possible local realist imitation (red) for the quantum correlation of two spins in the singlet state (blue), insisting on perfect anti-correlation at zero degrees, perfect correlation at 180 degrees. Many other possibilities exist for the classical correlation subject to these side conditions, but all are characterized by sharp peaks (and valleys) at 0, 180, 360 degrees, and none has more extreme values (+/-0.5) at 45, 135, 225, 315 degrees. These values are marked by stars in the graph, and are the values measured in a standard Bell-CHSH type experiment: QM allows <math>\pm 1/ \sqrt 2=\pm 0.70...</math>, local realism predicts <math>\pm 0.5</math> or less.]]
| |
| With the measurements oriented at intermediate angles between these basic cases, the existence of local hidden variables could agree with a linear dependence of the [[quantum correlation|correlation]] in the angle but, according to Bell's inequality (see below), could not agree with the dependence predicted by quantum mechanical theory, namely, that the correlation is the negative [[cosine]] of the angle. Experimental results match the curve predicted by quantum mechanics.<ref name="C.B. Parker 1994 542"/>
| |
| | |
| Bell's theorem rules out [[local hidden variable]]s as a viable explanation of quantum mechanics (though it still leaves the door open for non-local hidden variables). Bell concluded:
| |
| {{quote|In a theory in which parameters are added to quantum mechanics to determine the results of individual measurements, without changing the statistical predictions, there must be a mechanism whereby the setting of one measuring device can influence the reading of another instrument, however remote. Moreover, the signal involved must propagate instantaneously, so that a theory could not be [[Lorentz invariance|Lorentz invariant]].|<ref name="Bell 1964"/>}}
| |
| | |
| Over the years, Bell's theorem has undergone a wide variety of experimental tests. However, various [[Bell test loopholes|common deficiencies in the testing of the theorem]] have been identified, including the ''detection loophole''<ref name="Stanford">[http://plato.stanford.edu/entries/bell-theorem Article on ''Bell's Theorem''] by Abner Shimony in the [[Stanford Encyclopedia of Philosophy]], (2004).</ref> and the ''communication loophole''.<ref name="Stanford"/> Over the years experiments have been gradually improved to better address these loopholes, but no experiment to date has simultaneously fully addressed all of them.<ref name="Stanford"/> However, scientists generally expected that someone will conduct such an experiment in a few years, and it is expected to confirm yet again quantum predictions.<ref name=Zukowski>{{cite journal|last=Merali|first=Z.|title=Quantum Mechanics Braces for the Ultimate Test|journal=Science|year=2011|volume=331|issue=6023|pages=1380–1382|doi=10.1126/science.331.6023.1380|url=http://www.sciencemag.org/content/331/6023/1380.summary?sid=3ffedc8a-df87-47c9-99f1-28c17c41e84f|accessdate=12 September 2013}}</ref> For example, [[Anthony Leggett]] has commented:
| |
| | |
| <blockquote>[While] no single existing experiment has simultaneously blocked all of the so-called ‘‘loopholes’’, each one of those loopholes has been blocked in at least one experiment. Thus, to maintain a local hidden variable theory in the face of the existing experiments would appear to require belief in a very peculiar conspiracy of nature.<ref name="Leggett 2003">
| |
| {{cite journal
| |
| |last=Leggett |first=Anthony
| |
| |year=2003
| |
| |title=Nonlocal Hidden-Variable Theories and Quantum Mechanics: An Incompatibility Theorem
| |
| |url=
| |
| |journal=Foundations of Physics
| |
| |volume=33 |issue=10 |pages=1469–1493
| |
| |doi=10.1023/A:1026096313729
| |
| }}</ref></blockquote>
| |
| To date, Bell's theorem is generally regarded as supported by a substantial body of evidence and there are few supporters of local hidden variables, though the theorem is continually subject of study, criticism, and refinement.<ref>
| |
| {{cite book
| |
| |last=Griffiths |first=David J.
| |
| |year=1998
| |
| |title=Introduction to Quantum Mechanics
| |
| |edition=2nd
| |
| |publisher=[[Pearson Education|Pearson]]/[[Prentice Hall]]
| |
| |pages=423
| |
| }}</ref><ref>
| |
| {{cite book
| |
| |last=Merzbacher |first=Eugene
| |
| |year=2005
| |
| |title=Quantum Mechanics
| |
| |edition=3rd
| |
| |publisher=[[John Wiley & Sons]]
| |
| |pages=18, 362
| |
| }}</ref>
| |
| | |
| ==Importance of the theorem==
| |
| '''Bell's theorem''', derived in his seminal 1964 paper titled ''On the Einstein Podolsky Rosen paradox'',<ref name="Bell 1964"/> has been called, on the assumption that the theory is correct, "the most profound in science".<ref>Stapp, 1975</ref> Perhaps of equal importance is Bell's deliberate effort to encourage and bring legitimacy to work on the completeness issues, which had fallen into disrepute.<ref name="Bell 1982">{{cite journal|last=Bell|first=JS|title=On the impossible pilot wave|url=http://prac.us.edu.pl/~ztpce/QM/Bell_pilot_wave.pdf|journal=Foundations of Physics|year=1982|volume=12|pages=989–99}} Reprinted in ''Speakable and unspeakable in quantum mechanics: collected papers on quantum philosophy''. CUP, 2004, p. 160.</ref> Later in his life, Bell expressed his hope that such work would "continue to inspire those who suspect that what is proved by the impossibility proofs is lack of imagination."<ref name="Bell 1982"/>
| |
| | |
| The title of Bell's seminal article refers to the famous paper by [[EPR paradox|Einstein, Podolsky and Rosen]]<ref>{{cite journal |doi=10.1103/PhysRev.47.777 |title=Can Quantum-Mechanical Description of Physical Reality Be Considered Complete? |year=1935 |last1=Einstein |first1=A. |last2=Podolsky |first2=B. |last3=Rosen |first3=N. |journal=Physical Review |volume=47 |issue=10 |pages=777|bibcode = 1935PhRv...47..777E|url=http://www.drchinese.com/David/EPR.pdf}}</ref> that challenged the completeness of quantum mechanics. In his paper, Bell started from the same two assumptions as did EPR, namely (i) ''reality'' (that microscopic objects have real properties determining the outcomes of quantum mechanical measurements), and (ii) [[Principle of locality|''locality'']] (that reality in one location is not influenced by measurements performed simultaneously at a distant location). Bell was able to derive from those two assumptions an important result, namely '''Bell's inequality''', implying that at least one of the assumptions must be false.
| |
| | |
| In two respects Bell's 1964 paper was a step forward compared to the EPR paper: firstly, it considered more [[Hidden variable theory|hidden variables]] than merely the [[EPR paradox|element of physical reality]] in the EPR paper; and Bell's inequality was, in part, liable to be experimentally tested, thus raising the possibility of testing the local realism hypothesis. Limitations on such tests to date are noted below. Whereas Bell's paper deals only with deterministic hidden variable theories, Bell's theorem was later generalized to [[stochastic]] theories<ref name="Clauser–Horne">{{cite journal|doi=10.1103/PhysRevD.10.526|title=Experimental consequences of objective local theories|year=1974|last1=Clauser|first1=John F.|journal=Physical Review D|volume=10|issue=2|pages=526|bibcode = 1974PhRvD..10..526C|url=http://www.philoscience.unibe.ch/documents/physics/Clauser1974/Clauser1974.pdf}}</ref> as well, and it was also realised<ref>
| |
| {{cite journal
| |
| |last= Eberhard |first=P. H.
| |
| |year=1977
| |
| |title=Bell's theorem without hidden variables
| |
| |journal=[[Nuovo Cimento B]]
| |
| |volume=38 |pages=75–80
| |
| |doi= 10.1007/BF02726212
| |
| |url= http://www.iaea.org/inis/collection/NCLCollectionStore/_Public/08/282/8282046.pdf
| |
| |bibcode = 1977NCimB..38...75E }}</ref> that the theorem is not so much about hidden variables, as about the outcomes of measurements that could have been taken instead of the one actually taken. Existence of these variables is called the assumption of realism, or the assumption of [[counterfactual definiteness]].
| |
| | |
| After the EPR paper, quantum mechanics was in an unsatisfactory position: either it was incomplete, in the sense that it failed to account for some elements of physical reality, or it violated the principle of a finite propagation speed of physical effects. In a modified version of the EPR thought experiment, two hypothetical [[Observer (quantum physics)|observers]], now commonly referred to as [[Alice and Bob|''Alice'' and ''Bob'']], perform independent measurements of spin on a pair of electrons, prepared at a source in a special state called a ''[[spin singlet]] state''. It is the conclusion of EPR that once Alice measures spin in one direction (e.g. on the ''x'' axis), Bob's measurement in that direction is determined with certainty, as being the opposite outcome to that of Alice, whereas immediately before Alice's measurement Bob's outcome was only statistically determined (i.e., was only a probability, not a certainty); thus, either the spin in each direction is an ''element of physical reality'', or the effects travel from Alice to Bob instantly.
| |
| | |
| In QM, predictions are formulated in terms of [[probability|probabilities]] — for example, the probability that an [[electron]] will be detected in a particular place, or the probability that its spin is up or down. The idea persisted, however, that the electron in fact has a '''definite''' position and spin, and that QM's weakness is its inability to predict those values precisely. The possibility existed that some unknown theory, such as a ''hidden variables theory'', might be able to predict those quantities exactly, while at the same time also being in complete agreement with the probabilities predicted by QM. If such a ''hidden variables theory'' exists, then because the hidden variables are not described by QM the latter would be an incomplete theory.
| |
| | |
| == Bell inequalities ==
| |
| Bell inequalities concern measurements made by observers on pairs of particles that have interacted and then separated. Assuming local realism, certain constraints must hold on the relationships between the correlations between subsequent measurements of the particles under various possible measurement settings.
| |
| | |
| === Original Bell's inequality ===
| |
| The inequality that Bell derived can be written as:<ref name="Bell 1964"/>
| |
| : <math> \rho(a, c) -\rho(b, a) - \rho(b, c) \le 1,</math>
| |
| | |
| where ''ρ'' is the [[correlation and dependence|correlation]] between measurements of the spins of the pair of particles and ''a'', ''b'' and ''c'' refer to three arbitrary settings of the two analysers. This inequality is however restricted in its application to the rather special case in which the outcomes on both sides of the experiment are always exactly anticorrelated whenever the analysers are parallel. The advantage of restricting attention to this special case is the resulting simplicity of the derivation. In experimental work the inequality is not very useful because it is hard, if not impossible, to create ''perfect'' anti-correlation.
| |
| | |
| This simple form does have the virtue of being quite intuitive. It is easily seen to be equivalent to the following elementary result from probability theory. Consider three (highly correlated, and possibly biased) coin-flips ''X'', ''Y'', and ''Z'', with the property that:
| |
| #''X'' and ''Y'' always give the same outcome (both heads or both tails) 99% of the time
| |
| #''Y'' and ''Z'' also always give the same outcome 99% of the time,
| |
| | |
| then ''X'' and ''Z'' must also yield the same outcome at least 98% of the time. The number of mismatches between ''X'' and ''Y'' (1/100) plus the number of mismatches between ''Y'' and ''Z'' (1/100) are together the ''maximum possible'' number of mismatches between ''X'' and ''Z'' (a simple [[Fréchet inequalities|Boole–Fréchet inequality]]).
| |
| | |
| Imagine a pair of particles that can be measured at distant locations. Suppose that the measurement devices have settings, which are angles—e.g., the devices measure something called spin in some direction. The experimenter chooses the directions, one for each particle, separately. Suppose the measurement outcome is binary (e.g., spin up, spin down). Suppose the two particles are perfectly anti-correlated—in the sense that whenever both measured in the same direction, one gets identically opposite outcomes, when both measured in opposite directions they always give the same outcome. The only way to imagine how this works is that both particles leave their common source with, somehow, the outcomes they will deliver when measured in any possible direction. (How else could particle 1 know how to deliver the same answer as particle 2 when measured in the same direction? They don't know in advance how they are going to be measured...). The measurement on particle 2 (after switching its sign) can be thought of as telling us what the same measurement on particle 1 would have given.
| |
| | |
| Start with one setting exactly opposite to the other. All the pairs of particles give the same outcome (each pair is either both spin up or both spin down). Now shift Alice's setting by one degree relative to Bob's. They are now one degree off being exactly opposite to one another. A small fraction of the pairs, say ''f'', now give different outcomes. If instead we had left Alice's setting unchanged but shifted Bob's by one degree (in the opposite direction), then again a fraction ''f'' of the pairs of particles turns out to give different outcomes. Finally consider what happens when both shifts are implemented at the same time: the two settings are now exactly two degrees away from being opposite to one another. By the mismatch argument, the chance of a mismatch at two degrees can't be more than twice the chance of a mismatch at one degree: it cannot be more than 2''f''.
| |
| | |
| Compare this with the predictions from quantum mechanics for the singlet state. For a small angle <math>\theta</math>, measured in radians, the chance of a different outcome is approximately <math>f=\theta^2/2</math>. At two times this small angle, the chance of a mismatch is therefore about 4 times larger, since <math>2^2=4</math>. But we just argued that it cannot be more than 2 times as large.
| |
| | |
| This intuitive formulation is due to [[David Mermin]]. The small-angle limit is discussed in Bell's original article, and therefore goes right back to the origin of the Bell inequalities.
| |
| | |
| ===CHSH inequality===
| |
| {{Main|CHSH inequality}}
| |
| Generalizing Bell's original inequality,<ref name="Bell 1964"/> [[John Clauser]], Michael Horne, [[Abner Shimony]] and R. A. Holt,<ref name="Clauser 1969">{{cite journal |doi=10.1103/PhysRevLett.23.880 |title=Proposed Experiment to Test Local Hidden-Variable Theories |year=1969 |last1=Clauser |first1=John |last2=Horne |first2=Michael |last3=Shimony |first3=Abner |last4=Holt |first4=Richard |journal=Physical Review Letters |volume=23 |issue=15 |pages=880|bibcode = 1969PhRvL..23..880C |url= ftp://ftp.phy.pku.edu.cn/pub/Books/%CE%EF%C0%ED/%BE%AD%B5%E4%D6%F8%D7%F7/Phy%20Rev%20100%C4%EA%BE%AB%D1%A1/pdf/14/022.pdf}}</ref> introduced the [[CHSH inequality]],<ref name="Clauser 1969"/> which puts classical limits on the set of four correlations in Alice and Bob's experiment, without any assumption of perfect correlations (or anti-correlations) at equal settings
| |
| :<math>\ (1) \quad \rho(a,b) + \rho(a,b') + \rho(a',b) - \rho(a',b') \leq 2</math>,
| |
| | |
| where <math>\rho</math> denotes correlation in the quantum physicist's sense: the expected value of the product of the two binary (+/-1 valued) outcomes.
| |
| | |
| Making the special choice <math>a'=a+\pi</math>, denoting <math>b'=c</math>, and assuming perfect anti-correlation at equal settings, perfect correlation at opposite settings, therefore <math>\rho(a,a+\pi)=1</math> and <math>\rho(b,a+\pi)=-\rho(b,a)</math>, the CHSH inequality reduces to the original Bell inequality. Nowadays, (1) is also often simply called "the Bell inequality", but sometimes more completely "the Bell-CHSH inequality".
| |
| | |
| ==Local realism==
| |
| To prove Bell's theorem via a derivation of the Bell-CHSH inequality, we first have to formalize local realism. A common approach is the following:
| |
| # There is a [[probability space]] <math>\Lambda</math> and the observed outcomes by both Alice and Bob result by random sampling of the (unknown, "hidden") parameter <math>\lambda \in \Lambda</math>.
| |
| # The values observed by Alice or Bob are functions of the local detector settings and the hidden parameter only. Thus
| |
| #*Value observed by Alice with detector setting <math>\scriptstyle a</math> is <math>\scriptstyle A(a,\lambda)</math>
| |
| #*Value observed by Bob with detector setting <math>\scriptstyle b</math> is <math>\scriptstyle B(b,\lambda)</math>
| |
| | |
| Implicit in assumption 1) above, the hidden parameter space <math>\scriptstyle\Lambda</math> has a probability measure <math>\scriptstyle\rho</math> and the expectation of a random variable ''X'' on <math>\scriptstyle\Lambda</math> with respect to <math>\scriptstyle\rho</math> is written
| |
| :<math> \operatorname{E}(X) = \int_\Lambda X(\lambda) \rho(\lambda) d \lambda </math>
| |
| | |
| where for accessibility of notation we assume that the probability measure has a density <math>\rho</math> that therefore is nonnegative and integrate to 1. The hidden parameter is often thought of as being associated with source but it can just as well also contain components associated with the two measurement devices.
| |
| | |
| === Derivation of CHSH inequality===
| |
| Given this formalization of what is meant by local realism, or by a hidden variables theory, the CHSH inequality can be derived as follows.
| |
| | |
| The subsequent derivation is clearer if we use the following abbreviated notation: <math>A=A(a, \lambda)</math>, <math>A'=A(a', \lambda)</math>, <math>B=B(b, \lambda)</math>, <math>B'=B(b', \lambda)</math>. Thus each of these four quantities is +/-1 and each depends on <math>\lambda</math>. It follows that for any <math>\lambda \in \Lambda</math>, one of <math>B+B'</math> and <math>B-B'</math> is zero, and the other is <math>\pm 2</math>. From this it follows that
| |
| | |
| :<math>\begin{align}
| |
| \quad AB + AB' + A'B - A'B' &= A(B+B') + A'(B-B')\\
| |
| &\leq 2
| |
| \end{align}</math>
| |
| | |
| and therefore
| |
| | |
| :<math>\begin{align}
| |
| &\quad \rho(a,b) + \rho(a,b') +
| |
| \rho(a',b) - \rho(a',b')&\\
| |
| &= \int_\Lambda AB\rho +
| |
| \int_\Lambda AB'\rho +
| |
| \int_\Lambda A'B\rho -
| |
| \int_\Lambda A'B'\rho &\\
| |
| &= \int_\Lambda (AB+AB'+A'B-A'B')\rho&\\
| |
| &= \int_\Lambda (A(B+B') + A'(B-B')) \rho\\
| |
| &\leq 2
| |
| \end{align}</math>
| |
| | |
| At the heart of this derivation is a simple algebraic inequality concerning four variables, <math>A, A', B, B'</math>, which take the values +/-1 only: <math>AB+AB'+A'B-A'B'= A(B+B')+A'(B-B') \le 2</math>. The CHSH inequality is seen to depend only on the following three key features of a local hidden variables theory: (1) realism: alongside of the outcomes of actually performed measurements, the outcomes of potentially performed measurements also exist at the same time; (2) locality, the outcomes of measurements on Alice's particle don't depend on which measurement Bob chooses to perform on the other particle; (3) freedom: Alice and Bob can indeed choose freely which measurements to perform.
| |
| | |
| The ''realism'' assumption is actually somewhat idealistic, and Bell's theorem only proves non-locality with respect to variables that only ''exist'' for metaphysical reasons. However, before the discovery of quantum mechanics, both realism and locality were completely uncontroversial features of physical theories.
| |
| | |
| ==Bell inequalities are violated by quantum mechanical predictions==
| |
| The measurements performed by Alice and Bob are spin measurements on electrons. Alice can choose between two detector settings labeled ''a'' and ''a''′; these settings correspond to measurement of spin along the ''z'' or the ''x'' axis. Bob can choose between two detector settings labeled ''b'' and ''b''′; these correspond to measurement of spin along the ''z''′ or ''x''′ axis, where the ''x''′ – ''z''′ coordinate system is rotated 135° relative to the ''x'' – ''z'' coordinate system. The spin observables are represented by the 2 × 2 self-adjoint matrices:
| |
| | |
| :<math> S_x = \begin{bmatrix} 0 & 1 \\ 1 & 0 \end{bmatrix},
| |
| S_z = \begin{bmatrix} 1 & 0 \\ 0 & -1 \end{bmatrix}</math>
| |
| | |
| These are the [[Pauli spin matrix|Pauli spin matrices]] normalized so that the corresponding eigenvalues are +1, −1. As is [[bra-ket notation|customary]], we denote the eigenvectors of ''S''<sub>''x''</sub> by
| |
| :<math> \left|+x\right\rang, \quad \left|-x\right\rang. </math>
| |
| | |
| Let <math>\scriptstyle\phi</math> be the spin singlet state for a pair of electrons discussed in the EPR paradox. This is a specially constructed state described by the following vector in the tensor product
| |
| :<math>\left|\phi\right\rang = \frac{1}{\sqrt{2}} \left(\left|+x\right\rang \otimes \left|-x\right\rang -
| |
| \left|-x\right\rang \otimes \left|+x\right\rang \right)</math>
| |
| | |
| Now let us apply the CHSH formalism to the measurements that can be performed by Alice and Bob.
| |
| :<math>\begin{align}
| |
| A(a) &= S_z \otimes I\\
| |
| A(a') &= S_x \otimes I\\
| |
| B(b) &= -\frac{1}{\sqrt{2}} \ I \otimes (S_z + S_x)\\
| |
| B(b') &= \frac{1}{\sqrt{2}} \ I \otimes (S_z - S_x)
| |
| \end{align}</math>
| |
| | |
| The operators <math>\scriptstyle B(b')</math>, <math>\scriptstyle B(b)</math> correspond to Bob's spin measurements along ''x''′ and ''z''′. Note that the ''A'' operators commute with the ''B'' operators, so we can apply our calculation for the correlation. In this case, we can show that the CHSH inequality fails. In fact, a straightforward calculation shows that
| |
| :<math>\langle A(a) B(b) \rangle = \langle A(a') B(b) \rangle = \langle A(a') B(b') \rangle = \frac{1}{\sqrt{2}}</math>
| |
| | |
| and
| |
| :<math>\langle A(a) B(b') \rangle = -\frac{1}{\sqrt{2}}</math>
| |
| | |
| so that
| |
| :<math>\langle A(a) B(b) \rangle + \langle A(a') B(b') \rangle + \langle A(a') B(b) \rangle - \langle A(a) B(b') \rangle = \frac{4}{\sqrt{2}} = 2 \sqrt{2} > 2</math>
| |
| | |
| Bell's Theorem: If the quantum mechanical formalism is correct, then the system consisting of a pair of entangled electrons cannot satisfy the principle of local realism. Note that <math>\scriptstyle 2 \sqrt{2}</math> is indeed the upper bound for quantum mechanics called [[Tsirelson's bound]]. The operators giving this maximal value are always [[isomorphic]] to the Pauli matrices.
| |
| | |
| ==Practical experiments testing Bell's theorem==
| |
| [[Image:Bell-test-photon-analyer.png|450px|thumb|left|'''Scheme of a "two-channel" Bell test'''<br />The source S produces pairs of "photons", sent in opposite directions. Each photon encounters a two-channel polariser whose orientation (a or b) can be set by the experimenter. Emerging signals from each channel are detected and coincidences of four types (++, −−, +− and −+) counted by the coincidence monitor.]]
| |
| {{Main|Bell test experiments}}
| |
| | |
| Experimental tests can determine whether the Bell inequalities required by local realism hold up to the empirical evidence.
| |
| | |
| Actually, most experiments have been performed using polarization of photons rather than spin of electors (or other spin-half particles). The quantum state of the pair of entangled photons is not the singlet state, and the correspondence between angles and outcomes is different from that in the spin-half set-up. The polarization of a photon is measured in a pair of perpendicular directions. Relative to a given orientation, polarization is either vertical (denoted by V or by +) or horizontal (denoted by H or by -). The photon pairs are generated in the quantum state <math>(|V\rangle\otimes |V\rangle+|H\rangle\otimes|H\rangle)/\sqrt 2</math> where <math>|V\rangle</math> and <math>|H\rangle</math> denotes the state of a single vertically or horizontally polarized photon, respectively (relative to a fixed and common reference direction for both particles).
| |
| | |
| When the polarization of both photons is measured in the same direction, both give the same outcome: perfect correlation. When measured at directions making an angle 45 degrees with one another, the outcomes are completely random (uncorrelated). Measuring at directions at 90 degrees to one another, the two are perfectly anti-correlated. In general, when the polarizers are at an angle <math>\theta</math> to one another, the correlation is <math>\cos(\theta/2)</math>. So relative to the correlation function for the singlet state of spin half particles, we have a positive rather than a negative cosine function, and angles are halved: the correlation is periodic with period <math>\pi</math> instead of <math>2 \pi</math>.
| |
| | |
| Bell's inequalities are tested by "coincidence counts" from a Bell test experiment such as the optical one shown in the diagram. Pairs of particles are emitted as a result of a quantum process, analysed with respect to some key property such as polarisation direction, then detected. The setting (orientations) of the analysers are selected by the experimenter.
| |
| | |
| Bell test experiments to date overwhelmingly violate Bell's inequality.
| |
| | |
| ===Two classes of Bell inequalities===
| |
| The ''fair sampling'' problem was faced openly in the 1970s. In early designs of their 1973 experiment, Freedman and Clauser<ref name="Clauser–Freedman">{{cite journal |doi=10.1103/PhysRevLett.28.938 |title=Experimental Test of Local Hidden-Variable Theories |year=1972 |last1=Freedman |first1=Stuart J. |last2=Clauser |first2=John F. |journal=Physical Review Letters |volume=28 |issue=14 |pages=938|bibcode = 1972PhRvL..28..938F |url= http://dieumsnh.qfb.umich.mx/archivoshistoricosMQ/ModernaHist/Freedman.pdf }}</ref> used ''fair sampling'' in the form of the Clauser–Horne–Shimony–Holt (CHSH<ref name="Clauser 1969"/>) hypothesis. However, shortly afterwards Clauser and Horne<ref name="Clauser–Horne"/> made the important distinction between inhomogeneous (IBI) and homogeneous (HBI) Bell inequalities. Testing an IBI requires that we compare certain coincidence rates in two separated detectors with the singles rates of the two detectors. Nobody needed to perform the experiment, because singles rates with all detectors in the 1970s were at least ten times all the coincidence rates. So, taking into account this low detector efficiency, the QM prediction actually satisfied the IBI. To arrive at an experimental design in which the QM prediction violates IBI we require detectors whose efficiency exceeds 82.8% for singlet states,<ref name="Garg & Mermin, 1987">{{citation |author=Anupam Garg, N.D. Mermin |year=1987 |title=Detector inefficiencies in the Einstein-Podolsky-Rosen experiment |journal=Phys. Rev. D |volume=25 |issue=12 |pages=3831–5 |doi=10.1103/PhysRevD.35.3831}}</ref> but have very low dark rate and short dead and resolving times. This is now within reach.
| |
| | |
| ===Practical challenges===
| |
| {{Main|Loopholes in Bell test experiments}}
| |
| | |
| Because, at that time, even the best detectors didn't detect a large fraction of all photons, Clauser and Horne<ref name="Clauser–Horne"/> recognized that testing Bell's inequality required some extra assumptions. They introduced the ''No Enhancement Hypothesis'' (NEH):
| |
| {{quote|
| |
| A light signal, originating in an [[atomic cascade]] for example, has a certain probability of activating a detector. Then, if a polarizer is interposed between the cascade and the detector, the detection probability cannot increase.
| |
| }}
| |
| | |
| Given this assumption, there is a Bell inequality between the coincidence rates with polarizers and coincidence rates without polarizers.
| |
| | |
| The experiment was performed by Freedman and Clauser,<ref name="Clauser–Freedman"/> who found that the Bell's inequality was violated. So the no-enhancement hypothesis cannot be true in a local hidden variables model.
| |
| | |
| Recent experiments with photons no longer suffer from the detection loophole (see [[Bell test experiments]]). This makes the photon the first experimental system for which all main experimental loopholes have been surmounted, albeit presently only in separate experiments (Giustina et al. (2013), ''Bell violation using entangled photons without the fair-sampling assumption'', Nature 497, 227–230;
| |
| B.G. Christensen et al. (2013), ''Detection-Loophole-Free Test of Quantum Nonlocality, and Applications'', arXiv:1306.5772).
| |
| | |
| == Metaphysical objections ==
| |
| Most advocates of the hidden variables idea believe that experiments have ruled out local hidden variables. They are ready to give up locality, explaining the violation of Bell's inequality by means of a non-local [[hidden variable theory]], in which the particles exchange information about their states. This is the basis of the [[Bohm interpretation]] of quantum mechanics, which requires that all particles in the universe be able to instantaneously exchange information with all others. A 2007 experiment ruled out a large class of non-Bohmian non-local hidden variable theories.<ref>{{cite journal |doi=10.1038/nature05677 |title=An experimental test of non-local realism |year=2007 |last1=Gröblacher |first1=Simon |last2=Paterek |first2=Tomasz |last3=Kaltenbaek |first3=Rainer |last4=Brukner |first4=Časlav |last5=Żukowski |first5=Marek |last6=Aspelmeyer |first6=Markus |last7=Zeilinger |first7=Anton |journal=Nature |volume=446 |issue=7138 |pages=871–5 |pmid=17443179|bibcode = 2007Natur.446..871G |arxiv = 0704.2529| url= http://arxiv.org/pdf/0704.2529.pdf }}</ref>
| |
| | |
| If the hidden variables can communicate with each other faster than light, Bell's inequality can easily be violated. Once one particle is measured, it can communicate the necessary correlations to the other particle. Since in relativity the notion of simultaneity is not absolute, this is unattractive. One idea is to replace instantaneous communication with a process that travels backwards in time along the past [[Light cone]]. This is the idea behind a [[transactional interpretation]] of quantum mechanics, which interprets the statistical emergence of a quantum history as a gradual coming to agreement between histories that go both forward and backward in time.<ref>{{cite journal|doi=10.1103/RevModPhys.58.647|title=The transactional interpretation of quantum mechanics|year=1986|last1=Cramer|first1=John|journal=Reviews of Modern Physics|volume=58|issue=3|pages=647|bibcode = 1986RvMP...58..647C }}</ref>
| |
| | |
| A few advocates of deterministic models have not given up on local hidden variables. For example, [[Gerard 't Hooft]] has argued that the [[superdeterminism]] loophole cannot be dismissed.<ref>{{cite arXiv|eprint=0908.3408|author1=Gerard 't Hooft|title=Entangled quantum states in a local deterministic theory|class=quant-ph|year=2009}}</ref><ref>{{cite arXiv|eprint=quant-ph/0701097|author1=Gerard 't Hooft|title=The Free-Will Postulate in Quantum Mechanics|class=quant-ph|year=2007}}</ref>
| |
| | |
| A radical solution is offered by the [[many-worlds interpretation|many worlds theory]] of quantum mechanics. According to this, not only is collapse of the wave function illusory: also, the apparent random branching of possible futures when quantum systems interact with the macroscopic world is an illusion too. Measurement does not lead to a random choice of possible outcome: the only ingredient of quantum mechanics is the unitary evolution of the wave function. All possibilities co-exist forever and the only reality is the quantum mechanical wave function. According to this view, two distant observers both split into superpositions when measuring a spin. The Bell inequality violations are no longer counterintuitive, because it is not clear which copy of the observer B observer A will see when going to compare notes. If reality includes all the different outcomes, locality in physical space (not outcome space) places no restrictions on how the split observers can meet up.
| |
| | |
| This point underlines the fact that the argument that realism is incompatible with quantum mechanics and locality depends on a particular formalization of the concept of realism. The assumption, in its weakest form, is called [[counterfactual definiteness]]. This is the assumption that outcomes of measurements not performed are just as real as those of measurements that were performed. Counterfactual definiteness is an uncontroversial property of all classical physical theories prior to quantum theory, due to their determinism. Many worlds interpretations are not only counterfactually indefinite, they are factually indefinite. The results of all experiments, even ones that have been performed, are not uniquely determined.
| |
| | |
| If one chooses to reject counterfactual definiteness, reality has been made smaller, and there is no non-locality problem. On the other hand, one is thereby introducing irreducible or intrinsic randomness into our picture of the world: randomness that cannot be "explained" as merely the reflection of our ignorance of underlying, variable, physical quantities. Non-determinism becomes a fundamental property of nature.
| |
| | |
| Assuming counterfactual definiteness, reality has been enlarged, and there is a non-locality problem. On the other hand, in the many-worlds interpretation of quantum mechanics, reality consists only of a deterministically evolving wave function, non-locality is a non-issue.
| |
| | |
| There have also been repeated claims that Bell's arguments are irrelevant because they depend on hidden assumptions that, in fact, are questionable—though none of these claims have ever achieved much support. For example, [[E. T. Jaynes]]<ref>{{cite journal |title=Clearing up Mysteries—The Original Goal |year=1989 |last1=Jaynes |first1=E. T. |journal=Maximum Entropy and Bayesian Methods |pages=12 | url=http://bayes.wustl.edu/etj/articles/cmystery.pdf}}</ref> claimed in 1989 that there are two hidden assumptions in Bell's theorem that could limit its generality. According to him:
| |
| # Bell interpreted conditional probability P(X|Y) as a causal inference, i.e. Y exerted a causal inference on X in reality. However, P(X|Y) actually only means logical inference (deduction). Causes cannot travel faster than light or backward in time, but deduction can.
| |
| # Bell's inequality does not apply to some possible hidden variable theories. It only applies to a certain class of local hidden variable theories. In fact, it might have just missed the kind of hidden variable theories that Einstein is most interested in.
| |
| | |
| However, [[Richard D. Gill]] has argued that Jaynes misunderstood Bell's analysis. Gill points out that in the same conference volume in which Jaynes argues against Bell, Jaynes confesses to being extremely impressed by a short proof by [[Steve Gull]] presented at the same conference, that the singlet correlations could not be reproduced by a computer simulation of a local hidden variables theory.<ref>{{cite journal |title=Time, Finite Statistics, and Bell's Fifth Position |year=2003 |last1=Gill |first1=Richard D. |journal=Proc. of "Foundations of Probability and Physics - 2", Ser. Math. Modelling in Phys., Engin., and Cogn. Sc. |volume=5/2002| publisher=Växjö Univ. Press | pages=179–206 |url= http://arxiv.org/pdf/quant-ph/0301059.pdf}}</ref> According to Jaynes (writing nearly 30 years after Bell's landmark contributions), it would probably take us another 30 years to fully appreciate Gull's stunning result.
| |
| | |
| ==Final remarks==
| |
| | |
| The violations of Bell's inequalities, due to quantum entanglement, just provide the definite demonstration of something that was already strongly suspected, that quantum physics cannot be represented by any version of the classical picture of physics.<ref>{{cite book | author = Roger Penrose | title = The Road to Reality | edition = | page = 583 | year= 2007 | publisher = Vintage books | isbn = 0-679-77631-1}}</ref> Some earlier elements that had seemed incompatible with classical pictures included [[Complementarity (physics)|complementarity]] and [[wavefunction collapse]]. The Bell violations show that no resolution of such issues can avoid the ultimate strangeness of quantum behavior.<ref>{{cite book | author = E. Abers | title = Quantum Mechanics | edition = | pages = 193–195 | year= 2004 | publisher = Addison Wesley | isbn = 9780131461000 }}</ref>
| |
| | |
| The EPR paper "pinpointed" the unusual properties of the ''entangled states'', e.g. the above-mentioned singlet state, which is the foundation for present-day applications of quantum physics, such as [[quantum cryptography]]; one application involves the measurement of quantum entanglement as a physical source of bits for [[Michael O. Rabin|Rabin's]] [[oblivious transfer]] protocol. This non-locality was originally supposed to be illusory, because the standard interpretation could easily do away with action-at-a-distance by simply assigning to each particle definite spin-states for all possible spin directions. The EPR argument was: therefore these definite states exist, therefore quantum theory is incomplete, since they do not appear in the theory. Bell's theorem showed that the "entangledness" prediction of quantum mechanics has a degree of non-locality that cannot be explained away by any local theory.
| |
| | |
| In well-defined ''[[Bell test experiments|Bell experiments]]'' (see the paragraph on "test experiments") one can now falsify either quantum mechanics or Einstein's quasi-classical assumptions: currently many experiments of this kind have been performed, and the experimental results support quantum mechanics, though some point out that it is theoretically possible that detectors give a biased sample of photons, so that until the relative amount of "unpaired" photons is small enough, the final word has not yet been spoken. According to Marek Zukowski, quoted in Science Magazine (2011),<ref name="Zukowski"/> experimenters expect the first loophole free experiment to be done in five years. According to one of the most foremost experimenters in this field, [[Anton Zeilinger]] (2013), the goal of a loophole free experiment is very close and will be a major achievement. According to Gregor Weihs (University of Innsbruck, and famous for his [[Bell test experiments|1998 Bell test experiment]]) at least four major experimental groups around the world are in the race to be first.
| |
| | |
| What is powerful about Bell's theorem is that it doesn't refer to any particular physical theory. What makes Bell's theorem unique and powerful is that it shows that nature violates the most general assumptions behind classical pictures, not just details of some particular models. No combination of local deterministic and local random variables can reproduce the phenomena predicted by quantum mechanics and repeatedly observed in experiments.<ref>{{cite book | author = R.G. Lerner, G.L. Trigg | title = Encyclopaedia of Physics | edition = 2nd | page = 495 | year= 1991 | publisher = VHC publishers | isbn =0-89573-752-3}}</ref>
| |
| | |
| ==See also==
| |
| * [[Bell test experiments]]
| |
| * [[Bohr–Einstein debates|Bohr–Einstein debates on quantum mechanics]]
| |
| * [[CHSH Bell test]]
| |
| * [[Counterfactual definiteness]]
| |
| * ''[[Epistemological Letters]]''
| |
| * [[Fundamental Fysiks Group]]
| |
| * [[GHZ experiment]]
| |
| * [[Hidden variable theory]]
| |
| * [[Local hidden variable theory]]
| |
| * [[Loopholes in Bell test experiments]]
| |
| * [[Leggett inequality]]
| |
| * [[Leggett–Garg inequality]]
| |
| * [[Measurement in quantum mechanics]]
| |
| * [[Mott problem]]
| |
| * [[PBR theorem]]
| |
| * [[Quantum entanglement]]
| |
| * [[Quantum mechanical Bell test prediction]]
| |
| * [[Renninger negative-result experiment]]
| |
| | |
| ==Notes==
| |
| {{Reflist|colwidth=30em}}
| |
| | |
| ==References==
| |
| {{Refbegin|colwidth=60em}}
| |
| * A. Aspect et al., ''Experimental Tests of Realistic Local Theories via Bell's Theorem'', Phys. Rev. Lett. '''47''', 460 (1981)
| |
| * A. Aspect et al., ''Experimental Realization of Einstein–Podolsky–Rosen–Bohm Gedankenexperiment: A New Violation of Bell's Inequalities'', Phys. Rev. Lett. '''49''', 91 (1982).
| |
| * A. Aspect et al., ''Experimental Test of Bell's Inequalities Using Time-Varying Analyzers'', Phys. Rev. Lett. '''49''', 1804 (1982).
| |
| * A. Aspect and P. Grangier, ''About resonant scattering and other hypothetical effects in the Orsay atomic-cascade experiment tests of Bell inequalities: a discussion and some new experimental data'', Lettere al Nuovo Cimento '''43''', 345 (1985)
| |
| * B. D'Espagnat, [http://www.sciam.com/media/pdf/197911_0158.pdf ''The Quantum Theory and Reality''], Scientific American, '''241''', 158 (1979)
| |
| * J. S. Bell, ''On the problem of hidden variables in quantum mechanics'', Rev. Mod. Phys. '''38''', 447 (1966)
| |
| * J. S. Bell, ''On the Einstein Podolsky Rosen Paradox'', Physics '''1''', 3, 195–200 (1964)
| |
| * J. S. Bell, ''Introduction to the hidden variable question'', Proceedings of the International School of Physics 'Enrico Fermi', Course IL, Foundations of Quantum Mechanics (1971) 171–81
| |
| * J. S. Bell, ''Bertlmann's socks and the nature of reality'', Journal de Physique, Colloque C2, suppl. au numero 3, Tome '''42''' (1981) pp C2 41–61
| |
| * J. S. Bell, ''Speakable and Unspeakable in Quantum Mechanics'' (Cambridge University Press 1987) [A collection of Bell's papers, including all of the above.]
| |
| * J. F. Clauser and A. Shimony, ''Bell's theorem: experimental tests and implications'', Reports on Progress in Physics '''41''', 1881 (1978)
| |
| * J. F. Clauser and M. A. Horne, Phys. Rev D '''10''', 526–535 (1974)
| |
| * E. S. Fry, T. Walther and S. Li, ''Proposal for a loophole-free test of the Bell inequalities'', Phys. Rev. A '''52''', 4381 (1995)
| |
| * E. S. Fry, and T. Walther, ''Atom based tests of the Bell Inequalities — the legacy of John Bell continues'', pp 103–117 of ''Quantum [Un]speakables'', R.A. Bertlmann and A. Zeilinger (eds.) (Springer, Berlin-Heidelberg-New York, 2002)
| |
| * R. B. Griffiths, ''Consistent Quantum Theory''', Cambridge University Press (2002).
| |
| * L. Hardy, ''Nonlocality for 2 particles without inequalities for almost all entangled states''. Physical Review Letters '''71''' (11) 1665–1668 (1993)
| |
| * M. A. Nielsen and I. L. Chuang, ''Quantum Computation and Quantum Information'', Cambridge University Press (2000)
| |
| * P. Pearle, ''Hidden-Variable Example Based upon Data Rejection'', Physical Review D '''2''', 1418–25 (1970)
| |
| * A. Peres, ''Quantum Theory: Concepts and Methods'', Kluwer, Dordrecht, 1993.
| |
| * P. Pluch, ''Theory of Quantum Probability'', PhD Thesis, University of Klagenfurt, 2006.
| |
| * B. C. van Frassen, ''Quantum Mechanics'', Clarendon Press, 1991.
| |
| * M.A. Rowe, D. Kielpinski, V. Meyer, C.A. Sackett, W.M. Itano, C. Monroe, and D.J. Wineland, ''Experimental violation of Bell's inequalities with efficient detection'',(Nature, 409, 791–794, 2001).
| |
| * S. Sulcs, ''The Nature of Light and Twentieth Century Experimental Physics'', Foundations of Science '''8''', 365–391 (2003)
| |
| * S. Gröblacher et al., ''An experimental test of non-local realism'',(Nature, 446, 871–875, 2007).
| |
| * D. N. Matsukevich, P. Maunz, D. L. Moehring, S. Olmschenk, and C. Monroe, ''Bell Inequality Violation with Two Remote Atomic Qubits'', Phys. Rev. Lett. 100, 150404 (2008).
| |
| * The comic ''[[Dilbert]]'', by [[Scott Adams]], refers to Bell's Theorem in the [http://www.dilbert.com/strips/comic/1992-09-21/ 1992-09-21] and [http://www.dilbert.com/strips/comic/1992-09-22/ 1992-09-22] strips.
| |
| {{Refend}}
| |
| | |
| == Further reading ==
| |
| The following are intended for general audiences.
| |
| | |
| * Amir D. Aczel, ''Entanglement: The greatest mystery in physics'' (Four Walls Eight Windows, New York, 2001).
| |
| * A. Afriat and F. Selleri, ''The Einstein, Podolsky and Rosen Paradox'' (Plenum Press, New York and London, 1999)
| |
| * J. Baggott, ''The Meaning of Quantum Theory'' (Oxford University Press, 1992)
| |
| * N. David Mermin, "Is the moon there when nobody looks? Reality and the quantum theory", in ''Physics Today'', April 1985, pp. 38–47.
| |
| * Louisa Gilder, ''The Age of Entanglement: When Quantum Physics Was Reborn'' (New York: Alfred A. Knopf, 2008)
| |
| * Brian Greene, ''The Fabric of the Cosmos'' (Vintage, 2004, ISBN 0-375-72720-5)
| |
| * Nick Herbert, ''Quantum Reality: Beyond the New Physics'' (Anchor, 1987, ISBN 0-385-23569-0)
| |
| * D. Wick, ''The infamous boundary: seven decades of controversy in quantum physics'' (Birkhauser, Boston 1995)
| |
| * R. Anton Wilson, ''Prometheus Rising'' (New Falcon Publications, 1997, ISBN 1-56184-056-4)
| |
| * [[Gary Zukav]] "[[The Dancing Wu Li Masters]]" (Perennial Classics, 2001, ISBN 0-06-095968-1)
| |
| | |
| ==External links==
| |
| * "[http://philoscience.unibe.ch/documents/TexteHS10/bell1964epr.pdf On the Einstein Podolsky Rosen Paradox]", Bell's original paper.
| |
| * [http://www.drchinese.com/David/Bell_Compact.pdf Another version of Bell's paper].
| |
| * [http://www.ncsu.edu/felder-public/kenny/papers/bell.html An explanation of Bell's Theorem], based on N. D. Mermin's article, {{cite journal |doi=10.1119/1.12594 |title=Bringing home the atomic world: Quantum mysteries for anybody |year=1981 |last1=Mermin |first1=N. D. |journal=American Journal of Physics |volume=49 |issue=10 |pages=940|bibcode = 1981AmJPh..49..940M }}
| |
| * [http://www.youtube.com/watch?v=ta09WXiUqcQ Mermin: Spooky Actions At A Distance? Oppenheimer Lecture ]
| |
| * [http://www.ipod.org.uk/reality/reality_entangled.asp Quantum Entanglement] Includes a simple explanation of Bell's Inequality.
| |
| * [http://xstructure.inr.ac.ru/x-bin/theme3.py?level=2&index1=369244 Bell's theorem on arXiv.org]
| |
| * [http://www.didaktik.physik.uni-erlangen.de/quantumlab/english/index.html Interactive experiments with single photons: entanglement and Bell´s theorem]
| |
| * [http://plato.stanford.edu/entries/bell-theorem/ Article on Bell's theorem at Stanford encyclopedia of philosophy by Abner Shimony]
| |
| * {{IEP|epr}}
| |
| | |
| {{DEFAULTSORT:Bell's Theorem}}
| |
| [[Category:Concepts in physics]]
| |
| [[Category:Quantum information science]]
| |
| [[Category:Quantum measurement]]
| |
| [[Category:Theorems in quantum physics]]
| |
| [[Category:Quantum mechanics]]
| |
| [[Category:Hidden variable theory]]
| |
| [[Category:Inequalities]]
| |