@inproceedings{ad4f29c4ec1c4ed98618a9e141706c7e,
title = "Quantum SAT for a qutrit-cinquit pair is QMA1-complete",
abstract = "We show that the quantum SAT problem is QMA1-complete when restricted to interactions between a three-dimensional particle and a five-dimensional particle. The best previously known result is for particles of dimensions 4 and 9. The main novel ingredient of our proof is a certain Hamiltonian construction named the Triangle Hamiltonian. It allows to verify the application of a 2-qubit CNOT gate without generating explicitly interactions between pairs of workspace qubits. We believe this construction may contribute to progress in other Hamiltonian-related problems as well as in adiabatic computation.",
author = "Lior Eldar and Oded Regev",
year = "2008",
doi = "10.1007/978-3-540-70575-8_72",
language = "English (US)",
isbn = "3540705740",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
number = "PART 1",
pages = "881--892",
booktitle = "Automata, Languages and Programming - 35th International Colloquium, ICALP 2008, Proceedings",
edition = "PART 1",
note = "35th International Colloquium on Automata, Languages and Programming, ICALP 2008 ; Conference date: 07-07-2008 Through 11-07-2008",
}