arxiv: v2 [math.oa] 31 Aug 2017

Transcription

1 THE DELTA GAME arxiv: v [math.oa] Aug 07 KEN DYKEMA, VERN I. PAULSEN, AND JITENDRA PRAKASH Abstract. We introduce a game related to the I game and analyze a constrained value function for this game over various families of synchronous quantum probability densities.. Introduction A subject of a great deal of current research has been the study of various mathematical models for what should constitute the set of quantum correlations beginning with Tsirelson [7, 8] and continuing with [6,,,,,, 5, 6]. In particular, the Tsirelson conjectures ask whether or not several different mathematical models for these conditional quantum probabilities yield the same sets of probability densities. Whether or not two of these models yield the same sets of densities is now known to be equivalent to Connes embedding problem [6,, ]. Recently, the work of W. Slofstra [5, 6] has shown that these different models generally yield different sets. Equality of the two sets of probabilities corresponding to Connes problem is the only unresolved case. One way to try and distinguish between these various sets of probability densities is by studying the values of finite input-output games. Indeed, this is the approach that Slofstra uses successfully. However, his games are rather large and his results rely on some very deep results in the theory of finitely presented groups. So it is always interesting to see if any simpler games can illuminate these differences or if in fact their potentially different quantum values all coincide. Another topic of current interest is attempting to compute the quantum value of the I game and decide if it is actually attained overthe standard set of quantum probability densities. This has been the subject of a great deal of research [5], [], [], [9]. The game that we study is a simplification of the I game. In [] the concept of the synchronous value of a finite input-output game was introduced. In this paper we compute the synchronous quantum values, for each of these different models, for a simplification of the I game that was brought to our attention by R. Cleve that we call the game. Our results show that the synchronous values of this game corresponding to the different mathematical models of quantum probabilities that we consider all Date: September 9, 08(Last revised). 00 Mathematics Subject Classification. Primary 6L05; Secondary 7L90. Key words and phrases. finite input-output game, values of games, Connes embedding conjecture. The second and third authors were supported in part by NSERC.

2 K. DYKEMA, V. I. PAULSEN, AND J. PRAKASH coincide. However, we introduce an extra constraint to the value function that allows us to compute the value at each constraint parameter. In this case the value of the game is the supremum of this constrained value function over the constraint parameter. We show that although the four values of the game are all equal, only three of the four functions coincide. We show that the graphs of the three quantum value function coincide, but that they lie strictly below the function that one obtains by computing values over the set of vector correlations. This gives another way to see that the set of input output vector correlations is strictly larger than the corresponding sets of probabilistic quantum correlations. It was already known fact that these sets differ at the input output level for example using the CHSH game. In addition, earlier work of [] used quantum chromatic numbers to show that there is a 5 input 7 output game with a perfect strategy in the set of vector correlations, but no perfect strategy among the quantum correlations. The main new insight from our results is that the process of studying constrained value functions of games can allow one to see separation when the unconstrained value sees no separation.. Preliminaries Recall that a general two person finite input-output game G, involves two noncommunicating players, Alice (A) and Bob (B), and a Referee (R). The game is described by G = (I A,I B,O A,O B,λ) where I A,I B,O A,O B are nonempty finite sets, representing Alice s inputs, Bob s inputs, Alice s outputs and Bob s outputs, respectively, and with λ : I A I B O A O B {0,} a function. For each round of the game, Alice receives input v I A and Bob receives input w I B from the Referee and then Alice and Bob produce outputs i O A and j O B, respectively. They win if λ(v,w,i,j) = and lose if λ(v,w,i,j) = 0. The function λ is called the rule or predicate function. Suppose that Alice and Bob have a random way to produce outputs. This is informally what is meant by a strategy. If we observe a strategy over many rounds we will obtain conditional probabilities (p(i, j v, w)), where p(i, j v, w) is the joint conditional probability that Alice outputs i on input v and Bob outputs j on input w. For this reason, any tuple (p(i,j v,w)) i OA,j O B,v I A,w I B satisfying p(i,j v,w) 0 and i O A,j O B p(i,j v,w) =, v I A,w I B, will be called a correlation. A correlation (p(i,j v,w)) is called a winning or perfect correlation for G if λ(v,w,i,j) = 0 p(i,j v,w) = 0, that is, it produces disallowed outputs with zero probability.

3 THE DELTA GAME If we also assume that the Referee chooses inputs according to a known probability distribution π : I A I B [0,], that is, π(v,w) 0 and π(v,w) =, (v,w) I A I B then it is possible to assign a number to each correlation that measures the probability that Alice and Bob will win a round given their correlation. The value of the correlation p = (p(i, j v, w)), corresponding to the distribution π on inputs, is given by V(p,π) = λ(v,w,i,j)π(v,w)p(i,j v,w). i,j,v,w Note that a perfect correlation always has value and, provided that π(v,w) > 0 for all v and w a correlationwill have value if and only if it is a perfect correlation. The value of the game G with respect to a fixed probability density π on the inputs over a given set F of correlations is given by ω F (G,π) = sup{v(p,π) : p F}. Because the set of all correlations is a bounded set in a finite dimensional vector space, whenever F is a closed set, it will be compact and so this supremum over F will be attained. A finite input-output game as above is called synchronous provided that I A = I B := I, O A = O B := O and for all v I, λ(v,v,i,j) = 0 whenever i j. This condition can be summarized as saying that whenever Alice and Bob receive the same input then they must produce the same output. A correlation (p(i, j v, w)) is called synchronous provided that p(i,j v,v) = 0 for all v I A and for all i j. Note that when G is a synchronous game, then any perfect correlation must be synchronous. In this paper we are interested in studying the game, which is a synchronous game, and computing ω(, F) as we let F vary over the various mathematical models for synchronous quantum correlations. We now introduce these various models for quantum densities. Recall that a set, {R k } n k=, of operators on some Hilbert space H is called a positive operator valued measure (POVM) provided R k 0, for each k, and n k= R k = I. Also a set of projections, {P k } n k=, on some Hilbert space H is called a projection valued measure (PVM) provided n k= P k = I. Thus every PVM is a POVM. A quantum correlation for a game G means that Alice and Bob have finite dimensional Hilbert spaces H A and H B, respectively. For each input v I, Alice has a PVM {P v,i } i O on H A, and similarly for each input w I, Bob has a PVM {Q w,j } j O on H B. They also share a state h H A H B ( h = ) such that p(i,j v,w) = (P v,i Q w,j )h,h. The set of all (p(i,j v,w)) arising from all choices of finite dimensional Hilbert spaces H A,H B, all PVMs and all states h is called the set of quantum correlations denoted by C q (n,m).

4 K. DYKEMA, V. I. PAULSEN, AND J. PRAKASH Another family of correlations are the commuting quantum correlations. In this case there is a single (possibly infinite dimensional) Hilbert space H and for each inputv I, AlicehasaPVM{P v,i } i O, andsimilarlyforeachinput w I, Bobhas a PVM {Q w,j } j O, satisfying P v,i Q w,j = Q w,j P v,i (hence the name commuting). They share a state h H ( h = ) such that p(i,j v,w) = (P v,i Q w,j )h,h. The set of all (p(i,j v,w)) arising this way is denoted by C qc (n,m) and is called the set of commuting quantum correlations. Remark.. In the above definitions one could replace the PVM s with POVM s throughout, and this is used as the definitions of these sets in many references. Since there are more POVM s then PVM s one might obtain largersets, say C q (n,m) and C qc (n,m). But, in fact, C q (n,m) = C q (n,m) and C qc (n,m) = C qc (n,m). The fact that C q (n,m) = C q (n,m) follows by a simple dilation trick. On the Hilbert space H A, one simply uses a Naimark dilation to enlarge the space to K A and dilate the set of POVM s to a set of PVM s on K A. One similarly dilates Bob s POVM s to PVM s on K B and then considers the tensor products of these PVM s on K A K B. The proof that C qc (n,m) = C qc (n,m) is somewhat more difficult and can be found in [, Proposition.], and also as Remark 0 of [6]. A third proof appears in []. We shall sometimes refer to this as the disambiguation of the two possible definitions. Remark.. By Theorem 5. in [], C q (n,m) C qc (n,m), with (p(i,j v,w)) C q (n,m) if and only if (p(i,j v,w)) C qc (n,m) such that the Hilbert space H in its realization is finite dimensional. There is yet another correlation set denoted by C vect (n,m) that is often called the set of vector correlations. It is the set of all (p(i,j v,w)) such that p(i,j v,w) = x v,i,y w,j for sets of vectors {x v,i : v I,i O},{y w,j : w I,j O} in a Hilbert space H and a unit vector h H, which satisfy () x v,i x v,j and y w,i y w,j for all i j in O. () i O x v,i = h = j O y w,j for all v,w I. () x v,i,y w,j 0 for all v,w I and i,j O. These correlations have been studied at other places in the literature, see for example [9] where they are referred to as almost quantum correlations and they can be interpreted as the first level of the NPA hierarchy [0]. The above correlation sets are related in the following way (.) C q (n,m) C qc (n,m) C vect (n,m) R n m, for all n,m N and they are all convex sets. It is known that the sets C qc (n,m) and C vect (n,m) are closed sets in R n m. Set C qa (n,m) = C q (n,m) so that (.) C q (n,m) C qa (n,m) C qc (n,m), for all n,m N. W. Slofstra [6] recently proved that there exists an n and m such that C q (n,m) is not a closed set. Hence C q (n,m) is in general a proper subset of

5 THE DELTA GAME 5 C qa (n,m), but whether or not they are different for all values of n,m is unknown. It also remains an open question to determine whether C qa (n,m) = C qc (n,m) for all n and m or not. In [6], it was proven that if Connes embedding problem is true then C qa (n,m) = C qc (n,m) for all n and m. The converse was proven in []. Thus we know that C qa (n,m) = C qc (n,m), n,m is equivalent to Connes embedding conjecture. For t {q,qa,qc,vect}, let Ct(n,m) s denote the subset of all synchronous correlations. The synchronous sets Ct s (n,m) are also convex for t {q,qa,qc,vect}. The set of synchronous commuting quantum correlations, Cqc(n,m), s may be characterized in the following way. Let A be a unital C -algebra. Recall that a linear functional ϕ : A C is called a tracial state if ϕ is positive, ϕ() =, and τ(ab) = τ(ba) for all a,b A. Theorem. (Theorem 5.5, []). Let (p(i,j v,w)) C s qc(n,m) be realized with PVMs {P v,i : v I} i O and {Q w,j : w I} j O in some B(H) satisfying P v,i Q w,j = Q w,j P v,i and with some unit vector h H so that p(i,j v,w) = P v,i Q w,j h,h. Then () P v,i h = Q v,i h for all v I,i O; () p(i,j v,w) = (P v,i P w,j )h,h = (Q w,j Q v,i )h,h = p(j,i w,v); () Let A be the C -algebra in B(H) generated by the family {P v,i : v I,i O} and define τ : A C by τ(x) = Xh,h. Then τ is a tracial state on A and p(i,j v,w) = τ(p v,i P w,j ). Conversely, let A be a unital C -algebra equipped with a tracial state τ and with {e v,i : v I,i O} A a family of projections such that i O e v,i = for all v I. Then (p(i,j v,w)) defined by p(i,j v,w) = τ(e v,i e w,j ) is an element of C s qc(n,m). That is, there exists a Hilbert space H, a unit vector h H and mutually commuting PVMs {P v,i : v I} i O and {Q w,j : w I} j O on H such that p(i,j v,w) = (P v,i Q w,j )h,h = (P v,i P w,j )h,h = (Q w,j Q v,i )h,h This theorem and Remark. lead to the following characterizationof C s q (n,m): Proposition.. We have that (p(i,j v,w)) Cq s (n,m) if and only if there exists a finite dimensional C -algebra A with a tracial state τ and with a family of projections {e v,i : v I,i O} A such that i O e v,i = for all v I and p(i,j v,w) = τ(e v,i e w,j ) for all i,j,v,w. The set of synchronous vector correlations is described in the next proposition. Proposition.5. We have (p(i,j v,w)) Cvect s (n,m) if and only if p(i,j v,w) = x v,i,x w,j for a set of vectors {x v,i : v I,i O} H with x v,i x v,j when i j, m i= x v,i = h for some unit vector h H, and x v,i,x w,j 0. The synchronous subsets satisfy inclusions as in expression., C s q(n,m) C s qa(n,m) C s qc(n,m) C s vect(n,m) R n m,

6 6 K. DYKEMA, V. I. PAULSEN, AND J. PRAKASH and since C qa (n,m), C qc (n,m), and C vect (n,m) are closed sets it is easy to see that their synchronous subsets are also closed. We can also ask the synchronous analogues of the questions described before. It is easy to see that, C t (n,m) = C t (n,m) = Ct(n,m) s = Ct s (n,m), but there is no a priori reason that the converses should hold. It is shown in [] that Cq(n,m) s = Cqc(n,m) s for all n,m N is equivalent to Connes embedding conjecture. In [7, ] it is shownthat Cq(n,m) s = Cqa s (n,m). The questions described above can be formulated in terms of values of games. If we restrict ω F (G,π) to the synchronous subset F s of F, we obtain the synchronous value of the game G given the probability density π defined by ω s F(G,π) = sup{v(p,π) : p F s }. As before we write this as ω s t(g,π) when F = C t (n,m). The following proposition relates the synchronous values of a game to Connes embedding conjecture. Proposition.6 (Proposition., []). If Connes embedding conjecture is true then ω q (G,π) = ω qc (G,π) and ω s q(g,π) = ω s qa(g,π) = ω s qc(g,π) hold for every game G and every distribution π. Remark.7. It is not known if the converse of any of these above implications is true. That is, for example, if ω q (G,π) = ω qc (G,π), G, π, then must Connes embedding conjecture be true? We now introduce the game.. The Game The game is a nonlocal game with three inputs and two outputs. We have I = {0,,} as the input set and O = {0,} as the output set (thus n =,m = ). Out of the 6 possible tuples (v,w,i,j), allowed rules (v,w,i,j) I I O O are (0,0,0,0), (0,,0,), (,,0,0), (,,0,), (,,0,0), (,0,0,), (0,0,,), (0,,,0), (,,,), (,,,0), (,,,), (,0,,0), whereas the disallowed rules are (0,0,0,), (0,,0,0), (,,0,), (,,0,0), (,,0,), (,0,0,0), (0,0,,0), (0,,,), (,,,0), (,,,), (,,,0), (,0,,). The remaining tuples (v,w,i,j) are all allowed. The first allowed rules may be visualized as in Figure. The allowed edges (0,0),(,),(,) are shown with dashed lines while (0,),(,),(,0) are shown with solid lines. The dashed lines are even while the solid lines are odd. This means that if Alice and Bob are given inputs joined by dashed lines then they return outputs with even sum; and in the other case they return outputs with odd sum.

7 THE DELTA GAME 7 Alice Bob 0 0 Figure. game rule function. Alice and Bob receive inputs according to the uniform distribution π = (π(v, w)) on the set of inputs E = {(0,0),(,),(,),(0,),(,),(,0)}, that is, π(v,w) = 6 for all (v,w) E (and zero otherwise). To compute the synchronous value of the game given the distribution π we first compute the value of a single correlation p = (p(i,j v,w)), which is, V(p,π) = 6 ( v=0 i=0 so that the value of the game becomes, ω s t(g,π) = sup { ( 6 v=0 i=0 ) p(i,i v,v)+p(i,i+ v,v +), ) } p(i,i v,v)+p(i,i+ v,v +) : p(i,j v,w) Ct(,) s, where t {q,qa,qc,vect}. Denote the expression inside the braces by, θ = 6 ( v=0 i=0 ) p(i,i v,v)+p(i,i+ v,v +). We will use Theorem. andproposition.5to simplify θ and toobtain expressions involving operators and vectors in the case of t = qc and t = vect, respectively. Moreover, when t = q, by Remark. it suffices to proceed as in the case t = qc using Theorem. to simplify θ, but restricting to the case of operators on finite dimensional Hilbert spaces. We first handle the t = qc case. By Theorem., a correlation (p(i,j v,w)) is in C s qc(,) if and only if there exists a C -algebra A of B(H) generated by a family of projections {A v,i : i = 0, and v = 0,,} satisfying A v,0 +A v, = I H for v {0,,} and a tracial state τ : A C such that p(i,j v,w) = τ(a v,i A w,j ) = (A v,i A w,j )h,h, for some unit vector h H. For notational convenience we define A 0 = A 0,0, A = A,0, A = A,0.

8 8 K. DYKEMA, V. I. PAULSEN, AND J. PRAKASH Then A v, = I H A v = I H A v,0 for v {0,,}. Using this we can rewrite θ as θ = 6 = 6 v=0 i=0 v=0 i=0 p(i,i v,v)+p(i,i+ v,v +) τ(a v,i A v,i )+τ(a v,i A v+,i+ ) = + τ(a 0 +A +A ) We now define a parameter θ by setting which enables us to write θ as (.) θ = + τ(a 0 +A +A ) τ(a v A v+ ). v=0 θ = τ(a 0 +A +A ), τ(a v A v+ ) = +θ v=0 τ(a v A v+ ). Similarly, in the t = vect case, using Proposition.5 and proceeding as in the previous paragraph, writing x i for x i,0, we see that θ is given by θ = + x 0 +x +x,h x v,x v+, for some set of vectors {x 0,x,x,h} in some Hilbert space H satisfying h = and, for all v and w, x v (h x v ), x v,x w 0, x v,h x w 0, h x v,h x w 0. Again letting θ = x 0 +x +x,h, we may write (.) θ = +θ v=0 x v,x v+. For each t {q,qa,qc,vect}, let Θ s t denote the set of all points (θ, θ) R that can be obtained from correlations (p(i,j v,w)) Ct s (n,m) in the manner described above. We want to see how Θ s t behaves under different values of t. It is easy to verify that Θ s t is a convex set since it is the affine image of the convex set Ct(n,m). s To find Θ s t, it is enough to compute the following two functions for each θ, v=0 v=0 f u t (θ) = sup{ θ : (θ, θ) Θ s t }, fl t (θ) = inf{ θ : (θ, θ) Θ s t }, where u and l stand for upper and lower, respectively. We also need to determine if the supremum and the infimum are attained or not. Notice that in the qc case, in order to find the supremum (resp., infimum) of θ = +θ v=0 τ(a va v+ ), we need to find the infimum (resp., supremum) of the quantity v=0 τ(a va v+ ). A similar statement holds for the vect case. In the qc case, notice that since A v s are projections and τ is a state we get, 0 τ(a 0 + A + A ). Similarly in the vect case, by the Cauchy-Schwarz

9 THE DELTA GAME 9 inequality we get 0 x 0 + x + x,h. Hence 0 θ. Conversely, if θ [0,], then we can always find projections A 0,A,A in some C -algebra with a tracial state τ, such that τ(a 0 +A +A ) = θ. It is evident that Θ s q Θ s qa Θ s qc Θ s vect. Theorem.. For t {q,qa,qc}, we have (.) ft l (θ) = +θ for 0 θ +θ, fu t (θ) = for θ θ for θ θ for θ. Moreover, we have (.) fvect(θ) l =, fu vect(θ) = +θ for 0 θ +θ θ for θ θ for θ. In all of the these cases, the infimum and supremum are attained by both ft u and ft l. Since (θ, θ) Θ s t if and only if 0 θ and fl t (θ) θ ft u (θ), we see that Θ s t is a closed set in R for each t {q,qa,qc,vect}. In particular, we have (.5) Θ s q = Θ s qa = Θ s qc Θ s vect. The functions as obtained in Theorem. are shown in Figure. 0.9 θ θ Figure. Plots of f l t = f l vect, f u t and f u vect from Theorem. The fact that the functions fvect u and fu qc following. are different allows us to deduce the Corollary.. We have that C s qc(,) C s vect(,).

10 0 K. DYKEMA, V. I. PAULSEN, AND J. PRAKASH Remark.. There is another larger set of correlations that we could have considered, the nonsignalling correlations. For a definition, see [8]. If we let C s ns(n,k) denote the set of synchronous nonsignalling correlations, then it is shown in [8] that the set C s ns(n,) is a polytope. If we let f u ns denote the analogous function obtained by taking the supremum over the set of synchronous nonsignalling correlations, then the fact that the set of such correlations is a polytope implies that f u ns would be piecewise linear. Hence, f u vect f u ns and we can conclude that C s vect (,) Cs ns (,).. The case of t = vect. In this section, we compute f l vect and f u vect to prove (.) in Theorem.. We will employ the symmetrization provided by the next lemma. Lemma.. Θ s vect is equal to the set of pairs (θ, θ) with 0 θ, such that there exist vectors x 0,x,x,h in a Hilbert space with the properties: h =, v x v,h = x v,x v = θ, v x v,x v+ = β, where θ = +θ β and θ β θ. Proof. By Proposition., and the discussion in Section, Θ s vect is the set of pairs (θ, θ) such that there exist vectors x 0,x,x,h in a Hilbert space H with the properties that h =, for all v and w, we have x v,h = x v,x v, x v,x w 0, x v,h x w 0, h x v,h x w 0 and, moreover, x v,h = θ, v=0 x v,x v+ = β, where θ = +θ β. The conditions appearing in the lemma are precisely these, but with the additional requirement that the quantities x v,h and x v,x v+ are the same for all v {0,,}. However, given x 0,x,x,h satisfying these weaker conditions and considering v=0 h = (h h h), x v = (x v x v+ x v+ ) in the Hilbert space H, we see that x 0, x, x, h satisfy the stronger conditions and yield the same pair (θ, θ). We now prove the part of Theorem. involving the case t = vect. Theorem.. The functions (.) f l vect(θ) = inf{ θ : (θ, θ) Θ s vect}, f u vect(θ) = sup{ θ : (θ, θ) Θ s vect} are given by (.) fvect l (θ) =, fu vect (θ) = +θ for 0 θ +θ θ for θ θ for θ.

11 THE DELTA GAME Moreover, both the infimum and supremum are attained, for all values of θ [0,]. Proof. Fix θ [0,]. By Lemma., we are interested in the set of β such that there exist vectorsx 0,x,x,h in some Hilbert space satisfying the conditions listed there. Let y v = h x v. Consider the Gramian matrix G associated with the seven vectors h,x 0,x,x,y 0,y,y. The conditions of Lemma. imply that this is the 7 7 matrix θ θ θ θ θ θ θ θ β β 0 θ β θ β θ β θ β θ β 0 θ β G = θ β β θ θ β θ β 0 θ 0 θ β θ β θ +β θ +β θ θ θ β 0 θ β +β θ θ +β θ θ θ β θ β 0 +β θ +β θ θ and furthermore, that G is positive semidefinite and (.) max(0,θ ) β θ. Conversely, given any such 7 7 positive semidefinite matrix and with the additional condition (.), we can construct seven such vectors in a Hilbert space. Thus, we are interested in the set of β that satisfy (.) and yield a positive semidefinite matrix G given above. We apply one step of the Cholesky algorithm, and conclude that the 7 7 matrix G is positive semidefinite if and only if the following 6 6 matrix G is positive semidefinite: θ θ β θ β θ θ θ θ β θ β β θ θ θ β θ θ β θ θ θ β G β θ β θ θ θ θ β θ β θ θ = θ θ θ β θ β θ θ β θ β θ. θ β θ θ θ β β θ θ θ β θ θ β θ β θ θ β θ β θ θ θ This matrix G partitions into a block matrix of the form a x x A = x a x, x x a [ ] A A, where A A with a = θ θ and x = β θ. Thus the matrix G is positive semi-definite if and only if A 0. Using the determinant criteria we see that A 0 if and only if x a and x ax +a 0. Simplifying we see that A 0 if and only if a x a. Substituting the values of a and x, we find that the Gramian matrix G is positive semidefinite if and only if θ θ β θ.

12 K. DYKEMA, V. I. PAULSEN, AND J. PRAKASH Thus, the set of all possible β is the set satisfying { θ } θ max,θ,0 β θ. This becomes 0 β θ for 0 θ θ θ β θ for θ θ β θ for θ. Thus, we obtain the values (.) and we have that the infimum and supremum in (.) are attained. 5. The cases t {q,qa,qc}. In this section, we compute f l t and f u t when t {q,qa,qc} to prove (.) in Theorem.. We begin with a symmetrization lemma, analogous to Lemma. Lemma 5.. The set Θ s qc (resp., Θ s q), is equal to the set of pairs (θ, θ) with 0 θ, such that there exists a C -algebra A (resp., a finite dimensional C -algebra, A) with a faithful tracial state τ and with projections A 0,A,A A such that for all v, (5.) τ(a v ) = θ, τ(a v A v+ ) = β, where θ = +θ β. Proof. ByTheorem.andthediscussioninSection, (θ, θ)belongstoθ s qc (respectively, Θ s q ) if and only if there is a C -algebra A (respectively, a finite dimensional C -algebra A), with a faithful tracial state τ and projections A 0,A,A such that τ(a v ) = θ, v=0 τ(a v A v+ ) = β, v=0 where θ = +θ β. But if such exist, then we can consider the C -algebra à = A A Awith the trace τ = τ τ τ, and projections Ãv = A v A v+ A v+ that satisfy the stronger requirements of the lemma that include (5.). We now have some C -algebra results. Proposition 5.. Let A be a unital C -algebra with a faithful tracial state τ. Let A and P be hermitian elements in A. If AP PA 0, then there exists H = H A such that, letting f(t) = τ(a(e iht Pe iht )) for t R, we have f (0) > 0. Proof. If H A is hermitian, then f (0) = iτ(ahp APH) = iτ((pa AP)H), where we used the fact that τ is a tracial state. Supppose AP PA 0. Let H = i(pa AP). Then H is hermitian and f (0) = τ( PA AP ) > 0, where the strict inequality follows beacuse AP PA 0 and τ is a faithful state.

13 THE DELTA GAME Corollary 5.. Let A be a unital C -algebra with a faithful tracial state τ. Fix θ [0,]. Let { β = inf τ (AB +BC +CA) : A,B,C A projections, } τ(a) = τ(b) = τ(c) = θ. If there exist projections A 0,B 0,C 0 in A such that τ(a 0 ) = τ(b 0 ) = τ(c 0 ) = θ and β = τ(a 0B 0 +B 0 C 0 +C 0 A 0 ), then [A 0,B 0 +C 0 ] = [B 0,C 0 +A 0 ] = [C 0,A 0 +B 0 ] = 0. Proof. We will show that A 0 commutes with B 0 +C 0 and the other commutation relations follow by symmetry. Let P = B 0 +C 0. Suppose, for contradiction, that [A 0,P] 0. Then, by Proposition 5., there exists H = H A such that if f(t) = τ(a 0 (e iht Pe iht )), then f (0) > 0. Fix some small and negative t such that f(t) < f(0). Letting B t = e iht B 0 e iht and C t = e iht C 0 e iht, we see that B t and C t are themselves projections in A and τ(b t ) = τ(c t ) = θ. But then for our value of t, τ(a 0 B t +B t C t +C t A 0 ) = τ(a 0 (B t +C t )+B t C t ) = τ(a 0 (e iht Pe iht ))+τ((e iht B 0 e iht )(e iht C 0 e iht )) = f(t)+τ(b 0 C 0 ) < f(0)+τ(b 0 C 0 ) = β, which implies that β is not the infimum, contrary to hypothesis. Thus, A 0 commutes with B 0 +C 0. We now consider the universal unital C -algebra A generated by self-adjoint projections A, B, and C satisfying the commutator relations (5.) [A,B +C] = [B,A+C] = [C,A+B] = 0. By definition, this is obtained by separation and completion of the universal unital complex algebra generated by noncommuting variables A, B and C, under the seminorm that is the supremum of seminorms obtained from Hilbert space representations whereby A, B and C are sent to self-adjoint projections satisfying the above relations.

14 K. DYKEMA, V. I. PAULSEN, AND J. PRAKASH Proposition 5.. The universal C -algebra A described above is isomorphic to C 8 M, wherein ( ) 0 A = , 0 0 ) B = C = ( ( Proof. We will describe all irreducible -representations of A on Hilbert spaces. Let Y = (B +C) (B +C) A. By the commutation relations (5.), Y commutes with A. We also note that Y = B +C BC CB and BY = B BCB = YB, namely, that Y commutes with B. Similarly, Y commutes with C. Hence Y lies in the center of A. Thus, under any irreducible -representation π, Y must be sent to a scalar multiple of the identity operator. In other words, we have for some λ C, so that Similarly, we have π(b +C BC CB) = π(y) = λπ() π(cb) spanπ ( {,B,C,BC} ). π(ca) spanπ ( {,A,C,AC} ), π(ba) spanπ ( {,A,B,AB} ). Since A is densely spanned by the set of all words in the idempotents A, B and C, we see π(a) = spanπ ( {,A,B,C,AB,AC,BC,ABC} ). This implies that dimπ(a) 8. Since π(a) is finite dimensional and acts irreducibly on a Hilbert space H π, it must be equal to a full matrix algebra. Considering dimensions, we must have dimh π. The irreducible representationsπ ofaforwhich dimh π = areeasyto describe. They are the eight representations that send A, B and C variously to 0 and. We will now characterize the irreducible representations π of A for which dimh π =, up to unitary equivalence. Let π be such a representation. From the commutation relations (5.), we see that, if π(a) and π(b) commute, then also π(c) commutes with π(a) and with π(b), and the entire algebra π(a) is commutative. This would requiredimh π =. By symmetry weconclude that no twoofπ(a), π(b) and π(c) can commute. In particular, each must be a projection of rank. After conjugation with a unitary, we must have ( ) ( ) 0 t π(a) =, π(b) = t( t) 0 0 t( t) t, ).

15 THE DELTA GAME 5 for some 0 < t <. Since π(b)+π(c) must commute with π(a), we must have ( c ) t( t) π(c) =, t( t) c for some c,c 0. Since π(c) is a projection, the only possible choices are (i) c = t and c = t and (ii) c = t and c = t. But in Case (ii), we have π(c) = I Hπ π(b), which violates the prohibition against π(c) and π(b) commuting. Thus, we must have ( t ) t( t) π(c) =. t( t) t Now, using that π(a)+π(b) and π(c) commute, we see that we must have t = and we easily check that this does provide an irreducible representation of A. To summarize, up to unitary equivalence, there are exactly nine different irreducible representations of A, one of them is two-dimensional and the others are one-dimensional. Thus, A is finite dimensional and is isomorphic to the direct sum of the images of its irreducible representations, namely to C 8 M, with A, B and C as indicated. We now prove Theorem. for the cases t {q,qa,qc}. Theorem 5.5. For t {q,qa,qc}, the functions (5.) f l t (θ) = inf{ θ : (θ, θ) Θ s t }, fu t (θ) = sup{ θ : (θ, θ) Θ s t } are given by (5.) ft l (θ) = +θ for 0 θ +θ, fu t (θ) = for θ θ for θ θ for θ. Moreover, both the infimum and supremum are attained, for all values of θ [0,]. Proof. Fix θ [0,]. From the inclusions (.5), we conclude f l qc (θ) fl qa (θ) fl q (θ) fu q (θ) fu qa (θ) fu qc (θ). To find fqc l (θ), by Lemma 5., we should find the supremum of values β such that there exists a C -algebra A with faithful tracial state τ and with projections A 0,A,A such that (5.5) v, τ(a v ) = θ, τ(a v A v+ ) = β. By Cauchy-Schwarz, β θ. But taking A = C C with A v = 0 and an appropriate trace τ shows that β = θ occurs, and in a finite dimensional example. Thus, we find fqc l (θ) = fl q (θ) =. To find fqc(θ), u again using Lenma 5., we should find the infimum β 0 of values β as described above. Since Θ s qc is closed, this infimum is attained. Thus, there exists a C -algebraa with tracial state τ and projections A 0,A,A such that (5.5) holds with β = β 0. Morover, by the proof of Lemma 5., we have that β 0 equals

16 6 K. DYKEMA, V. I. PAULSEN, AND J. PRAKASH the infimum of τ(ab+bc+ca) over all projections A,B,C in some C -algebra with faithful tracial stateτ such that τ(a) = τ(b) = τ(c) = θ. Thus, Corollary5. applies and the commutation relations [A 0,A +A ] = [A,A 0 +A ] = [A,A 0 +A ] = 0 hold. Thus, there is a representation of the universal C -algebra A considered in Proposition 5., sending A to A 0, B to A and C to A. So, using Gelfand Naimark Segal representations, in order to find β 0, it suffices to consider tracial states (faithful or not) on A. In particular, β 0 is the minimum of all values of β 0 for which there exists a tracial state τ on A satisfying (5.6) τ(a) = τ(b) = τ(c) = θ, τ(ab) = τ(ac) = τ(bc) = β. Since A is finite dimensional, we get fqc(θ) u = fq u (θ). An arbitrary tracial state of A is of the form ( ( )) x x τ λ λ 8 8 = t j λ j + s x x (x +x ), for some t,...,t 8,s 0 satisfying t + +t 8 +s =. The conditions (5.6) become t 5 +t 6 +t 7 +t 8 + s = t +t +t 7 +t 8 + s = t +t +t 6 +t 8 + s = θ, These are equivalent to j= t 7 +t 8 + s 8 = t 6 +t 8 + s 8 = t +t 8 + s 8 = β. t = +β θ + s 8 t 8 t = t = t 5 = θ β s +t 8 t = t 6 = t 7 = β s 8 t 8. Thus, writing t = t 8, β 0 is the minimum value of β such that there exist s,t 0 such that the inequalities +β θ + s 8 t 0, θ β s +t 0, β s t 0. 8 hold. Thisisalinearprogrammingproblem. Wesolveditbyhandusingthesimplex method and also (to check) by using the Mathematica software platform [0]. The solution is, 0, 0 θ θ, β 0 = θ 5θ, θ θ, θ, which, using fqc(θ) u = +θ β 0, yields the values given in (5.). Acknowledgements The authors would like to thank Tobias Fritz for several useful remarks.

17 THE DELTA GAME 7 References [] Cameron, P. J., Montanaro, A., Newman, M. W., Severini, S., and Winter, A. On the quantum chromatic number of a graph, The Electronic Journal of Combinatorics, (007), R8. [] Collins, D., and Gisin, N. A relevant two qubit Bell inequality inequivalent to the CHSH inequality. Journal of Physics A: Mathematical and General 7, 5 (00), [] Dykema, K. J., and Paulsen, V. Synchronous correlation matrices and Connes embedding conjecture. Journal of Mathematical Physics 57, (06). [] Fritz, T. Tsirelson s problem and Kirchberg s conjecture. Reviews in Mathematical Physics, (0), no. 05, 500. [5] Froissart, M. Constructive generalization of Bell s inequalities. Il Nuovo Cimento B (97-996) 6, (98), 5. [6] Junge, M., Navascues, M., Palazuelos, C., Perez-Garcia, D., Scholz, V. B., and Werner, R. F. Connes embedding problem and Tsirelson s problem. Journal of Mathematical Physics 5, (0), 00. [7] Kim, S.-J., Paulsen, V. I., and Schafhauser, C., A synchronous game for binary constraint systems. arxiv: , (07). [8] Lackey, B., and Rodrigues, N. Nonlocal games, synchronous correlations, and Bell inequalities preprint, July 0, 07 [9] Navascués, M., Guryanova, Y., Hoban, M. J., and Acín, A. Almost quantum correlations. Nat. Commun. 6:688, (05) [0] Navascués, M., Pironio, S., and Acín, A. A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations New Journal of Physics 0, (008), no. 7, 070. [] Ozawa, N. About the Connes embedding conjecture. Japanese Journal of Mathematics 8, (0), 7 8. [] Pál, K. F., and Vértesi, T. Maximal violation of a bipartite three-setting, two-outcome bell inequality using infinite-dimensional quantum systems. Phys. Rev. A 8, (00), 06. [] Paulsen, V. I., Severini, S., Stahlke, D., Todorov, I. G., and Winter, A. Estimating quantum chromatic numbers. Journal of Functional Analysis 70, 6 (06), 88. [] Paulsen, V. I., and Todorov, I. G. Quantum chromatic numbers via operator systems. The Quarterly Journal of Mathematics 66, (05), 677. [5] Slofstra, W., Tsirelson s problem and an embedding theorem for groups arising from nonlocal games. arxiv: , (06). [6] Slofstra, W., The set of quantum correlations is not closed. arxiv: , (07). [7] Tsirelson, B. S. Some results and problems on quantum Bell-type inequalities. Hadronic Journal Supplement 8, (99), 9 5. [8] Tsirelson, B. S. Bell inequalities and operator algebras. (006). [9] Vidick, T. and Wehner, S. More nonlocality with less entanglement. Phys. Rev. A 8, 5 (0), 050. [0] Wofram Research Inc. Mathematica, Version.0. Wolfram Research Inc., Champaign, IL, 06.

18 8 K. DYKEMA, V. I. PAULSEN, AND J. PRAKASH Department of Mathematics, Texas A& M University, College Station, TX address: kdykema@math.tamu.edu Institute for Quantum Computing and Department of Pure Mathematics, University of Waterloo, Waterloo, ON, Canada NL G address: vpaulsen@uwaterloo.ca Institute for Quantum Computing and Department of Pure Mathematics, University of Waterloo, Waterloo, ON, Canada NL G address: jprakash@uwaterloo.ca