A short review on entanglement in quantum spin systems J. I. Latorre and A. Riera Dept. d’Estructura i Constituents de la Matèria, Universitat de Barcelona, 647 Diagonal, 08028 Barcelona, Spain We review some of the recent progress on the study of entropy of entanglement in many-body quantum systems. Emphasis is placed on the scaling properties of entropy for one-dimensional multi-partite models at quantum phase transitions and, more generally, on the concept of area law. We also briefly describe the relation between entanglement and the presence of impurities, the idea of particle entanglement, the evolution of entanglement along renormalization group trajectories, the dynamical evolution of entanglement and the fate of entanglement along a quantum computation. PACS numbers: 03.67.-a, 03.65.Ud, 03.67.Hk Contents I. INTRODUCTION I. Introduction 1 Quantum systems are ultimately characterized by the ob- servable correlations they exhibit. For instance, an observ- II. An explicit computation of entanglement entropy 2 able such as the correlation function between two spins in a A.EntanglementEntropy 2 typical spin chain may decay exponentially as a function of B.XXmodel 3 the distance separating them or, in the case the system under- C.GroundState 3 goes a phase transition, algebraically. The correct assessment D.Entanglemententropyofablock 4 of these quantum correlations is tantamount to understanding E.Scalingoftheentropy 5 how entanglement is distributed in the state of the system. F. Entanglement entropy and Toeplitz determinant 6 This is easily understood as follows. Let us consider a con- nected correlation III. Scaling of entanglement 6 Ψ O O Ψ (1) A.One-dimensionalsystems 7 | i j | c ≡ B. Conformalfieldtheoryandcentralcharge 7 Ψ OiOj Ψ Ψ Oi Ψ Ψ Oj Ψ , C. Area law 7 | | − | | | | where Oi and Oj are operators at sites i and j respectively. IV. Other models 8 This connected correlator would vanish identically for any product state Ψ = ψ . That is, O O is a product op- A.TheXYmodel 9 | ⊗i| i i ⊗ j B.TheXXZmodel 9 erator and, consequently, its correlations can only come from the amount of entanglement in the state Ψ . It follows that C.Disorderedmodels 10 | D. TheLipkin-Meshkov-Glickmodel 11 the ground state of any interesting system will be highly cor- E.Particleentanglement 12 related and, as a particular case, even the vacuum displays a non-trivial entanglement structure in quantum field theories. V. Renormalization of Entanglement 12 Notice that, at this point, our emphasis has moved from A. Renormalizationofquantumstates 12 Hamiltonians to states. It is perfectly sensible to analyse en- B. Irreversibility of RG flows 13 tanglement properties of specific states per se, which may be artificially created using a post-selection mechanism or may VI. Dynamics of Entanglement 13 effectively be obtained in different ways using various inter- A. Time evolution of the block entanglement actions. We are, thus, concerned with the entanglement prop- entropy 13 erties that characterize a quantum state. Yet, we shall focuson B. Bounds for time evolution of the block entropy 14 states that are physically relevant. In particular, we shall study the entanglement properties of ground states of Hamiltonians arXiv:0906.1499v2 [cond-mat.stat-mech] 3 Dec 2009 C.Longrangeinteractions 14 that describe the interaction present in spin chains. VII. Entanglement along quantum computation 15 It is clear that the property of entanglement can be made A.Quantumcircuits 15 apparent by studying correlations functions on a given state. B. Adiabaticquantumcomputation 16 We could consider two-, three- or n-point connected correla- C.Onewayquantumcomputation 17 tion functions. Any of them would manifest how the original interactions in the Hamiltonian have operated in the system to VIII. Conclusion: entanglement as the barrier for achieve the observed degree of entanglement. For instance, classical simulations 18 free particles (Gaussian Hamiltonians) produce n-point cor- relators that reduce to products of two-point correlators via Acknowledgments 18 Wick’s theorem. Nonetheless, the study of specific correla- tion functions is model dependent. How can we compare the References 18 correlations of a Heisenberg Model with those of Quantum 2 Chromodynamics? Each theory brings its own set of local II. AN EXPLICIT COMPUTATION OF ENTANGLEMENT and non-local operatorsthat close an Operator Product Expan- ENTROPY sion. Different theories will carry different sets of operators, so that a naive comparison is hopeless. A wonderful possibil- Let us start our discussion with the study of the behaviour ity to quantify degrees of entanglement for unrelated theories of entanglement at different regimes (critical and non-critical) emerges from the use of Renormalization Group ideas and the of the XX model. As we shall see, entanglement entropy will study of universal properties. For instance, a system may dis- be a good tool to describe the properties of the quantum phase play exponential decays in its correlations functions which is transition which characterize this model [1, 2]. globally controlled by a common correlation length. A model In order to do this, first we need to introduce the Von Neu- with a larger correlation length is expected to present stronger mann entropy as a measure of the bipartite entanglement in long-distance quantum correlations. pure sates. Then, we will study the scaling of the entangle- We may as well try to find a universalunique figure of merit ment entropy for the simple XX model. We then will proceed that would allow for a fair comparison of the entanglement to compute the ground state GS of the system, from which | present in e. g. the ground state of all possible theories. Such we can obtain the spectra of the reduced density matrix ρL for a figure of merit cannot be attached to the correlations proper- the block of L contiguous spins. The knowledge of the eigen- ties of model-dependentoperators since it would not allow for values of ρL will let us determine its entanglement entropy comparison among different theories. The way to overcome SL. Finally, we are going to analyse how the entanglement this problem is to look for an operator which is defined in ev- behaves depending on the critical properties of the model. ery theory. It turns out that there is only one such operator: the stress tensor. To be more precise, we can use the language of conformal field theory which establishes that there always is A. Entanglement Entropy a highest weight operator that we call the Identity. The Iden- tity will bring a tower of descendants, the stress tensor being its first representative. Indeed, the stress tensor is always de- The problem of measuring and quantifying quantum corre- fined in any theory since it corresponds to the operator that lations, or entanglement, in many body quantum systems is a measures the energy content of the system and it is the oper- field of research in its own, that benefits both from condensed ator that couples the system to gravity. Correlators of stress matter and quantum information ideas. Here, we shall only tensor operators are naturally related to entanglement. In par- discuss the Von Neumann entropy as a figure of merit for en- ticular, the coefficient of the two-point stress tensor correlator tanglement. Nevertheless, there are many other measures that in a conformal field theory in two dimensions corresponds to have been largely explored. A detailed explanation of them the central charge of the theory. can be found in several reviews [3, 4, 5, 6, 7, 8, 9, 10, 11]. Our choice for the entropy of entanglement is based on a There is a secondoptionto measure entanglementin a given combination of ideas. Entropy has a clear information the- state with a single measure of entanglement which is closer in ory meaning. It also relates to extensive research in quantum spirit to the ideas of Quantum Information. The basic idea field theory and the physics of black holes. Furthermore, its consists of using the von Neumann (entanglement) entropy of scaling properties are related to the characterization of quan- the reduced density matrix of a sub-part of the system which tum phase transitions as provided by conformal field theory. is analysed. Indeed, the entanglement entropy quantifies the On the other hand, entanglement entropy is not a simple quan- amount of surprise that a sub-part of a system finds when dis- tity to compute, neither a direct observable (though it relates covering it is correlated to the rest of the system. Therefore, to them). entanglement entropy is a bona fide measure of the correla- The von Neumann entropy can be used to measure the en- tions in the system. The advantage of the von Neumann en- tanglement between two parts of the system, that we call A tropy of entanglement is that it can be defined for any system. and B. Let us take a ket ψ belonging to = . We expect its general properties, as the way it scales with the AB A B According to the Schmidt| decomposition, forH anyH pure⊗ bipar- H size of the sub-part of the system we are considering, should tite state we can always find two orthonormal basis ϕ characterized the quantum state in a quite refined way. {| iA} and φj B such that the state ψ AB can be written as It is tantalizing to exhaustively explore the behaviour of the {| } | entropy of entanglement in relevant physical systems. For in- χ stance, will the entropy of entanglement scale differently at a ψ = α ϕ φ , (2) | AB i| iA| iB critical point as compare to a non-critical one? Will scaling i properties depend on the dimensionality of the system. Is dis- order relevant for long-distance correlations? Are there non- where αi can be chosen real and positive and are called local systems where entropy obeys some singular behaviour? Schmidt coefficients, and χ min (dim A, dim B ) is the How does entanglement renormalize? How does entangle- Schmidt number.