Quantum nonlocality is often judged by violations of Bell-type inequalities for a given state. The computation of such violations is a global task, requiring evaluation of global correlations and subsequent testing against a Bell functional. We ask instead: when is a given state local (classical)? We formalize this question via local perception operators (LPOs) that compress global observables into locally accessible statistics, and we derive two complementary witnesses -- one implementable by a single party with classical side information, one intrinsically two-sided. These tools revisit familiar Bell scenarios from a new operational angle. We show how the witness leads to state-aware constraints that depend on local marginals and measurement geometry, with natural specializations to canonical scenarios. The resulting criteria are built from first moments and standard projective measurements and provide a way to certify compatibility with local hidden variable explanations for the LPO-processed data in regimes where conventional Bell violations may be inconclusive.
Quantum nonlocality is often judged by violations of Bell-type inequalities for a given state. The computation of such violations is a global task, requiring evaluation of global correlations and subsequent testing against a Bell functional. We ask instead: when is a given state local (classical)? We formalize this question via local perception operators (LPOs) that compress global observables into locally accessible statistics, and we derive two complementary witnesses -- one implementable by a single party with classical side information, one intrinsically two-sided. These tools revisit familiar Bell scenarios from a new operational angle. We show how the witness leads to state-aware constraints that depend on local marginals and measurement geometry, with natural specializations to canonical scenarios. The resulting criteria are built from first moments and standard projective measurements and provide a way to certify compatibility with local hidden variable explanations for the LPO-processed data in regimes where conventional Bell violations may be inconclusive.
A set of quantum data can look classical in every local test and still fail to admit a single classical explanation of the whole composite system. We formulate this failure as global contextuality. Here global means global in the physical sense of the whole multipartite system, not the local/global terminology of sheaf theory. Each party's local statistics are noncontextual and each measured multipartite context admits a generalized local hidden-variable description, but the GLHV block descriptions cannot be promoted to a single noncontextual hidden-variable model for the whole system. Three bipartite constructions exhibit this separation. A polarization-path construction gives a direct global obstruction. A qubit-qutrit KCBS construction gives an algebraic scenario-level example, with explicit formulas for the unconditional KCBS operator, the correlation-polytope constraints, and the postselected violation. A flagged qutrit Werner-local state gives a state-level example: the state is entangled and local for all projective measurements, its local qutrit marginals do not violate KCBS, yet postselection rules out a single GNCHV model. We also spell out the classical composition lemma: classical conditional hidden variables can be absorbed into a larger hidden variable, whereas quantum contextual data need not allow such a factorization. Within the general Bell-type framework considered here, with arbitrary parties and arbitrary local compatible contexts, but no cross-party joint measurements, the absence of local contextuality and GLHV-type generalized Bell nonlocality does not imply the existence of a global noncontextual hidden-variable model. Global contextuality is thus a compositional obstruction to classical explanation.
The quest for fundamental tests of quantum mechanics is an ongoing effort. We here address the question of what are the lowest possible moments needed to prove quantum nonlocality and noncontextuality without any further assumptions---in particular, without the often assumed dichotomy. We first show that second-order correlations can always be explained by a classical noncontextual local-hidden-variable theory. Similar third-order correlations also cannot violate classical inequalities in general, except for a special state-dependent noncontextuality. However, we show that fourth-order correlations can violate locality and state-independent noncontextuality. Finally we obtain a fourth-order continuous-variable Bell inequality for position and momentum, which can be violated and might be useful in Bell tests, closing all loopholes simultaneously.
Violations of Bell inequalities are commonly interpreted as evidence for either nonlocal dynamics or the failure of classical realism. In this work, we show that Bell-type correlations can arise without invoking superluminal influences, retrocausality, or local hidden variables, provided that the mapping between underlying configurations and observable outcomes is non-injective. We study a class of effective models in which multiple underlying states correspond to the same observable description. Such non-injective projections generically induce non-factorizable joint probability structures at the level of observables, even when the underlying description itself is fully local and deterministic. As a result, the statistical assumptions required to derive Bell inequalities are violated at the effective level, while locality is preserved at the underlying level. Within this framework, quantum correlations emerge as structural features of projected descriptions rather than as signatures of nonlocal causation. We clarify the precise assumption of Bell’s theorem that fails in this setting and show how classical behavior is recovered in regimes where the effective projection becomes approximately injective, suppressing nonlocal correlations through decoherence and environmental coarse-graining. Our results suggest that Bell inequality violations need not reflect a fundamental nonlocality of nature, but may instead indicate intrinsic information loss induced by non-injective mappings between underlying configurations and observable descriptions.
Bell inequalities reveal the fundamentally nonlocal character of quantum mechanics. In this regard, one of the interesting problems is to explore all possible Bell inequalities that demonstrate a gap between local and nonlocal quantum behaviour. This is useful for the geometric characterisation of the set of nonlocal correlations achievable within quantum theory. Moreover, it provides a systematic way to construct Bell inequalities that are tailored to specific quantum information processing tasks. This characterisation is well understood in the simplest (2,2,2) scenario, namely two parties performing two binary outcome measurements. However, beyond this setting, relatively few Bell inequalities are known, and the situation becomes particularly scarce in scenarios involving a greater number of outcomes. Here, we consider the (2,2,3) scenario, or two parties performing two three-outcome measurements, and characterise all Bell inequalities that can arise from the simplest sum-of-squares decomposition and are maximally violated by the maximally entangled state of local dimension three. We then utilise them to self-test this state, along with a class of three-outcome measurements.
Explaining observations in terms of causes and effects is central to empirical science. However, correlations between entangled quantum particles seem to defy such an explanation. This implies that some of the fundamental assumptions of causal explanations have to give way. We consider a relaxation of one of these assumptions, Bell's local causality, by allowing outcome dependence: a direct causal influence between the outcomes of measurements of remote parties. We use interventional data from a photonic experiment to bound the strength of this causal influence in a two-party Bell scenario, and observational data from a Bell-type inequality test for the considered models. Our results demonstrate the incompatibility of quantum mechanics with a broad class of nonlocal causal models, which includes Bell-local models as a special case. Recovering a classical causal picture of quantum correlations thus requires an even more radical modification of our classical notion of cause and effect.
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.