Searcharxiv⌕ Search

arXiv subjects

David Perez-Garcia

Publications and source records attributed to David Perez-Garcia.

At least 19 recordsLinked to original sources
arXiv2025

Simple Hamiltonians for Matrix Product State models

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.

quant-ph↗
arXiv2022

Undecidability of the Spectral Gap (full version)

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.

quant-ph↗
arXiv2021

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

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.

quant-ph↗
arXiv2020

Undecidability of the Spectral Gap in One Dimension

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.

quant-ph↗
arXiv2019

Classification of phases for mixed states via fast dissipative evolution

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.

quant-ph↗
arXiv2018

Locality at the boundary implies gap in the bulk for 2D PEPS

Proving that the parent Hamiltonian of a Projected Entangled Pair State (PEPS) is gapped remains an important open problem. We take a step forward in solving this problem by showing two results: first, we identify an approximate factorization condition on the boundary state of rectangular subregions that is sufficient to prove that the parent Hamiltonian of the bulk 2D PEPS has a constant gap in the thermodynamic limit; second, we then show that Gibbs state of a local, finite-range Hamiltonian satisfy such condition. The proof applies to the case of injective and MPO-injective PEPS, employs the martingale method of nearly commuting projectors, and exploits a result of Araki on the robustness of one dimensional Gibbs states. Our result provides one of the first rigorous connections between boundary theories and dynamical properties in an interacting many body system.

quant-ph↗
arXiv2018

Continuum limits of Matrix Product States

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.

quant-ph↗
arXiv2018

Undecidability of the Spectral Gap (short version)

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.

quant-ph↗
arXiv2018

Size-Driven Quantum Phase Transitions

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.

quant-ph↗
arXiv2017

Irreducible forms of Matrix Product States: Theory and Applications

The canonical form of Matrix Product States (MPS) and the associated fundamental theorem, which relates different MPS representations of a state, are the theoretical framework underlying many of the analytical results derived through MPS, such as the classification of symmetry-protected phases in one dimension. Yet, the canonical form is only defined for MPS without non-trivial periods, and thus cannot fully capture paradigmatic states such as the antiferromagnet. Here, we introduce a new standard form for MPS, the irreducible form, which is defined for arbitrary MPS, including periodic states, and show that any tensor can be transformed into a tensor in irreducible form describing the same MPS. We then prove a fundamental theorem for MPS in irreducible form: If two tensors in irreducible form give rise to the same MPS, then they must be related by a similarity transform, together with a matrix of phases. We provide two applications of this result: an equivalence between the refinement properties of a state and the divisibility properties of its transfer matrix, and a more general characterisation of tensors that give rise to matrix product states with symmetries.

quant-ph↗
arXiv2017

Matrix Product Unitaries: Structure, Symmetries, and Topological Invariants

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.

cond-mat.str-el↗
arXiv2016

Constructing topological models by symmetrization: A PEPS study

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$.

cond-mat.str-el↗
arXiv2016

Comment on "On the uncomputability of the spectral gap"

The aim of this short note is to clarify some of the claims made in the comparison made in [S. Lloyd, On the uncomputability of the spectral gap, arXiv:1602.05924] between our recent result [T.S. Cubitt, D. Perez-Garcia, M.M. Wolf, Undecidability of the spectral gap, Nature 528, 207-211 (2015), arXiv:1502.04573] and his 1994 paper [S. Lloyd, Necessary and sufficient conditions for quantum computation, J. Mod. Opt. 41(12), 2503-2520 (1994)].

quant-ph↗
arXiv2015

Stability of local quantum dissipative systems

Open quantum systems weakly coupled to the environment are modeled by completely positive, trace preserving semigroups of linear maps. The generators of such evolutions are called Lindbladians. In the setting of quantum many-body systems on a lattice it is natural to consider Lindbladians that decompose into a sum of local interactions with decreasing strength with respect to the size of their support. For both practical and theoretical reasons, it is crucial to estimate the impact that perturbations in the generating Lindbladian, arising as noise or errors, can have on the evolution. These local perturbations are potentially unbounded, but constrained to respect the underlying lattice structure. We show that even for polynomially decaying errors in the Lindbladian, local observables and correlation functions are stable if the unperturbed Lindbladian has a unique fixed point and a mixing time which scales logarithmically with the system size. The proof relies on Lieb-Robinson bounds, which describe a finite group velocity for propagation of information in local systems. As a main example, we prove that classical Glauber dynamics is stable under local perturbations, including perturbations in the transition rates which may not preserve detailed balance.

quant-ph↗
arXiv2014

Entanglement and the three-dimensionality of the Bloch ball

We consider a very natural generalization of quantum theory by letting the dimension of the Bloch ball be not necessarily three. We analyze bipartite state spaces where each of the components has a d-dimensional Euclidean ball as state space. In addition to this we impose two very natural assumptions: the continuity and reversibility of dynamics, and the possibility of characterizing bipartite states by local measurements. We classify all these bipartite state spaces and prove that, except for the quantum two-qubit state space, none of them contains entangled states. Equivalently, in any of these non-quantum theories interacting dynamics is impossible. This result reveals that "existence of entanglement" is the requirement with minimal logical content which singles out quantum theory from our family of theories.

quant-ph↗
arXiv2014

Unbounded number of channel uses are required to see quantum capacity

Transmitting data reliably over noisy communication channels is one of the most important applications of information theory, and well understood when the channel is accurately modelled by classical physics. However, when quantum effects are involved, we do not know how to compute channel capacities. The capacity to transmit quantum information is essential to quantum cryptography and computing, but the formula involves maximising the coherent information over arbitrarily many channel uses. This is because entanglement across channel uses can increase the coherent information, even from zero to non-zero! However, in all known examples, at least to detect whether the capacity is non-zero, two channel uses already suffice. Maybe a finite number of channel uses is always sufficient? Here, we show this is emphatically not the case: for any n, there are channels for which the coherent information is zero for n uses, but which nonetheless have capacity. This may be a first indication that the quantum capacity is uncomputable.

quant-ph↗
arXiv2013

Existence of an information unit as a postulate of quantum theory

Does information play a significant role in the foundations of physics? Information is the abstraction that allows us to refer to the states of systems when we choose to ignore the systems themselves. This is only possible in very particular frameworks, like in classical or quantum theory, or more generally, whenever there exists an information unit such that the state of any system can be reversibly encoded in a sufficient number of such units. In this work we show how the abstract formalism of quantum theory can be deduced solely from the existence of an information unit with suitable properties, together with two further natural assumptions: the continuity and reversibility of dynamics, and the possibility of characterizing the state of a composite system by local measurements. This constitutes a new set of postulates for quantum theory with a simple and direct physical meaning, like the ones of special relativity or thermodynamics, and it articulates a strong connection between physics and information.

quant-ph↗