Projected Entangled Pair States: Fundamental Analytical and Numerical Limitations

Matrix product states and projected entangled pair states (PEPS) are powerful analytical and numerical tools to assess quantum many-body systems in one and higher dimensions, respectively. While matrix product states are comprehensively understood, in PEPS fundamental questions, relevant analytically as well as numerically, remain open, such as how to encode symmetries in full generality, or how to stabilize numerical methods using canonical forms. Here, we show that these key problems, as well as a number of related questions, are algorithmically undecidable, that is, they cannot be fully resolved in a systematic way. Our work thereby exposes fundamental limitations to a full and unbiased understanding of quantum many-body systems using PEPS.

Shadows of anyons and the entanglement structure of topological phases

The low-temperature dynamics of quantum systems are dominated by the low-energy eigenstates. For two-dimensional systems in particular, exotic phenomena such as topological order and anyon excitations can emerge. While a complete low-energy description of strongly correlated systems is hard to obtain, essential information about the elementary excitations is encoded in the eigenvalue structure of the quantum transfer matrix. Here we study the transfer matrix of topological quantum systems using the tensor network formalism and demonstrate that topological quantum order requires a particular type of 'symmetry breaking' for the fixed point subspace. We also relate physical anyon excitations to domain-wall excitations at the level of the transfer matrix. This formalism enables us to determine the structure of the topological sectors in two-dimensional gapped phases very efficiently, therefore opening novel avenues for studying fundamental questions related to anyon condensation and confinement.

Edge theories in projected entangled pair state models

We analyze the low energy excitations of spin lattice systems in two dimensions at zero temperature within the framework of projected entangled pair state models. Perturbations in the bulk give rise to physical excitations located at the edge. We identify the corresponding degrees of freedom, give a procedure to derive the edge Hamiltonian, and illustrate that it can exhibit a rich phase diagram. For topological models, the edge Hamiltonian is constrained by the topological order in the bulk, which gives rise to one-dimensional edge models with unconventional properties; for instance, a topologically ordered bulk can protect a ferromagnetic Ising chain at the edge against spontaneous symmetry breaking.

Projected entangled-pair states can describe chiral topological states

We show that projected entangled-pair states (PEPS) in two spatial dimensions can describe chiral topological states by explicitly constructing a family of such states with a nontrivial Chern number. They are ground states of two different kinds of free-fermion Hamiltonians: (i) local and gapless; (ii) gapped, but with hopping amplitudes that decay according to a power law. We derive general conditions on topological free-fermionic projected entangled-pair states that show that they cannot correspond to exact ground states of gapped, local parent Hamiltonians and provide numerical evidence demonstrating that they can nevertheless approximate well the physical properties of topological insulators with local Hamiltonians at arbitrary temperatures.

Nonlocal resources in the presence of superselection rules

Superselection rules severely alter the possible operations that can be implemented on a distributed quantum system. Whereas the restriction to local operations imposed by a bipartite setting gives rise to the notion of entanglement as a nonlocal resource, the superselection rule associated with particle number conservation leads to a new resource, the superselection induced variance of the local particle number. We show that, in the case of pure quantum states, one can quantify the nonlocal properties by only two additive measures, and that all states with the same measures can be asymptotically interconverted into each other by local operations and classical communication. Furthermore we discuss how superselection rules affect the concepts of majorization, teleportation, and mixed state entanglement.