Showing 1–50 of 57 results for author: Pérez-García, D

Spectral Gap Bounds for Quantum Markov Semigroups via Correlation Decay

Authors: Angelo Lucia, David Pérez-García, Antonio Pérez-Hernández

Abstract: Starting from an arbitrary full-rank state of a lattice quantum spin system, we define a "canonical purified Hamiltonian" and characterize its spectral gap in terms of a spatial mixing condition (or correlation decay) of the state. When the state considered is a Gibbs state of a local, commuting Hamiltonian at positive temperature, we show that the spectral gap of the canonical purified Hamiltonia… ▽ More Starting from an arbitrary full-rank state of a lattice quantum spin system, we define a "canonical purified Hamiltonian" and characterize its spectral gap in terms of a spatial mixing condition (or correlation decay) of the state. When the state considered is a Gibbs state of a local, commuting Hamiltonian at positive temperature, we show that the spectral gap of the canonical purified Hamiltonian provides a lower bound to the spectral gap of a large class of reversible generators of quantum Markov semigroup, including local and ergodic Davies generators. As an application of our construction, we show that the mixing condition is always satisfied for any finite-range 1D model, as well as by Kitaev's quantum double models. △ Less

Submitted 13 May, 2025; originally announced May 2025.

Comments: 67 pages, 6 figures

Simple Hamiltonians for Matrix Product State models

Authors: Norbert Schuch, Andras Molnar, David Perez-Garcia

Abstract: Matrix Product States (MPS) and Tensor Networks provide a general framework for the construction of solvable models. The best-known example is the Affleck-Kennedy-Lieb-Tasaki (AKLT) model, which is the ground state of a 2-body nearest-neighbor parent Hamiltonian. We show that such simple parent Hamiltonians for MPS models are, in fact, much more prevalent than hitherto known: The existence of a si… ▽ More Matrix Product States (MPS) and Tensor Networks provide a general framework for the construction of solvable models. The best-known example is the Affleck-Kennedy-Lieb-Tasaki (AKLT) model, which is the ground state of a 2-body nearest-neighbor parent Hamiltonian. We show that such simple parent Hamiltonians for MPS models are, in fact, much more prevalent than hitherto known: The existence of a single example with a simple Hamiltonian for a given choice of dimensions already implies that any generic MPS with those dimensions possesses an equally simple Hamiltonian. We illustrate our finding by discussing a number of models with nearest-neighbor parent Hamiltonians, which generalize the AKLT model on various levels. △ Less

Submitted 13 March, 2025; originally announced March 2025.

Parent Lindbladians for Matrix Product Density Operators

Authors: Yuhan Liu, Alberto Ruiz-de-Alarcón, Georgios Styliaris, Xiao-Qi Sun, David Pérez-García, J. Ignacio Cirac

Abstract: Understanding quantum phases of matter is a fundamental goal in physics. For pure states, the representatives of phases are the ground states of locally interacting Hamiltonians, which are also renormalization fixed points (RFPs). These RFP states are exactly described by tensor networks. Extending this framework to mixed states, matrix product density operators (MPDOs) which are RFPs are believed… ▽ More Understanding quantum phases of matter is a fundamental goal in physics. For pure states, the representatives of phases are the ground states of locally interacting Hamiltonians, which are also renormalization fixed points (RFPs). These RFP states are exactly described by tensor networks. Extending this framework to mixed states, matrix product density operators (MPDOs) which are RFPs are believed to encapsulate mixed-state phases of matter in one dimension. However, it remains an open question whether, by analogy, such MPDO RFPs can be realized as steady states of local Lindbladians. In this work, we resolve this question by analytically constructing parent Lindbladians for MPDO RFPs. These Lindbladians are local, frustration-free, and exhibit minimal steady-state degeneracy. Interestingly, we find that parent Lindbladians possess a rich structure, including non-commutativity for certain classes of RFPs, distinguishing them from their Hamiltonian counterparts. △ Less

Submitted 17 January, 2025; originally announced January 2025.

Comments: 37 pages

The product structure of MPS-under-permutations

Authors: Marta Florido-Llinàs, Álvaro M. Alhambra, Rahul Trivedi, Norbert Schuch, David Pérez-García, J. Ignacio Cirac

Abstract: Tensor network methods have proved to be highly effective in addressing a wide variety of physical scenarios, including those lacking an intrinsic one-dimensional geometry. In such contexts, it is possible for the problem to exhibit a weak form of permutational symmetry, in the sense that entanglement behaves similarly across any arbitrary bipartition. In this paper, we show that translationally-i… ▽ More Tensor network methods have proved to be highly effective in addressing a wide variety of physical scenarios, including those lacking an intrinsic one-dimensional geometry. In such contexts, it is possible for the problem to exhibit a weak form of permutational symmetry, in the sense that entanglement behaves similarly across any arbitrary bipartition. In this paper, we show that translationally-invariant (TI) matrix product states (MPS) with this property are trivial, meaning that they are either product states or superpositions of a few of them. The results also apply to non-TI generic MPS, as well as further relevant examples of MPS including the W state and the Dicke states in an approximate sense. Our findings motivate the usage of ansätze simpler than tensor networks in systems whose structure is invariant under permutations. △ Less

Submitted 25 October, 2024; originally announced October 2024.

Comments: 15 pages

Undecidability in Physics: a Review

Authors: Álvaro Perales-Eceiza, Toby Cubitt, Mile Gu, David Pérez-García, Michael M. Wolf

Abstract: The study of undecidability in problems arising from physics has experienced a renewed interest, mainly in connection with quantum information problems. The goal of this review is to survey this recent development. After a historical introduction, we first explain the necessary results about undecidability in mathematics and computer science. Then we briefly review the first results about undecida… ▽ More The study of undecidability in problems arising from physics has experienced a renewed interest, mainly in connection with quantum information problems. The goal of this review is to survey this recent development. After a historical introduction, we first explain the necessary results about undecidability in mathematics and computer science. Then we briefly review the first results about undecidability in physics which emerged mostly in the 80s and early 90s. Finally we focus on the most recent contributions, which we divide in two main categories: many body systems and quantum information problems. △ Less

Submitted 21 October, 2024; originally announced October 2024.

Comments: 77 pages, v1

Matrix-product unitaries: Beyond quantum cellular automata

Authors: Georgios Styliaris, Rahul Trivedi, David Pérez-García, J. Ignacio Cirac

Abstract: Matrix-product unitaries (MPU) are 1D tensor networks describing time evolution and unitary symmetries of quantum systems, while their action on states by construction preserves the entanglement area law. MPU which are formed by a single repeated tensor are known to coincide with 1D quantum cellular automata (QCA), i.e., unitaries with an exact light cone. However, this correspondence breaks down… ▽ More Matrix-product unitaries (MPU) are 1D tensor networks describing time evolution and unitary symmetries of quantum systems, while their action on states by construction preserves the entanglement area law. MPU which are formed by a single repeated tensor are known to coincide with 1D quantum cellular automata (QCA), i.e., unitaries with an exact light cone. However, this correspondence breaks down for MPU with open boundary conditions, even if the resulting operator is translation-invariant. Such unitaries can turn short- to long-range correlations and thus alter the underlying phase of matter. Here we make the first steps towards a theory of MPU with uniform bulk but arbitrary boundary. In particular, we study the structure of a subclass with a direct-sum form which maximally violates the QCA property. We also consider the general case of MPU formed by site-dependent (nonuniform) tensors and show a correspondence between MPU and locally maximally entanglable states. △ Less

Submitted 20 February, 2025; v1 submitted 14 June, 2024; originally announced June 2024.

Comments: Accepted for publication in Quantum

Journal ref: Quantum 9, 1645 (2025)

Hawking-Page transition on a spin chain

Authors: David Pérez-García, Leonardo Santilli, Miguel Tierz

Abstract: The accessibility of the Hawking-Page transition in AdS$_5$ through a 1d Heisenberg spin chain is demonstrated. We use the random matrix formulation of the Loschmidt echo for a set of spin chains, and randomize the ferromagnetic spin interaction. It is shown that the thermal Loschmidt echo, when averaged, detects the predicted increase in entropy across the Hawking-Page transition. This suggests t… ▽ More The accessibility of the Hawking-Page transition in AdS$_5$ through a 1d Heisenberg spin chain is demonstrated. We use the random matrix formulation of the Loschmidt echo for a set of spin chains, and randomize the ferromagnetic spin interaction. It is shown that the thermal Loschmidt echo, when averaged, detects the predicted increase in entropy across the Hawking-Page transition. This suggests that a 1d spin chain exhibits characteristics of black hole physics in 4+1 dimensions. We show that this approach is equally applicable to free fermion systems with a general dispersion relation. △ Less

Submitted 12 June, 2024; v1 submitted 25 January, 2024; originally announced January 2024.

Comments: 5+13 pages, 2+3 figures. v2: minor improvements, references added, published version

Journal ref: Phys. Rev. Research 6, 033007 (2024)

TensorKrowch: Smooth integration of tensor networks in machine learning

Authors: José Ramón Pareja Monturiol, David Pérez-García, Alejandro Pozas-Kerstjens

Abstract: Tensor networks are factorizations of high-dimensional tensors into networks of smaller tensors. They have applications in physics and mathematics, and recently have been proposed as promising machine learning architectures. To ease the integration of tensor networks in machine learning pipelines, we introduce TensorKrowch, an open source Python library built on top of PyTorch. Providing a user-fr… ▽ More Tensor networks are factorizations of high-dimensional tensors into networks of smaller tensors. They have applications in physics and mathematics, and recently have been proposed as promising machine learning architectures. To ease the integration of tensor networks in machine learning pipelines, we introduce TensorKrowch, an open source Python library built on top of PyTorch. Providing a user-friendly interface, TensorKrowch allows users to construct any tensor network, train it, and integrate it as a layer in more intricate deep learning models. In this paper, we describe the main functionality and basic usage of TensorKrowch, and provide technical details on its building blocks and the optimizations performed to achieve efficient operation. △ Less

Submitted 31 May, 2024; v1 submitted 14 June, 2023; originally announced June 2023.

Comments: 20 pages, 2 figures. The TensorKrowch GitHub repository is in https://github.com/joserapa98/tensorkrowch and the TensorKrowch documentation is in https://joserapa98.github.io/tensorkrowch. V3: Accepted version, corrected acknowledgments

Journal ref: Quantum 8, 1364 (2024)

The minimal canonical form of a tensor network

Authors: Arturo Acuaviva, Visu Makam, Harold Nieuwboer, David Pérez-García, Friedrich Sittner, Michael Walter, Freek Witteveen

Abstract: Tensor networks have a gauge degree of freedom on the virtual degrees of freedom that are contracted. A canonical form is a choice of fixing this degree of freedom. For matrix product states, choosing a canonical form is a powerful tool, both for theoretical and numerical purposes. On the other hand, for tensor networks in dimension two or greater there is only limited understanding of the gauge s… ▽ More Tensor networks have a gauge degree of freedom on the virtual degrees of freedom that are contracted. A canonical form is a choice of fixing this degree of freedom. For matrix product states, choosing a canonical form is a powerful tool, both for theoretical and numerical purposes. On the other hand, for tensor networks in dimension two or greater there is only limited understanding of the gauge symmetry. Here we introduce a new canonical form, the minimal canonical form, which applies to projected entangled pair states (PEPS) in any dimension, and prove a corresponding fundamental theorem. Already for matrix product states this gives a new canonical form, while in higher dimensions it is the first rigorous definition of a canonical form valid for any choice of tensor. We show that two tensors have the same minimal canonical forms if and only if they are gauge equivalent up to taking limits; moreover, this is the case if and only if they give the same quantum state for any geometry. In particular, this implies that the latter problem is decidable - in contrast to the well-known undecidability for PEPS on grids. We also provide rigorous algorithms for computing minimal canonical forms. To achieve this we draw on geometric invariant theory and recent progress in theoretical computer science in non-commutative group optimization. △ Less

Submitted 28 September, 2022; originally announced September 2022.

Comments: 51 pages, more than 8 figures

Journal ref: 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS 2023)

Dynamical quantum phase transitions from random matrix theory

Authors: David Pérez-García, Leonardo Santilli, Miguel Tierz

Abstract: We uncover a novel dynamical quantum phase transition, using random matrix theory and its associated notion of planar limit. We study it for the isotropic XY Heisenberg spin chain. For this, we probe its real-time dynamics through the Loschmidt echo. This leads to the study of a random matrix ensemble with a complex weight, whose analysis requires novel technical considerations, that we develop. W… ▽ More We uncover a novel dynamical quantum phase transition, using random matrix theory and its associated notion of planar limit. We study it for the isotropic XY Heisenberg spin chain. For this, we probe its real-time dynamics through the Loschmidt echo. This leads to the study of a random matrix ensemble with a complex weight, whose analysis requires novel technical considerations, that we develop. We obtain three main results: 1) There is a third order phase transition at a rescaled critical time, that we determine. 2) The third order phase transition persists away from the thermodynamic limit. 3) For times below the critical value, the difference between the thermodynamic limit and a finite chain decreases exponentially with the system size. All these results depend in a rich manner on the parity of the number of flipped spins of the quantum state conforming the fidelity. △ Less

Submitted 26 February, 2024; v1 submitted 2 August, 2022; originally announced August 2022.

Comments: v2: 60 pages, 18 figures, published version

Journal ref: Quantum 8, 1271 (2024)

Matrix Product Operator Algebras II: Phases of Matter for 1D Mixed States

Authors: Alberto Ruiz-de-Alarcón, José Garre-Rubio, András Molnár, David Pérez-García

Abstract: The classification of topological phases of matter is fundamental to understand and characterize the properties of quantum materials. In this paper we study phases of matter in one-dimensional open quantum systems. We define two mixed states to be in the same phase if both states can be transformed into the other by a shallow circuit of local quantum channels. We aim to understand the phase diagra… ▽ More The classification of topological phases of matter is fundamental to understand and characterize the properties of quantum materials. In this paper we study phases of matter in one-dimensional open quantum systems. We define two mixed states to be in the same phase if both states can be transformed into the other by a shallow circuit of local quantum channels. We aim to understand the phase diagram of matrix product density operators that are renormalization fixed points. These states arise, for example, as boundaries of two-dimensional topologically ordered states. We first construct families of such states based on C*-weak Hopf algebras, the algebras whose representations form a fusion category. More concretely, we provide explicit local fine-graining and local coarse-graining quantum channels for the renormalization procedure of these states. Finally, we prove that those arising from C*-Hopf algebras are in the trivial phase. △ Less

Submitted 8 September, 2022; v1 submitted 13 April, 2022; originally announced April 2022.

Journal ref: Lett Math Phys 114, 43 (2024)

Matrix product operator algebras I: representations of weak Hopf algebras and projected entangled pair states

Authors: Andras Molnar, Alberto Ruiz de Alarcón, José Garre-Rubio, Norbert Schuch, J. Ignacio Cirac, David Pérez-García

Abstract: Matrix Product Operators (MPOs) are tensor networks representing operators acting on 1D systems. They model a wide variety of situations, including communication channels with memory effects, quantum cellular automata, mixed states in 1D quantum systems, or holographic boundary models associated to 2D quantum systems. A scenario where MPOs have proven particularly useful is to represent algebras o… ▽ More Matrix Product Operators (MPOs) are tensor networks representing operators acting on 1D systems. They model a wide variety of situations, including communication channels with memory effects, quantum cellular automata, mixed states in 1D quantum systems, or holographic boundary models associated to 2D quantum systems. A scenario where MPOs have proven particularly useful is to represent algebras of non-trivial symmetries. Concretely, the boundary of both symmetry protected and topologically ordered phases in 2D quantum systems exhibit symmetries in the form of MPOs. In this paper, we develop a theory of MPOs as representations of algebraic structures. We establish a dictionary between algebra and MPO properties which allows to transfer results between both setups, covering the cases of pre-bialgebras, weak bialgebras, and weak Hopf algebras. We define the notion of pulling-through algebras, which abstracts the minimal requirements needed to define topologically ordered 2D tensor networks from MPO algebras. We show, as one of our main results, that any semisimple pivotal weak Hopf algebra is a pulling-trough algebra. We demonstrate the power of this framework by showing that they can be used to construct Kitaev's quantum double models for Hopf algebras solely from an MPO representation of the Hopf algebra, in the exact same way as MPO symmetries obtained from fusion categories can be used to construct Levin-Wen string-net models, and to explain all their topological features; it thus allows to describe both Kitaev and string-net models on the same formal footing. △ Less

Submitted 29 June, 2022; v1 submitted 12 April, 2022; originally announced April 2022.

Privacy-preserving machine learning with tensor networks

Authors: Alejandro Pozas-Kerstjens, Senaida Hernández-Santana, José Ramón Pareja Monturiol, Marco Castrillón López, Giannicola Scarpa, Carlos E. González-Guillén, David Pérez-García

Abstract: Tensor networks, widely used for providing efficient representations of low-energy states of local quantum many-body systems, have been recently proposed as machine learning architectures which could present advantages with respect to traditional ones. In this work we show that tensor network architectures have especially prospective properties for privacy-preserving machine learning, which is imp… ▽ More Tensor networks, widely used for providing efficient representations of low-energy states of local quantum many-body systems, have been recently proposed as machine learning architectures which could present advantages with respect to traditional ones. In this work we show that tensor network architectures have especially prospective properties for privacy-preserving machine learning, which is important in tasks such as the processing of medical records. First, we describe a new privacy vulnerability that is present in feedforward neural networks, illustrating it in synthetic and real-world datasets. Then, we develop well-defined conditions to guarantee robustness to such vulnerability, which involve the characterization of models equivalent under gauge symmetry. We rigorously prove that such conditions are satisfied by tensor-network architectures. In doing so, we define a novel canonical form for matrix product states, which has a high degree of regularity and fixes the residual gauge that is left in the canonical forms based on singular value decompositions. We supplement the analytical findings with practical examples where matrix product states are trained on datasets of medical records, which show large reductions on the probability of an attacker extracting information about the training dataset from the model's parameters. Given the growing expertise in training tensor-network architectures, these results imply that one may not have to be forced to make a choice between accuracy in prediction and ensuring the privacy of the information processed. △ Less

Submitted 23 July, 2024; v1 submitted 24 February, 2022; originally announced February 2022.

Comments: 16 pages, 2 figures. Quantumarticle 6.1. The computational appendix is available at https://www.github.com/apozas/private-tn V3: Published version

Journal ref: Quantum 8, 1425 (2024)

Entropy decay for Davies semigroups of a one dimensional quantum lattice

Authors: Ivan Bardet, Ángela Capel, Li Gao, Angelo Lucia, David Pérez-García, Cambyse Rouzé

Abstract: Given a finite-range, translation-invariant commuting system Hamiltonians on a spin chain, we show that the Davies semigroup describing the reduced dynamics resulting from the joint Hamiltonian evolution of a spin chain weakly coupled to a large heat bath thermalizes rapidly at any temperature. More precisely, we prove that the relative entropy between any evolved state and the equilibrium Gibbs s… ▽ More Given a finite-range, translation-invariant commuting system Hamiltonians on a spin chain, we show that the Davies semigroup describing the reduced dynamics resulting from the joint Hamiltonian evolution of a spin chain weakly coupled to a large heat bath thermalizes rapidly at any temperature. More precisely, we prove that the relative entropy between any evolved state and the equilibrium Gibbs state contracts exponentially fast with an exponent that scales logarithmically with the length of the chain. Our theorem extends a seminal result of Holley and Stroock to the quantum setting, up to a logarithmic overhead, as well as provides an exponential improvement over the non-closure of the gap proved by Brandao and Kastoryano. This has wide-ranging applications to the study of many-body in and out-of-equilibrium quantum systems. Our proof relies upon a recently derived strong decay of correlations for Gibbs states of one dimensional, translation-invariant local Hamiltonians, and tools from the theory of operator spaces. △ Less

Submitted 1 December, 2021; originally announced December 2021.

Comments: 44 pages, 6 figures

Journal ref: Commun. Math. Phys. 405, 42 (2024)

Rapid thermalization of spin chain commuting Hamiltonians

Authors: Ivan Bardet, Ángela Capel, Li Gao, Angelo Lucia, David Pérez-García, Cambyse Rouzé

Abstract: We prove that spin chains weakly coupled to a large heat bath thermalize rapidly at any temperature for finite-range, translation-invariant commuting Hamiltonians, reaching equilibrium in a time which scales logarithmically with the system size. Our main result is a generalization to the quantum setting of a seminal result of Holley and Stroock for classical spin chains and represents an exponenti… ▽ More We prove that spin chains weakly coupled to a large heat bath thermalize rapidly at any temperature for finite-range, translation-invariant commuting Hamiltonians, reaching equilibrium in a time which scales logarithmically with the system size. Our main result is a generalization to the quantum setting of a seminal result of Holley and Stroock for classical spin chains and represents an exponential improvement over bounds based on the non-closure of the spectral gap. From a physical point of view, our result rigorously establishes the absence of dissipative phase transition for Davies evolutions over translation-invariant spin chains. The result also applies in the case of Symmetry Protected Topological phases where the evolution is respecting the symmetry of the phase. This has wide-ranging applications to the study of many-body in and out-of-equilibrium quantum systems. △ Less

Submitted 11 January, 2022; v1 submitted 1 December, 2021; originally announced December 2021.

Comments: 5 pages + 3 pages, 3 figures

Journal ref: Phys. Rev. Lett. 130, 060401 (2023)

Matrix Product States and Projected Entangled Pair States: Concepts, Symmetries, and Theorems

Authors: Ignacio Cirac, David Perez-Garcia, Norbert Schuch, Frank Verstraete

Abstract: The theory of entanglement provides a fundamentally new language for describing interactions and correlations in many body systems. Its vocabulary consists of qubits and entangled pairs, and the syntax is provided by tensor networks. We review how matrix product states and projected entangled pair states describe many-body wavefunctions in terms of local tensors. These tensors express how the enta… ▽ More The theory of entanglement provides a fundamentally new language for describing interactions and correlations in many body systems. Its vocabulary consists of qubits and entangled pairs, and the syntax is provided by tensor networks. We review how matrix product states and projected entangled pair states describe many-body wavefunctions in terms of local tensors. These tensors express how the entanglement is routed, act as a novel type of non-local order parameter, and we describe how their symmetries are reflections of the global entanglement patterns in the full system. We will discuss how tensor networks enable the construction of real-space renormalization group flows and fixed points, and examine the entanglement structure of states exhibiting topological quantum order. Finally, we provide a summary of the mathematical results of matrix product states and projected entangled pair states, highlighting the fundamental theorem of matrix product vectors and its applications. △ Less

Submitted 9 August, 2021; v1 submitted 24 November, 2020; originally announced November 2020.

Comments: Review article. 72 pages

Journal ref: Rev. Mod. Phys. 93, 045003 (2021)

On the modified logarithmic Sobolev inequality for the heat-bath dynamics for 1D systems

Authors: Ivan Bardet, Angela Capel, Angelo Lucia, David Pérez-García, Cambyse Rouzé

Abstract: The mixing time of Markovian dissipative evolutions of open quantum many-body systems can be bounded using optimal constants of certain quantum functional inequalities, such as the modified logarithmic Sobolev constant. For classical spin systems, the positivity of such constants follows from a mixing condition for the Gibbs measure, via quasi-factorization results for the entropy. Inspired by t… ▽ More The mixing time of Markovian dissipative evolutions of open quantum many-body systems can be bounded using optimal constants of certain quantum functional inequalities, such as the modified logarithmic Sobolev constant. For classical spin systems, the positivity of such constants follows from a mixing condition for the Gibbs measure, via quasi-factorization results for the entropy. Inspired by the classical case, we present a strategy to derive the positivity of the modified logarithmic Sobolev constant associated to the dynamics of certain quantum systems from some clustering conditions on the Gibbs state of a local, commuting Hamiltonian. In particular we show that for the heat-bath dynamics for 1D systems, the modified logarithmic Sobolev constant is positive under the assumptions of a mixing condition on the Gibbs state and a strong quasi-factorization of the relative entropy. △ Less

Submitted 15 June, 2021; v1 submitted 23 August, 2019; originally announced August 2019.

Comments: 28 pages, 4 figures. Included some additional comments and updated results in light of recent advances in the literature

Journal ref: Journal of Mathematical Physics 62 (6), 061901 (2021)

Correlation length in random MPS and PEPS

Authors: Cécilia Lancien, David Pérez-García

Abstract: Tensor network states are used extensively as a mathematically convenient description of physically relevant states of many-body quantum systems. Those built on regular lattices, i.e. matrix product states (MPS) in dimension 1 and projected entangled pair states (PEPS) in dimension 2 or higher, are of particular interest in condensed matter physics. The general goal of this work is to characterize… ▽ More Tensor network states are used extensively as a mathematically convenient description of physically relevant states of many-body quantum systems. Those built on regular lattices, i.e. matrix product states (MPS) in dimension 1 and projected entangled pair states (PEPS) in dimension 2 or higher, are of particular interest in condensed matter physics. The general goal of this work is to characterize which features of MPS and PEPS are generic and which are, on the contrary, exceptional. This problem can be rephrased as follows: given an MPS or PEPS sampled at random, what are the features that it displays with either high or low probability? One property which we are particularly interested in is that of having either rapidly decaying or long-range correlations. In a nutshell, our main result is that translation-invariant MPS and PEPS typically exhibit exponential decay of correlations at a high rate. We have two distinct ways of getting to this conclusion, depending on the dimensional regime under consideration. Both yield intermediate results which are of independent interest, namely: the parent Hamiltonian and the transfer operator of such MPS and PEPS typically have a large spectral gap. In all these statements, our aim is to get a quantitative estimate of the considered quantity (generic correlation length or spectral gap), which has the best possible dependency on the physical and bond dimensions of the random MPS or PEPS. △ Less

Submitted 6 September, 2021; v1 submitted 27 June, 2019; originally announced June 2019.

Comments: 53 pages, 7 figures. v2: a bug in Section 4 has been fixed and a few changes have been made to the presentation. v3: published version

Journal ref: Ann. Henri Poincare (2021)

Mathematical open problems in Projected Entangled Pair States

Authors: J. Ignacio Cirac, José Garre-Rubio, David Pérez-García

Abstract: Projected Entangled Pair States (PEPS) are used in practice as an efficient parametrization of the set of ground states of quantum many body systems. The aim of this paper is to present, for a broad mathematical audience, some mathematical questions about PEPS. Projected Entangled Pair States (PEPS) are used in practice as an efficient parametrization of the set of ground states of quantum many body systems. The aim of this paper is to present, for a broad mathematical audience, some mathematical questions about PEPS. △ Less

Submitted 18 March, 2020; v1 submitted 22 March, 2019; originally announced March 2019.

Comments: Notes associated to the Santaló Lecture 2017, Universidad Complutense de Madrid (UCM), minor typos corrected

Journal ref: Revista Matemática Complutense 32, Issue 3 (2019)

Classification of phases for mixed states via fast dissipative evolution

Authors: Andrea Coser, David Perez-Garcia

Abstract: We propose the following definition of topological quantum phases valid for mixed states: two states are in the same phase if there exists a time independent, fast and local Lindbladian evolution driving one state into the other. The underlying idea, motivated by König and Pastawski in 2013, is that it takes time to create new topological correlations, even with the use of dissipation. We show tha… ▽ More We propose the following definition of topological quantum phases valid for mixed states: two states are in the same phase if there exists a time independent, fast and local Lindbladian evolution driving one state into the other. The underlying idea, motivated by König and Pastawski in 2013, is that it takes time to create new topological correlations, even with the use of dissipation. We show that it is a good definition in the following sense: (1) It divides the set of states into equivalent classes and it establishes a partial order between those according to their level of "topological complexity". (2) It provides a path between any two states belonging to the same phase where observables behave smoothly. We then focus on pure states to relate the new definition in this particular case with the usual definition for quantum phases of closed systems in terms of the existence of a gapped path of Hamiltonians connecting both states in the corresponding ground state path. We show first that if two pure states are in the same phase in the Hamiltonian sense, they are also in the same phase in the Lindbladian sense considered here. We then turn to analyse the reverse implication, where we point out a very different behaviour in the case of symmetry protected topological (SPT) phases in 1D. Whereas at the Hamiltonian level, phases are known to be classified with the second cohomology group of the symmetry group, we show that symmetry cannot give any protection in 1D in the Lindbladian sense: there is only one SPT phase in 1D independently of the symmetry group. We finish analysing the case of 2D topological quantum systems. There we expect that different topological phases in the Hamiltonian sense remain different in the Lindbladian sense. We show this formally only for the $\mathbb{Z}_n$ quantum double models. △ Less

Submitted 9 August, 2019; v1 submitted 11 October, 2018; originally announced October 2018.

Comments: 46 pages, v3: published version

Journal ref: Quantum 3, 174 (2019)

Undecidability of the Spectral Gap in One Dimension

Authors: Johannes Bausch, Toby Cubitt, Angelo Lucia, David Perez-Garcia

Abstract: The spectral gap problem - determining whether the energy spectrum of a system has an energy gap above ground state, or if there is a continuous range of low-energy excitations - pervades quantum many-body physics. Recently, this important problem was shown to be undecidable for quantum spin systems in two (or more) spatial dimensions: there exists no algorithm that determines in general whether a… ▽ More The spectral gap problem - determining whether the energy spectrum of a system has an energy gap above ground state, or if there is a continuous range of low-energy excitations - pervades quantum many-body physics. Recently, this important problem was shown to be undecidable for quantum spin systems in two (or more) spatial dimensions: there exists no algorithm that determines in general whether a system is gapped or gapless, a result which has many unexpected consequences for the physics of such systems. However, there are many indications that one dimensional spin systems are simpler than their higher-dimensional counterparts: for example, they cannot have thermal phase transitions or topological order, and there exist highly-effective numerical algorithms such as DMRG - and even provably polynomial-time ones - for gapped 1D systems, exploiting the fact that such systems obey an entropy area-law. Furthermore, the spectral gap undecidability construction crucially relied on aperiodic tilings, which are not possible in 1D. So does the spectral gap problem become decidable in 1D? In this paper we prove this is not the case, by constructing a family of 1D spin chains with translationally-invariant nearest neighbour interactions for which no algorithm can determine the presence of a spectral gap. This not only proves that the spectral gap of 1D systems is just as intractable as in higher dimensions, but also predicts the existence of qualitatively new types of complex physics in 1D spin chains. In particular, it implies there are 1D systems with constant spectral gap and non-degenerate classical ground state for all systems sizes up to an uncomputably large size, whereupon they switch to a gapless behaviour with dense spectrum. △ Less

Submitted 12 June, 2020; v1 submitted 3 October, 2018; originally announced October 2018.

Comments: 7 figures

MSC Class: 03D35; 68Q17; 81V70

Journal ref: Phys. Rev. X 10, 031038 (2020)

Localization with random time-periodic quantum circuits

Authors: Christoph Sünderhauf, David Pérez-García, David A. Huse, Norbert Schuch, J. Ignacio Cirac

Abstract: We consider a random time evolution operator composed of a circuit of random unitaries coupling even and odd neighboring spins on a chain in turn. In spirit of Floquet evolution, the circuit is time-periodic; each timestep is repeated with the same random instances. We obtain analytical results for arbitrary local Hilbert space dimension d: On a single site, average time evolution acts as a depola… ▽ More We consider a random time evolution operator composed of a circuit of random unitaries coupling even and odd neighboring spins on a chain in turn. In spirit of Floquet evolution, the circuit is time-periodic; each timestep is repeated with the same random instances. We obtain analytical results for arbitrary local Hilbert space dimension d: On a single site, average time evolution acts as a depolarising channel. In the spin 1/2 (d=2) case, this is further quantified numerically. For that, we develop a new numerical method that reduces complexity by an exponential factor. Haar-distributed unitaries lead to full depolarization after many timesteps, i.e. local thermalization. A unitary probability distribution with tunable coupling strength allows us to observe a many-body localization transition. In addition to a spin chain under a unitary circuit, we consider the analogous problem with Gaussian circuits. We can make stronger statements about the entire covariance matrix instead of single sites only, and find that the dynamics is localising. For a random time evolution operator homogeneous in space, however, the system delocalizes. △ Less

Submitted 30 October, 2018; v1 submitted 22 May, 2018; originally announced May 2018.

Journal ref: Phys. Rev. B 98, 134204 (2018)

Normal projected entangled pair states generating the same state

Authors: Andras Molnar, José Garre-Rubio, David Pérez-García, Norbert Schuch, J. Ignacio Cirac

Abstract: Tensor networks are generated by a set of small rank tensors and define many-body quantum states in a succinct form. The corresponding map is not one-to-one: different sets of tensors may generate the very same state. A fundamental question in the study of tensor networks naturally arises: what is then the relation between those sets? The answer to this question in one dimensional setups has found… ▽ More Tensor networks are generated by a set of small rank tensors and define many-body quantum states in a succinct form. The corresponding map is not one-to-one: different sets of tensors may generate the very same state. A fundamental question in the study of tensor networks naturally arises: what is then the relation between those sets? The answer to this question in one dimensional setups has found several applications, like the characterization of local and global symmetries, the classification of phases of matter and unitary evolutions, or the determination of the fixed points of renormalization procedures. Here we answer this question for projected entangled-pair states (PEPS) in any dimension and lattice geometry, as long as the tensors generating the states are normal, which constitute an important and generic class. △ Less

Submitted 13 April, 2018; originally announced April 2018.

Journal ref: New J. Phys. 20, 113017 (2018)

Projected Entangled Pair States: Fundamental analytical and numerical limitations

Authors: G. Scarpa, A. Molnar, Y. Ge, J. J. Garcia-Ripoll, N. Schuch, D. Perez-Garcia, S. Iblisdir

Abstract: Matrix Product States (MPS) 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 MPS 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… ▽ More Matrix Product States (MPS) 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 MPS 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. △ Less

Submitted 20 November, 2020; v1 submitted 22 February, 2018; originally announced February 2018.

Comments: v1: 4+3 pages, 5 figures. v2: extensively rewritten

Journal ref: Phys. Rev. Lett. 125, 210504 (2020)

Continuum limits of Matrix Product States

Authors: Gemma De las Cuevas, Norbert Schuch, David Perez-Garcia, J. Ignacio Cirac

Abstract: We determine which translationally invariant matrix product states have a continuum limit, that is, which can be considered as discretized versions of states defined in the continuum. To do this, we analyse a fine-graining renormalization procedure in real space, characterise the set of limiting states of its flow, and find that it strictly contains the set of continuous matrix product states. We… ▽ More We determine which translationally invariant matrix product states have a continuum limit, that is, which can be considered as discretized versions of states defined in the continuum. To do this, we analyse a fine-graining renormalization procedure in real space, characterise the set of limiting states of its flow, and find that it strictly contains the set of continuous matrix product states. We also analyse which states have a continuum limit after a finite number of a coarse-graining renormalization steps. We give several examples of states with and without the different kinds of continuum limits. △ Less

Submitted 30 November, 2018; v1 submitted 2 August, 2017; originally announced August 2017.

Comments: 7 pages, 2 figures. New version: somewhat expanded, some explanations added. Close to published version

Journal ref: Phys. Rev. B 98, 174303 (2018)

Matrix Product Unitaries: Structure, Symmetries, and Topological Invariants

Authors: J. Ignacio Cirac, David Perez-Garcia, Norbert Schuch, Frank Verstraete

Abstract: Matrix Product Vectors form the appropriate framework to study and classify one-dimensional quantum systems. In this work, we develop the structure theory of Matrix Product Unitary operators (MPUs) which appear e.g. in the description of time evolutions of one-dimensional systems. We prove that all MPUs have a strict causal cone, making them Quantum Cellular Automata (QCAs), and derive a canonical… ▽ More Matrix Product Vectors form the appropriate framework to study and classify one-dimensional quantum systems. In this work, we develop the structure theory of Matrix Product Unitary operators (MPUs) which appear e.g. in the description of time evolutions of one-dimensional systems. We prove that all MPUs have a strict causal cone, making them Quantum Cellular Automata (QCAs), and derive a canonical form for MPUs which relates different MPU representations of the same unitary through a local gauge. We use this canonical form to prove an Index Theorem for MPUs which gives the precise conditions under which two MPUs are adiabatically connected, providing an alternative derivation to that of [Commun. Math. Phys. 310, 419 (2012), arXiv:0910.3675] for QCAs. We also discuss the effect of symmetries on the MPU classification. In particular, we characterize the tensors corresponding to MPU that are invariant under conjugation, time reversal, or transposition. In the first case, we give a full characterization of all equivalence classes. Finally, we give several examples of MPU possessing different symmetries. △ Less

Submitted 6 May, 2017; v1 submitted 27 March, 2017; originally announced March 2017.

Comments: v2: Minor corrections. See also the related work arXiv:1704.01943 by Sahinoglu et al

Journal ref: J. Stat. Mech. (2017) 083105

Symmetry reduction induced by anyon condensation: a tensor network approach

Authors: José Garre-Rubio, Sofyan Iblisdir, David Pérez-García

Abstract: Topological ordered phases are related to changes in the properties of their quasi-particle excitations (anyons). We study these relations in the framework of projected entanglement pair states (\textsf{PEPS}) and show how condensing and confining anyons reduces a local gauge symmetry to a global on-site symmetry. We also study the action of this global symmetry over the quasiparticle excitations.… ▽ More Topological ordered phases are related to changes in the properties of their quasi-particle excitations (anyons). We study these relations in the framework of projected entanglement pair states (\textsf{PEPS}) and show how condensing and confining anyons reduces a local gauge symmetry to a global on-site symmetry. We also study the action of this global symmetry over the quasiparticle excitations. As a byproduct, we observe that this symmetry reduction effect can be applied to one-dimensional systems as well, and brings about appealing physical interpretations on the classification of phases with symmetries using matrix product states (\textsf{MPS}). The case of $\mathbb{Z}_2$ on-site symmetry is studied in detail. △ Less

Submitted 4 August, 2017; v1 submitted 28 February, 2017; originally announced February 2017.

Comments: 21+5 pages, 15+3 figures. Introduction and conclusions enlarged, references and figure added, minor typos corrected, appendix about dyons added

Journal ref: Phys. Rev. B 96, 155123 (2017)

Constructing topological models by symmetrization: A PEPS study

Authors: Carlos Fernandez-Gonzalez, Roger S. K. Mong, Olivier Landon-Cardinal, David Perez-Garcia, Norbert Schuch

Abstract: Symmetrization of topologically ordered wavefunctions is a powerful method for constructing new topological models. Here, we study wavefunctions obtained by symmetrizing quantum double models of a group $G$ in the Projected Entangled Pair States (PEPS) formalism. We show that symmetrization naturally gives rise to a larger symmetry group $\tilde G$ which is always non-abelian. We prove that by sym… ▽ More Symmetrization of topologically ordered wavefunctions is a powerful method for constructing new topological models. Here, we study wavefunctions obtained by symmetrizing quantum double models of a group $G$ in the Projected Entangled Pair States (PEPS) formalism. We show that symmetrization naturally gives rise to a larger symmetry group $\tilde G$ which is always non-abelian. We prove that by symmetrizing on sufficiently large blocks, one can always construct wavefunctions in the same phase as the double model of $\tilde G$. In order to understand the effect of symmetrization on smaller patches, we carry out numerical studies for the toric code model, where we find strong evidence that symmetrizing on individual spins gives rise to a critical model which is at the phase transitions of two inequivalent toric codes, obtained by anyon condensation from the double model of $\tilde G$. △ Less

Submitted 29 September, 2016; v1 submitted 1 August, 2016; originally announced August 2016.

Comments: 10 pages. v2: accepted version

Journal ref: Phys. Rev. B 94, 155106 (2016)

Matrix Product Density Operators: Renormalization Fixed Points and Boundary Theories

Authors: J. I. Cirac, D. Perez-Garcia, N. Schuch, F. Verstraete

Abstract: 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 state… ▽ More 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. △ Less

Submitted 17 January, 2025; v1 submitted 2 June, 2016; originally announced June 2016.

Comments: 63 pages, Annals of Physics (2016). This version corrects an error in the statement and proof of Theorem 4.9 by slightly generalizing Definition 4.8

Journal ref: Annals of Physics 378, 100 (2017)

Size-Driven Quantum Phase Transitions

Authors: Johannes Bausch, Toby S. Cubitt, Angelo Lucia, David Perez-Garcia, Michael M. Wolf

Abstract: Can the properties of the thermodynamic limit of a many-body quantum system be extrapolated by analysing a sequence of finite-size cases? We present a model for which such an approach gives completely misleading results: a translationally invariant, local Hamiltonian on a square lattice with open boundary conditions and constant spectral gap, which has a classical product ground state for all syst… ▽ More Can the properties of the thermodynamic limit of a many-body quantum system be extrapolated by analysing a sequence of finite-size cases? We present a model for which such an approach gives completely misleading results: a translationally invariant, local Hamiltonian on a square lattice with open boundary conditions and constant spectral gap, which has a classical product ground state for all system sizes smaller than a particular threshold size, but a ground state with topological degeneracy for all system sizes larger than this threshold. Starting from a minimal case with spins of dimension 6 and threshold lattice size 15 x 15, we show that the latter grows faster than any computable function with increasing local spin dimension. The resulting effect may be viewed as a new type of quantum phase transition that is driven by the size of the system rather than by an external field or coupling strength. We prove that the construction is thermally robust, opening the possibility that these effects are accessible to experimental observation. △ Less

Submitted 3 February, 2018; v1 submitted 17 December, 2015; originally announced December 2015.

Comments: 20 pages. Final version

MSC Class: 82B10

Journal ref: Proc Natl Acad Sci. 2018 Jan 2;115(1):19-23

Undecidability of the Spectral Gap (full version)

Authors: Toby Cubitt, David Perez-Garcia, Michael M. Wolf

Abstract: We show that the spectral gap problem is undecidable. Specifically, we construct families of translationally-invariant, nearest-neighbour Hamiltonians on a 2D square lattice of d-level quantum systems (d constant), for which determining whether the system is gapped or gapless is an undecidable problem. This is true even with the promise that each Hamiltonian is either gapped or gapless in the stro… ▽ More We show that the spectral gap problem is undecidable. Specifically, we construct families of translationally-invariant, nearest-neighbour Hamiltonians on a 2D square lattice of d-level quantum systems (d constant), for which determining whether the system is gapped or gapless is an undecidable problem. This is true even with the promise that each Hamiltonian is either gapped or gapless in the strongest sense: it is promised to either have continuous spectrum above the ground state in the thermodynamic limit, or its spectral gap is lower-bounded by a constant in the thermodynamic limit. Moreover, this constant can be taken equal to the local interaction strength of the Hamiltonian. △ Less

Submitted 26 July, 2022; v1 submitted 16 February, 2015; originally announced February 2015.

Comments: v1: 146 pages, 56 theorems etc, 15 figs. See shorter companion paper arXiv:1502.04135 for version omitting technical details. v2: Small fix to abstract wording. v3: Simplified and shortened parts of proof. 127p, 55 thms, 10 figs. v4: Minor intro edits. v5: Published version. Adds explanatory pseudo-code for all Turing Machines, and other presentational improvements. 150 pages, 55 thms, 13 figs

Journal ref: Forum of Mathematics, Pi , Volume 10 , 2022 , e14

Undecidability of the Spectral Gap (short version)

Authors: Toby Cubitt, David Perez-Garcia, Michael M. Wolf

Abstract: The spectral gap - the energy difference between the ground state and first excited state - is central to quantum many-body physics. Many challenging open problems, such as the Haldane conjecture, existence of gapped topological spin liquid phases, or the Yang-Mills gap conjecture, concern spectral gaps. These and other problems are particular cases of the general spectral gap problem: given a qua… ▽ More The spectral gap - the energy difference between the ground state and first excited state - is central to quantum many-body physics. Many challenging open problems, such as the Haldane conjecture, existence of gapped topological spin liquid phases, or the Yang-Mills gap conjecture, concern spectral gaps. These and other problems are particular cases of the general spectral gap problem: given a quantum many-body Hamiltonian, is it gapped or gapless? Here we prove that this is an undecidable problem. We construct families of quantum spin systems on a 2D lattice with translationally-invariant, nearest-neighbour interactions for which the spectral gap problem is undecidable. This result extends to undecidability of other low energy properties, such as existence of algebraically decaying ground-state correlations. The proof combines Hamiltonian complexity techniques with aperiodic tilings, to construct a Hamiltonian whose ground state encodes the evolution of a quantum phase-estimation algorithm followed by a universal Turing Machine. The spectral gap depends on the outcome of the corresponding Halting Problem. Our result implies that there exists no algorithm to determine whether an arbitrary model is gapped or gapless. It also implies that there exist models for which the presence or absence of a spectral gap is independent of the axioms of mathematics. △ Less

Submitted 20 July, 2018; v1 submitted 13 February, 2015; originally announced February 2015.

Comments: v2: published version. 7 pages, 3 figures. See long companion paper arXiv:1502.04573 (same title and authors) for full technical details. v3: Added supplementary material as ancilliary file (previously part of arXiv:1502.04573v2)

Journal ref: Nature 528, 207-211 (2015)

Chern-Simons theory encoded on a spin chain

Authors: David Pérez-García, Miguel Tierz

Abstract: We construct a 1d spin chain Hamiltonian with generic interactions and prove that the thermal correlation functions of the model admit an explicit random matrix representation. As an application of the result, we show how the observables of $U(N)$ Chern-Simons theory on $S^{3}$ can be reproduced with the thermal correlation functions of the 1d spin chain, which is of the XX type, with a suitable c… ▽ More We construct a 1d spin chain Hamiltonian with generic interactions and prove that the thermal correlation functions of the model admit an explicit random matrix representation. As an application of the result, we show how the observables of $U(N)$ Chern-Simons theory on $S^{3}$ can be reproduced with the thermal correlation functions of the 1d spin chain, which is of the XX type, with a suitable choice of exponentially decaying interactions between infinitely many neighbours. We show that for this model, the correlation functions of the spin chain at a finite temperature $β=1$ give the Chern-Simons partition function, quantum dimensions and the full topological $S$-matrix. △ Less

Submitted 21 September, 2015; v1 submitted 26 March, 2014; originally announced March 2014.

Comments: v2, 11 pages. Expanded, more detailed version. Misprints corrected

Journal ref: J. Stat. Mech. (2016) 013103

Purifications of multipartite states: limitations and constructive methods

Authors: Gemma De las Cuevas, Norbert Schuch, David Pérez-García, J. Ignacio Cirac

Abstract: We analyze the description of quantum many-body mixed states using matrix product states and operators. We consider two such descriptions: (i) as a matrix product density operator of bond dimension D, and (ii) as a purification that is written as a matrix product state of bond dimension D'. We show that these descriptions are inequivalent in the sense that D' cannot be upper bounded by D only. The… ▽ More We analyze the description of quantum many-body mixed states using matrix product states and operators. We consider two such descriptions: (i) as a matrix product density operator of bond dimension D, and (ii) as a purification that is written as a matrix product state of bond dimension D'. We show that these descriptions are inequivalent in the sense that D' cannot be upper bounded by D only. Then we provide two constructive methods to obtain (ii) out of (i). The sum of squares (sos) polynomial method scales exponentially in the number of different eigenvalues, and its approximate version is formulated as a Semidefinite Program, which gives efficient approximate purifications whose D' only depends on D. The eigenbasis method scales quadratically in the number of eigenvalues, and its approximate version is very efficient for rapidly decaying distributions of eigenvalues. Our results imply that a description of mixed states which is both efficient and locally positive semidefinite does not exist, but that good approximations do. △ Less

Submitted 20 December, 2013; v1 submitted 8 August, 2013; originally announced August 2013.

Comments: 11 pages (+3 of appendices), 10 figures. Minor changes; very similar to published version

Journal ref: New J. Phys. 15, 123021 (2013)

Lieb-Robinson bounds for spin-boson lattice models and trapped ions

Authors: J. Juenemann, A. Cadarso, D. Perez-Garcia, A. Bermudez, J. J. Garcia-Ripoll

Abstract: We derive a Lieb-Robinson bound for the propagation of spin correlations in a model of spins interacting through a bosonic lattice field, which satisfies itself a Lieb-Robinson bound in the absence of spin-boson couplings. We apply these bounds to a system of trapped ions, and find that the propagation of spin correlations, as mediated by the phonons of the ion crystal, can be faster than the regi… ▽ More We derive a Lieb-Robinson bound for the propagation of spin correlations in a model of spins interacting through a bosonic lattice field, which satisfies itself a Lieb-Robinson bound in the absence of spin-boson couplings. We apply these bounds to a system of trapped ions, and find that the propagation of spin correlations, as mediated by the phonons of the ion crystal, can be faster than the regimes currently explored in experiments. We propose a scheme to test the bounds by measuring retarded correlation functions via the crystal fluorescence. △ Less

Submitted 11 December, 2013; v1 submitted 8 July, 2013; originally announced July 2013.

Journal ref: Phys. Rev. Lett. 111, 230404 (2013)

Robustness in Projected Entangled Pair States

Authors: J. I. Cirac, S. Michalakis, D. Perez-Garcia, N. Schuch

Abstract: We analyze a criterion which guarantees that the ground states of certain many body systems are stable under perturbations. Specifically, we consider PEPS, which are believed to provide an efficient description, based on local tensors, for the low energy physics arising from local interactions. In order to assess stability in the framework of PEPS, one thus needs to understand how physically allow… ▽ More We analyze a criterion which guarantees that the ground states of certain many body systems are stable under perturbations. Specifically, we consider PEPS, which are believed to provide an efficient description, based on local tensors, for the low energy physics arising from local interactions. In order to assess stability in the framework of PEPS, one thus needs to understand how physically allowed perturbations of the local tensor affect the properties of the global state. In this paper, we show that a restricted version of the Local Topological Quantum Order (LTQO) condition provides a checkable criterion which allows to assess the stability of local properties of PEPS under physical perturbations. We moreover show that LTQO itself is stable under perturbations which preserve the spectral gap, leading to nontrivial examples of PEPS which possess LTQO and are thus stable under arbitrary perturbations. △ Less

Submitted 17 June, 2013; originally announced June 2013.

Comments: 11 pages, 4 figures

Journal ref: Phys. Rev. B 88, 115108 (2013)

The Heisenberg XX spin chain and low-energy QCD

Authors: David Pérez-García, Miguel Tierz

Abstract: By using random matrix models we uncover a connection between the low energy sector of four dimensional QCD at finite volume and the Heisenberg XX model in a 1d spin chain. This connection allows to relate crucial properties of QCD with physically meaningful properties of the spin chain, establishing a dictionary between both worlds. We predict for the spin chain a third-order phase transition and… ▽ More By using random matrix models we uncover a connection between the low energy sector of four dimensional QCD at finite volume and the Heisenberg XX model in a 1d spin chain. This connection allows to relate crucial properties of QCD with physically meaningful properties of the spin chain, establishing a dictionary between both worlds. We predict for the spin chain a third-order phase transition and a Tracy-Widom law in the transition region. We postulate that this dictionary goes beyond the particular example analyzed here and can be applied to other QFT and spin chain models. We finally comment on possible numerical implications of the connection as well as on possible experimental implementations. △ Less

Submitted 19 May, 2014; v1 submitted 16 May, 2013; originally announced May 2013.

Comments: 12 pages. v3 Final version to appear in Phys. Rev. X; discussion on experimental accessibility extended; title modified in journal

Journal ref: Phys. Rev. X 4, 021050 (2014)

Frustration free gapless Hamiltonians for Matrix Product States

Authors: Carlos Fernández-González, Norbert Schuch, Michael M. Wolf, J. Ignacio Cirac, David Pérez-García

Abstract: For every Matrix Product State (MPS) one can always construct a so-called parent Hamiltonian. This is a local, frustration free, Hamiltonian which has the MPS as ground state and is gapped. Whenever that parent Hamiltonian has a degenerate ground state (the so-called non-injective case), we construct another 'uncle' Hamiltonian which is local and frustration free but gapless, and its spectrum is… ▽ More For every Matrix Product State (MPS) one can always construct a so-called parent Hamiltonian. This is a local, frustration free, Hamiltonian which has the MPS as ground state and is gapped. Whenever that parent Hamiltonian has a degenerate ground state (the so-called non-injective case), we construct another 'uncle' Hamiltonian which is local and frustration free but gapless, and its spectrum is $\R^+$. The construction is obtained by linearly perturbing the matrices building up the state in a random direction, and then taking the limit where the perturbation goes to zero. For MPS where the parent Hamiltonian has a unique ground state (the so-called injective case) we also build such uncle Hamiltonian with the same properties in the thermodynamic limit. △ Less

Submitted 24 November, 2014; v1 submitted 24 October, 2012; originally announced October 2012.

Comments: 36 pages, new version with some contents rearranged, and a correction in the injective case

Journal ref: Commun. Math. Phys. 333, 299-333 (2015)

Topological order in PEPS: Transfer operator and boundary Hamiltonians

Authors: Norbert Schuch, Didier Poilblanc, J. Ignacio Cirac, David Perez-Garcia

Abstract: We study the structure of topological phases and their boundaries in the Projected Entangled Pair States (PEPS) formalism. We show how topological order in a system can be identified from the structure of the PEPS transfer operator, and subsequently use these findings to analyze the structure of the boundary Hamiltonian, acting on the bond variables, which reflects the entanglement properties of t… ▽ More We study the structure of topological phases and their boundaries in the Projected Entangled Pair States (PEPS) formalism. We show how topological order in a system can be identified from the structure of the PEPS transfer operator, and subsequently use these findings to analyze the structure of the boundary Hamiltonian, acting on the bond variables, which reflects the entanglement properties of the system. We find that in a topological phase, the boundary Hamiltonian consists of two parts: A universal non-local part which encodes the nature of the topological phase, and a non-universal part which is local and inherits the symmetries of the topological model, which helps to infer the structure of the boundary Hamiltonian and thus possibly of the physical edge modes. △ Less

Submitted 9 September, 2013; v1 submitted 20 October, 2012; originally announced October 2012.

Comments: 4+2 pages, 4+1 figures. v2: Major improvements and additions, with the focus shifted towards the transfer operator. Paper largely rewritten and significantly extended, title changed. v3: Minor changes, accepted version, Journal-Ref added

Journal ref: Phys. Rev. Lett. 111, 090501 (2013)

Entanglement, fractional magnetization and long-range interactions

Authors: Andrea Cadarso, Mikel Sanz, Michael M. Wolf, J. Ignacio Cirac, David Perez-Garcia

Abstract: Based on the theory of Matrix Product States, we give precise statements and complete analytical proofs of the following claim: a large fractionalization in the magnetization or the need of long-range interactions imply large entanglement in the state of a quantum spin chain. Based on the theory of Matrix Product States, we give precise statements and complete analytical proofs of the following claim: a large fractionalization in the magnetization or the need of long-range interactions imply large entanglement in the state of a quantum spin chain. △ Less

Submitted 28 November, 2012; v1 submitted 18 September, 2012; originally announced September 2012.

Comments: 11 pages, 1 figure

Journal ref: Phys. Rev. B 87, 035114 (2013)

Matrix Product States with long-range Localizable Entanglement

Authors: Thorsten B. Wahl, David Perez-Garcia, J. Ignacio Cirac

Abstract: We derive a criterion to determine when a translationally invariant matrix product state (MPS) has long-range localizable entanglement, where that quantity remains finite in the thermodynamic limit. We give examples fulfilling this criterion and eventually use it to obtain all such MPS with bond dimension 2 and 3. We derive a criterion to determine when a translationally invariant matrix product state (MPS) has long-range localizable entanglement, where that quantity remains finite in the thermodynamic limit. We give examples fulfilling this criterion and eventually use it to obtain all such MPS with bond dimension 2 and 3. △ Less

Submitted 19 June, 2012; originally announced June 2012.

Comments: 8 pages, 1 figure

Journal ref: Phys. Rev. A 86, 062314 (2012)

Resonating valence bond states in the PEPS formalism

Authors: Norbert Schuch, Didier Poilblanc, J. Ignacio Cirac, David Perez-Garcia

Abstract: 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… ▽ More 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. △ Less

Submitted 19 October, 2012; v1 submitted 21 March, 2012; originally announced March 2012.

Comments: 11+9 pages, 28 figures. v2: More numerical results, and a few minor improvements. v3: Accepted version (minor changes relative to v2), Journal-Ref added

Journal ref: Phys. Rev. B 86, 115108 (2012)

Topological and Entanglement Properties of Resonating Valence Bond wavefunctions

Authors: Didier Poilblanc, Norbert Schuch, David Pérez-García, J. Ignacio Cirac

Abstract: We examine in details the connections between topological and entanglement properties of short-range resonating valence bond (RVB) wave functions using Projected Entangled Pair States (PEPS) on kagome and square lattices on (quasi-)infinite cylinders with generalized boundary conditions (and perimeters with up to 20 lattice spacings). Making use of disconnected topological sectors in the space of… ▽ More We examine in details the connections between topological and entanglement properties of short-range resonating valence bond (RVB) wave functions using Projected Entangled Pair States (PEPS) on kagome and square lattices on (quasi-)infinite cylinders with generalized boundary conditions (and perimeters with up to 20 lattice spacings). Making use of disconnected topological sectors in the space of dimer lattice coverings, we explicitly derive (orthogonal) "minimally entangled" PEPS RVB states. For the kagome lattice, we obtain, using the quantum Heisenberg antiferromagnet as a reference model, the finite size scaling of the energy separations between these states. In particular, we extract two separate (vanishing) energy scales corresponding (i) to insert a vison line between the two ends of the cylinder and (ii) to pull out and freeze a spin at either end. We also investigate the relations between bulk and boundary properties and show that, for a bipartition of the cylinder, the boundary Hamiltonian defined on the edge can be written as a product of a highly non-local projector with an emergent (local) su(2)-invariant one-dimensional (superfluid) t--J Hamiltonian, which arises due to the symmetry properties of the auxiliary spins at the edge. This multiplicative structure, a consequence of the disconnected topological sectors in the space of dimer lattice coverings, is characteristic of the topological nature of the states. For minimally entangled RVB states, it is shown that the entanglement spectrum, which reflects the properties of the edge modes, is a subset (half for kagome RVB) of the spectrum of the local Hamiltonian, providing e.g. a simple argument on the origin of the topological entanglement entropy S0=-ln 2 of Z2 spin liquids. We propose to use these features to probe topological phases in microscopic Hamiltonians and some results are compared to existing DMRG data. △ Less

Submitted 10 June, 2012; v1 submitted 5 February, 2012; originally announced February 2012.

Comments: 15 pages, 19 figures. Large extension of the paper. Finite size scaling of the (topological) ground state energy splittings added (for the Kagome quantum antiferromagnet)

Journal ref: Physical Review B 86, 014404 (2012)

Matrix Product States, Random Matrix Theory and the Principle of Maximum Entropy

Authors: Benoit Collins, Carlos E. Gonzalez-Guillen, David Perez-Garcia

Abstract: Using random matrix techniques and the theory of Matrix Product States we show that reduced density matrices of quantum spin chains have generically maximum entropy. Using random matrix techniques and the theory of Matrix Product States we show that reduced density matrices of quantum spin chains have generically maximum entropy. △ Less

Submitted 30 January, 2012; originally announced January 2012.

Comments: 11 pages, 4 figures

Journal ref: Commun. Math. Phys. 320 (2013), no. 3, 663--677

An order parameter for symmetry-protected phases in one dimension

Authors: Jutho Haegeman, David Perez-Garcia, Ignacio Cirac, Norbert Schuch

Abstract: We introduce an order parameter for symmetry-protected phases in one dimension which allows to directly identify those phases. The order parameter consists of string-like operators and swaps, but differs from conventional string order operators in that it only depends on the symmetry but not on the state. We verify our framework through numerical simulations for the SO(3) invariant spin-1 bilinear… ▽ More We introduce an order parameter for symmetry-protected phases in one dimension which allows to directly identify those phases. The order parameter consists of string-like operators and swaps, but differs from conventional string order operators in that it only depends on the symmetry but not on the state. We verify our framework through numerical simulations for the SO(3) invariant spin-1 bilinear-biquadratic model which exhibits a dimerized and a Haldane phase, and find that the order parameter not only works very well for the dimerized and the Haldane phase, but it also returns a distinct signature for gapless phases. Finally, we discuss possible ways to measure the order parameter in experiments with cold atoms. △ Less

Submitted 15 August, 2012; v1 submitted 19 January, 2012; originally announced January 2012.

Comments: 5 pages, 5 figures. v2: tiny corrections, accepted version, Journal-Ref added

Journal ref: Phys. Rev. Lett. 109, 050402 (2012)

Gapless Hamiltonians for the toric code using the PEPS formalism

Authors: Carlos Fernández-González, Norbert Schuch, Michael M. Wolf, J. Ignacio Cirac, David Pérez-García

Abstract: 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 t… ▽ More 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". △ Less

Submitted 28 November, 2011; v1 submitted 24 November, 2011; originally announced November 2011.

Comments: 8 pages, 2 figures

Journal ref: Phys. Rev. Lett. 109, 260401 (2012)

Classifying quantum phases using Matrix Product States and PEPS

Authors: Norbert Schuch, David Perez-Garcia, Ignacio Cirac

Abstract: We give a classification of gapped quantum phases of one-dimensional systems in the framework of Matrix Product States (MPS) and their associated parent Hamiltonians, for systems with unique as well as degenerate ground states, and both in the absence and presence of symmetries. We find that without symmetries, all systems are in the same phase, up to accidental ground state degeneracies. If symme… ▽ More We give a classification of gapped quantum phases of one-dimensional systems in the framework of Matrix Product States (MPS) and their associated parent Hamiltonians, for systems with unique as well as degenerate ground states, and both in the absence and presence of symmetries. We find that without symmetries, all systems are in the same phase, up to accidental ground state degeneracies. If symmetries are imposed, phases without symmetry breaking (i.e., with unique ground states) are classified by the cohomology classes of the symmetry group, this is, the equivalence classes of its projective representations, a result first derived in [X. Chen, Z.-C. Gu, and X.-G. Wen, Phys. Rev. B 83, 035107 (2011); arXiv:1008.3745]. For phases with symmetry breaking (i.e., degenerate ground states), we find that the symmetry consists of two parts, one of which acts by permuting the ground states, while the other acts on individual ground states, and phases are labelled by both the permutation action of the former and the cohomology class of the latter. Using Projected Entangled Pair States (PEPS), we subsequently extend our framework to the classification of two-dimensional phases in the neighborhood of a number of important cases, in particular systems with unique ground states, degenerate ground states with a local order parameter, and topological order. We also show that in two dimensions, imposing symmetries does not constrain the phase diagram in the same way it does in one dimension. As a central tool, we introduce the isometric form, a normal form for MPS and PEPS which is a renormalization fixed point. Transforming a state to its isometric form does not change the phase, and thus, we can focus on to the classification of isometric forms. △ Less

Submitted 23 October, 2011; v1 submitted 18 October, 2010; originally announced October 2010.

Comments: v2: 21 pages, 6 figures. Significantly rewritten and extended. Now contains a classification of phases both without and with symmetries, for systems with both unique and degenerate ground states. v3: 24 pages. Improved according to referees' suggestions (most notably added examples and improved definition of phases under symmetries). Accepted at Phys. Rev. B

Journal ref: Phys. Rev. B 84, 165139 (2011)

PEPS as ground states: degeneracy and topology

Authors: Norbert Schuch, Ignacio Cirac, David Perez-Garcia

Abstract: We introduce a framework for characterizing Matrix Product States (MPS) and Projected Entangled Pair States (PEPS) in terms of symmetries. This allows us to understand how PEPS appear as ground states of local Hamiltonians with finitely degenerate ground states and to characterize the ground state subspace. Subsequently, we apply our framework to show how the topological properties of these ground… ▽ More We introduce a framework for characterizing Matrix Product States (MPS) and Projected Entangled Pair States (PEPS) in terms of symmetries. This allows us to understand how PEPS appear as ground states of local Hamiltonians with finitely degenerate ground states and to characterize the ground state subspace. Subsequently, we apply our framework to show how the topological properties of these ground states can be explained solely from the symmetry: We prove that ground states are locally indistinguishable and can be transformed into each other by acting on a restricted region, we explain the origin of the topological entropy, and we discuss how to renormalize these states based on their symmetries. Finally, we show how the anyonic character of excitations can be understood as a consequence of the underlying symmetries. △ Less

Submitted 15 September, 2010; v1 submitted 21 January, 2010; originally announced January 2010.

Comments: 54 pages, 110 diagrams, 1 figure. v2: minor changes. v3: accepted version, minor changes

Journal ref: Annals of Physics 325, 2153 (2010)

A canonical form for Projected Entangled Pair States and applications

Authors: D. Perez-Garcia, M. Sanz, C. E. Gonzalez-Guillen, M. M. Wolf, J. I. Cirac

Abstract: We show that two different tensors defining the same translational invariant injective Projected Entangled Pair State (PEPS) in a square lattice must be the same up to a trivial gauge freedom. This allows us to characterize the existence of any local or spatial symmetry in the state. As an application of these results we prove that a SU(2) invariant PEPS with half-integer spin cannot be injectiv… ▽ More We show that two different tensors defining the same translational invariant injective Projected Entangled Pair State (PEPS) in a square lattice must be the same up to a trivial gauge freedom. This allows us to characterize the existence of any local or spatial symmetry in the state. As an application of these results we prove that a SU(2) invariant PEPS with half-integer spin cannot be injective, which can be seen as a Lieb-Shultz-Mattis theorem in this context. We also give the natural generalization for U(1) symmetry in the spirit of Oshikawa-Yamanaka-Affleck, and show that a PEPS with Wilson loops cannot be injective. △ Less

Submitted 12 August, 2009; originally announced August 2009.

Comments: 10 pages, 16 figures

Journal ref: New J. Phys. 12 (2010) 025010. The title of the journal version is "Characterizing symmetries in a projected entangled pair state"

Matrix Product States: Symmetries and Two-Body Hamiltonians

Authors: M. Sanz, M. M. Wolf, D. Perez-Garcia, J. I. Cirac

Abstract: We characterize the conditions under which a translationally invariant matrix product state (MPS) is invariant under local transformations. This allows us to relate the symmetry group of a given state to the symmetry group of a simple tensor. We exploit this result in order to prove and extend a version of the Lieb-Schultz-Mattis theorem, one of the basic results in many-body physics, in the con… ▽ More We characterize the conditions under which a translationally invariant matrix product state (MPS) is invariant under local transformations. This allows us to relate the symmetry group of a given state to the symmetry group of a simple tensor. We exploit this result in order to prove and extend a version of the Lieb-Schultz-Mattis theorem, one of the basic results in many-body physics, in the context of MPS. We illustrate the results with an exhaustive search of SU(2)--invariant two-body Hamiltonians which have such MPS as exact ground states or excitations. △ Less

Submitted 15 January, 2009; originally announced January 2009.

Comments: PDFLatex, 12 pages and 6 figures

Journal ref: Phys. Rev. A 79, 042308 (2009)