Title:Short quantum games characterize PSPACE

Abstract:This paper studies \emph{short quantum games}, which are zero-sum games played by two competing quantum players in which each player answers a question from a referee, who then declares payoffs to the players. In the games we consider the referee may process one player's answer before preparing the other player's question. We prove that optimal strategies for short quantum games can be found by an efficient parallel algorithm based on the matrix multiplicative weights update method. If the referee is specified succinctly by quantum circuits then our algorithm can be used to find optimal strategies in polynomial space. This algorithm is optimal in that it is already known to be $\cls{PSPACE}$-hard to approximate the value of a game, even for the special case of \emph{classical} games with \emph{simultaneous} questions. It follows from our work that the two competing-provers complexity classes $\cls{SQG}$ and $\cls{QRG}(2)$ induced by short quantum games with sequential and simultaneous questions, respectively, are both equal to $\cls{PSPACE}$.