Quantum SAT for a Qutrit-Cinquit Pair Is QMA1-Complete

  • Authors:
  • Lior Eldar;Oded Regev

  • Affiliations:
  • School of Computer Science, Tel-Aviv University, ;School of Computer Science, Tel-Aviv University,

  • Venue:
  • ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part I
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

We show that the quantum SAT problem is -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.