License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.TQC.2018.2
URN: urn:nbn:de:0030-drops-92498
URL: http://drops.dagstuhl.de/opus/volltexte/2018/9249/
Go to the corresponding LIPIcs Volume Portal


Aharonov, Dorit ; Kenneth, Oded ; Vigdorovich, Itamar

On the Complexity of Two Dimensional Commuting Local Hamiltonians

pdf-format:
LIPIcs-TQC-2018-2.pdf (1 MB)


Abstract

The complexity of the commuting local Hamiltonians (CLH) problem still remains a mystery after two decades of research of quantum Hamiltonian complexity; it is only known to be contained in NP for few low parameters. Of particular interest is the tightly related question of understanding whether groundstates of CLHs can be generated by efficient quantum circuits. The two problems touch upon conceptual, physical and computational questions, including the centrality of non-commutation in quantum mechanics, quantum PCP and the area law. It is natural to try to address first the more physical case of CLHs embedded on a 2D lattice, but this problem too remained open apart from some very specific cases [Aharonov and Eldar, 2011; Hastings, 2012; Schuch, 2011]. Here we consider a wide class of two dimensional CLH instances; these are k-local CLHs, for any constant k; they are defined on qubits set on the edges of any surface complex, where we require that this surface complex is not too far from being "Euclidean". Each vertex and each face can be associated with an arbitrary term (as long as the terms commute). We show that this class is in NP, and moreover that the groundstates have an efficient quantum circuit that prepares them. This result subsumes that of Schuch [Schuch, 2011] which regarded the special case of 4-local Hamiltonians on a grid with qubits, and by that it removes the mysterious feature of Schuch's proof which showed containment in NP without providing a quantum circuit for the groundstate and considerably generalizes it. We believe this work and the tools we develop make a significant step towards showing that 2D CLHs are in NP.

BibTeX - Entry

@InProceedings{aharonov_et_al:LIPIcs:2018:9249,
  author =	{Dorit Aharonov and Oded Kenneth and Itamar Vigdorovich},
  title =	{{On the Complexity of Two Dimensional Commuting Local Hamiltonians}},
  booktitle =	{13th Conference on the Theory of Quantum Computation,  Communication and Cryptography (TQC 2018)},
  pages =	{2:1--2:21},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-080-4},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{111},
  editor =	{Stacey Jeffery},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2018/9249},
  URN =		{urn:nbn:de:0030-drops-92498},
  doi =		{10.4230/LIPIcs.TQC.2018.2},
  annote =	{Keywords: local Hamiltonian complexity, commuting Hamiltonians, local Hamiltonian problem, trivial states, toric code, ground states, quantum NP, QMA, topologic}
}

Keywords: local Hamiltonian complexity, commuting Hamiltonians, local Hamiltonian problem, trivial states, toric code, ground states, quantum NP, QMA, topologic
Seminar: 13th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2018)
Issue Date: 2018
Date of publication: 11.07.2018


DROPS-Home | Imprint | Privacy Published by LZI