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.

Rank Reduction for the Local Consistency Problem

32 35 v 2 [ qu an tph ] 9 F eb 2 01 2 Rank Reduction for the Local Consistency Problem

Local unitary equivalent consistence for n-party states and their (n-1)-party reduced density matrices

The Quantum Marginal Problem

Relativistic Consistency of Nonlocal Quantum Correlations

Commuting Local Hamiltonians Beyond 2D

Operational Interpretation of the Choi Rank Through k-State Exclusion

Rank lower bounds on non-local quantum computation

Entanglement distillation in terms of Schmidt rank and matrix rank

Minimax estimation of low-rank quantum states and their linear functionals

Rank-uniform local law for Wigner matrices

Reduction Theorems for Optimal Unambiguous State Discrimination of Density Matrices

Measurements conspire nonlocally to restructure critical quantum states

Low-rank approximation to entangled multipartite quantum systems

Local Correlations of Mixed Two-Qubit States

On the Complexity of Pure-State Consistency of Local Density Matrices

Bounds on the smallest sets of quantum states with special quantum nonlocality

Volume of the set of LOCC-convertible quantum states

Completable sets of orthogonal product states with minimal nonlocality

The Schmidt Rank for the Commuting Operator Framework

Minimal qubit representations of Hamiltonians via conserved charges