Quantum 3-SAT is QMA1-complete
Abstract
Quantum satisfiability is a constraint satisfaction problem that generalizes classical boolean satisfiability. In the quantum k-SAT problem, each constraint is specified by a k-local projector and is satisfied by any state in its nullspace. Bravyi showed that quantum 2-SAT can be solved efficiently on a classical computer and that quantum k-SAT with k greater than or equal to 4 is QMA1-complete. Quantum 3-SAT was known to be contained in QMA1, but its computational hardness was unknown until now. We prove that quantum 3-SAT is QMA1-hard, and therefore complete for this complexity class.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2013
- DOI:
- 10.48550/arXiv.1302.0290
- arXiv:
- arXiv:1302.0290
- Bibcode:
- 2013arXiv1302.0290G
- Keywords:
-
- Quantum Physics;
- Computer Science - Computational Complexity
- E-Print:
- 2013 IEEE 54TH annual symposium on Foundations of Computer Science (FOCS 2013), Pages: 756-765 (2013)