Exponential decay of correlations implies area law

From MaRDI portal
Publication:2514213



Abstract: We prove that a finite correlation length, i.e. exponential decay of correlations, implies an area law for the entanglement entropy of quantum states defined on a line. The entropy bound is exponential in the correlation length of the state, thus reproducing as a particular case Hastings proof of an area law for groundstates of 1D gapped Hamiltonians. As a consequence, we show that 1D quantum states with exponential decay of correlations have an efficient classical approximate description as a matrix product state of polynomial bond dimension, thus giving an equivalence between injective matrix product states and states with a finite correlation length. The result can be seen as a rigorous justification, in one dimension, of the intuition that states with exponential decay of correlations, usually associated with non-critical phases of matter, are simple to describe. It also has implications for quantum computing: It shows that unless a pure state quantum computation involves states with long-range correlations, decaying at most algebraically with the distance, it can be efficiently simulated classically. The proof relies on several previous tools from quantum information theory - including entanglement distillation protocols achieving the hashing bound, properties of single-shot smooth entropies, and the quantum substate theorem - and also on some newly developed ones. In particular we derive a new bound on correlations established by local random measurements, and we give a generalization to the max-entropy of a result of Hastings concerning the saturation of mutual information in multiparticle systems. The proof can also be interpreted as providing a limitation on the phenomenon of data hiding in quantum states.


In the present paper, it is shown, that the assumption of exponential decay of correlations in a chain of quantum systems implies an area law for the entanglement entropy in that system. To prove their main result, the authors invoke techniques which were developed and successfully applied before in the context of quantum information theory, such as decoupling results and the smooth entropy formalism used for finite blocklength analysis. Beside generalizing an earlier result obtained by Hastings regarding area laws for one-dimensional gapped Hamiltonian models [\textit{M.B. Hastings}, ``An area law for one-dimensional quantum systems, J. Stat. Mech. Theory Exp. 2007, No. 8, Article ID P08024, p. 14 (2007; \url{doi:10.1088/1742-5468/2007/08/P08024})], the main result of the paper has the following other interesting implication. One-dimensional pure quantum states with exponential decay of correlations admit an efficient classical parameterization in terms of matrix product states with polynomial bond dimension. It is concluded, that quantum curcuits which show the assumed correlation behaviour can be simulated more or less classically.



Cites work


Cited in
(46)








This page was built for publication: Exponential decay of correlations implies area law

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2514213)