Quantum nonlocality is an inherently non-classical feature of quantum mechanics and manifests itself through violation of Bell inequalities for nonlocal games. We show that in a fairly general setting, a simple extension of a nonlocal game can certify instead the absence of quantum nonlocality. Through contraposition, our result implies that a super-classical performance for such a game ensures that a player's output is unpredictable to the other player. Previously such output unpredictability was known with respect to a third party.
Quantum nonlocality is an inherently non-classical feature of quantum mechanics and manifests itself through violation of Bell inequalities for nonlocal games. We show that in a fairly general setting, a simple extension of a nonlocal game can certify instead the absence of quantum nonlocality. Through contraposition, our result implies that a super-classical performance for such a game ensures that a player's output is unpredictable to the other player. Previously such output unpredictability was known with respect to a third party.
Nonlocal games offer a conceptually clear way to reason about Bell nonlocality. However, we show that as originally defined, and most commonly used, i.e. with a deterministic predicate, they cannot be complete witnesses of nonlocality. Concretely, we prove the existence of nonlocal behaviours which do not violate any such nonlocal game. Furthermore, we also show that quantum mechanics can produce these game-classical nonlocal behaviours. We prove that this phenomenon exists in every bipartite scenario (X,Y,A,B) with X,Y≥2 and A,B≥4.
Bell nonlocality is widely viewed as a signature of intrinsic randomness, effectively playing the role of a 'dice' at the heart of many device-independent cryptographic protocols. We show that this connection has a fundamental limitation: there exist Bell inequalities that are maximally violated by quantum correlations yet certify no randomness for any fixed input pair. We develop a systematic construction based on symmetric deterministic extensions of nonlocal games, and use it to obtain explicit examples of such inequalities. We also construct maximally nonlocal quantum correlations that, for every input pair, admit a convex decomposition into strategies with predetermined outputs for those inputs. Our results reveal a strong form of determinism compatible with quantum nonlocality and delineate the limits of device-independent randomness certification.
In the recent years self-testing has grown into a rich and active area of study with applications ranging from practical verification of quantum devices to deep complexity theoretic results. Self-testing allows a classical verifier to deduce which quantum measurements and on what state are used, for example, by provers Alice and Bob in a nonlocal game. Hence, self-testing as well as its noise-tolerant cousin – robust self-testing – are desirable features for a nonlocal game to have.Contrary to what one might expect, we have a rather incomplete understanding of if and how self-testing could fail to hold. In particular, could it be that every 2-party nonlocal game or Bell inequality with a quantum advantage certifies the presence of a specific quantum state? Also, is it the case that every self-testing result can be turned robust with enough ingeniuty and effort? We answer these questions in the negative by providing simple and fully explicit counterexamples. To this end, given two nonlocal games G1 and G2 , we introduce the (G1∨G2) -game, in which the players get pairs of questions and choose which game they want to play. The players win if they choose the same game and win it with the answers they have given. Our counterexamples are based on this game and we believe this class of games to be of independent interest.
The problem of the existence of nonlocal effects in Quantum Mechanics is discussed. The problem is divided in two: the first ('soft') one is to explain the violation of Bell's inequalities as a statistical magnitude. This can be achieved by a simple model within non-Boolean Locality and Realism. This result shows that quantum non-Locality as a consequence of the statistical violation of Bell's inequalities is inexistent. The second ('hard') problem is to explain the violation as it is calculated from series of detection outcomes. L.Sica has demonstrated that, in order to violate Bell's inequalities, the series recorded at (say) Bob when the setting at station Alice is alfa, can be different from the series that would have been recorded at Bob if that setting had been alfa'instead. Therefore, non-Locality in the series of detection outcomes does exist. It cannot be experimentally verified because of its counterfactual nature, but is observed in computer simulations. An appropriate computer code is based on the simple model mentioned plus a contextual instruction. It explains 'how' (Sica's) non-Locality arises, and solves the hard problem. 'Why' the contextual instruction exists is explained by Hellwig and Kraus' postulate of covariant quantum state collapse. In consequence, (Sica's) non-Locality is not in contradiction with Relativity but, quite the opposite, it is implied by Relativistic covariance.
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.
This review article is concerned with a recently uncovered connection between operator spaces, a noncommutative extension of Banach spaces, and quantum nonlocality, a striking phenomenon which underlies many of the applications of quantum mechanics to information theory, cryptography, and algorithms. Using the framework of nonlocal games, we relate measures of the nonlocality of quantum mechanics to certain norms in the Banach and operator space categories. We survey recent results that exploit this connection to derive large violations of Bell inequalities, study the complexity of the classical and quantum values of games and their relation to Grothendieck inequalities, and quantify the nonlocality of different classes of entangled states.