On QMA Protocols with Two Short Quantum Proofs
Francois Le Gall, Shota Nakagawa, Harumichi Nishimura
TL;DR
This paper presents a QMA protocol for 3-SAT using two short, unentangled quantum proofs, achieving a significantly improved completeness-soundness gap over previous methods for NP-complete problems.
Contribution
It introduces a novel QMA protocol with two logarithmic-size proofs and a large gap, advancing the understanding of quantum proof systems for NP-complete problems.
Findings
Achieves a gap of Omega(1/n polylog(n)) in the QMA protocol.
Uses two short, unentangled quantum proofs.
Improves previous completeness-soundness bounds for NP-complete problems.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.