A study of one-turn quantum refereed games

This thesis studies one-turn quantum refereed games, which are abstract zero-sum games with two competing computationally unbounded quantum provers and a computationally bounded quantum referee. The provers send quantum states to the referee, who plugs the two states into his quantum circuit, measures the output of the circuit in the standard basis, and declares one of the two players as the winner depending on the outcome of the measurement. The complexity class QRG(1) comprises of those promise problems for which there exists a one-turn quantum refereed game such that one of the players wins with high probability for the yes-instances, and the other player wins with high probability for the no-instances, irrespective of the opponent’s strategy. QRG(1) is a generalization of QMA (or co-QMA), and can informally be viewed as QMA with a no-prover (or co-QMA with a yes-prover). We have given a full characterization of QRG(1), starting with appropriate definitions and known results, and building on to two new results about this class. Previously, the best known upper bound on QRG(1) was PSPACE. We have proved that if one of the provers is completely classical, sending a classical probability distribution instead of a quantum state, the new class, which we name CQRG(1), is contained in Ǝ · PP (non- deterministic polynomial-time operator applied to the class PP). We have also defined another restricted version of QRG(1) where both provers send quantum states, but the referee measures one of the quantum states first, and plugs the classical outcome into the measurement, along with the other prover’s quantum state, into a quantum circuit, before measuring the output of the quantum circuit in the standard basis. The new class, which we name MQRG(1), is contained in P · PP (the probabilistic polynomial time operator applied to PP). Ǝ · PP is contained in P · PP, which is, in turn, contained in PSPACE. Hence, our results give better containments than PSPACE for restricted versions of QRG(1)