Quantum 2-SAT on low dimensional systems is ${\mathsf{QMA}}_1$-complete: Direct embeddings and black-box simulation

Dorian Rudolph, Sevag Gharibian, Daniel Nagaj

Despite the fundamental role the Quantum Satisfiability (QSAT) problem has played in quantum complexity theory, a central question remains open: At which local dimension does the c…