Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1501.04168 · Cambridge University Press eBooks

The Assumptions of Bell's Proof

Roderich Tumulka

Published Aug 31, 2016• 12 citations
arXivHTMLPDF

Abstract

While it is widely agreed that Bell's theorem is an important result in the foundations of quantum physics, there is much disagreement about what exactly Bell's theorem shows. It is agreed that Bell derived a contradiction with experimental facts from some list of assumptions, thus showing that at least one of the assumptions must be wrong; but there is disagreement about what the assumptions were that went into the argument. In this paper, I make a few points in order to help clarify the situation. Introduction Different authors have expressed very different views about what Bell's theorem shows about physics. The disagreement concerns particularly the question of which assumptions go into the argument. Since we have to give up one of the assumptions leading to the empirically violated Bell inequality, knowing what the assumptions were is crucial. For example, if author X believes that the argument requires only one assumption, A 1 , while author Y believes that it requires two, A 1 and A 2 , then X will conclude that A 1 ¬ must be abandoned, while Y will conclude that either A 1 or A 2 must abandoned, so A 1 may well be true in our world if A 2 is false. In this paper, I consider several assumptions that have been mentioned in connection with Bell's theorem, and I look into their roles in the proof of Bell's theorem. While I do not say anything here that has never been said before, I hope that my remarks can nevertheless be helpful to some readers. For the sake of definiteness, the version of the relevant experiment that I will consider involves two spin-1\2 particles, initially in the singlet spin state ψ = 2 −1/2 (|↑↓ ⟩ − |↓↑ ⟩). Two widely separated experimenters, Alice and Bob, have one particle transported to each of them. At spacelike separation, they each choose a direction in space, represented by the unit vectors a and b , and carry out a quantum measurement of the spin observable in this direction on their particle, ( a · σ ) ⊗ I and I ⊗ ( b · σ ), with I the 2 × 2 unit matrix and σ the triple of Paulimatrices. The possible outcomes, A and B , are±1 on each side. Bell's theorem is the statement that under the assumptions we are about to discuss, Bell's inequality holds; quantum theory predicts violations of Bell's inequality, and experiments have confirmed these predictions.

DOI
10.1017/cbo9781316219393.007

Related papers

Bell's Theorem: A Critique

M. R. Clover

By implicitly assuming that all possible Bell-measurements occur simultaneously, all proofs of Bell's Theorem violate Heisenberg's Uncertainty Principle. This assumption is made in the original form of Bell's inequality, in Wigner's probability inequalities, and in the ``nonlocality without inequalities'' arguments. The introduction of time into derivations of these variants of Bell's theorem results in extra terms related to the time order of the measurements used in constructing correlation coefficients. Since the same locality assumptions are made in the Heisenberg-compliant derivations of this paper, only time-independent classical local hidden variable theories are forbidden by violations of the original Bell inequalities; time-dependent quantum local hidden variable theories can satisfy this new bound and agree with experiment. We further point out that factorizable wavefunctions have been used to describe some EPR experiments and can be used to describe others. These will generate local de Broglie-Bohm trajectories in the description of the data. This second, independent, line of argument also shows that violation of Bell's inequality is only evidence that Heisenberg's Uncertainty Principle cannot be ignored.

arXiv:quant-ph/0502016•Feb 1, 2005•9 citations

The EPR paradox, Bell’s inequality, and the question of locality

Guy Blaylock

Most physicists agree that the Einstein–Podolsky–Rosen–Bell paradox exemplifies much of the strange behavior of quantum mechanics, but argument persists about what assumptions underlie the paradox. To clarify what the debate is about, we employ a simple and well-known thought experiment involving two correlated photons to help us focus on the logical assumptions needed to construct the EPR and Bell arguments. The view presented in this paper is that the minimal assumptions behind Bell’s inequality are locality and counterfactual definiteness but not scientific realism, determinism, or hidden variables as are often suggested. We further examine the resulting constraints on physical theory with an illustration from the many-worlds interpretation of quantum mechanics—an interpretation that we argue is deterministic, local, and realist but that nonetheless violates the Bell inequality.

arXiv:0902.3827•American Journal of Physics•Dec 14, 2009•59 citations

On Purported Physical Realizations of So-called Quantum Information Technologies

Guang-Liang Li

Bell’s inequality is derived by resorting to a hidden-variable theory devised for resolving the Einstein-Bohr debate on the conceptual foundations of quantum mechanics. The legitimacy of quantum superposition for describing the physical world is the essence of the debate. Einstein argued against the legitimacy of quantum superposition. Testing Bell’s inequality by experiment with the experimental result explained by Bell’s theorem opened the door to so-called quantum information technologies. In quantum information theory, “quantum bit” (or “qubit” for short) in a form of quantum superposition is supposed to carry quantum information. Although most physicists believe that Einstein’s vision of the physical world contradicts the experimental result of testing Bell’s inequality, actually neither the experimental result nor Bell’s theorem is relevant to Einstein’s viewpoint. In the present paper, a new principle, the general principle of measurements, is proved as a mathematical theorem. Based on this principle, the experiment for testing Bell’s inequality and so-called experimental evidence for physically realizable “qubit” are scrutinized. The findings are as follows. The experimental result of testing Bell’s inequality and the measurement outcomes of experiments involving “qubit” are all erroneously explained. Bell’s inequality failed to capture the essence of the Einstein-Bohr debate, and Bell’s theorem is irrelevant to Einstein’s vision of the physical world. Quantum mechanics can be completed by using disjunction (“or”) as the logical relation between the orthonormal vectors that span an arbitrarily given Hilbert space without resorting to any hidden-variable theory, while the mathematical setting will remain essentially unchanged. All kinds of “qubit” violate the general principle of measurements and can only describe imaginary objects that do not exist in the physical world. The findings inevitably lead to a very regrettable conclusion: Quantum information has no physical carers and all quantum information technologies are not physically realizable.

Qeios•Aug 28, 2024•0 citations

Studies On Bell's Theorem

V. Uğur Güney

In this work we look for novel classes of Bell's inequalities and methods to produce them. We also find their quantum violations including, if possible, the maximum one. The Jordan bases method that we explain in Chapter 2 is about using a pair of certain type of orthonormal bases whose spans are subspaces related to measurement outcomes of incompatible quantities on the same physical system. Jordan vectors are the briefest way of expressing the relative orientation of any two subspaces. This feature helps us to reduce the dimensionality of the parameter space on which we do searches for optimization. The work is published in [24]. In Chapter 3, we attempt to find a connection between group theory and Bell's theorem. We devise a way of generating terms of a Bell's inequality that are related to elements of an algebraic group. The same group generates both the terms of the Bell's inequality and the observables that are used to calculate the quantum value of the Bell expression. Our results are published in [25][26]. In brief, Bell's theorem is the main tool of a research program that was started by Einstein, Podolsky, Rosen [19] and Bohr [8] in the early days of quantum mechanics in their discussions about the core nature of physical systems. These debates were about a novel type of physical states called superposition states, which are introduced by quantum mechanics and manifested in the apparent inevitable randomness in measurement outcomes of identically prepared systems. Bell's huge contribution was to find a means of quantifying the problem and hence of opening the way to experimental verification by rephrasing the questions as limits on certain combinations of correlations between measurement results of spatially separate systems [7]. Thanks to Bell, the fundamental questions related to the nature of quantum mechanical systems became quantifiable [6]. According to Bell's theorem, some correlations between quantum entangled systems that involve incompatible quantities are not allowed by classical mechanics, a feature that is called as "quantum nonlocality". An experimental observation of those correlations, in other words, a violation of the limits imposed by classical physics, implies the correctness of quantum description and invalidates the classical, local realistic models. The first Bell experiments were proposed by Clauser, Horne, Shimony, and Holt, who invented the most famous Bell's inequality [13]. Later, the Aspect experiments were satisfactory enough for the physics community to be conclusive about the validation of quantum mechanics [1][3][4][2]. Ekert's work on applications of quantum nonlocality to communication resulted in the new field of quantum communication and cryptography, and turned the research program into a practical one [20]. Pitowsky showed a method to find all expressions of limitations due to local realism, all Bell's inequalities, for a given physical scenario. He also proved that the problem is, unfortunately, NP-complete and hence as the scenarios get more complex, they also become computationally intractable [33][34]. Therefore, different methods for the solution of special cases of the problem are necessary. Inequalities found for those special cases can be called classes of Bell's inequalities. For example, Werner and Wolf [41] and Collins, Gisin, Linden, Massar, and Popescu [16] found classes that cover a wide range of scenarios. Our work is a similar kind of effort to produce and study new types of Bell's inequalities.

•Jan 1, 2015•0 citations

Three ways to find comfort with the Bell proof and the results of the Bell experiments

Richard D Gill, Inge S. Helland, Bart Jongejan

Bell's theorem states that no description of a Bell experiment can be simultaneously local, realistic in the sense of counterfactual definiteness, and free of conspiracy between settings and hidden state. The recent generation of experiments has confirmed the predicted violation of the CHSH inequality, so one of the assumptions must be abandoned. Which one, and how one reconstructs a coherent worldview after doing so, is a question on which many authors disagree. This paper is written by three such authors. All three reject both counterfactual definiteness and conspiratorial violation of statistical independence of setting choices and state. After a joint exposition of the classical half of Bell's theorem in the language of Pearl-style causal graphs, a joint summary of the loophole-free experiments, and a joint survey of the recent literature, each author states where they have presently arrived. Gill accepts irreducible and non-local quantum randomness and finds the choice between locality and realism a false dichotomy. In his later works, Bell derives counterfactual definiteness from classical local causality, and that is what has to go. The metaphysical concepts "realism", "locality", "causality" need to be reconsidered. Helland reconstructs the Hilbert-space formalism from a theory of accessible variables, and from this theory he concludes that every observer must be limited in a specific sense. Jongejan proposes a geometric hidden-variable construction in which the degree of violation of the CHSH inequality depends on the number of dimensions of space, Tsirelson's bound corresponding to three dimensions. The authors conclude with a discussion.

quant-pharXiv:2605.13154•May 14, 2026•0 citations

Bell's Theorem without Inequalities: On the Inception and Scope of the GHZ Theorem

Olival Freire, Osvaldo Frota Pessoa Junior

Introduction Since its inception, fifty years ago, Bell's theorem has had a long history not only of experimental tests but also of theoretical developments. Studying pairs of correlated quantummechanical particles separated in space, in a composite “entangled” state, Bell [1] showed that the joint ascription of hidden variables and locality to the system led to an inequality that is violated by the predictions of quantum mechanics. Fifteen years later, experiments confirmed the predictions of quantum mechanics, ruling out a large class of local realist theories. One of the most meaningful theoretical developments that followed Bell's work was the Greenberger–Horne–Zeilinger (GHZ) theorem, also known as Bell's theorem without inequalities. In 1989, the American physicists Daniel Greenberger and Michael Horne, who had been working on Bell's theorem since the late 1960s, together with the Austrian physicist Anton Zeilinger, introduced a novelty into the testing of entanglement, extending Bell's theorem in a different and interesting direction. According to Franck Laloë [2], For many years, everyone thought that Bell had basically exhausted the subject by considering all really interesting situations, and that two-spin systems provided the most spectacular quantum violations of local realism. It therefore came as a surprise to many when in 1989 Greenberger, Horne, and Zeilinger (GHZ) showed that systems containing more than two correlated particles may actually exhibit even more dramatic violations of local realism. The trio analyzed the Einstein, Podolsky, and Rosen 1935 argument once again and were able to write what are now called Greenberger–Horne–Zeilinger (GHZ) entangled states, involving three or four correlated spin-1/2 particles, leading to conflicts between local realist theories and quantum mechanics. However, unlike Bell's theorem, the conflict now was not of a statistical nature, as was the case with Bell's theorem, insofar as measurements on a single GHZ state could lead to conflicting predictions with local realistic models [3–5]. In this paper we present the history of the creation of this theorem and analyze its scope.

Cambridge University Press eBooks•Aug 31, 2016•1 citation
While it is widely agreed that Bell's theorem is an important result in the foundations of quantum physics, there is much disagreement about what exactly Bell's theorem shows. It is agreed that Bell derived a contradiction with experimental facts from some list of assumptions, thus showing that at least one of the assumptions must be wrong; but there is disagreement about what the assumptions were that went into the argument. In this paper, I make a few points in order to help clarify the situation. Introduction Different authors have expressed very different views about what Bell's theorem shows about physics. The disagreement concerns particularly the question of which assumptions go into the argument. Since we have to give up one of the assumptions leading to the empirically violated Bell inequality, knowing what the assumptions were is crucial. For example, if author X believes that the argument requires only one assumption, A 1 , while author Y believes that it requires two, A 1 and A 2 , then X will conclude that A 1 ¬ must be abandoned, while Y will conclude that either A 1 or A 2 must abandoned, so A 1 may well be true in our world if A 2 is false. In this paper, I consider several assumptions that have been mentioned in connection with Bell's theorem, and I look into their roles in the proof of Bell's theorem. While I do not say anything here that has never been said before, I hope that my remarks can nevertheless be helpful to some readers. For the sake of definiteness, the version of the relevant experiment that I will consider involves two spin-1\2 particles, initially in the singlet spin state ψ = 2 −1/2 (|↑↓ ⟩ − |↓↑ ⟩). Two widely separated experimenters, Alice and Bob, have one particle transported to each of them. At spacelike separation, they each choose a direction in space, represented by the unit vectors a and b , and carry out a quantum measurement of the spin observable in this direction on their particle, ( a · σ ) ⊗ I and I ⊗ ( b · σ ), with I the 2 × 2 unit matrix and σ the triple of Paulimatrices. The possible outcomes, A and B , are±1 on each side. Bell's theorem is the statement that under the assumptions we are about to discuss, Bell's inequality holds; quantum theory predicts violations of Bell's inequality, and experiments have confirmed these predictions.
By implicitly assuming that all possible Bell-measurements occur simultaneously, all proofs of Bell's Theorem violate Heisenberg's Uncertainty Principle. This assumption is made in the original form of Bell's inequality, in Wigner's probability inequalities, and in the ``nonlocality without inequalities'' arguments. The introduction of time into derivations of these variants of Bell's theorem results in extra terms related to the time order of the measurements used in constructing correlation coefficients. Since the same locality assumptions are made in the Heisenberg-compliant derivations of this paper, only time-independent classical local hidden variable theories are forbidden by violations of the original Bell inequalities; time-dependent quantum local hidden variable theories can satisfy this new bound and agree with experiment. We further point out that factorizable wavefunctions have been used to describe some EPR experiments and can be used to describe others. These will generate local de Broglie-Bohm trajectories in the description of the data. This second, independent, line of argument also shows that violation of Bell's inequality is only evidence that Heisenberg's Uncertainty Principle cannot be ignored.
Most physicists agree that the Einstein–Podolsky–Rosen–Bell paradox exemplifies much of the strange behavior of quantum mechanics, but argument persists about what assumptions underlie the paradox. To clarify what the debate is about, we employ a simple and well-known thought experiment involving two correlated photons to help us focus on the logical assumptions needed to construct the EPR and Bell arguments. The view presented in this paper is that the minimal assumptions behind Bell’s inequality are locality and counterfactual definiteness but not scientific realism, determinism, or hidden variables as are often suggested. We further examine the resulting constraints on physical theory with an illustration from the many-worlds interpretation of quantum mechanics—an interpretation that we argue is deterministic, local, and realist but that nonetheless violates the Bell inequality.
Bell’s inequality is derived by resorting to a hidden-variable theory devised for resolving the Einstein-Bohr debate on the conceptual foundations of quantum mechanics. The legitimacy of quantum superposition for describing the physical world is the essence of the debate. Einstein argued against the legitimacy of quantum superposition. Testing Bell’s inequality by experiment with the experimental result explained by Bell’s theorem opened the door to so-called quantum information technologies. In quantum information theory, “quantum bit” (or “qubit” for short) in a form of quantum superposition is supposed to carry quantum information. Although most physicists believe that Einstein’s vision of the physical world contradicts the experimental result of testing Bell’s inequality, actually neither the experimental result nor Bell’s theorem is relevant to Einstein’s viewpoint. In the present paper, a new principle, the general principle of measurements, is proved as a mathematical theorem. Based on this principle, the experiment for testing Bell’s inequality and so-called experimental evidence for physically realizable “qubit” are scrutinized. The findings are as follows. The experimental result of testing Bell’s inequality and the measurement outcomes of experiments involving “qubit” are all erroneously explained. Bell’s inequality failed to capture the essence of the Einstein-Bohr debate, and Bell’s theorem is irrelevant to Einstein’s vision of the physical world. Quantum mechanics can be completed by using disjunction (“or”) as the logical relation between the orthonormal vectors that span an arbitrarily given Hilbert space without resorting to any hidden-variable theory, while the mathematical setting will remain essentially unchanged. All kinds of “qubit” violate the general principle of measurements and can only describe imaginary objects that do not exist in the physical world. The findings inevitably lead to a very regrettable conclusion: Quantum information has no physical carers and all quantum information technologies are not physically realizable.
In this work we look for novel classes of Bell's inequalities and methods to produce them. We also find their quantum violations including, if possible, the maximum one. The Jordan bases method that we explain in Chapter 2 is about using a pair of certain type of orthonormal bases whose spans are subspaces related to measurement outcomes of incompatible quantities on the same physical system. Jordan vectors are the briefest way of expressing the relative orientation of any two subspaces. This feature helps us to reduce the dimensionality of the parameter space on which we do searches for optimization. The work is published in [24]. In Chapter 3, we attempt to find a connection between group theory and Bell's theorem. We devise a way of generating terms of a Bell's inequality that are related to elements of an algebraic group. The same group generates both the terms of the Bell's inequality and the observables that are used to calculate the quantum value of the Bell expression. Our results are published in [25][26]. In brief, Bell's theorem is the main tool of a research program that was started by Einstein, Podolsky, Rosen [19] and Bohr [8] in the early days of quantum mechanics in their discussions about the core nature of physical systems. These debates were about a novel type of physical states called superposition states, which are introduced by quantum mechanics and manifested in the apparent inevitable randomness in measurement outcomes of identically prepared systems. Bell's huge contribution was to find a means of quantifying the problem and hence of opening the way to experimental verification by rephrasing the questions as limits on certain combinations of correlations between measurement results of spatially separate systems [7]. Thanks to Bell, the fundamental questions related to the nature of quantum mechanical systems became quantifiable [6]. According to Bell's theorem, some correlations between quantum entangled systems that involve incompatible quantities are not allowed by classical mechanics, a feature that is called as "quantum nonlocality". An experimental observation of those correlations, in other words, a violation of the limits imposed by classical physics, implies the correctness of quantum description and invalidates the classical, local realistic models. The first Bell experiments were proposed by Clauser, Horne, Shimony, and Holt, who invented the most famous Bell's inequality [13]. Later, the Aspect experiments were satisfactory enough for the physics community to be conclusive about the validation of quantum mechanics [1][3][4][2]. Ekert's work on applications of quantum nonlocality to communication resulted in the new field of quantum communication and cryptography, and turned the research program into a practical one [20]. Pitowsky showed a method to find all expressions of limitations due to local realism, all Bell's inequalities, for a given physical scenario. He also proved that the problem is, unfortunately, NP-complete and hence as the scenarios get more complex, they also become computationally intractable [33][34]. Therefore, different methods for the solution of special cases of the problem are necessary. Inequalities found for those special cases can be called classes of Bell's inequalities. For example, Werner and Wolf [41] and Collins, Gisin, Linden, Massar, and Popescu [16] found classes that cover a wide range of scenarios. Our work is a similar kind of effort to produce and study new types of Bell's inequalities.
Bell's theorem states that no description of a Bell experiment can be simultaneously local, realistic in the sense of counterfactual definiteness, and free of conspiracy between settings and hidden state. The recent generation of experiments has confirmed the predicted violation of the CHSH inequality, so one of the assumptions must be abandoned. Which one, and how one reconstructs a coherent worldview after doing so, is a question on which many authors disagree. This paper is written by three such authors. All three reject both counterfactual definiteness and conspiratorial violation of statistical independence of setting choices and state. After a joint exposition of the classical half of Bell's theorem in the language of Pearl-style causal graphs, a joint summary of the loophole-free experiments, and a joint survey of the recent literature, each author states where they have presently arrived. Gill accepts irreducible and non-local quantum randomness and finds the choice between locality and realism a false dichotomy. In his later works, Bell derives counterfactual definiteness from classical local causality, and that is what has to go. The metaphysical concepts "realism", "locality", "causality" need to be reconsidered. Helland reconstructs the Hilbert-space formalism from a theory of accessible variables, and from this theory he concludes that every observer must be limited in a specific sense. Jongejan proposes a geometric hidden-variable construction in which the degree of violation of the CHSH inequality depends on the number of dimensions of space, Tsirelson's bound corresponding to three dimensions. The authors conclude with a discussion.
Introduction Since its inception, fifty years ago, Bell's theorem has had a long history not only of experimental tests but also of theoretical developments. Studying pairs of correlated quantummechanical particles separated in space, in a composite “entangled” state, Bell [1] showed that the joint ascription of hidden variables and locality to the system led to an inequality that is violated by the predictions of quantum mechanics. Fifteen years later, experiments confirmed the predictions of quantum mechanics, ruling out a large class of local realist theories. One of the most meaningful theoretical developments that followed Bell's work was the Greenberger–Horne–Zeilinger (GHZ) theorem, also known as Bell's theorem without inequalities. In 1989, the American physicists Daniel Greenberger and Michael Horne, who had been working on Bell's theorem since the late 1960s, together with the Austrian physicist Anton Zeilinger, introduced a novelty into the testing of entanglement, extending Bell's theorem in a different and interesting direction. According to Franck Laloë [2], For many years, everyone thought that Bell had basically exhausted the subject by considering all really interesting situations, and that two-spin systems provided the most spectacular quantum violations of local realism. It therefore came as a surprise to many when in 1989 Greenberger, Horne, and Zeilinger (GHZ) showed that systems containing more than two correlated particles may actually exhibit even more dramatic violations of local realism. The trio analyzed the Einstein, Podolsky, and Rosen 1935 argument once again and were able to write what are now called Greenberger–Horne–Zeilinger (GHZ) entangled states, involving three or four correlated spin-1/2 particles, leading to conflicts between local realist theories and quantum mechanics. However, unlike Bell's theorem, the conflict now was not of a statistical nature, as was the case with Bell's theorem, insofar as measurements on a single GHZ state could lead to conflicting predictions with local realistic models [3–5]. In this paper we present the history of the creation of this theorem and analyze its scope.