Two-Message Quantum Interactive Proofs Are in PSPACE

We prove that QIP(2), the class of problems having two-message quantum interactive proof systems, is a subset of PSPACE. This relationship is obtained by means of an efficient parallel algorithm, based on the multiplicative weights update method, for approximately solving a certain class of semidefinite programs.

• Type: Conference
• Year: 2009
• Where: FOCS
• Authors: Rahul Jain, Sarvagya Upadhyay, John Watrous
• Keywords: Efficient Parallel Algorithm, FOCS 2009, Quantum Interactive Proof, Theoretical Computer Science, Weights Update Method