TY - JOUR
T1 - Perfect Strategies for Non-Local Games
AU - Lupini, M.
AU - Mančinska, L.
AU - Paulsen, V. I.
AU - Roberson, D. E.
AU - Scarpa, G.
AU - Severini, S.
AU - Todorov, I. G.
AU - Winter, A.
N1 - Publisher Copyright:
© 2020, Springer Nature B.V.
PY - 2020/3/1
Y1 - 2020/3/1
N2 - We describe the main classes of non-signalling bipartite correlations in terms of states on operator system tensor products. This leads to the introduction of another new class of games, called reflexive games, which are characterised as the hardest non-local games that can be won using a given set of strategies. We provide a characterisation of their perfect strategies in terms of operator system quotients. We introduce a new class of non-local games, called imitation games, in which the players display linked behaviour, and which contain as subclasses the classes of variable assignment games, binary constraint system games, synchronous games, many games based on graphs, and unique games. We associate a C*-algebra C∗(G) to any imitation game G, and show that the existence of perfect quantum commuting (resp. quantum, local) strategies of G can be characterised in terms of properties of this C*-algebra. We single out a subclass of imitation games, which we call mirror games, and provide a characterisation of their quantum commuting strategies that has an algebraic flavour, showing in addition that their approximately quantum perfect strategies arise from amenable traces on the encoding C*-algebra.
AB - We describe the main classes of non-signalling bipartite correlations in terms of states on operator system tensor products. This leads to the introduction of another new class of games, called reflexive games, which are characterised as the hardest non-local games that can be won using a given set of strategies. We provide a characterisation of their perfect strategies in terms of operator system quotients. We introduce a new class of non-local games, called imitation games, in which the players display linked behaviour, and which contain as subclasses the classes of variable assignment games, binary constraint system games, synchronous games, many games based on graphs, and unique games. We associate a C*-algebra C∗(G) to any imitation game G, and show that the existence of perfect quantum commuting (resp. quantum, local) strategies of G can be characterised in terms of properties of this C*-algebra. We single out a subclass of imitation games, which we call mirror games, and provide a characterisation of their quantum commuting strategies that has an algebraic flavour, showing in addition that their approximately quantum perfect strategies arise from amenable traces on the encoding C*-algebra.
KW - Imitation game
KW - Non-local game
KW - Perfect strategy
UR - http://www.scopus.com/inward/record.url?scp=85080034084&partnerID=8YFLogxK
U2 - 10.1007/s11040-020-9331-7
DO - 10.1007/s11040-020-9331-7
M3 - Article
AN - SCOPUS:85080034084
SN - 1385-0172
VL - 23
JO - Mathematical Physics Analysis and Geometry
JF - Mathematical Physics Analysis and Geometry
IS - 1
M1 - 7
ER -