Universal Gaps for XOR Games from Estimates on Tensor Norm Ratios

Abstract

We define and study XOR games in the framework of general probabilistic theories, which encompasses all physical models whose predictive power obeys minimal requirements. The bias of an XOR game under local or global strategies is shown to be given by a certain injective or projective tensor norm, respectively. The intrinsic (i.e. model-independent) advantage of global over local strategies is thus connected to a universal function r(n, m) called 'projective-injective ratio'. This is defined as the minimal constant ρ such that · X⊗π Y ρ · X⊗εY holds for all Banach spaces of dimensions dim X = n and dim Y = m, where X ⊗π Y and X ⊗ε Y are the projective and injective tensor products. By requiring that X = Y , one obtains a symmetrised version of the above ratio, denoted by rs(n). We prove that r(n, m) 19/18 for all n, m 2, implying that injective and projective tensor products are never isometric. We then study the asymptotic behaviour of r(n, m) and rs(n), showing that, up to log factors: rs(n) is of the order √ n (which is sharp); r(n, n) is at least of the order n 1/6 ; and r(n, m) grows at least as min{n, m} 1/8 . These results constitute our main contribution to the theory of tensor norms. In our proof, a crucial role is played by an ' 1/ 2/ ∞ trichotomy theorem' based on ideas by Pisier, Rudelson, Szarek, and Tomczak-Jaegermann. The main operational consequence we draw is that there is a universal gap between local and global strategies in general XOR games, and that this grows as a power of the minimal local dimension. In the quantum case, we are able to determine this gap up to universal constants. As a corollary, we obtain an improved bound on the scaling of the maximal quantum data hiding efficiency against local measurements. arXiv:1809.10616v2 [quant-ph] 7 Dec 2018 2

General Resource Theories in Quantum Mechanics and Beyond: Operational Characterization via Discrimination Tasks

“…Understanding the discriminative power of restricted sets of measurements is of central importance not only in characterizing the operational consequences precipitated by limitations of physically allowed measurements, but often also in studying the very fundamental structure of the underlying GPT [77,100,111]. The phenomenon of data hiding [98,99] has in particular motivated the study of the question: given a measurement, how well can one distinguish physical states with it as compared to some fixed restricted set of measurements?…”

Perfect Discrimination in Approximate Quantum Theory of General Probabilistic Theories

“…Many researchers have tried to give a foundation of the mathematical description. A modern operational approach that starts with statistics of measurement outcomes is called general probabilistic theories (GPTs) [1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18]. Simply speaking, a GPT is defined by state or measurement classes that satisfy the following postulate.…”

“…Unfortunately, there is no operational reason in the sense of GPTs why only QT and CPT describe physical systems. That is, no studies have investigated how one denies an alternative realistic model of GPTs while it is known that there are superior models to QT and CPT with respect to information processing [13][14][15][16][17][18].…”

Operational Restrictions in General Probabilistic Theories

“…The framework of general probabilistic theories (GPTs) provides an abstract setting for possible physical theories based on operational principles. Containing not only quantum and classical theories but also countless toy theories in between and beyond, GPTs give us means to study well-known properties of quantum theory (such as B Leevi Leppäjärvi leille@utu.fi Extended author information available on the last page of the article measurement incompatibility [1], steering [2,3], entanglement [4] and no-informationwithout-disturbance [5]) in a more general setting. This allows us to formulate and examine these properties in different theories, quantify them and even compare different theories to each other based on how these properties behave within them.…”