Speaker
Vern Paulsen, IQC, University of Waterloo
Abstract
In this course we focus primarily on discrete input-output games. We begin with a bit more on the classic deterministic theory of these games than operator algebra students may have seen, and discuss the main families of games, including XOR game, graph based games, unique games and linear constraint system games. Next we discuss the various models for quantum correlations and their connections to states on tensor products of group algebras. Then we cover synchronous games, synchronous densities and a deeper dive into the theory of traces and amenable traces, than researchers in QI are likely to have seen. Then we look at the fundamental orthogonality relations of a synchronous game, what MIP*=RE tells us, some background on *-algebras, the *-algebra of a game and its applications. Then we look at the theory of values and synchronous values of games and end with an overview of some quantum input-quantum output games.