On QMA Protocols with Two Short Quantum Proofs
Quantum Physics
2021-10-05 v2 Computational Complexity
Abstract
This paper gives a QMA (Quantum Merlin-Arthur) protocol for 3-SAT with two logarithmic-size quantum proofs (that are not entangled with each other) such that the gap between the completeness and the soundness is Omega(1/n polylog(n)). This improves the best completeness/soundness gaps known for NP-complete problems in this setting.
Cite
@article{arxiv.1108.4306,
title = {On QMA Protocols with Two Short Quantum Proofs},
author = {Francois Le Gall and Shota Nakagawa and Harumichi Nishimura},
journal= {arXiv preprint arXiv:1108.4306},
year = {2021}
}
Comments
12pages