Matrix product operators and central elements: classical description of a quantum state

Abstract

We study planar two-dimensional quantum systems on a lattice whose Hamiltonian is a sum of local commuting projectors of bounded range. We consider whether or not such a system has a zero energy ground state. To do this, we consider the problem as a one-dimensional problem, grouping all sites along a column into “supersites”; using C ‐algebraic methods (Bravyi and Vyalyi [9]), we can solve this problem if we can characterize the central elements of the interaction algebra on these supersite. Unfortunately, these central elements may be very complex, making brute force impractical. Instead, we show a characterization of these elements in terms of matrix product operators with bounded bond dimension. This bound can be interpreted as a bound on the number of particle types in lattice theories with bounded Hilbert space dimension on each site. Topological order in this approach is related to the existence of certain central elements which cannot be “broken” into smaller pieces without creating an end excitation. Using this bound on bond dimension, we prove that several special cases of this problem are in NP, and we give part of a proof that the general case is in NP. Further, we characterize central elements that appear in certain specific models, including toric code and Levin‐Wen models, as either product operators in the Abelian case or matrix product operators with low bond dimension in the non-Abelian case; this matrix product operator representation may have practical application in engineering the complicated multi-spin interactions in the Levin‐Wen models. 81P16 The subject of Hamiltonian complexity theory is devoted to the study of the computational complexity of various problems in quantum many-body physics. A general framework for this problem is as follows. We consider a quantum system whose Hilbert space is the tensor product of N different Hilbert spaces. Each of these N Hilbert spaces is referred to as the Hilbert space of a “site”. We are interested in the case that each site has Hilbert space dimension that is poly.N/ (indeed, in many practical settings it is O.1/). The Hamiltonian will be a sum of at most poly.N/ terms, where each term in the Hamiltonian acting on at most O.1/ sites. Often, a locality condition is imposed on these terms in the Hamiltonian: there is some given graph and each term in the Hamiltonian only acts on a set of sites which has small diameter with respect to