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.
We study tensor norms over Banach spaces and their relation to quantum information theory, in particular their connection with two-prover games. We consider a version of the Hilbertian tensor norm γ2 and its dual γ2* that allow us to consider games with arbitrary output alphabet sizes. We establish direct-product theorems and prove a generalized Grothendieck inequality for these tensor norms. Furthermore, we investigate the connection between the Hilbertian tensor norm and the set of quantum probability distributions, and show two applications to quantum information theory: firstly, we give an alternative proof of the perfect parallel repetition theorem for entangled XOR games; and secondly, we prove a new upper bound on the ratio between the entangled and the classical value of two-prover games.
We define 2-indexed
(q,p)-Schatten quasi-norms for any
q,p>0 on operators on a tensor product of Hilbert spaces, naturally extending the norms defined by Pisier's theory of operator-valued Schatten spaces. We establish several desirable properties of these quasi-norms, such as relational consistency and the behavior on block diagonal operators, assuming that
∣q1−p1∣≤1. In fact, we show that this condition is essentially necessary for natural properties to hold. Furthermore, for linear maps between spaces of such quasi-norms, we introduce completely bounded quasi-norms and co-quasi-norms. We prove that the
q→p completely bounded co-quasi-norm is super-multiplicative for tensor products of quantum channels for
q≥p>0, extending an influential result of [Devetak, Junge, King, Ruskai, 2006]. Our proofs rely on elementary matrix analysis and operator convexity tools and do not require operator space theory. On the applications side, we demonstrate that these quasi-norms can be used to express relevant quantum information measures such as Rényi conditional entropies for
α≥21 or the Sandwiched Rényi Umlaut information for
α<1. Our multiplicativity results imply a tensorizing notion of reverse hypercontractivity, additivity of the completely bounded minimum output Rényi-
α-entropy for
α≥21 extending another important result of [Devetak, Junge, King, Ruskai, 2006], and additivity of the maximum output Rényi-
α entropy for
α≥21.
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.
We consider four norms on tensor product spaces that have appeared in quantum information theory and demonstrate duality relationships between them. We show that the product numerical radius is dual to the robustness of entanglement, and we similarly show that the S(k)-norm is dual to the projective tensor norm. We show that, analogous to how the product numerical radius and the S(k)-norm characterize k-block positivity of operators, there is a natural version of the projective tensor norm that characterizes Schmidt number. In this way we obtain an elementary new proof of the cross norm criterion for separability, and we also generalize both the cross norm and realignment criteria to the case of arbitrary Schmidt number.