This paper contains several results regarding the communication complexity model and the 2-prover games model, which are based on interaction between the two models:
We study the power of quantum proofs, or more precisely, the power of Quantum MerlinArthur (QMA) protocols, in two well studied models of quantum computation: the black box model ...