Commuting Local Hamiltonians on Expanders, Locally Testable Quantum codes, and the qPCP conjecture
Nelson, Jon, Gottesman, Daniel · arXiv (Cornell University) · 2013
In this work we study a variant of the local Hamiltonian problem where we restrict to Hamiltonians that live on a lattice and are invariant under translations and rotations of the lattice. In the one-dimensional case this problem is known to be QMA_EXP-complete. On the other hand, if we fix the lattice length then in the high-dimensional limit the ground state becomes unentangled due to arguments from mean-field theory. We take steps towards understanding this complexity spectrum by studying a problem that is intermediate between these two extremes. Namely, we consider the regime where the lattice dimension is arbitrary but fixed and the lattice length is scaled. We prove that this rotation-invariant Hamiltonian problem is QMA_EXP-complete answering an open question of [Gottesman and Irani, 2013]. This characterizes a broad parameter range in which these rotation-invariant Hamiltonians have high computational complexity.