Zero-knowledge against quantum attacks
Proceedings of the thirty-eighth annual ACM symposium on Theory of computing
The detectability lemma and quantum gap amplification
Proceedings of the forty-first annual ACM symposium on Theory of computing
General properties of quantum zero-knowledge proofs
TCC'08 Proceedings of the 5th conference on Theory of cryptography
A full characterization of quantum advice
Proceedings of the forty-second ACM symposium on Theory of computing
Proceedings of the forty-second ACM symposium on Theory of computing
Communications of the ACM
Testing non-isometry is QMA-complete
TQC'10 Proceedings of the 5th conference on Theory of quantum computation, communication, and cryptography
A quasipolynomial-time algorithm for the quantum separability problem
Proceedings of the forty-third annual ACM symposium on Theory of computing
Quantum Information & Computation
The Jones polynomial: quantum algorithms and applications in quantum complexity theory
Quantum Information & Computation
Quantum Information & Computation
The complexity of quantum spin systems on a two-dimensional square lattice
Quantum Information & Computation
On perfect completeness for QMA
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
Journal of the ACM (JACM)
Quantum interactive proofs with weak error bounds
Proceedings of the 3rd Innovations in Theoretical Computer Science Conference
Proceedings of the 3rd Innovations in Theoretical Computer Science Conference
Reflections for quantum query algorithms
Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete Algorithms
Complete problem for perfect zero-knowledge quantum proof
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
Achieving perfect completeness in classical-witness quantum merlin-arthur proof systems
Quantum Information & Computation
On QMA protocols with two short quantum proofs
Quantum Information & Computation
Impossibility of succinct quantum proofs for collision-freeness
Quantum Information & Computation
Epsilon-net method for optimizations over separable states
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part I
Stronger methods of making quantum interactive proofs perfectly complete
Proceedings of the 4th conference on Innovations in Theoretical Computer Science
Testing Product States, Quantum Merlin-Arthur Games and Tensor Optimization
Journal of the ACM (JACM)
QMA variants with polynomially many provers
Quantum Information & Computation
Quantum de finetti theorems under local measurements with applications
Proceedings of the forty-fifth annual ACM symposium on Theory of computing
Guest column: the quantum PCP conjecture
ACM SIGACT News
ACM Transactions on Computation Theory (TOCT) - Special issue on innovations in theoretical computer science 2012
Hi-index | 0.02 |
This paper studies quantum Arthur---Merlin games, which are Arthur---Merlin games in which Arthur and Merlin can perform quantum computations and Merlin can send Arthur quantum information. As in the classical case, messages from Arthur to Merlin are restricted to be strings of uniformly generated random bits. It is proved that for one-message quantum Arthur---Merlin games, which correspond to the complexity class QMA, completeness and soundness errors can be reduced exponentially without increasing the length of Merlin's message. Previous constructions for reducing error required a polynomial increase in the length of Merlin's message. Applications of this fact include a proof that logarithmic length quantum certificates yield no increase in power over BQP and a simple proof that $${\text{QMA}} \subseteq {\text{PP}}.$$ Other facts that are proved include the equivalence of three (or more) message quantum Arthur---Merlin games with ordinary quantum interactive proof systems and some basic properties concerning two-message quantum Arthur---Merlin games.