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.
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.
The aim of this work is to study two-prover quantum games (i.e., games with quantum inputs and outputs) from an operator-algebraic and operator-space point of view. We characterize several notions of the value of such games by formulating them in terms of tensor norms in the category of operator spaces. The main results of the paper concern the description of the so-called no-signalling value of these games, for which we not only provide a precise operator-space formulation, but also establish close connections between this study and some problems in operator algebras. In particular, we show how the recent counterexample to Grothendieck's theorem for operator spaces given in \cite{Ara} can be understood as a direct consequence of results in quantum information theory. We also obtain new upper bounds on the gap between the no-signalling value and the quantum value of two-prover quantum games, improving the best previously known estimates.
One of the major concepts introduced by quantum theory is the compatibility of quantum measurements. There are certain types of measurements that cannot be made at the same time. Thus,we say that measurements are compatible if they can be measured at the same time and others are incompatible. The other major concept of quantum mechanics is that of nonlocality which is one of the most counterintuitive concepts of quantum physics. This major concept is due to John Bell who showed that quantum mechanics is intrinsically non-local. Thus, we speak of violation of Bell's inequalities by quantum mechanics. Today, nonlocality is understood through nonlocal games. A nonlocal game consists of two or more players Alice and Bob playing against a referee. The referee will ask a number of questions to the players who will have to generate a number of answers using a classical or quantum strategy. It turns out that the maximum number of answers that Alice and Bob can generate is intrinsically linked to a tensor norm characterizing the game. In this formalism, the use of classical strategies is related to the norm of the matrix of the game itself, so the violation of Bell's inequalities results in a strict inequality between the tensor norms. The aim of this thesis is to understand the incompatibility of quantum measures and the link with Bell's inequalities. First, we introduced the compatibility of quantum measures from a new point of view, and analyzed the types of noise that can be made to make the system compatible. This new point of view consists in understanding and analyzing the effect of the dimension of the Hilbert space on the incompatibility of measurements. Moreover, in order to make the measurements compatible, we can introduce the effect of a noise. As an application, some states known as MUB are incompatible in nature, we show that even if we add noise to the MUB it remains incompatible, there is an isometry and a Hilbert space of smaller dimension making the MUB compatible. In a second step, we have analyzed the intrinsic link between the incompatibility of quantum measurements and the violation of Bell's inequalities. For this purpose, we considered the framework of non-local games, where Alice's measurements are fixed. It is known that a violation of Bell's inequalities requires the use of incompatible measurements. On the other hand, if Alice wants to know if she will observe a violation of Bell's inequalities if she uses incompatible measures. To do this, she must compute two tensor norms of a tensor constructed from her measurements. These tensorial norms will characterize on the one hand the compatibility of Alice's measurements and on the other hand the violation of Bell's inequalities. In this natural framework, to understand the link between the incompatibility of quantum measurements and the violation of Bell's inequalities, we have to compare the two tensorial norms. Now, it turns out that for the CHSH game these two norms are equal, but it can be shown generally that they are not. We can ask ourselves if there are other types of games satisfying this equality of the tensorial norms? It turns out that we have shown that with sufficient conditions, only the CHSH game with a multiplicative constant gives the equality between the tensor norms.
Nonlocal games provide a unified framework for studying the distinction between classical, quantum, and more general no-signaling correlations. In this work, we develop this perspective by connecting the Bell-locality framework to several complementary mathematical representations of nonlocal games and quantum strategies. We begin with local hidden-variable models, the CHSH inequality, and the role of Bell nonlocality as a device-independent witness of entanglement, and then introduce nonlocal games through the standard predicate/verifier formalism.
We next examine a set of representative examples, including XOR games, the GHZ game, graph-based coloring games, the Mermin-Peres magic square game, and Hardy's paradox as a related logical manifestation of nonlocality. Building on this foundation, we compare four closely related representation frameworks: conditional-probability and correlation descriptions, Bell-functional formulations, entangled-value optimization, and the quantum-operator approach together with the Navascues-Pironio-Acin (NPA) hierarchy. These viewpoints are then instantiated for the CHSH, magic square, and GHZ games, showing how each representation emphasizes a different aspect of the same underlying task.
Taken together, these examples show that nonlocal games can be studied simultaneously as geometric objects in correlation space, optimization problems over entangled resources, and operator-theoretic constructions. This multi-representation viewpoint clarifies the relation between Bell inequality violations, perfect quantum strategies, pseudo-telepathy, and semidefinite relaxations of quantum correlations.
Quantum mechanics is nonlocal, meaning it cannot be described by any classical local hidden variable model. In this thesis we study two aspects of quantum nonlocality. Part I addresses the question of what classical resources are required to simulate nonlocal quantum correlations. We start by constructing new local models for noisy entangled quantum states. These constructions exploit the connection between nonlocality and Grothendieck's inequality, first noticed by Tsirelson. Next, we consider local models augmented by a limited amount of classical communication. After generalizing Bell inequalities to this setting, we show that (i) one bit of communication is sufficient to simulate the correlations of projective measurements on a maximally entangled state of two qubits, and (ii) five bits of communication are sufficient to simulate the joint correlation of two-outcome measurements on any bipartite quantum state. The latter result can be interpreted as a stronger (constrained) version of Grothendieck's inequality. In part II, we investigate the monogamy of nonlocal correlations. In a setting where three parties, A, B, and C, share an entangled quantum state of arbitrary dimension, we: (i) bound the trade-off between AB's and AC's violation of the CHSH inequality, obtaining an intriguing generalization of Tsirelson's bound, and (ii) demonstrate that forcing B and C to be classically correlated prevents A and B from violating certain Bell inequalities. We study not only correlations that arise within quantum theory, but also arbitrary correlations that do not allow signaling between separate groups of parties. These results are based on new techniques for obtaining Tsirelson bounds, or bounds on the quantum value of a Bell inequality, and have applications to interactive proof systems and cryptography.
Quantum entanglement is the defining feature of composite quantum systems, underpinning correlations beyond classical randomness and enabling quantum communication, cryptography, and error correction. Surveys treat entanglement, Bell nonlocality, contextuality, and decoherence in isolation or narrow subcommunities. This review advances a unified perspective analysing these phenomena as distinct but interrelated manifestations of nonclassical correlations with an operational structure. We organise bipartite entanglement through separability criteria, Schmidt decomposition, and partial-transpose techniques, and develop tools for nonlocal correlations based on Bell inequalities, Tsirelson’s bound, nonlocal games, and self-testing, emphasising device-independent protocols. We then examine contextuality and magic states as resources for quantum computational advantage beyond entanglement, clarifying their relationship to nonlocality. Finally, we characterise decoherence as environment-induced entanglement selecting classical records, and use this perspective to specify which aspects of the measurement problem it addresses and which require interpretational or dynamical extensions. Integrating these dimensions, the review clarifies how notions of nonclassicality relate, diverge, and underpin quantum technologies.
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.