Besides well-known conditions of locality or factorisability, deriving the Bell inequalities requires assuming that the distribution of hidden variables and Alice's and Bob's measurement settings be independent of each other. We show that (analogously to violations of locality due to action at a distance) certain violations of this Measurement Independence assumption can be associated with a notion of signalling in principle, thus making them also testable in principle, and spell out the appropriate conditions. Accordingly, we show that by imposing no-signalling one can prove a version of Bell's theorem that does not require the assumption of Measurement Independence. We discuss the "Schulman model" as an example, as well as lessons for "experimental metaphysics".
Besides well-known conditions of locality or factorisability, deriving the Bell inequalities requires assuming that the distribution of hidden variables and Alice's and Bob's measurement settings be independent of each other. We show that (analogously to violations of locality due to action at a distance) certain violations of this Measurement Independence assumption can be associated with a notion of signalling in principle, thus making them also testable in principle, and spell out the appropriate conditions. Accordingly, we show that by imposing no-signalling one can prove a version of Bell's theorem that does not require the assumption of Measurement Independence. We discuss the "Schulman model" as an example, as well as lessons for "experimental metaphysics".
Bell's theorem is 50 years old. Still there is a controversy about its implications. Much of it has its roots in confusion regarding the premises from which the theorem can be derived. Some claim that a derivation of Bell's inequalities requires just locality assumption, and nothing more. Violations of the inequalities are then interpreted as ``nonlocality'' or ``quantum nonlocality''. We show that such claims are unfounded and that every derivation of Bell's inequalities requires a premise -- in addition to locality and freedom of choice -- which is either assumed tacitly, or unconsciously, or is embedded in a single compound condition (like Bell's ``local causality''). The premise is equivalent to the assumption of existence of additional variables which do not appear in the quantum formalism (in form of determinism, or joint probability for outcomes of all conceivable measurements, or ``additional causes`'', or ``hidden variables'', ``complete description of the state'' or counterfactual definiteness, etc.). A certain irony is that perhaps the main message of violation of Bell's inequalities is that our notion of locality should be based on an operationally well-defined no-signalling condition, rather than on local causality.
While initial versions of Bell's theorem captured the notion of locality with the assumption of factorizability, in later presentations, Bell argued that factorizability could be derived from the more fundamental principle of local causality. Here we show that, contrary to what is commonly assumed, in order to derive factorizability from the principle of local causality, a non-trivial assumption, similar but strictly independent of settings independence, is required. Loosely speaking, such an extra assumption demands independence between the states of the measurement apparatuses. We conclude that it is possible to construct a model, satisfying both the principle of local causality and settings independence, but that, in virtue of violating this additional assumption--and thus factorizability--is able to break Bell's inequality.
By implicitly assuming that all measurements occur simultaneously, Bell's Theorem only applied to local theories that violated Heisenberg's Uncertainty Principle. By explicitly introducing time into our derivation of Bell's theorem, an extra term related to the time-ordering of actual measurements is found to augment (i.e. weaken) the upper bound of the inequality. Since the same locality assumptions hold for this rederivation as for the original, we conclude that only {\em classical} measurement-order independent local hidden variable theories are constrained by Bell's inequality; time dependent, non-classical local theories (i.e. theories respecting Heisenberg's Uncertainty Principle) can satisfy this new bound while exceeding Bell's limit. Unconditional nonlocality is only expected to occur with Bell parameters between 22 and 4. This weakening of Bell's inequality is seen for the quantum Bell operator (squared) as an extra term involving the commutators of {\em local} measurement operators. We note that a factorizable second-quantized wavefunction can reproduce experimental measurements; because such wavefunctions allow local de Broglie-Bohm hidden variable modelling, we have another indication that violation of {\em Bell's} inequality does not require an acceptance of non-locality.
Loophole-free violations of Bell inequalities imply that at least one of the assumptions behind local hidden-variable theories must fail. Here, we show that, if only one fails, then it has to fail completely, therefore excluding models that partially constrain freedom of choice or allow for partial retrocausal influences, or allow partial instantaneous actions at a distance. Specifically, we show that (i) any hidden-variable theory with outcome independence (OI) and arbitrary joint relaxation of measurement independence (MI) and parameter independence (PI) can be experimentally excluded in a Bell-like experiment with many settings on high-dimensional entangled states, and (ii) any hidden-variable theory with MI, PI and arbitrary relaxation of OI can be excluded in a Bell-like experiment with many settings on qubit-qubit entangled states. Loophole-free violations of Bell inequalities imply that at least one of the assumptions formalising local hidden-variable theories must fail. Here, the authors show that, if only one is false, then it has to fail completely, therefore excluding models that allow partial instantaneous actions at a distance, partially constrain freedom of choice or allow for partial retrocausal influences.
Quantum correlations that violate the Bell inequality cannot be explained by any local-hidden-variable theory that is measurement independent. However, this violation merely signifies the incompatibility of the underlying assumptions of reality, locality, and measurement independence, without providing a quantitative measure of the extent to which each assumption is violated. In contrast, Hall introduced a measure for each of the following assumptions: indeterminism, signaling, and measurement dependence, and Hall also generalized the Bell-Clauser-Horne-Shimony-Holt inequality, which provides a quantitative trade-off relationship between these assumptions. In this paper, we consider the introduction of hidden variables to be an essential assumption of Bell's theorem and introduce a quantification of hidden variables, which we term ``hiddenness.'' We derive a trade-off relation between hiddenness and measurement dependence that applies to any local-hidden-variable theory.
Bell nonlocality is the experimentally testable incompatibility between quantum correlations and explanations based on local hidden variables. Its significance now extends beyond the foundations of quantum mechanics: a Bell-inequality violation can certify entanglement, randomness, measurement incompatibility, and cryptographic security without requiring a detailed model of the devices producing the observed data. This article develops the mathematical structure of Bell experiments and explains its role in device-independent quantum information. Conditional probability distributions are classified into local, quantum, and no-signalling sets; the Clauser-Horne-Shimony-Holt inequality is derived, and its classical, quantum, and algebraic limits are distinguished. Tsirelson’s bound is obtained from the CHSH operator, while Popescu-Rohrlich correlations demonstrate that no-signalling alone does not identify the quantum set. The relation between entanglement and nonlocality is examined through local entangled states, hidden nonlocality, and activation. Nonlocal games, semidefinite relaxations, self-testing, certified randomness, and device-independent quantum key distribution are treated as operational consequences of Bell violation. Particular attention is given to entropy accumulation, finite-data security, loophole-free experiments, and the limitations of device independence. Bell nonlocality emerges as both a foundational separation between classical and quantum causal models and a quantitative resource for cryptographic and informational tasks.