Two-message quantum interactive proofs are in PSPACE

Date
Authors
Jain, Rahul
Upadhyay, Sarvagya
Watrous, John
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
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.
Comment: 24 pages
Keywords
Computer Science - Computational Complexity, Quantum Physics, F.1.3, F.2.1
Citation
Collections