Bell inequalities are derived for any number of observers, any number of alternative setups for each one of them, and any number of distinct outcomes for each experiment. It is shown that if a physical system consists of several distant subsystems, and if the results of tests performed on the latter are determined by local variables with objective values, then the joint probabilities for triggering any given set of distant detectors are convex combinations of a finite number of Boolean arrays, whose components are either 0 or 1 according to a simple rule. This convexity property is both necessary and sufficient for the existence of local objective variables. It leads to a simple graphical method which produces a large number of generalized Clauser- Horne inequalities corresponding to the faces of a convex polytope. It is plausible that quantum systems whose density matrix has a positive partial transposition satisfy all these inequalities, and therefore are compatible with local objective variables, even if their quantum properties are essentially nonlocal.
Bell inequalities are derived for any number of observers, any number of alternative setups for each one of them, and any number of distinct outcomes for each experiment. It is shown that if a physical system consists of several distant subsystems, and if the results of tests performed on the latter are determined by local variables with objective values, then the joint probabilities for triggering any given set of distant detectors are convex combinations of a finite number of Boolean arrays, whose components are either 0 or 1 according to a simple rule. This convexity property is both necessary and sufficient for the existence of local objective variables. It leads to a simple graphical method which produces a large number of generalized Clauser- Horne inequalities corresponding to the faces of a convex polytope. It is plausible that quantum systems whose density matrix has a positive partial transposition satisfy all these inequalities, and therefore are compatible with local objective variables, even if their quantum properties are essentially nonlocal.
Bell's theorem rests on the following fundamental condition for a local system: P(a,b|alpha, beta, lambda)= P(a|alpha, lambda)P(b|beta, lambda). Here a and b are the outcomes respectively for measurements alpha on one side, and beta on the other, of an experiment involving two entangled particles traveling in opposite directions from a source. The parameter lambda (the set of "hidden variables") represents a more complete description of the joint state of the two particles. Because of lambda, the joint probability of detection is now dependent only on lambda and the local measurement setting of alpha; similarly for the other side and the setting beta. From this equation John Bell derived a simple inequality that is violated by the predictions of quantum mechanics, which is generally taken to imply that quantum mechanics is a nonlocal theory. But, by combining Richard Feynman's formulation of quantum mechanics with a model of particle interaction described by David Deutsch, we develop a system (the "space of all paths," SP) that (1) is immediately seen to replicate the predictions of quantum mechanics, (2) has a single outcome for each quantum event (unlike MWI on which it is partly based), and (3) contains the set lambda of hidden variables consisting of all possible paths from the source to the detectors on each side of the two-particle experiment. However, the set lambda is nonmeasurable, and therefore the above equation is meaningless in SP.
The Bell inequality constrains the outcomes of measurements on pairs of distant entangled particles. The Bell contradiction states that the Bell inequality is inconsistent with the calculated outcomes of these quantum experiments. This contradiction led many to question the underlying assumptions, viz. so-called realism and locality. The probability model underlying the Bell inequality is generally left implicit. We propose an explicit probability model for the CHSH version of the Bell experiment. This model has only two simultaneously observable detector settings per measurement, and therefore does not assume realism. The quantum expectation now becomes a conditional expectation, given the two detector settings. This probability model is in full agreement with both quantum mechanics and experiments. As a result, the model satisfies the Bell inequality; there are no so-called violations. We extend this model to include a hidden variable. This extended model is not Bell-separable. This non-separability implies that the model is non-deterministic or non-local (or both).
INTRODUCTION Fine (1982) proved that Bell's (1964) inequalities are sufficient, as well as necessary, to guarantee the existence of a joint probability distribution of the random variables in question, e.g., those representing certain spin correlation experiments. Garg and Mermin (1982) gave an example of eight random variables satisfying Bell's inequalities but such that no joint distribution exists. The purpose of this paper is to extend Bell's inequalities to obtain some general necessary conditions for the existence of a joint probability distribution for any finite collection of Bell-type random variables. Our results show that, for N > 4, many new elementary inequalities beyond those of Bell must be satisfied by any hidden-variable theory. Since these additional inequalities are violated by quantum mechanical predictions for appropriate choice of measurement arrangements, they serve to increase the conceptual distance between what may be called Einstein locality, after the EPR paradox, and quantum mechanics. To give a concrete sense of the nature of our results, we exhibit one of the new inequalities violated by Garg and Mermin's example. For theoretical purposes it will suffice to introduce Bell-type random variables X 1 ,…, X N , N ≥ 4, having possible values ±1, with means E ( X i ) = 0 and with what we term Bell covariances E ( X i X j ) relative to the index i 0 , with 1 ≤ i ≤ i 0 , N , 2 ≤ i 0 N – 2. Notice that, when N = 4, we must, as is familiar, have i 0 = 2.
It is not generally known that the inequality that Bell derived using three random variables must be identically satisfied by any three corresponding data sets of ±1’s that are writable on paper. This surprising fact is not immediately obvious from Bell’s inequality derivation based on causal random variables, but follows immediately if the same mathematical operations are applied to finite data sets. For laboratory data, the inequality is identically satisfied as a fact of pure algebra, and its satisfaction is independent of whether the processes generating the data are local, non-local, deterministic, random, or nonsensical. It follows that if predicted correlations violate the inequality, they represent no three cross-correlated data sets that can exist, or can be generated from valid probability models. Reported data that violate the inequality consist of probabilistically independent data-pairs and are thus inconsistent with inequality derivation. In the case of random variables as Bell assumed, the correlations in the inequality may be expressed in terms of the probabilities that give rise to them. A new inequality is then produced: The Wigner inequality, that must be satisfied by quantum mechanical probabilities in the case of Bell experiments. If that were not the case, predicted quantum probabilities and correlations would be inconsistent with basic algebra.
It is not generally known, that the inequality that Bell derived using three random variables must be identically satisfied by any three corresponding data sets of plus and minus 1s that are writable on paper.This surprising fact is not immediately obvious from Bell's inequality derivation based on causal random variables, but follows immediately if the same mathematical operations are applied to finite data sets.For laboratory data, the inequality is identically satisfied as a fact of pure algebra, and its satisfaction is independent of whether the processes generating the data are local, nonlocal, deterministic, random, or nonsensical.It follows that if predicted correlations violate the inequality, they represent no three cross correlated data sets that experimentally exist or can be generated from valid probability models. Reported data that violate the inequality consist of probabilistically independent data pairs and are thus inconsistent with inequality derivation.In the case of random variables as Bell assumed, the correlations in the inequality may be expressed in terms of the probabilities that give rise to them.A new inequality results, the Wigner inequality that must be satisfied by quantum mechanical probabilities in the case of Bell experiments.If that were not the case, predicted quantum probabilities and correlations would be inconsistent with basic algebra.
Bell's theorem in physics, as well as causal discovery in machine learning, both face the problem of deciding whether observed data is compatible with a presumed causal relationship between the variables (for example, a local hidden variable model). Traditionally, Bell inequalities have been used to describe the restrictions imposed by causal structures on marginal distributions. However, some structures give rise to non-convex constraints on the accessible data, and it has recently been noted that linear inequalities on the observable entropies capture these situations more naturally. In this paper, we show the versatility of the entropic approach by greatly expanding the set of scenarios for which entropic constraints are known. For the first time, we treat Bell scenarios involving multiple parties and multiple observables per party. Going beyond the usual Bell setup, we exhibit inequalities for scenarios with extra conditional independence assumptions, as well as a limited amount of shared randomness between the parties. Many of our results are based on a geometric observation: Bell polytopes for two-outcome measurements can be naturally imbedded into the convex cone of attainable marginal entropies. Thus, any entropic inequality can be translated into one valid for probabilities. In some situations the converse also holds, which provides us with a rich source of candidate entropic inequalities.