On the power of quantum proofs

Ran Raz*, Amir Shpilka

*Corresponding author for this work

Research output: Contribution to journalConference articlepeer-review


The power of quantum proofs in two well studied models of quantum computation was discussed. The main results were obtained for the communication complexity model. A very simple proof for the exponential separation between quantum Merlin-Arthur (QMA) black box complexity and MA block complexity was obtained. Lower bounds for the QMA black box complexity of several functions is proved.

Original languageEnglish
Pages (from-to)260-274
Number of pages15
JournalProceedings of the Annual IEEE Conference on Computational Complexity
StatePublished - 2004
Externally publishedYes
EventProceedings - 19th IEEE Annual Conference on Computational Complexity - Amherst, MA, United States
Duration: 21 Jun 200424 Jun 2004


Dive into the research topics of 'On the power of quantum proofs'. Together they form a unique fingerprint.

Cite this