I. HIDDEN VARIABLES

A. Von Neumann's impossibility proof

[von Neumann 31], [von Neumann 32] (Sec. IV. 2), [Hermann 35], [Albertson 61], [Komar 62], [Bell 66, 71], [Capasso-Fortunato-Selleri 70], [Wigner 70, 71], [Clauser 71 a, b], [Gudder 80] (includes an example in two dimensions showing that the expected value cannot be additive), [Selleri 90] (Chap. 2), [Peres 90 a] (includes an example in two dimensions showing that the expected value cannot be additive), [Ballentine 90 a] (in pp. 130-131 includes an example in four dimensions showing that the expected value cannot be additive), [Zimba-Clifton 98], [Busch 99 b] (resurrection of the theorem), [Giuntini-Laudisa 01].

B. Einstein-Podolsky-Rosen's argument of incompleteness of QM

1. General

[Anonymous 35], [Einstein-Podolsky-Rosen 35], [Bohr 35 a, b] (see I. B. 2.), [Schrödinger 35 a, b, 36], [Furry 36 a, b], [Einstein 36, 45] (later Einstein's arguments of incompleteness of QM), [Epstein 45], [Bohm 51] (Secs. 22. 16-19. Reprinted in [Wheeler-Zurek 83], pp. 356-368; simplified version of the EPR's example with two spin-[1/2] atoms in the singlet state), [Bohm-Aharonov 57] (proposal of an experimental test with photons correlated in polarization. Comments:), [Peres-Singer 60], [Bohm-Aharonov 60]; [Sharp 61], [Putnam 61], [Breitenberger 65], [Jammer 66] (Appendix B; source of additional bibliography), [Hooker 70] (the quantum approach does not "solve" the paradox), [Hooker 71], [Hooker 72 b] (Einstein vs. Bohr), [Krips 71], [Ballentine 72] (on Einstein's position toward QM), [Moldauer 74], [Zweifel 74] (Wigner's theory of measurement solves the paradox), [Jammer 74] (Chap. 6, complete account of the historical development), [McGrath 78] (a logic formulation), [Cantrell-Scully 78] (EPR according QM), [Pais 79] (Einstein and QM), [Jammer 80] (includes photographs of Einstein, Podolsky, and Rosen from 1935, and the New York Times article on EPR, [Anonymous 35]), [Koç 80, 82], [Caser 80], [Mückenheim 82], [Costa de Beauregard 83], [Mittelstaedt-Stachow 83] (a logical and relativistic formulation), [Vujicic-Herbut 84], [Howard 85] (Einstein on EPR and other later arguments), [Fine 86] (Einstein and realism), [Griffiths 87] (EPR experiment in the consistent histories interpretation), [Fine 89] (Sec. 1, some historical remarks), [Pykacz-Santos 90] (a logical formulation with axioms derived from experiments), [Deltete-Guy 90] (Einstein and QM), (Einstein and the statistical interpretation of QM:) [Guy-Deltete 90], [Stapp 91], [Fine 91]; [Deltete-Guy 91] (Einstein on EPR), [Hájek-Bub 92] (EPR's argument is "better" than later arguments by Einstein, contrary to Fine's opinion), [Combourieu 92] (Popper on EPR, including a letter by Einstein from 1935 with containing a brief presentation of EPR's argument), [Bohm-Hiley 93] (Sec. 7. 7, analysis of the EPR experiment according to the "causal" interpretation), [Schatten 93] (hidden-variable model for the EPR experiment), [Hong-yi-Klauder 94] (common eigenvectors of relative position and total momentum of a two-particle system, see also [Hong-yi-Xiong 95]), [De la Torre 94 a] (EPR-like argument with two components of position and momentum of a single particle), [Dieks 94] (Sec. VII, analysis of the EPR experiment according to the "modal" interpretation), [Eberhard-Rosselet 95] (Bell's theorem based on a generalization of EPR criterion for elements of reality which includes values predicted with almost certainty), [Paty 95] (on Einstein's objections to QM), [Jack 95] (easy-reading introduction to the EPR and Bell arguments, with Sherlock Holmes).

2. Bohr's reply to EPR

[Bohr 35 a, b], [Hooker 72 b] (Einstein vs. Bohr), [Koç 81] (critical analysis of Bohr's reply to EPR), [Beller-Fine 94] (Bohr's reply to EPR), [Ben Menahem 97] (EPR as a debate between two possible interpretations of the uncertainty principle: The weak one-it is not possible to measure or prepare states with well defined values of conjugate observables-, and the strong one -such states do not even exist-. In my opinion, this paper is extremely useful to fully understand Bohr's reply to EPR), [Dickson 01] (Bohr's thought experiment is a reasonable realization of EPR's argument), [Halvorson-Clifton 01] (the claims that the point in Bohr's reply is a radical positivist are unfounded).

C. Gleason theorem

[Gleason 57], [Piron 72], simplified unpublished proof by Gudder mentioned in [Jammer 74] (p. 297), [Krips 74, 77], [Eilers-Horst 75] (for non-separable Hilbert spaces), [Piron 76] (Sec. 4. 2), [Drisch 79] (for non-separable Hilbert spaces and without the condition of positivity), [Cooke-Keane-Moran 84, 85], [Redhead 87] (Sec. 1. 5), [Maeda 89], [van Fraassen 91 a] (Sec. 6. 5), [Hellman 93], [Peres 93 a] (Sec. 7. 2), [Pitowsky 98 a], [Busch 99 b], [Wallach 02] (an "unentangled" Gleason's theorem), [Caves-Fuchs-Manne-Renes 03] (Gleason-type derivations of the quantum probability rule for POVMs), [Hrushovski-Pitowsky 03] (constructive proof of Gleason's theorem, based on a generic, finite, effectively generated set of rays, on which every quantum state can be approximated), [Busch 03] (the idea of a state as an expectation value assignment is extended to that of a generalized probability measure on the set of all elements of a POVM. All such generalized probability measures are found to be determined by a density operator. Therefore, this result is a simplified proof and, at the same time, a more comprehensive variant of Gleason's theorem).

D. Other proofs of impossibility of hidden variables

[Jauch-Piron 63], [Misra 67], [Gudder 68].

E. Bell-Kochen-Specker theorem

1. The BKS theorem

[Specker 60], [Kochen-Specker 65 a, 65 b, 67], [Kamber 65], [Zierler-Schlessinger 65], [Bell 66], [Belinfante 73] (Part I, Chap. 3), [Jammer 74] (pp. 322-329), [Lenard 74], [Jost 76] (with 109 rays), [Galindo 76], [Hultgren-Shimony 77] (Sec. VII), [Hockney 78] (BKS and the "logic" interpretation of QM proposed by Bub; see [Bub 73 a, b, 74]), [Alda 80] (with 90 rays), [Nelson 85] (pp. 115-117), [de Obaldia-Shimony-Wittel 88] (Belinfante's proof requires 138 rays), [Peres-Ron 88] (with 109 rays), unpublished proof using 31 rays by Conway and Kochen (see [Peres 93 a], p. 114, and [Cabello 96] Sec. 2. 4. d.), [Peres 91 a] (proofs with 33 rays in dimension 3 and 24 rays in dimension 4), [Peres 92 c, 93 b, 96 b], [Chang-Pal 92], [Mermin 93 a, b], [Peres 93 a] (Sec. 7. 3), [Cabello 94, 96, 97 b], [Kernaghan 94] (proof with 20 rays in dimension 4), [Kernaghan-Peres 95] (proof with 36 rays in dimension 8), [Pagonis-Clifton 95] [why Bohm's theory eludes BKS theorem; see also [Dewdney 92, 93], and [Hardy 96] (the result of a measurement in Bohmian mechanics depends not only on the context of other simultaneous measurements but also on how the measurement is performed)], [Bacciagaluppi 95] (BKS theorem in the modal interpretation), [Bell 96], [Cabello-García Alcaine 96 a] (BKS proofs in dimension n і 3), [Cabello-Estebaranz-García Alcaine 96 a] (proof with 18 rays in dimension 4), [Cabello-Estebaranz-García Alcaine 96 b], [Gill-Keane 96], [Svozil-Tkadlec 96], [DiVincenzo-Peres 96], [García Alcaine 97], [Calude-Hertling-Svozil 97] (two geometric proofs), [Cabello-García Alcaine 98] (proposed gedanken experimental test on the existence of non-contextual hidden variables), [Isham-Butterfield 98, 99], [Hamilton-Isham-Butterfield 99], [Butterfield-Isham 01] (an attempt to construct a realistic contextual interpretation of QM), [Svozil 98 b] (book), [Massad 98] (the Penrose dodecahedron), [Aravind-Lee Elkin 98] (the 60 and 300 rays corresponding respectively to antipodal pairs of vertices of the 600-cell 120-cell -the two most complex of the four-dimensional regular polytopes- can both be used to prove BKS theorem in four dimensions. These sets have critical non-colourable subsets with 44 and 89 rays), [Clifton 99, 00 a] (KS arguments for position and momentum components), [Bassi-Ghirardi 99 a, 00 a, b] (decoherent histories description of reality cannot be considered satisfactory), [Griffiths 00 a, b] (there is no conflict between consistent histories and Bell and KS theorems), [Michler-Weinfurter-Żukowski 00] (experiments), [Simon-Żukowski-Weinfurter-Zeilinger 00] (proposal for a gedanken KS experiment), [Aravind 00] (Reye's configuration and the KS theorem), [Aravind 01 a] (the magic tesseracts and Bell's theorem), [Conway-Kochen 02], [Myrvold 02 a] (proof for position and momentum), [Cabello 02 k] (KS theorem for a single qubit).

2. From the BKS theorem to the BKS with locality theorem

[Gudder 68], [Maczy\'nski 71 a, b], [van Fraassen 73, 79], [Fine 74], [Bub 76], [Demopoulos 80], [Bub 79], [Humphreys 80], [van Fraassen 91 a] (pp. 361-362).

3. The BKS with locality theorem

Unpublished work by Kochen from the early 70's, [Heywood-Redhead 83], [Stairs 83 b], [Krips 87] (Chap. 9), [Redhead 87] (Chap. 6), [Brown-Svetlichny 90], [Elby 90 b, 93 b], [Elby-Jones 92], [Clifton 93], (the Penrose dodecahedron and its sons:), [Penrose 93, 94 a, b, 00], [Zimba-Penrose 93], [Penrose 94 c] (Chap. 5), [Massad 98], [Massad-Aravind 99]; [Aravind 99] (any proof of the BKS can be converted into a proof of the BKS with locality theorem).

4. Probabilistic versions of the BKS theorem

[Stairs 83 b] (pp. 588-589), [Home-Sengupta 84] (statistical inequalities), [Clifton 94] (see also the comments), [Cabello-García Alcaine 95 b] (probabilistic versions of the BKS theorem and proposed experiments).

5. The BKS theorem and the existence of dense "KS-colourable" subsets of projectors

[Godsil-Zaks 88] (rational unit vectors in d=3 do not admit a "regular colouring"), [Meyer 99 b] (rational unit vectors are a dense KS-colourable subset in dimension 3), [Kent 99 b] (dense colourable subsets of projectors exist in any arbitrary finite dimensional real or complex Hilbert space), [Clifton-Kent 00] (dense colourable subsets of projectors exist with the remarkable property that every projector belongs to only one resolution of the identity), [Cabello 99 d], [Havlicek-Krenn-Summhammer-Svozil 01], [Mermin 99 b], [Appleby 00, 01, 02, 03 b], [Mushtari 01] (rational unit vectors do not admit a "regular colouring" in d=3 and d і 6, but do admit a "regular colouring" in d=4 -an explicit example is presented- and d=5 -result announced by P. Ovchinnikov-), [Boyle-Schafir 01 a], [Cabello 02 c] (dense colourable subsets cannot simulate QM because most of the many possible colourings of these sets must be statistically irrelevant in order to reproduce some of the statistical predictions of QM, and then, the remaining statistically relevant colourings cannot reproduce some different predictions of QM), [Breuer 02 a, b] (KS theorem for unsharp spin-one observables), [Barrett-Kent 03], [Peres 03 d].

6. The BKS theorem in real experiments

[Simon-Brukner-Zeilinger 01], [Larsson 02 a] (a KS inequality), [Huang-Li-Zhang-(+2) 03] (realization of all-or-nothing-type KS experiment with single photons).

F. Bell's inequalities

1. First works

[Bell 64, 71], [Clauser-Horne-Shimony-Holt 69], [Clauser-Horne 74], [Bell 87 b] (Chaps. 7, 10, 13, 16), [d'Espagnat 93] (comparison between the assumptions in [Bell 64] and in [Clauser-Horne-Shimony-Holt 69]).

2. Bell's inequalities for two spin-s particles

[Mermin 80] (the singlet state of two spin-s particles violates a particular Bell's inequality for a range of settings that vanishes as ¹/_s when s ® Ґ) [Mermin-Schwarz 82] (the ¹/_s vanishing might be peculiar to the particular inequality used in [Mermin 80]), [Garg-Mermin 82, 83, 84] (for some Bell's inequalities the range of settings does not diminish as s becomes arbitrarily large), [Ögren 83] (the range of settings for which quantum mechanics violates the original Bell's inequality is the same magnitude, at least for small s), [Mermin 86 a], [Braunstein-Caves 88], [Sanz-Sánchez Gómez 90], [Sanz 90] (Chap. 4), [Ardehali 91] (the range of settings vanishes as [1/(s²)]), [Gisin 91 a] (Bell's inequality holds for all non-product states), [Peres 92 d], [Gisin-Peres 92] (for two spin-s particles in the singlet state the violation of the CHSH inequality is constant for any s; large s is no guarantee of classical behavior) [Geng 92] (for two different spins), [Wódkiewicz 92], [Peres 93 a] (Sec. 6. 6), [Wu-Zong-Pang-Wang 01 a] (two spin-1 particles), [Kaszlikowski-Gnaci\'nski-Żukowski-(+2) 00] (violations of local realism by two entangled N-dimensional systems are stronger than for two qubits), [Chen-Kaszlikowski-Kwek-(+2) 01] (entangled three-state systems violate local realism more strongly than qubits: An analytical proof), [Collins-Gisin-Linden-(+2) 01] (for arbitrarily high dimensional systems), [Collins-Popescu 01] (violations of local realism by two entangled quNits), [Kaszlikowski-Kwek-Chen-(+2) 02] (Clauser-Horne inequality for three-level systems), [Acín-Durt-Gisin-Latorre 02] (the state [1/(Ц{2+g²})](|00с+g|11с+|22с), with g = (Ц{11}-Ц3)/2 » 0.7923, can violate the Bell inequality in [Collins-Gisin-Linden-(+2) 01] more than the state with g = 1).

3. Bell's inequalities for two particles and more than two observables per particle

[Braunstein-Caves 88, 89, 90] (chained Bell's inequalities, with more than two alternative observables on each particle), [Gisin 99], [Collins-Gisin 03] (for three possible two-outcome measurements per qubit, there is only one inequality which is inequivalent to the CHSH inequality; there are states which violate it but do not violate the CHSH inequality).

4. Bell's inequalities for n particles

[Greenberger-Horne-Shimony-Zeilinger 90] (Sec. V), [Mermin 90 c], [Roy-Singh 91], [Clifton-Redhead-Butterfield 91 a] (p. 175), [Hardy 91 a] (Secs. 2 and 3), [Braunstein-Mann-Revzen 92], [Ardehali 92], [Klyshko 93], [Belinsky-Klyshko 93 a, b], [Braunstein-Mann 93], [Hnilo 93, 94], [Belinsky 94 a], [Greenberger 95], [Żukowski-Kaszlikowski 97] (critical visibility for n-particle GHZ correlations to violate local realism), [Pitowsky-Svozil 00] (Bell's inequalities for the GHZ case with two and three local observables), [Werner-Wolf 01 b], [Żukowski-Brukner 01], [Scarani-Gisin 01 b] (pure entangled states may exist which do not violate Mermin-Klyshko inequality), [Chen-Kaszlikowski-Kwek-Oh 02] (Clauser-Horne-Bell inequality for three three-dimensional systems), [Brukner-Laskowski-Żukowski 03] (multiparticle Bell's inequalities involving many measurement settings: the inequalities reveal violations of local realism for some states for which the two settings-per-local-observer inequalities fail in this task).

5. Which states violate Bell's inequalities?

(Any pure entangled state does violate Bell-CHSH inequalities:) [Capasso-Fortunato-Selleri 73], [Gisin 91 a] (some corrections in [Barnett-Phoenix 92]), [Werner 89] (one might naively think that as in the case of pure states, the only mixed states which do not violate Bell's inequalities are the mixtures of product states, i.e. separable states. Werner shows that this conjecture is false), (maximum violations for pure states:) [Popescu-Rohrlich 92], (maximally entangled states violate maximally Bell's inequalities:) [Kar 95], [Cereceda 96 b]. For mixed states: [Braunstein-Mann-Revzen 92] (maximum violation for mixed states), [Mann-Nakamura-Revzen 92], [Beltrametti-Maczy\'nski 93], [Horodecki-Horodecki-Horodecki 95] (necessary and sufficient condition for a mixed state to violate the CHSH inequalities), [Aravind 95].

6. Other inequalities

[Baracca-Bergia-Livi-Restignoli 76] (for non-dichotomic observables), [Cirel'son 80] (while Bell's inequalities give limits for the correlations in local hidden variables theories, Cirel'son inequality gives the upper limit for quantum correlations and, therefore, the highest possible violation of Bell's inequalities according to QM; see also [Chefles-Barnett 96]), [Hardy 92 d], [Eberhard 93], [Peres 98 d] (comparing the strengths of various Bell's inequalities) [Peres 98 f] (Bell's inequalities for any number of observers, alternative setups and outcomes).

7. Inequalities to detect genuine n-particle nonseparability

[Svetlichny 87], [Gisin-Bechmann Pasquinucci 98], [Collins-Gisin-Popescu-(+2) 02], [Seevinck-Svetlichny 02], [Mitchell-Popescu-Roberts 02], [Seevinck-Uffink 02] (sufficient conditions for three-particle entanglement and their tests in recent experiments), [Cereceda 02 b], [Uffink 02] (quadratic Bell inequalities which distinguish, for systems of n > 2 qubits, between fully entangled states and states in which at most n-1 particles are entangled).

8. Herbert's proof of Bell's theorem

[Herbert 75], [Stapp 85 a], [Mermin 89 a], [Penrose 89] (pp. 573-574 in the Spanish version), [Ballentine 90 a] (p. 440).

9. Mermin's statistical proof of Bell's theorem

[Mermin 81 a, b], [Kunstatter-Trainor 84] (in the context of the statistical interpretation of QM), [Mermin 85] (see also the comments -seven-), [Penrose 89] (pp. 358-360 in the Spanish version), [Vogt 89], [Mermin 90 e] (Chaps. 10-12), [Allen 92], [Townsend 92] (Chap. 5, p. 136), [Yurke-Stoler 92 b] (experimental proposal with two independent sources of particles), [Marmet 93].

G. Bell's theorem without inequalities

1. Greenberger-Horne-Zeilinger's proof

[Greenberger-Horne-Zeilinger 89, 90], [Mermin 90 a, b, d, 93 a, b], [Greenberger-Horne-Shimony-Zeilinger 90], [Clifton-Redhead-Butterfield 91 a, b], [Pagonis-Redhead-Clifton 91] (with n particles), [Clifton-Pagonis-Pitowsky 92], [Stapp 93 a], [Cereceda 95] (with n particles), [Pagonis-Redhead-La Rivière 96], [Belnap-Szabó 96], [Bernstein 99] (simple version of the GHZ argument), [Vaidman 99 b] (variations on the GHZ proof), [Cabello 01 a] (with n spin-s particles), [Massar-Pironio 01] (GHZ for position and momentum), [Chen-Zhang 01] (GHZ for continuous variables), [Khrennikov 01 a], [Kaszlikowski-Żukowski 01] (GHZ for N quNits), [Greenberger 02] (the history of the GHZ paper), [Cerf-Massar-Pironio 02] (GHZ for many qudits).

2. Peres' proof of impossibility of recursive elements of reality

[Peres 90 b, 92 a], [Mermin 90 d, 93 a, b], [Nogueira-dos Aidos-Caldeira-Domingos 92], (why Bohm's theory eludes Peres's and Mermin's proofs:) [Dewdney 92], [Dewdney 92] (see also [Pagonis-Clifton 95]), [Peres 93 a] (Sec. 7. 3), [Cabello 95], [De Baere 96 a] (how to avoid the proof).

3. Hardy's proof

[Hardy 92 a, 93], [Clifton-Niemann 92] (Hardy's argument with two spin-s particles), [Pagonis-Clifton 92] (Hardy's argument with n spin-[1/2] particles), [Hardy-Squires 92], [Stapp 92] (Sec. VII), [Vaidman 93], [Goldstein 94 a], [Mermin 94 a, c, 95 a], [Jordan 94 a, b], (nonlocality of a single photon:) [Hardy 94, 95 a, 97]; [Cohen-Hiley 95 a, 96], [Garuccio 95 b], [Wu-Xie 96] (Hardy's argument for three spin-[1/2] particles), [Pagonis-Redhead-La Rivière 96], [Kar 96], [Kar 97 a, c] (mixed states of three or more spin-[1/2] particles allow a Hardy argument), [Kar 97 b] (uniqueness of the Hardy state for a fixed choice of observables), [Stapp 97], [Unruh 97], [Boschi-Branca-De Martini-Hardy 97] (ladder argument), [Schafir 98] (Hardy's argument in the many-worlds and consistent histories interpretations), [Ghosh-Kar 98] (Hardy's argument for two spin s particles), [Ghosh-Kar-Sarkar 98] (Hardy's argument for three spin-[1/2] particles), [Cabello 98 a] (ladder proof without probabilities for two spin s і 1 particles), [Barnett-Chefles 98] (nonlocality without inequalities for all pure entangled states using generalized measurements which perform unambiguous state discrimination between non-orthogonal states), [Cereceda 98, 99 b] (generalized probability for Hardy's nonlocality contradiction), [Cereceda 99 a] (the converse of Hardy's theorem), [Cereceda 99 c] (Hardy-type experiment for maximally entangled states and the problem of subensemble postselection), [Cabello 00 b] (nonlocality without inequalities has not been proved for maximally entangled states), [Yurke-Hillery-Stoler 99] (position-momentum Hardy-type proof), [Wu-Zong-Pang 00] (Hardy's proof for GHZ states), [Hillery-Yurke 01] (upper and lower bounds on maximal violation of local realism in a Hardy-type test using continuous variables).

4. Bell's theorem without inequalities for EPR-Bohm-Bell states

[Cabello 01 c, d], [Nisticò 01] (GHZ-like proofs are impossible for pairs of qubits), [Aravind 02], [Chen-Pan-Zhang-(+2) 03] (experimental implementation).

5. Other algebraic proofs of no-local hidden variables

[Pitowsky 91 b, 92], [Herbut 92], [Clifton-Pagonis-Pitowsky 92], [Cabello 02 a].

6. Classical limits of no-local hidden variables proofs

[Sanz 90] (Chap. 4), [Pagonis-Redhead-Clifton 91] (GHZ with n spin-[1/2] particles), [Peres 92 b], [Clifton-Niemann 92] (Hardy with two spin-s particles), [Pagonis-Clifton 92] (Hardy with n spin-[1/2] particles).

H. Other "nonlocalities"

1. "Nonlocality" of a single particle

[Grangier-Roger-Aspect 86], [Grangier-Potasek-Yurke 88], [Tan-Walls-Collett 91], [Hardy 91 a, 94, 95 a], [Santos 92 a], [Czachor 94], [Peres 95 b], [Home-Agarwal 95], [Gerry 96 c], [Steinberg 98] (single-particle nonlocality and conditional measurements), [Resch-Lundeen-Steinberg 01] (experimental observation of nonclassical effects on single-photon detection rates), [Bjørk-Jonsson-Sánchez Soto 01] (single-particle nonlocality and entanglement with the vacuum), [Srikanth 01 e], [Hessmo-Usachev-Heydari-Björk 03] (experimental demonstration of single photon "nonlocality").

2. Violations of local realism exhibited in sequences of measurements ("hidden nonlocality")

[Popescu 94, 95 b] (Popescu notices that the LHV model proposed in [Werner 89] does not work for sequences of measurements), [Gisin 96 a, 97] (for two-level systems nonlocality can be revealed using filters), [Peres 96 e] (Peres considers collective tests on Werner states and uses consecutive measurements to show the impossibility of constructing LHV models for some processes of this kind), [Berndl-Teufel 97], [Cohen 98 b] (unlocking hidden entanglement with classical information), [Żukowski-Horodecki-Horodecki-Horodecki 98], [Hiroshima-Ishizaka 00] (local and nonlocal properties of Werner states), [Kwiat-Barraza López-Stefanov-Gisin 01] (experimental entanglement distillation and `hidden' non-locality), [Wu-Zong-Pang-Wang 01 b] (Bell's inequality for Werner states).

3. Local immeasurability or indistinguishability ("nonlocality without entanglement")

[Bennett-DiVincenzo-Fuchs-(+5) 99] (an unknown member of a product basis cannot be reliably distinguished from the others by local measurements and classical communication), [Bennett-DiVincenzo-Mor-(+3) 99], [Horodecki-Horodecki-Horodecki 99 d] ("nonlocality without entanglement" is an EPR-like incompleteness argument rather than a Bell-like proof), [Groisman-Vaidman 01] (nonlocal variables with product states eigenstates), [Walgate-Hardy 02], [Horodecki-Sen De-Sen-Horodecki 03] (first operational method for checking indistinguishability of orthogonal states by LOCC; any full basis of an arbitrary number of systems is not distinguishable, if at least one of the vectors is entangled), [De Rinaldis 03] (method to check the LOCC distinguishability of a complete product bases).

I. Experiments on Bell's theorem

1. Real experiments

[Kocher-Commins 67], [Papaliolios 67], [Freedman-Clauser 72] (with photons correlated in polarizations after the decay J=0 ® 1 ® 0 of Ca atoms; see also [Freedman 72], [Clauser 92]), [Holt-Pipkin 74] (id. with Hg atoms; the results of this experiment agree with Bell's inequalities), [Clauser 76 a], [Clauser 76 b] (Hg), [Fry-Thompson 76] (Hg), [Lamehi Rachti-Mittig 76] (low energy proton-proton scattering), [Aspect-Grangier-Roger 81] (with Ca photons and one-channel polarizers; see also [Aspect 76]), [Aspect-Grangier-Roger 82] (Ca and two-channel polarizers), [Aspect-Dalibard-Roger 82] (with optical devices that change the orientation of the polarizers during the photon's flight; see also [Aspect 83]), [Perrie-Duncan-Beyer-Kleinpoppen 85] (with correlated photons simultaneously emitted by metastable deuterium), [Shih-Alley 88] (with a parametic-down converter), [Rarity-Tapster 90 a] (with momentum and phase), [Kwiat-Vareka-Hong-(+2) 90] (with photons emitted by a non-linear crystal and correlated in a double interferometer; following Franson's proposal [Franson 89]), [Ou-Zou-Wang-Mandel 90] (id.), [Ou-Pereira-Kimble-Peng 92] (with photons correlated in amplitude), [Tapster-Rarity-Owens 94] (with photons in optical fibre), [Kwiat-Mattle-Weinfurter-(+3) 95] (with a type-II parametric-down converter), [Strekalov-Pittman-Sergienko-(+2) 96], [Tittel-Brendel-Gisin-(+3) 97, 98] (testing quantum correlations with photons 10 km apart in optical fibre), [Tittel-Brendel-Zbinden-Gisin 98] (a Franson-type test of Bell's inequalities by photons 10,9 km apart), [Weihs-Jennewein-Simon-(+2) 98] (experiment with strict Einstein locality conditions, see also [Aspect 99]), [Kuzmich-Walmsley-Mandel 00], [Rowe-Kielpinski-Meyer-(+4) 01] (experimental violation of a Bell's inequality for two beryllium ions with nearly perfect detection efficiency), [Howell-Lamas Linares-Bouwmeester 02] (experimental violation of a spin-1 Bell's inequality using maximally-entangled four-photon states).

2. Proposed gedanken experiments

[Lo-Shimony 81] (disotiation of a metastable molecule), [Horne-Zeilinger 85, 86, 88] (particle interferometers), [Horne-Shimony-Zeilinger 89, 90 a, b] (id.) (see also [Greenberger-Horne-Zeilinger 93], [Wu-Xie-Huang-Hsia 96]), [Franson 89] (with position and time), with observables with a discrete spectrum and -simultaneously- observables with a continuous spectrum [Żukowski-Zeilinger 91] (polarizations and momentums), (experimental proposals on Bell's inequalities without additional assumptions:) [Fry-Li 92], [Fry 93, 94], [Fry-Walther-Li 95], [Kwiat-Eberhard-Steinberg-Chiao 94], [Pittman-Shih-Sergienko-Rubin 95], [Fernández Huelga-Ferrero-Santos 94, 95] (proposal of an experiment with photon pairs and detection of the recoiled atom), [Freyberger-Aravind-Horne-Shimony 96].

3. EPR with neutral kaons

[Lipkin 68], [Six 77], [Selleri 97], [Bramon-Nowakowski 99], [Ancochea-Bramon-Nowakowski 99] (Bell-inequalities for K⁰ [`(K⁰)] pairs from F-resonance decays), [Dalitz-Garbarino 00] (local realistic theories for the two-neutral-kaon system), [Gisin-Go 01] (EPR with photons and kaons: Analogies), [Hiesmayr 01] (a generalized Bell's inequality for the K⁰ [`(K⁰)] system), [Bertlmann-Hiesmayr 01] (Bell's inequalities for entangled kaons and their unitary time evolution), [Garbarino 01], [Bramon-Garbarino 02 a, b].

4. Reviews

[Clauser-Shimony 78], [Pipkin 78], [Duncan-Kleinpoppen 88], [Chiao-Kwiat-Steinberg 95] (review of the experiments proposed by these authors with photons emitted by a non-linear crystal after a parametric down conversion).

5. Experimental proposals on GHZ proof, preparation of GHZ states

[Żukowski 91 a, b], [Yurke-Stoler 92 a] (three-photon GHZ states can be obtained from three spatially separated sources of one photon), [Reid-Munro 92], [Wódkiewicz-Wang-Eberly 93] (preparation of a GHZ state with a four-mode cavity and a two-level atom), [Klyshko 93], [Shih-Rubin 93], [Wódkiewicz-Wang-Eberly 93 a, b], [Hnilo 93, 94], [Cirac-Zoller 94] (preparation of singlets and GHZ states with two-level atoms and a cavity), [Fleming 95] (with only one particle), [Pittman 95] (preparation of a GHZ state with four photons from two sources of pairs), [Haroche 95], [Laloë 95], [Gerry 96 b, d, e] (preparations of a GHZ state using cavities), [Pfau-Kurtsiefer-Mlynek 96], [Zeilinger-Horne-Weinfurter-Żukowski 97] (three-particle GHZ states prepared from two entangled pairs), [Lloyd 97 b] (a GHZ experiment with mixed states), [Keller-Rubin-Shih-Wu 98], [Keller-Rubin-Shih 98 b], [Laflamme-Knill-Zurek-(+2) 98] (real experiment to produce three-particle GHZ states using nuclear magnetic resonance), [Lloyd 98 a] (microscopic analogs of the GHZ experiment), [Pan-Zeilinger 98] (GHZ states analyzer), [Larsson 98 a] (necessary and sufficient conditions on detector efficiencies in a GHZ experiment), [Munro-Milburn 98] (GHZ in nondegenerate parametric oscillation via phase measurements), [Rarity-Tapster 99] (three-particle entanglement obtained from entangled photon pairs and a weak coherent state), [Bouwmeester-Pan-Daniell-(+2) 99] (experimental observation of polarization entanglement for three spatially separated photons, based on the idea of [Zeilinger-Horne-Weinfurter-Żukowski 97]), [Watson 99 a], [Larsson 99 b] (detector efficiency in the GHZ experiment), [Sakaguchi-Ozawa-Amano-Fukumi 99] (microscopic analogs of the GHZ experiment on an NMR quantum computer), [Guerra-Retamal 99] (proposal for atomic GHZ states via cavity quantum electrodynamics), [Pan-Bouwmeester-Daniell-(+2) 00] (experimental test), [Nelson-Cory-Lloyd 00] (experimental GHZ correlations using NMR), [de Barros-Suppes 00 b] (inequalities for dealing with detector inefficiencies in GHZ experiments), [Cohen-Brun 00] (distillation of GHZ states by selective information manipulation), [Żukowski 00] (an analysis of the "wrong" events in the Innsbruck experiment shows that they cannot be described using a local realistic model), [Sackett-Kielpinski-King-(+8) 00] (experimental entanglement of four ions: Coupling between the ions is provided through their collective motional degrees of freedom), [Zeng-Kuang 00 a] (preparation of GHZ states via Grover's algorithm), [Acín-Jané-Dür-Vidal 00] (optimal distillation of a GHZ state), [Cen-Wang 00] (distilling a GHZ state from an arbitrary pure state of three qubits), [Zhao-Yang-Chen-(+2) 03 b] (nonlocality with a polarization-entangled four-photon GHZ state).

6. Experimental proposals on Hardy's proof

[Hardy 92 d] (with two photons in overlapping optical interferometers), [Yurke-Stoler 93] (with two identical fermions in overlapping interferometers and using Pauli's exclusion principle), [Hardy 94] (with a source of just one photon), [Freyberger 95] (two atoms passing through two cavities), [Torgerson-Branning-Mandel 95], [Torgerson-Branning-Monken-Mandel 95] (first real experiment, measuring two-photon coincidence), [Garuccio 95 b] (to extract conclusions from experiments like the one by Torgerson et al. some inequalities must be derived), [Cabello-Santos 96] (criticism of the conclusions of the experiment by Torgerson et al.), [Torgerson-Branning-Monken-Mandel 96] (reply), [Mandel 97] (experiment), [Boschi-De Martini-Di Giuseppe 97], [Di Giuseppe-De Martini-Boschi 97] (second real experiment), [Boschi-Branca-De Martini-Hardy 97] (real experiment based on the ladder version of Hardy's argument), [Kwiat 97 a, b], [White-James-Eberhard-Kwiat 99] (nonmaximally entangled states: Production, characterization, and utilization), [Franke-Huget-Barnett 00] (Hardy state correlations for two trapped ions).

7. Some criticisms of the experiments on Bell's inequalities. Loopholes

[Marshall-Santos-Selleri 83] ("local realism has not been refuted by atomic cascade experiments"), [Marshall-Santos 89], [Santos 91, 96], [Santos 92 c] (local hidden variable model which agree with the predictions of QM for the experiments based on photons emitted by atomic cascade, like those of Aspect's group), [Garuccio 95 a] (criticism for the experiments with photons emitted by parametric down conversion), [Basoalto-Percival 01] (a computer program for the Bell detection loophole).