Sciweavers

FOCS
2009
IEEE

Two-Message Quantum Interactive Proofs Are in PSPACE

14 years 6 months ago
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.
Rahul Jain, Sarvagya Upadhyay, John Watrous
Added 20 May 2010
Updated 20 May 2010
Type Conference
Year 2009
Where FOCS
Authors Rahul Jain, Sarvagya Upadhyay, John Watrous
Comments (0)