Matrix Product Density Operators: Renormalization Fixed Points and Boundary Theories

We consider the tensors generating matrix product states and density operators in a spin chain. For pure states, we revise the renormalization procedure introduced by F. Verstraete et al. in 2005 and characterize the tensors corresponding to the fixed points. We relate them to the states possessing zero correlation length, saturation of the area law, as well as to those which generate ground states of local and commuting Hamiltonians. For mixed states, we introduce the concept of renormalization fixed points and characterize the corresponding tensors. We also relate them to concepts like finite correlation length, saturation of the area law, as well as to those which generate Gibbs states of local and commuting Hamiltonians. One of the main result of this work is that the resulting fixed points can be associated to the boundary theories of two-dimensional topological states, through the bulk-boundary correspondence introduced by Cirac et al. in 2011.Comment: 63 pages, Annals of Physics (2016). Accepted versio

Strings, Projected Entangled Pair States, and variational Monte Carlo methods

We introduce string-bond states, a class of states obtained by placing strings of operators on a lattice, which encompasses the relevant states in Quantum Information. For string-bond states, expectation values of local observables can be computed efficiently using Monte Carlo sampling, making them suitable for a variational abgorithm which extends DMRG to higher dimensional and irregular systems. Numerical results demonstrate the applicability of these states to the simulation of many-body sytems.Comment: 4 pages. v2: Submitted version, containing more numerical data. Changed title and renamed "string states" to "string-bond states" to comply with PRL conventions. v3: Accepted version, Journal-Ref. added (title differs from journal

Entanglement spectrum and boundary theories with projected entangled-pair states

In many physical scenarios, close relations between the bulk properties of quantum systems and theories associated to their boundaries have been observed. In this work, we provide an exact duality mapping between the bulk of a quantum spin system and its boundary using Projected Entangled Pair States (PEPS). This duality associates to every region a Hamiltonian on its boundary, in such a way that the entanglement spectrum of the bulk corresponds to the excitation spectrum of the boundary Hamiltonian. We study various specific models, like a deformed AKLT [1], an Ising-type [2], and Kitaev's toric code [3], both in finite ladders and infinite square lattices. In the latter case, some of those models display quantum phase transitions. We find that a gapped bulk phase with local order corresponds to a boundary Hamiltonian with local interactions, whereas critical behavior in the bulk is reflected on a diverging interaction length of the boundary Hamiltonian. Furthermore, topologically ordered states yield non-local Hamiltonians. As our duality also associates a boundary operator to any operator in the bulk, it in fact provides a full holographic framework for the study of quantum many-body systems via their boundary.Comment: 13 pages, 14 figure

Resonating valence bond states in the PEPS formalism

We study resonating valence bond (RVB) states in the Projected Entangled Pair States (PEPS) formalism. Based on symmetries in the PEPS description, we establish relations between the toric code state, the orthogonal dimer state, and the SU(2) singlet RVB state on the kagome lattice: We prove the equivalence of toric code and dimer state, and devise an interpolation between the dimer state and the RVB state. This interpolation corresponds to a continuous path in Hamiltonian space, proving that the RVB state is the four-fold degenerate ground state of a local Hamiltonian on the (finite) kagome lattice. We investigate this interpolation using numerical PEPS methods, studying the decay of correlation functions, the change of overlap, and the entanglement spectrum, none of which exhibits signs of a phase transition.Comment: 11+9 pages, 28 figures. v2: More numerical results, and a few minor improvements. v3: Accepted version (minor changes relative to v2), Journal-Ref adde

Edge theories in Projected Entangled Pair State models

We study the edge physics of gapped quantum systems in the framework of Projected Entangled Pair State (PEPS) models. We show that the effective low-energy model for any region acts on the entanglement degrees of freedom at the boundary, corresponding to physical excitations located at the edge. This allows us to determine the edge Hamiltonian in the vicinity of PEPS models, and we demonstrate that by choosing the appropriate bulk perturbation, the edge Hamiltonian can exhibit a rich phase diagram and phase transitions. While for models in the trivial phase any Hamiltonian can be realized at the edge, we show that for topological models, the edge Hamiltonian is constrained by the topological order in the bulk which can e.g. protect a ferromagnetic Ising chain at the edge against spontaneous symmetry breaking.Comment: 5 pages, 4 figure

Gapless Hamiltonians for the toric code using the PEPS formalism

We study Hamiltonians which have Kitaev's toric code as a ground state, and show how to construct a Hamiltonian which shares the ground space of the toric code, but which has gapless excitations with a continuous spectrum in the thermodynamic limit. Our construction is based on the framework of Projected Entangled Pair States (PEPS), and can be applied to a large class of two-dimensional systems to obtain gapless "uncle Hamiltonians".Comment: 8 pages, 2 figure

Matrix Product State and mean field solutions for one-dimensional systems can be found efficiently

We consider the problem of approximating ground states of one-dimensional quantum systems within the two most common variational ansatzes, namely the mean field ansatz and Matrix Product States. We show that both for mean field and for Matrix Product States of fixed bond dimension, the optimal solutions can be found in a way which is provably efficient (i.e., scales polynomially). This implies that the corresponding variational methods can be in principle recast in a way which scales provably polynomially. Moreover, our findings imply that ground states of one-dimensional commuting Hamiltonians can be found efficiently.Comment: 5 pages; v2: accepted version, Journal-ref adde

Transfer Matrices and Excitations with Matrix Product States

We investigate the relation between static correlation functions in the ground state of local quantum many-body Hamiltonians and the dispersion relations of the corresponding low energy excitations using the formalism of tensor network states. In particular, we show that the Matrix Product State Transfer Matrix (MPS-TM) - a central object in the computation of static correlation functions - provides important information about the location and magnitude of the minima of the low energy dispersion relation(s) and present supporting numerical data for one-dimensional lattice and continuum models as well as two-dimensional lattice models on a cylinder. We elaborate on the peculiar structure of the MPS-TM's eigenspectrum and give several arguments for the close relation between the structure of the low energy spectrum of the system and the form of static correlation functions. Finally, we discuss how the MPS-TM connects to the exact Quantum Transfer Matrix (QTM) of the model at zero temperature. We present a renormalization group argument for obtaining finite bond dimension approximations of MPS, which allows to reinterpret variational MPS techniques (such as the Density Matrix Renormalization Group) as an application of Wilson's Numerical Renormalization Group along the virtual (imaginary time) dimension of the system.Comment: 39 pages (+8 pages appendix), 14 figure

The Bose-Hubbard model is QMA-complete

The Bose-Hubbard model is a system of interacting bosons that live on the vertices of a graph. The particles can move between adjacent vertices and experience a repulsive on-site interaction. The Hamiltonian is determined by a choice of graph that specifies the geometry in which the particles move and interact. We prove that approximating the ground energy of the Bose-Hubbard model on a graph at fixed particle number is QMA-complete. In our QMA-hardness proof, we encode the history of an n-qubit computation in the subspace with at most one particle per site (i.e., hard-core bosons). This feature, along with the well-known mapping between hard-core bosons and spin systems, lets us prove a related result for a class of 2-local Hamiltonians defined by graphs that generalizes the XY model. By avoiding the use of perturbation theory in our analysis, we circumvent the need to multiply terms in the Hamiltonian by large coefficients

Measurement-based quantum computation beyond the one-way model

We introduce novel schemes for quantum computing based on local measurements on entangled resource states. This work elaborates on the framework established in [Phys. Rev. Lett. 98, 220503 (2007), quant-ph/0609149]. Our method makes use of tools from many-body physics - matrix product states, finitely correlated states or projected entangled pairs states - to show how measurements on entangled states can be viewed as processing quantum information. This work hence constitutes an instance where a quantum information problem - how to realize quantum computation - was approached using tools from many-body theory and not vice versa. We give a more detailed description of the setting, and present a large number of new examples. We find novel computational schemes, which differ from the original one-way computer for example in the way the randomness of measurement outcomes is handled. Also, schemes are presented where the logical qubits are no longer strictly localized on the resource state. Notably, we find a great flexibility in the properties of the universal resource states: They may for example exhibit non-vanishing long-range correlation functions or be locally arbitrarily close to a pure state. We discuss variants of Kitaev's toric code states as universal resources, and contrast this with situations where they can be efficiently classically simulated. This framework opens up a way of thinking of tailoring resource states to specific physical systems, such as cold atoms in optical lattices or linear optical systems.Comment: 21 pages, 7 figure