Toward a general theory of quantum games
Gus Gutoski, John Watrous
Abstract
Abstract We study properties of quantum strategies, which are complete specifications of a givenparty's actions in any multiple-round interaction involving the exchange of quantum information with one or more other parties. In particular, we focus on a representation of quantumstrategies that generalizes the Choi-Jamiol/kowski representation of quantum operations. This new representation associates with each strategy a positive semidefinite operator acting onlyon the tensor product of its input and output spaces. Various facts about such representations are established, and two applications are discussed: the first is a new and conceptually simpleproof of Kitaev's lower bound for strong coin-flipping, and the second is a proof of the exact characterization QRG = EXP of the class of problems having quantum refereed games. 1 Introduction The theory of games provides a general structure within which both cooperation and competitionamong independent entities may be modeled, and provides powerful tools for analyzing these models. Applications of this theory have fundamental importance in many areas of science.This paper considers games in which the players may exchange and process quantum information. We focus on competitive games, and within this context the types of games we consider arevery general. For instance, they allow multiple rounds of interaction among the players involved, and place no restrictions on players ' strategies beyond those imposed by the theory of quantuminformation. While classical games can be viewed as a special case of quantum games, it is important tostress that there are fundamental differences between general quantum games and classical games. For example, the two most standard representations of classical games, namely the normal formand extensive form representations, are not directly applicable to general quantum games. This is due to the nature of quantum information, which admits a continuum of pure (meaning extremal)