We consider the relationship between correlations and entanglement in gapped quantum systems, with application to matrix product state representations. We prove that there exist gapped one-dimensional local Hamiltonians such that the entropy is exponentially large in the correlation length, and we present strong evidence supporting a conjecture that there exist such systems with arbitrarily large entropy. However, we then show, under an assumption on the density of states which is believed to be satisfied by many physical systems such as the fractional quantum Hall effect, that an efficient matrix product state representation of the ground state exists in any dimension. Finally, we comment on the implications for numerical simulation.
We consider the relationship between correlations and entanglement in gapped quantum systems, with application to matrix product state representations. We prove that there exist gapped one-dimensional local Hamiltonians such that the entropy is exponentially large in the correlation length, and we present strong evidence supporting a conjecture that there exist such systems with arbitrarily large entropy. However, we then show, under an assumption on the density of states which is believed to be satisfied by many physical systems such as the fractional quantum Hall effect, that an efficient matrix product state representation of the ground state exists in any dimension. Finally, we comment on the implications for numerical simulation.
We prove an area law for the entanglement entropy in gapped one-dimensional quantum systems. The bound on the entropy grows surprisingly rapidly with the correlation length; we discuss this in terms of properties of quantum expanders and present a conjecture on matrix product states which may provide an alternate way of arriving at an area law. We also show that, for gapped, local systems, the bound on Von Neumann entropy implies a bound on Rényi entropy for sufficiently large α<1 and implies the ability to approximate the ground state by a matrix product state.
We begin by deriving bounds for the entanglement of a spin with an (adjacent and non-adjacent) interval of spins in an arbitrary pure Finitely Correlated States (FCS). The bounds we derive become exact in the case where one considers the entanglement of a single spin with a half-infinite chain to the right of it. Our result permits a more efficient calculation, numerically and in some cases even analytically, of the entanglement in arbitrary finitely correlated quantum spin chains. We continue the study of entanglement in the setting of ground states of Hamiltonians with a spectral gap. In particular, for V a finite subset of Zd, we let HV denote a Hamiltonian on V with finite range, finite strength interactions and a unique ground state with a non-vanishing spectral gap. For a density matrix ρA that describes the finite-volume restriction to a region A of the unique ground state, we provide a detailed version of a proof by M. Hastings, that the entropy of ρA is bounded by a uniform constant C. Moreover, we provide a detailed generalization of the 1-dimensional construction of Hastings' approximation to the ground state in dimensions 2 and higher. Finally, we turn our attention to the study of a conjecture central to Quantum Information Theory, the multiplicativity of the maximal output Schatten p-norm of quantum channels, for p>1. In particular, we study the output 2-norm for a special class of quantum channels, the depolarized Werner-Holevo channels, and show that multiplicativity holds for a product of two identical channels in this class.
Spatial sudden death of entanglement refers to the disappearance of quantum correlations between subsystems after a certain distance called the entanglement length. Specifically, given a density matrix ρABC on a tripartite system ABC with B spatially separating A and C, the entanglement length is the distance ℓ(A,C) after which the reduced density matrix ρAC, given by tracing out the B subsystem, is separable. We show in the case of gapped ground states in any dimension that the entanglement length is finite on finite subsystems. Restricting to one-dimensional systems, we prove that normal matrix product states have a finite entanglement length independent of A and C, and that a finite pure state with such uniform entanglement length has a matrix product state representation with bond dimension independent of A and C. Consequently, in one dimension, entanglement length distinguishes matrix product states from all other pure states.
The area law for entanglement entropy captures a fundamental constraint on the complexity of quantum many-body ground states and enables their efficient description. While the area law is rigorously established in one dimension, its status in higher-dimensional local systems remains unresolved, and it does not hold in general for geometrically non-local systems. Here, we establish a generalized area law for gapped ground states of fully connected Hamiltonians. We show that the bipartite entanglement entropy grows at most logarithmically with system size despite the absence of geometric locality. In the ground state, each site is only weakly entangled with the rest, while configurations with extensive local fluctuations are strongly suppressed, effectively restricting the accessible Hilbert space. As a consequence, the ground state admits a matrix product state approximation with polynomial bond dimension with respect to the system size at fixed accuracy. In the permutation-invariant setting, we further prove a constant entanglement bound and demonstrate that the gapped ground state can be computed in time polylogarithmic in the system size. These results show that low entanglement complexity need not rely on geometric locality, broadening the conceptual and computational scope of area laws.
The study of generic properties of quantum states has led to an abundance of insightful results.A meaningful set of states that can be efficiently prepared in experiments are ground states of gapped local Hamiltonians, which are well approximated by matrix product states.In this work, we introduce a picture of generic states within the trivial phase of matter with respect to their nonequilibrium and entropic properties.We do so by rigorously exploring nontranslation-invariant matrix product states drawn from a local independent and identically distributed Haar measure.We arrive at these results by exploiting techniques for computing moments of random unitary matrices and by exploiting a mapping to partition functions of classical statistical models, a method that has lead to valuable insights on local random quantum circuits.Specifically, we prove that such disordered random matrix product states equilibrate exponentially well with overwhelming probability under the time evolution of Hamiltonians featuring a nondegenerate spectrum.Moreover, we prove two results about the entanglement Rényi entropy: the entropy with respect to sufficiently disconnected subsystems is generically extensive in the system size, and for small connected systems, the entropy is almost maximal for sufficiently large bond dimensions.
A key feature of ground states of gapped local 1D Hamiltonians is their relatively low entanglement --- they are well approximated by matrix product states (MPS) with bond dimension scaling polynomially in the length N of the chain, while general states require a bond dimension scaling exponentially. We show that the bond dimension of these MPS approximations can be improved to a constant, independent of the chain length, if we relax our notion of approximation to be more local: for all length- k segments of the chain, the reduced density matrices of our approximations are ϵ -close to those of the exact state. If the state is a ground state of a gapped local Hamiltonian, the bond dimension of the approximation scales like (k/ϵ)1+o(1) , and at the expense of worse but still poly (k,1/ϵ) scaling of the bond dimension, we give an alternate construction with the additional features that it can be generated by a constant-depth quantum circuit with nearest-neighbor gates, and that it applies generally for any state with exponentially decaying correlations. For a completely general state, we give an approximation with bond dimension exp(O(k/ϵ)) , which is exponentially worse, but still independent of N . Then, we consider the prospect of designing an algorithm to find a local approximation for ground states of gapped local 1D Hamiltonians. When the Hamiltonian is translationally invariant, we show that the ability to find O(1) -accurate local approximations to the ground state in T(N) time implies the ability to estimate the ground state energy to O(1) precision in O(T(N)log(N)) time.