Two-message quantum interactive proofs are in PSPACE
Computational Complexity
2009-05-11 v1 Quantum Physics
Abstract
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.
Cite
@article{arxiv.0905.1300,
title = {Two-message quantum interactive proofs are in PSPACE},
author = {Rahul Jain and Sarvagya Upadhyay and John Watrous},
journal= {arXiv preprint arXiv:0905.1300},
year = {2009}
}
Comments
24 pages