Parallel computation for well-endowed rings and space-bounded probabilistic machines
Information and Control
The complexity of promise problems with applications to public-key cryptography
Information and Control
A fast parallel algorithm for determining all roots of a polynomial with real roots
STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
The knowledge complexity of interactive proof-systems
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Trading group theory for randomness
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity class
Journal of Computer and System Sciences - 17th Annual ACM Symposium in the Theory of Computing, May 6-8, 1985
Multi-prover interactive proofs: how to remove intractability assumptions
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
The knowledge complexity of interactive proof systems
SIAM Journal on Computing
Approximating linear programming is log-space complete for P
Information Processing Letters
Journal of the ACM (JACM)
A note on approximate linear programming
Information Processing Letters
Algebraic methods for interactive proof systems
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Specified precision polynomial root isolation is in NC
Journal of Computer and System Sciences - Special issue: 31st IEEE conference on foundations of computer science, Oct. 22–24, 1990
Making games short (extended abstract)
STOC '97 Proceedings of the twenty-ninth annual ACM symposium on Theory of computing
Computing Matrix Eigenvalues and Polynomial Zeros Where the Output is Real
SIAM Journal on Computing
Parallelization, amplification, and exponential time simulation of quantum interactive proof systems
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
Quantum computation and quantum information
Quantum computation and quantum information
PSPACE Has Constant-Round Quantum Interactive Proof Systems
FOCS '99 Proceedings of the 40th Annual Symposium on Foundations of Computer Science
Quantum multi-prover interactive proof systems with limited prior entanglement
Journal of Computer and System Sciences
FOCS '05 Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science
A combinatorial, primal-dual approach to semidefinite programs
Proceedings of the thirty-ninth annual ACM symposium on Theory of computing
Toward a general theory of quantum games
Proceedings of the thirty-ninth annual ACM symposium on Theory of computing
Efficient algorithms using the multiplicative weights update method
Efficient algorithms using the multiplicative weights update method
Computational Complexity
Computational Complexity: A Modern Approach
Computational Complexity: A Modern Approach
Parallel Approximation of Non-interactive Zero-sum Quantum Games
CCC '09 Proceedings of the 2009 24th Annual IEEE Conference on Computational Complexity
Zero-Knowledge against Quantum Attacks
SIAM Journal on Computing
Two-Message Quantum Interactive Proofs Are in PSPACE
FOCS '09 Proceedings of the 2009 50th Annual IEEE Symposium on Foundations of Computer Science
General properties of quantum zero-knowledge proofs
TCC'08 Proceedings of the 5th conference on Theory of cryptography
COLT'06 Proceedings of the 19th annual conference on Learning Theory
Polynomial-space approximation of no-signaling provers
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming
A family of norms with applications in quantum information theory II
Quantum Information & Computation
A lower bound on the value of entangled binary games
Quantum Information & Computation
Computational distinguishability of degradable and antidegradable channels
Quantum Information & Computation
Quantum commitments from complexity assumptions
ICALP'11 Proceedings of the 38th international colloquim conference on Automata, languages and programming - Volume Part I
Entangled Games Are Hard to Approximate
SIAM Journal on Computing
Quantum interactive proofs with weak error bounds
Proceedings of the 3rd Innovations in Theoretical Computer Science Conference
Communications of the ACM
Guest column: the quantum PCP conjecture
ACM SIGACT News
Hi-index | 0.02 |
We prove that the complexity class QIP, which consists of all problems having quantum interactive proof systems, is contained in PSPACE. This containment is proved by applying a parallelized form of the matrix multiplicative weights update method to a class of semidefinite programs that captures the computational power of quantum interactive proofs. As the containment of PSPACE in QIP follows immediately from the well-known equality IP = PSPACE, the equality QIP = PSPACE follows.