Abstract:Commuting local Hamiltonians provide a testing ground for studying many of the most interesting open questions in quantum information theory, including the quantum PCP conjecture and the existence of area laws. Although they are a simplified model of quantum computation, the status of the commuting local Hamiltonian problem remains largely unknown. A number of works have shown that increasingly expressive families of commuting local Hamiltonians admit completely classical verifiers. Despite intense work, the largest class of commuting local Hamiltonians we can place in NP are those on a square lattice, where each lattice site is a qutrit. Even worse, many of the techniques used to analyze these problems rely heavily on the geometry of the square lattice and the properties of the numbers 2 and 3 as local dimensions. In this work, we present a new technique to analyze the complexity of various families of commuting local Hamiltonians: guided reductions. Intuitively, these are a generalization of typical reduction where the prover provides a guide so that the verifier can construct a simpler Hamiltonian. The core of our reduction is a new rounding technique based on a combination of Jordan's Lemma and the Structure Lemma. Our rounding technique is much more flexible than previous work, and allows us to show that a larger family of commuting local Hamiltonians is in NP, albiet with the restriction that all terms are rank-1. Specifically, we prove the following two results: 1. Commuting local Hamiltonians in 2D that are rank-1 are contained in NP, independent of the qudit dimension. Note that this family of commuting local Hamiltonians has no restriction on the local dimension or the locality. 2. We prove that rank-1, 3D commuting Hamiltonians with qudits on edges are in NP. To our knowledge this is the first time a family of 3D commuting local Hamiltonians has been contained in NP.

Constructing Nearby Commuting Matrices for Reducible Representations of $su(2)$ with an Application to Ogata's Theorem

Constructing Nearby Commuting Matrices for Ogata's Theorem on Macroscopic Observables

On commuting pairs in arbitrary sets of 2x2 matrices

Dual Pairs and Contragredients of Irreducible Representations

Twisted Quantum Affine Superalgebra $U_q[gl(m|n)^{(2)}]$ and New $U_q[osp(m|n)]$ Invariant R-matrices

Commuting Local Hamiltonians Beyond 2D

Special unipotent representations of real classical groups: counting and reduction

Exact Diagonalization of $\mathrm{SU}(N)$ Fermi-Hubbard Models

Almost Commuting Scheme of Symplectic Matrices and Quantum Hamiltonian Reduction

Commuting matrices via commuting endomorphisms

Composing arbitrarily many $SU(N)$ fundamentals

Construction of Basis Vectors For Symmetric Irreducible Representations of O(5) supset O(3)

Deducing the multidimensional Szemeredi Theorem from an infinitary removal lemma

Exact Diagonalization of Fermi-Hubbard Models

Supersymmetric generalization of q-deformed long-range spin chains of Haldane-Shastry type and trigonometric GL(N|M) solution of associative Yang-Baxter equation

Sharp Existence, Symmetry and Asymptotics Results for the Singular $SU(3)$ Toda System with Critical Parameters

A simple counting argument of the irreducible representations of SU(N) on mixed product spaces

Construction of matryoshka nested indecomposable N-replications of Kac-modules of quasi-reductive Lie superalgebras, including the sl(m/n) and osp(2/2n) series

On the algebra generated by three commuting matrices: combinatorial cases

Approximate orthogonality of permutation operators, with application to quantum information