Showing 1–30 of 30 results for author: Wolf, M M

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

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)

Perturbation Theory for Parent Hamiltonians of Matrix Product States

Authors: Oleg Szehr, Michael M. Wolf

Abstract: This article investigates the stability of the ground state subspace of a canonical parent Hamiltonian of a Matrix product state against local perturbations. We prove that the spectral gap of such a Hamiltonian remains stable under weak local perturbations even in the thermodynamic limit, where the entire perturbation might not be bounded. Our discussion is based on preceding work by D.A. Yarotsky… ▽ More This article investigates the stability of the ground state subspace of a canonical parent Hamiltonian of a Matrix product state against local perturbations. We prove that the spectral gap of such a Hamiltonian remains stable under weak local perturbations even in the thermodynamic limit, where the entire perturbation might not be bounded. Our discussion is based on preceding work by D.A. Yarotsky that develops a perturbation theory for relatively bounded quantum perturbation of classical Hamiltonians. We exploit a renormalization procedure, which on large scale transforms the parent Hamiltonian of a Matrix product state into a classical Hamiltonian plus some perturbation. We can thus extend D.A. Yarotsky's results to provide a perturbation theory for parent Hamiltonians of Matrix product states and recover some of the findings of independent contributions by S. Michalakis et al. [arXiv:1109.1588] and J. I. Cirac et al. [arXiv:1306.4003]. △ Less

Submitted 18 February, 2015; v1 submitted 17 February, 2014; originally announced February 2014.

Comments: 20 pages

Journal ref: Journal of Statistical Physics: ISSN 0022-4715, 2015

An improved Landauer Principle with finite-size corrections

Authors: David Reeb, Michael M. Wolf

Abstract: Landauer's Principle relates entropy decrease and heat dissipation during logically irreversible processes. Most theoretical justifications of Landauer's Principle either use thermodynamic reasoning or rely on specific models based on arguable assumptions. Here, we aim at a general and minimal setup to formulate Landauer's Principle in precise terms. We provide a simple and rigorous proof of an im… ▽ More Landauer's Principle relates entropy decrease and heat dissipation during logically irreversible processes. Most theoretical justifications of Landauer's Principle either use thermodynamic reasoning or rely on specific models based on arguable assumptions. Here, we aim at a general and minimal setup to formulate Landauer's Principle in precise terms. We provide a simple and rigorous proof of an improved version of the Principle, which is formulated in terms of an equality rather than an inequality. The proof is based on quantum statistical mechanics concepts rather than on thermodynamic argumentation. From this equality version, we obtain explicit improvements of Landauer's bound that depend on the effective size of the thermal reservoir and reduce to Landauer's bound only for infinite-sized reservoirs. △ Less

Submitted 11 October, 2014; v1 submitted 18 June, 2013; originally announced June 2013.

Comments: v2: 33 pages, 3 figures, minor changes and additions, references updated; v3: published version, title changed, 23+11 pages, 3 figures, some sections and appendices reordered, many minor changes, results unchanged

Journal ref: New J. Phys. 16 (2014) 103011

Tight bound on relative entropy by entropy difference

Authors: David Reeb, Michael M. Wolf

Abstract: We prove a lower bound on the relative entropy between two finite-dimensional states in terms of their entropy difference and the dimension of the underlying space. The inequality is tight in the sense that equality can be attained for any prescribed value of the entropy difference, both for quantum and classical systems. We outline implications for information theory and thermodynamics, such as a… ▽ More We prove a lower bound on the relative entropy between two finite-dimensional states in terms of their entropy difference and the dimension of the underlying space. The inequality is tight in the sense that equality can be attained for any prescribed value of the entropy difference, both for quantum and classical systems. We outline implications for information theory and thermodynamics, such as a necessary condition for a process to be close to thermodynamic reversibility, or an easily computable lower bound on the classical channel capacity. Furthermore, we derive a tight upper bound, uniform for all states of a given dimension, on the variance of the surprisal, whose thermodynamic meaning is that of heat capacity. △ Less

Submitted 13 March, 2015; v1 submitted 29 March, 2013; originally announced April 2013.

Comments: v2: 27 pages, 1 figure, gap in proof of Theorem 1 fixed, other minor changes, references updated; v3: 27 pages, 1 figure, small changes and improvements, one-column version of published paper

Journal ref: IEEE Trans. Inf. Theory 61, 1458-1473 (2015)

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)

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)

Precisely timing dissipative quantum information processing

Authors: M. J. Kastoryano, M. M. Wolf, J. Eisert

Abstract: Dissipative engineering constitutes a framework within which quantum information processing protocols are powered by system-environment interaction rather than by unitary dynamics alone. This framework embraces noise as a resource, and consequently, offers a number of advantages compared to one based on unitary dynamics alone, e.g., that the protocols are typically independent of the initial state… ▽ More Dissipative engineering constitutes a framework within which quantum information processing protocols are powered by system-environment interaction rather than by unitary dynamics alone. This framework embraces noise as a resource, and consequently, offers a number of advantages compared to one based on unitary dynamics alone, e.g., that the protocols are typically independent of the initial state of the system. However, the time independent nature of this scheme makes it difficult to imagine precisely timed sequential operations, conditional measurements or error correction. In this work, we provide a path around these challenges, by introducing basic dissipative gadgets which allow us to precisely initiate, trigger and time dissipative operations, while keeping the system Liouvillian time-independent. These gadgets open up novel perspectives for thinking of timed dissipative quantum information processing. As an example, we sketch how measurement based computation can be simulated in the dissipative setting. △ Less

Submitted 29 November, 2012; v1 submitted 4 May, 2012; originally announced May 2012.

Comments: 5+5 pages, material added

Journal ref: Phys. Rev. Lett. 110, 110501 (2013)

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)

Stochastic exclusion processes versus coherent transport

Authors: Kristan Temme, Michael M. Wolf, Frank Verstraete

Abstract: Stochastic exclusion processes play an integral role in the physics of non-equilibrium statistical mechanics. These models are Markovian processes, described by a classical master equation. In this paper a quantum mechanical version of a stochastic hopping process in one dimension is formulated in terms of a quantum master equation. This allows the investigation of coherent and stochastic evolut… ▽ More Stochastic exclusion processes play an integral role in the physics of non-equilibrium statistical mechanics. These models are Markovian processes, described by a classical master equation. In this paper a quantum mechanical version of a stochastic hopping process in one dimension is formulated in terms of a quantum master equation. This allows the investigation of coherent and stochastic evolution in the same formal framework. The focus lies on the non-equilibrium steady state. Two stochastic model systems are considered, the totally asymmetric exclusion process and the fully symmetric exclusion process. The steady state transport properties of these models is compared to the case with additional coherent evolution, generated by the $XX$-Hamiltonian. △ Less

Submitted 1 April, 2010; v1 submitted 4 December, 2009; originally announced December 2009.

Journal ref: New J. Phys. 14 075004 (2012)

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)

Pairing in fermionic systems: A quantum information perspective

Authors: Christina V. Kraus, Michael M. Wolf, J. Ignacio Cirac, Geza Giedke

Abstract: The notion of "paired" fermions is central to important condensed matter phenomena such as superconductivity and superfluidity. While the concept is widely used and its physical meaning is clear there exists no systematic and mathematical theory of pairing which would allow to unambiguously characterize and systematically detect paired states. We propose a definition of pairing and develop metho… ▽ More The notion of "paired" fermions is central to important condensed matter phenomena such as superconductivity and superfluidity. While the concept is widely used and its physical meaning is clear there exists no systematic and mathematical theory of pairing which would allow to unambiguously characterize and systematically detect paired states. We propose a definition of pairing and develop methods for its detection and quantification applicable to current experimental setups. Pairing is shown to be a quantum correlation different from entanglement, giving further understanding in the structure of highly correlated quantum systems. In addition, we will show the resource character of paired states for precision metrology, proving that the BCS states allow phase measurements at the Heisenberg limit. △ Less

Submitted 27 October, 2008; originally announced October 2008.

Comments: 23 pages, 4 figures

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

Sequentially generated states for the study of two dimensional systems

Authors: Mari-Carmen Bañuls, David Pérez-García, Michael M. Wolf, Frank Verstraete, J. Ignacio Cirac

Abstract: Matrix Product States can be defined as the family of quantum states that can be sequentially generated in a one-dimensional system. We introduce a new family of states which extends this definition to two dimensions. Like in Matrix Product States, expectation values of few body observables can be efficiently evaluated and, for the case of translationally invariant systems, the correlation funct… ▽ More Matrix Product States can be defined as the family of quantum states that can be sequentially generated in a one-dimensional system. We introduce a new family of states which extends this definition to two dimensions. Like in Matrix Product States, expectation values of few body observables can be efficiently evaluated and, for the case of translationally invariant systems, the correlation functions decay exponentially with the distance. We show that such states are a subclass of Projected Entangled Pair States and investigate their suitability for approximating the ground states of local Hamiltonians. △ Less

Submitted 18 February, 2008; originally announced February 2008.

Comments: 10 pages, 4 figures

Journal ref: Phys. Rev. A 77, 052306 (2008)

String order and symmetries in quantum spin lattices

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

Abstract: We show that the existence of string order in a given quantum state is intimately related to the presence of a local symmetry by proving that both concepts are equivalent within the framework of finitely correlated states. Once this connection is established, we provide a complete characterization of local symmetries in these states. The results allow to understand in a straightforward way many… ▽ More We show that the existence of string order in a given quantum state is intimately related to the presence of a local symmetry by proving that both concepts are equivalent within the framework of finitely correlated states. Once this connection is established, we provide a complete characterization of local symmetries in these states. The results allow to understand in a straightforward way many of the properties of string order parameters, like their robustness/fragility under perturbations and their typical disappearance beyond strictly one-dimensional lattices. We propose and discuss an alternative definition, ideally suited for detecting phase transitions, and generalizations to two and more spatial dimensions. △ Less

Submitted 4 February, 2008; originally announced February 2008.

Comments: 5 pages, 1 figure

Journal ref: Phys. Rev. Lett. 100, 167202 (2008)

On entropy growth and the hardness of simulating time evolution

Authors: Norbert Schuch, Michael M. Wolf, Karl Gerd H. Vollbrecht, J. Ignacio Cirac

Abstract: The simulation of quantum systems is a task for which quantum computers are believed to give an exponential speedup as compared to classical ones. While ground states of one-dimensional systems can be efficiently approximated using Matrix Product States (MPS), their time evolution can encode quantum computations, so that simulating the latter should be hard classically. However, one might believ… ▽ More The simulation of quantum systems is a task for which quantum computers are believed to give an exponential speedup as compared to classical ones. While ground states of one-dimensional systems can be efficiently approximated using Matrix Product States (MPS), their time evolution can encode quantum computations, so that simulating the latter should be hard classically. However, one might believe that for systems with high enough symmetry, and thus insufficient parameters to encode a quantum computation, efficient classical simulation is possible. We discuss supporting evidence to the contrary: We provide a rigorous proof of the observation that a time independent local Hamiltonian can yield a linear increase of the entropy when acting on a product state in a translational invariant framework. This criterion has to be met by any classical simulation method, which in particular implies that every global approximation of the evolution requires exponential resources for any MPS based method. △ Less

Submitted 4 April, 2008; v1 submitted 14 January, 2008; originally announced January 2008.

Comments: 15 pages. v2: Published version, Journal-Ref. added

Journal ref: New J. Phys. 10, 033032 (2008)

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

Authors: Norbert Schuch, Michael M. Wolf, Frank Verstraete, J. Ignacio Cirac

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

Submitted 4 April, 2008; v1 submitted 12 August, 2007; originally announced August 2007.

Comments: 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)

Journal ref: Phys. Rev. Lett. 100, 040501 (2008)

PEPS as unique ground states of local Hamiltonians

Authors: David Perez-Garcia, Frank Verstraete, J. Ignacio Cirac, Michael M. Wolf

Abstract: In this paper we consider projected entangled pair states (PEPS) on arbitrary lattices. We construct local parent Hamiltonians for each PEPS and isolate a condition under which the state is the unique ground state of the Hamiltonian. This condition, verified by generic PEPS and examples like the AKLT model, is an injective relation between the boundary and the bulk of any local region. While it… ▽ More In this paper we consider projected entangled pair states (PEPS) on arbitrary lattices. We construct local parent Hamiltonians for each PEPS and isolate a condition under which the state is the unique ground state of the Hamiltonian. This condition, verified by generic PEPS and examples like the AKLT model, is an injective relation between the boundary and the bulk of any local region. While it implies the existence of an energy gap in the 1D case we will show that in certain cases (e.g., on a 2D hexagonal lattice) the parent Hamiltonian can be gapless with a critical ground state. To show this we invoke a mapping between classical and quantum models and prove that in these cases the injectivity relation between boundary and bulk solely depends on the lattice geometry. △ Less

Submitted 16 July, 2007; originally announced July 2007.

Comments: 8 pages

Journal ref: Quant. Inf. Comp. 8, 0650-0663 (2008).

Entropy scaling and simulability by Matrix Product States

Authors: Norbert Schuch, Michael M. Wolf, Frank Verstraete, J. Ignacio Cirac

Abstract: We investigate the relation between the scaling of block entropies and the efficient simulability by Matrix Product States (MPS), and clarify the connection both for von Neumann and Renyi entropies (see Table I). Most notably, even states obeying a strict area law for the von Neumann entropy are not necessarily approximable by MPS. We apply these results to illustrate that quantum computers migh… ▽ More We investigate the relation between the scaling of block entropies and the efficient simulability by Matrix Product States (MPS), and clarify the connection both for von Neumann and Renyi entropies (see Table I). Most notably, even states obeying a strict area law for the von Neumann entropy are not necessarily approximable by MPS. We apply these results to illustrate that quantum computers might outperform classical computers in simulating the time evolution of quantum systems, even for completely translational invariant systems subject to a time independent Hamiltonian. △ Less

Submitted 30 January, 2008; v1 submitted 2 May, 2007; originally announced May 2007.

Comments: 4 pages, 1 figure. v2: Accepted version, minor changes and clarifications, Journal-Ref. added

Journal ref: Phys. Rev. Lett. 100, 030504 (2008)

Area laws in quantum systems: mutual information and correlations

Authors: M. M. Wolf, F. Verstraete, M. B. Hastings, J. I. Cirac

Abstract: The holographic principle states that on a fundamental level the information content of a region should depend on its surface area rather than on its volume. This counterintuitive idea which has its roots in the nonextensive nature of black-hole entropy serves as a guiding principle in the search for the fundamental laws of Planck-scale physics. In this paper we show that a similar phenomenon em… ▽ More The holographic principle states that on a fundamental level the information content of a region should depend on its surface area rather than on its volume. This counterintuitive idea which has its roots in the nonextensive nature of black-hole entropy serves as a guiding principle in the search for the fundamental laws of Planck-scale physics. In this paper we show that a similar phenomenon emerges from the established laws of classical and quantum physics: the information contained in part of a system in thermal equilibrium obeys an area law. While the maximal information per unit area depends classically only on the number of microscopic degrees of freedom, it may diverge as the inverse temperature in quantum systems. A rigorous relation between area laws and correlations is established and their explicit behavior is revealed for a large class of quantum many-body states beyond equilibrium systems. △ Less

Submitted 10 March, 2008; v1 submitted 30 April, 2007; originally announced April 2007.

Comments: 5 pages, 2 figures, published version with appendix

Journal ref: Phys. Rev. Lett. 100, 070502 (2008)

Sequential Generation of Matrix-Product States in Cavity QED

Authors: C. Schoen, K. Hammerer, M. M. Wolf, J. I. Cirac, E. Solano

Abstract: We study the sequential generation of entangled photonic and atomic multi-qubit states in the realm of cavity QED. We extend the work of C. Schoen et al. [Phys. Rev. Lett. 95, 110503 (2005)], where it was shown that all states generated in a sequential manner can be classified efficiently in terms of matrix-product states. In particular, we consider two scenarios: photonic multi-qubit states seq… ▽ More We study the sequential generation of entangled photonic and atomic multi-qubit states in the realm of cavity QED. We extend the work of C. Schoen et al. [Phys. Rev. Lett. 95, 110503 (2005)], where it was shown that all states generated in a sequential manner can be classified efficiently in terms of matrix-product states. In particular, we consider two scenarios: photonic multi-qubit states sequentially generated at the cavity output of a single-photon source and atomic multi-qubit states generated by their sequential interaction with the same cavity mode. △ Less

Submitted 13 December, 2006; originally announced December 2006.

Comments: 11 pages

Journal ref: Phys. Rev. A 75, 032311 (2007)

The computational complexity of PEPS

Authors: Norbert Schuch, Michael M. Wolf, Frank Verstraete, J. Ignacio Cirac

Abstract: We determine the computational power of preparing Projected Entangled Pair States (PEPS), as well as the complexity of classically simulating them, and generally the complexity of contracting tensor networks. While creating PEPS allows to solve PP problems, the latter two tasks are both proven to be #P-complete. We further show how PEPS can be used to approximate ground states of gapped Hamilton… ▽ More We determine the computational power of preparing Projected Entangled Pair States (PEPS), as well as the complexity of classically simulating them, and generally the complexity of contracting tensor networks. While creating PEPS allows to solve PP problems, the latter two tasks are both proven to be #P-complete. We further show how PEPS can be used to approximate ground states of gapped Hamiltonians, and that creating them is easier than creating arbitrary PEPS. The main tool for our proofs is a duality between PEPS and postselection which allows to use existing results from quantum compexity. △ Less

Submitted 13 April, 2007; v1 submitted 6 November, 2006; originally announced November 2006.

Comments: 5 pages, 1 figure. Published version, plus a few extras

Journal ref: Phys. Rev. Lett. 98, 140506 (2007)

Criticality, the area law, and the computational power of PEPS

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

Abstract: The projected entangled pair state (PEPS) representation of quantum states on two-dimensional lattices induces an entanglement based hierarchy in state space. We show that the lowest levels of this hierarchy exhibit an enormously rich structure including states with critical and topological properties as well as resonating valence bond states. We prove, in particular, that coherent versions of t… ▽ More The projected entangled pair state (PEPS) representation of quantum states on two-dimensional lattices induces an entanglement based hierarchy in state space. We show that the lowest levels of this hierarchy exhibit an enormously rich structure including states with critical and topological properties as well as resonating valence bond states. We prove, in particular, that coherent versions of thermal states of any local 2D classical spin model correspond to such PEPS, which are in turn ground states of local 2D quantum Hamiltonians. This correspondence maps thermal onto quantum fluctuations, and it allows us to analytically construct critical quantum models exhibiting a strict area law scaling of the entanglement entropy in the face of power law decaying correlations. Moreover, it enables us to show that there exist PEPS within the same class as the cluster state, which can serve as computational resources for the solution of NP-hard problems. △ Less

Submitted 27 January, 2006; v1 submitted 11 January, 2006; originally announced January 2006.

Journal ref: Phys. Rev. Lett. 96, 220601 (2006).

Quantum phase transitions in matrix product systems

Authors: Michael M. Wolf, Gerardo Ortiz, Frank Verstraete, J. Ignacio Cirac

Abstract: We investigate quantum phase transitions (QPTs) in spin chain systems characterized by local Hamiltonians with matrix product ground states. We show how to theoretically engineer such QPT points between states with predetermined properties. While some of the characteristics of these transitions are familiar, like the appearance of singularities in the thermodynamic limit, diverging correlation l… ▽ More We investigate quantum phase transitions (QPTs) in spin chain systems characterized by local Hamiltonians with matrix product ground states. We show how to theoretically engineer such QPT points between states with predetermined properties. While some of the characteristics of these transitions are familiar, like the appearance of singularities in the thermodynamic limit, diverging correlation length, and vanishing energy gap, others differ from the standard paradigm: In particular, the ground state energy remains analytic, and the entanglement entropy of a half-chain stays finite. Examples demonstrate that these kinds of transitions can occur at the triple point of `conventional' QPTs. △ Less

Submitted 8 December, 2005; originally announced December 2005.

Comments: 5 pages, 1 figure

Journal ref: Phys. Rev. Lett. 97, 110403 (2006)

Quantum states on Harmonic lattices

Authors: Norbert Schuch, J. Ignacio Cirac, Michael M. Wolf

Abstract: We investigate bosonic Gaussian quantum states on an infinite cubic lattice in arbitrary spatial dimensions. We derive general properties of such states as ground states of quadratic Hamiltonians for both critical and non-critical cases. Tight analytic relations between the decay of the interaction and the correlation functions are proven and the dependence of the correlation length on band gap an… ▽ More We investigate bosonic Gaussian quantum states on an infinite cubic lattice in arbitrary spatial dimensions. We derive general properties of such states as ground states of quadratic Hamiltonians for both critical and non-critical cases. Tight analytic relations between the decay of the interaction and the correlation functions are proven and the dependence of the correlation length on band gap and effective mass is derived. We show that properties of critical ground states depend on the gap of the point-symmetrized rather than on that of the original Hamiltonian. For critical systems with polynomially decaying interactions logarithmic deviations from polynomially decaying correlation functions are found. Moreover, we provide a generalization of the matrix product state representation for Gaussian states and show that properties hold analogously to the case of finite dimensional spin systems. △ Less

Submitted 20 January, 2012; v1 submitted 22 September, 2005; originally announced September 2005.

Comments: 33 pages, 6 figures. Sec. I-VI published in Commun. Math. Phys. 267, 65 (2006). Sec. VII, which introduces Gaussian Matrix Product States, is now available separately at arXiv:1201.3945, and has been published in the Proceedings on the conference on Quantum information and many body quantum systems, edited by M. Ericsson and S. Montangero, pg. 129 (Edizioni della Normale, Pisa, 2008)

Journal ref: Commun. Math. Phys. 267, 65-95 (2006)

Violation of the entropic area law for Fermions

Authors: Michael M. Wolf

Abstract: We investigate the scaling of the entanglement entropy in an infinite translational invariant Fermionic system of any spatial dimension. The states under consideration are ground states and excitations of tight-binding Hamiltonians with arbitrary interactions. We show that the entropy of a finite region typically scales with the area of the surface times a logarithmic correction. Thus, in contra… ▽ More We investigate the scaling of the entanglement entropy in an infinite translational invariant Fermionic system of any spatial dimension. The states under consideration are ground states and excitations of tight-binding Hamiltonians with arbitrary interactions. We show that the entropy of a finite region typically scales with the area of the surface times a logarithmic correction. Thus, in contrast to analogous Bosonic systems, the entropic area law is violated for Fermions. The relation between the entanglement entropy and the structure of the Fermi surface is discussed, and it is proven, that the presented scaling law holds whenever the Fermi surface is finite. This is in particular true for all ground states of Hamiltonians with finite range interactions. △ Less

Submitted 26 February, 2006; v1 submitted 29 March, 2005; originally announced March 2005.

Comments: 5 pages, 1 figure

Journal ref: Phys. Rev. Lett. 96, 010404 (2006)

Renormalization group transformations on quantum states

Authors: F. Verstraete, J. I. Cirac, J. I. Latorre, E. Rico, M. M. Wolf

Abstract: We construct a general renormalization group transformation on quantum states, independent of any Hamiltonian dynamics of the system. We illustrate this procedure for translational invariant matrix product states in one dimension and show that product, GHZ, W and domain wall states are special cases of an emerging classification of the fixed points of this coarse--graining transformation. We construct a general renormalization group transformation on quantum states, independent of any Hamiltonian dynamics of the system. We illustrate this procedure for translational invariant matrix product states in one dimension and show that product, GHZ, W and domain wall states are special cases of an emerging classification of the fixed points of this coarse--graining transformation. △ Less

Submitted 27 October, 2004; originally announced October 2004.

Comments: 5 pages, 2 figure

Journal ref: Phys.Rev.Lett. 94 (2005) 140601

Quantum computing

Authors: J. Eisert, M. M. Wolf

Abstract: This article gives an elementary introduction to quantum computing. It is a draft for a book chapter of the "Handbook of Nature-Inspired and Innovative Computing", Eds. A. Zomaya, G.J. Milburn, J. Dongarra, D. Bader, R. Brent, M. Eshaghian-Wilner, F. Seredynski (Springer, Berlin Heidelberg New York, 2006). This article gives an elementary introduction to quantum computing. It is a draft for a book chapter of the "Handbook of Nature-Inspired and Innovative Computing", Eds. A. Zomaya, G.J. Milburn, J. Dongarra, D. Bader, R. Brent, M. Eshaghian-Wilner, F. Seredynski (Springer, Berlin Heidelberg New York, 2006). △ Less

Submitted 17 March, 2006; v1 submitted 5 January, 2004; originally announced January 2004.

Comments: 35 pages, LaTeX (svmult.sty), 5 figures. Invited book chapter of the "Handbook of Nature-Inspired and Innovative Computing" (Springer, Berlin Heidelberg New York, 2006); minor stylistic changes

Journal ref: In: "Handbook of Nature-Inspired and Innovative Computing" (Springer, New York, 2006)