Entanglement and Nonlocality in ManyBody Systems: a primer
Abstract
Current understanding of correlations and quantum phase transitions in manybody systems has significantly improved thanks to the recent intensive studies of their entanglement properties. In contrast, much less is known about the role of quantum nonlocality in these systems. On the one hand, standard, ”theorist and experimentalistfriendly” manybody observables involve correlations among only few (one, two, rarely three…) particles. On the other hand, most of the available multipartite Bell inequalities involve correlations among many particles. Such correlations are notoriously hard to access theoretically, and even harder experimentally. Typically, there is no Bell inequality for manybody systems built only from loworder correlation functions. Recently, however, it has been shown in [J. Tura et al., Science 344, 1256 (2014)] that multipartite Bell inequalities constructed only from twobody correlation functions are strong enough to reveal nonlocality in some manybody states, in particular those relevant for nuclear and atomic physics. The purpose of this lecture is to provide an overview of the problem of quantum correlations in manybody systems – from entanglement to nonlocality – and the methods for their characterization.
03.65.Ud, 03.67.Bg, 03.67.Mn…
1 Introduction
Nonlocality is a property of correlations that goes beyond the paradigm of local realism [1, 2, 3, 4, 5, 6]. According to the celebrated theorem by J.S. Bell [3], correlations among the results of measurements of local observables performed on some entangled states do not admit a local hiddenvariable (LHV) model (cf. [7] for a review on LHV models). In other words, these correlations cannot be described by observers who have access only to correlated classical variables. In such instances, the observed quantum correlations are named nonlocal and we talk about quantum nonlocality, or Bell nonlocality. This can be detected by means of the socalled Bell inequalities [3]  the celebrated example of such is the famous ClauserHorneShimonyHolt inequality (CHSH) [8]. In general, Bell inequalities are inequalities formulated in terms of linear combinations of the probabilities observed when performing the local measurements on composite systems, and their violation signals nonlocality. Quantum, or Bell nonlocality is interesting for at least three reasons:
Quantummechanical states that violate Bell inequalities are necessarily entangled and cannot be represented as mixtures of projections on simple product states [22] (for a review on entanglement see [23]); the opposite does not have to be true. Already in 1991 Gisin proved [24] that any pure state of two parties violates a Bell’s inequality. This result was extended to an arbitrary number of parties by Popescu and Rohlich [25]. But, Werner in the seminal paper from 1989 [22] constructed examples of mixed bipartite states that admit a LHV model for local projective measurements, and nevertheless are entangled. This result was then generalized by Barrett to arbitrary generalized measurements [26]. Very recently, it has been shown that entanglement and nonlocality are inequivalent for any number of parties ([27] and references therein).
On the other hand, entanglement, despite being a weaker property of quantum states than nonlocality, has proven to be very useful to characterize properties of manybody systems, and the nature of quantum phase transitions (QPT) [28]. For instance, focusing on lattice spin models described by local Hamiltonians, the following properties are true (for a review see [29, 30]):

For noncritical systems, ground states (GSs) and low energy states exhibit the, socalled, area laws: the von Neuman (or Rényi) entropy of the reduced density matrix of a block of size scales as the size of the boundary of the block, ; at criticality logarithmic divergence occurs frequently [35] (for a review see [36, 37]). These results are very well established in 1D, while there are plenty of open questions in 2D and higher dimensions;

GSs and low energy states can be efficiently described by the, so called, matrix product states, or more generally tensor network states (cf. [38]);

Topological order (at least for gapped systems in 1D and 2D) exhibits itself in the properties of the, so called, entanglement spectrum, i.e. the spectrum of the logarithm of the reduced density matrix of a block [39], and in 2D in the appearance of the, so called, topological entropy, i.e. negative constant correction to the area laws [40, 41].
A natural question thus arises: Does nonlocality play also an important role in characterization of correlations in manybody systems? Apart from its fundamental interest, so far the role of nonlocality in such systems has hardly been explored. As already mentioned, entanglement and nonlocality are known to be inequivalent quantum resources. In principle, a generic manybody state, say a ground state of a local Hamiltonian, is pure, entangled and, because all pure entangled states violate a Bell inequality [25], it is also nonlocal. However, this result is hardly verifiable in experiments, because the known Bell inequalities (see, e.g., [42, 43, 44, 45, 46]) usually involve products of observables of all parties. Unfortunately, measurements of such observables, although in principle possible [47, 48], are technically extremely difficult; instead one has typically ”easy” access to fewbody correlations, say one and twobody, in generic manybody systems. Thus, the physically relevant question concerning the nonlocality of manybody quantum states is whether its detection is possible using only twobody correlations.
The plan of these lectures is the following: In Section 2 we present a crash course in entanglement theory, and talk about bipartite pure and mixed states, about entanglement criteria, and entanglement measures. Section 3 is devoted to the discussion of some aspects of entanglement in manybody systems. There we talk about the computational complexity of manybody problems, and relate it to entanglement of a generic state. We then explain area laws, and indicate why they give us hopes to find new efficient ways of solving manybody problems with new numerical tools. These new tools are provided by the tensor network states. Section 4 introduces the problem of nonlocality in manybody systems; we use here the contemporary approach called deviceindependent quantum information theory that talks about properties of correlations between measurements only. Here we introduce the concept of classical correlations, quantummechanical correlations, and nonsignalling correlations. CHSH inequality and its violations are shortly presented here. In Section 5 we enter into the problem of nonlocality detection in manybody systems based on Bell inequalities that involve only two and onebody correlators. Here we explain the idea of permutationally invariant Bell inequalities. Finally, Section 6 discusses physical realizations of manybody nonlocality with ionic and atomic models. These are promising systems in which the quantum violation of our Bell inequalities could be observed.
2 Crash course on entanglement
In this section, we focus on bipartite composite systems and follow the presentation of Ref. [29]. We will define formally what entangled states are, and present one important criterion to discriminate entangled states from separable ones. However, before going into details, let us introduce the notation. In what follows we will be mostly concerned with bipartite scenarios, in which traditionally the main roles are played by two parties called Alice and Bob. Let denote the Hilbert space of Alice’s physical system, and that of Bob’s. Our considerations will be restricted to finitedimensional Hilbert spaces, so we can set and . Thus, the joint physical system of Alice and Bob is described by the tensor product Hilbert space . Finally, will denote the set of bounded linear operators from the Hilbert space to .
2.1 Bipartite pure states: Schmidt decomposition
We begin our considerations from pure states for which it is much easier to introduce the concept of entanglement.
Definition 1.
We call a pure state separable if there exist pure states and such that . Otherwise, is called entangled.
To give an illustrative example of an entangled state from let us consider the maximally entangled states:
(1) 
where and and are some orthonormal bases (for instance the standard ones) in and , respectively. The reason why this state is called maximally entangled will become clear when we introduce entanglement measures.
For pure states, the separability problem — the task of judging if a given quantum state is separable — is easy to handle using the concept of Schmidt decomposition which we introduce in the following theorem.
Theorem 1.
Every pure state with admits the following decomposition
(2) 
called also the Schmidt decomposition, where the local vectors and form parts of orthonormal bases in and , respectively. Then, are some positive numbers that satisfy , and .
The proof of the Theorem 1 employs the singular value decomposition of the matrix describing the coefficients one gets by expanding the state in arbitrary orthonormal bases from Alice’s and Bob’s Hilbert spaces. The numbers and are called, respectively, the Schmidt coefficients and the Schmidt rank of . It is also worth noticing that and are eigensystems of the density matrices representing the first and second subsystem of and is their rank.
Now, one immediately realizes that Theorem 1 provides a very simple separability criterion for bipartite pure states: a state is separable if, and only if its Schmidt rank is one. Moreover, this criterion is operational, i.e., to check if a given pure state is separable, it suffices to determine the rank of one of its subsystems: if (the corresponding subsystem is in a pure state) then is separable; otherwise it is entangled. Note that the maximally entangled state (1) is already written in the form (2), with and all the Schmidt coefficients equal to .
2.2 Bipartite mixed states: Separable and entangled states
Let us now pass to the case of mixed states. Having learned the definition of separability for pure states, one could naively expect that mixed separable states are those taking the product form . This intuition is, however, not entirely correct and one can argue that all convex combinations of such product states should also be called separable. This is why the separability problem for mixes states complicates considerably.
In order to recall the definition of mixed separable states — first formalized by Werner in 1989 [22] — in more precise terms let us consider the following state preparation procedure. Imagine that in their distant laboratories, Alice and Bob can produce and manipulate any physical system. Apart from that they can also communicate using a classical channel (for instance a phone line), however, they are not allowed to communicate quantumly, meaning that Alice is not allowed to send any quantum particle to Bob and vice versa. These two capabilities, i.e., local operations (LO) and classical communication (CC), are frequently referred to as LOCC.
Now, let us suppose that in their local laboratories Alice and Bob can prepare one of different states and , respectively. Let us then assume that in each round of the preparation scheme, Alice generates with probability an integer , which she later sends to Bob using the classical channel they share. Upon receiving , Alice and Bob use their local devices to prepare the states and , respectively. The state that Alice and Bob share after repeating the above procedure many times is of the form
(3) 
which is the aforementioned convex combination of product states. This is also the most general state that can be prepared by means of LOCC provided that initially no other quantum state was shared by Alice and Bob. This gives us the formal definition of separability [22].
Definition 2.
A mixed state acting on is called separable if, and only if it admits the decomposition (3). Otherwise, it is called entangled.
It then follows from this definition that entangled states cannot be prepared locally by two parties even if they are allowed to communicate over a classical channel. To prepare entangled states the physical systems must be brought together to interact^{1}^{1}1Due to entanglement swapping [52], one must suitably enlarge the notion of preparation of entangled states. So, an entangled state between two particles can be prepared if and only if either the two particles (call them and ) themselves come together to interact at a time in the past, or two other particles (call them and ) do the same, with having interacted beforehand with A and with .. Mathematically, a nonproduct unitary operator (i.e., not of the form ) must necessarily act on the physical system to produce an entangled state from an initial separable one.
Let us recall that the number of pure separable states necessary to decompose any separable state into a convex combination of pure product states according to Eq. (3) is limited by the Carathéodory theorem as (see [23, 49]). No better bound is known in general, however, for twoqubit () and qubitqutrit () systems it was shown that [50] and [51], respectively.
The question whether a given bipartite state is separable or not turns out to be very complicated (see, e.g., Refs. [23, 53]). Although the general answer to the separability problem still eludes us, there has been significant progress in recent years, and we will review some such directions in the following paragraphs.
2.3 Entanglement criteria
An operational necessary and sufficient criterion for detecting entanglement still does not exist (see, nevertheless, Ref. [59] for a nonoperational one). However, over the years the whole variety of sufficient criteria allowing for detection of entanglement has been worked out. Below we review one of them, while for others the reader is referred to Ref. [53]. Note that, even if such an operation necessary and sufficient condition is missing, there are numerical checks of separability: one can test separability of a state using, for instance, semidefinite programming [54, 55]. In general — without a restriction on dimensions — the separability problem belongs to the NPhard class of computational complexity [56].
Partial transposition is an easy–to–apply necessary criterion based on the transposition map first recognized by Choi [57] and then independently formulated in the separability context by Peres [58].
Definition 3.
Let be a state acting on and let be the transposition map with respect to some real basis in defined through for any from . Let us now consider an extended map called hereafter partial transposition with being the identity map acting on the second subsystem. When applied to , the map transposes the first subsystem leaving the second one untouched. More formally, writing as
(4) 
where and are real bases in Alice and Bob Hilbert spaces, respectively, we have
(5) 
In an analogous way one defines partial transposition with respect to Bob’s subsystem, denoted by . Although the partial transposition of depends upon the choice of the basis in which is written, its eigenvalues are basis independent. The applicability of the transposition map in the separability problem can be formalized by the following statement [58].
Theorem 2.
For every separable state acting on , and .
Proof.
It follows from Definition 2 that by applying the partial transposition with respect to the first subsystem to a separable state , one obtains
(6) 
where the second equality follows from the fact that for all . From the above one infers that is a proper (and in particular separable) state, meaning that . The same reasoning shows that , which completes the proof. ∎
Due to the identity , and the fact that global transposition does not change eigenvalues, partial transpositions with respect to the and subsystems are equivalent from the point of view of the separability problem.
In conclusion, we have a simple criterion, called partial transposition criterion, for detecting entanglement: if the spectrum of one of the partial transpositions of contains at least one negative eigenvalue then is entangled. As an example, let us apply the criterion to pure entangled states. If is entangled, it can be written as (2) with . Then, the eigenvalues of are and . So, an entangled of Schmidt rank has partial transposition with negative eigenvalues violating the criterion stated in Theorem 2. Note that in systems of two qubits or a qubit and a qutrit the partial transposition criterion provides the necessary and sufficient condition for separability [59]. This is no more true in higher dimensions, due to the existence of entangled states with positive partial transposition [49, 60].
2.4 Entanglement measures
Although the separability criterion discussed above allows one to check whether a given state is entangled, it does not tell us (at least not directly) how much entanglement it has. Such a quantification is necessary because entanglement is a resource in quantum information theory. There are several complementary ways to quantify entanglement of bipartite quantum states (see [61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 23] and references therein) and in what follows we briefly discuss one of them.
Let us now introduce the definition of entanglement measures (for a more detailed axiomatic description, and other properties of entanglement measures, the reader is encouraged to consult, e.g., [23, 69, 70]). The main ingredient in this definition is the monotonicity under LOCC operations. More precisely, if denotes some LOCC operation, and is our candidate for the entanglement measure, has to satisfy
(7) 
i.e., it should not increase under LOCC operations. Another requirement says that vanishes on separable states. At this point it is worth noticing that from the monotonicity under LOCC operations (7) it already follows that is constant and minimal on separable states and also that it is invariant under unitary operations (see Ref. [23]).
2.5 Von Neumann entropy
A “good” entanglement measure for a pure state is the von Neumann entropy of the density matrix describing one of its subsystems, say the first one which arises by tracing out Bob’s subsystem of , i.e., . Recalling then that the von Neumann entropy of a density matrix is defined through , the following quantity
(8) 
was shown to be an entanglement measure [66]. Notice that for the maximally entangled states (1) one has . On the other hand, is an entanglement measure only for pure states. Separable mixed states have classical correlations, and thus the nonzero entropy of the reduced density matrix. In the following we will concentrate on the entanglement properties of the ground states of manybody systems. There the von Neumann entropy of a density matrix reduced to some region will play a fundamental role.
3 Entanglement in ManyBody Systems
3.1 Computational complexity
Let us start this discussion by considering simulations of quantum systems with classical computers. What can be simulated classically [30]? The systems that can be simulated classically are those to which we can apply efficient numerical methods, such as the quantum Monte Carlo method that works, for instance, very well for bosonic unfrustrated systems. Sometimes we may apply systematic perturbation theory, or even use exact diagonalization for small systems (say, for frustrated antiferromagnets consisting of 3040 spins 1/2). There is a plethora of variational and related methods available, such as various mean field methods, density functional theory (DFT), dynamical mean field theory (DMFT), and methods employing tensor network states (TNS), such as MatrixProduct States (MPS), ProjectedEntangledPair States (PEPS), Multiscale Entanglement Renormalization Ansatz (MERA), etc.
What is then computationally hard? Generic examples include fermionic models, frustrated systems, or disordered systems. While MPS techniques allow for efficient calculation of the ground states and also excited states in 1D, there are, even in 1D, no efficient algorithms to describe the outofequilibrium quantum dynamics. Why do we still have hopes to improve our classical simulation skills in the next future? This is connected with the recent developments of the tensor network states and observation that most of the states of physical interest, such as the ground states of local Hamiltonians, are non generic and fulfill the, so called, area laws.
3.2 Entanglement of a generic state
Before we turn to the area laws for physically relevant states let us first consider a generic pure state in the Hilbert space in (). Such a generic state (normalized) has the form
(9) 
where is the standard basis in and the complex numbers may be regarded as random variables distributed uniformly on a hypersphere, i.e., distributed according to the probability density
(10) 
with the only constraint being the normalization. As we shall see, such a generic state fulfills on average a “volume” rather than an area law. To this aim we introduce a somewhat more rigorous description, and we prove that on average, the entropy of one of subsystems of bipartite pure states in () is almost maximal for sufficiently large . In other words, typical pure states in are almost maximally entangled. This “typical behavior” of pure states happens to be completely atypical for ground states of local Hamiltonians with an energy gap between ground and first excited eigenstates. More precisely, one has the following theorem (see, e.g., Refs. [71, 72, 73, 74, 75, 76, 77]).
Theorem 3.
Let be a bipartite pure state from drawn at random according to the Haar measure on the unitary group and be its subsystem acting on . Then,
(11) 
Notice that the above result can be estimated very easily by relaxing the normalization constraint in the distribution (10), and replacing it by a product of independent Gaussian distributions, , with , and . According to the central limit theorem, the latter distribution tends for to a Gaussian one for centered at 1 of width . One then straightforwardly obtains that , and after a little more tedious calculation that , which agrees asymptotically with the above result for .
4 Area laws
Generally speaking, area laws mean that, when we consider a large region of a large system in a pure state, some of the physical properties of such as the von Neumann entropy of the reduced density matrix representing it will depend only on the boundary (cf. Fig. 1).
4.1 Quantum area laws in 1D
Let us start with the simplest case of onedimensional lattices, . Let be a subset of consisting of contiguous spins starting from the first site, i.e., with . In this case the boundary of the region contains one spin for open boundary conditions, and two for periodic ones. Therefore, in this case the area law is extremely simple:
(12) 
The case of seems to be quite well understood. In general, all local gapped systems (away from criticality) satisfy the above law, and there might be a logarithmic divergence of entanglement entropy when the system is critical. To be more precise, let us recall the theorem by Hastings leading to the first of the above statements, followed by examples of critical systems showing a logarithmic divergence of the entropy with the size of .
Consider the nearestneighbor interaction Hamiltonian
(13) 
where each has a nontrivial support only on the sites and . We assume also that the operator norm of all the terms in Eq. (13) are upper bounded by some positive constant , i.e., for all (i.e., we assume that the interaction strength between th site and its nearestneighbor is not greater that some constant). Under these assumptions, Hastings proved the following theorem [78].
Theorem 4.
Let be a onedimensional lattice with dimensional sites, and let be a local Hamiltonian (13). Assuming that has a unique ground state separated from the first excited states by the energy gap , the entropy of any region satisfies
(14) 
with denoting some constant of the order of unity and . Here, denotes the sound velocity and is of the order of , while is a length scale of order unity.
Let us remark that both constants appearing in the above theorem come about from the LiebRobinson bound [79] (see also Ref. [80] for a recent simple proof of this bound). This theorem tells us that when the onedimensional system with the local interaction defined by Eq. (13) is away from the criticality , the entropy of is bounded by some constant independent of . One can naturally ask if there exist gapped systems with longrange interaction violating (12). This was answered in the affirmative in Ref. [81, 82], which gave examples of onedimensional models with long–range interactions, nonzero energy gap, and scaling of entropy diverging logaritmically with .
The second question one can ask is about the behavior of the entropy when and the system becomes critical. Numerous analytical and numerical results show that usually one observes a logarithmic divergence of with the size of the region (we refer the reader to recent reviews [37, 83], and to the special issue of J. Phys. A devoted to this subject [36]).
Concluding, let us mention that there is an extensive literature on the logarithmic scaling of the block entropy using conformal field theory methods (see Ref. [84] for a very good overview of these results). Quite generally, the block entropy at criticality scales as
(15) 
or, more in general for the Rényi entropy^{2}^{2}2Recall that the quantum Rényi entropy is defined as where . For one has and with being the maximal eigenvalue of .
(16) 
where is called the central charge of the underlying conformal field theory, and is the cutoff parameter (the lattice constant for lattice systems). Recently, these results were generalized in Ref. [85], where the authors derived the area laws only from the assumption of the exponential decay of correlations, and without any assumption about the gap.
4.2 Higher–dimensional systems
The situation is much more complex in higher spatial dimensions . The boundary of the general area law, Eq. (17), is no longer a simple one or two–element set and can have a rather complicated structure. Even if there are no general rules discovered so far, it is rather believed that
(17) 
holds for ground states of local gapped Hamiltonians. This intuition is supported by results showing that for quadratic quasifree fermionic and bosonic lattices the area law (17) holds [37]. Furthermore, for critical fermions the entropy of a cubic region is bounded as with denoting some constants [86, 87, 88]. Notice that the proof of this relies on the fact that the logarithmic negativity^{3}^{3}3Negativity and logarithmic negativity are entanglement measures based on partial transpose. The first one is defined as [89, 90]. The calculation of even for mixed states reduces to determination of eigenvalues of , and amounts to the sum of the absolute values of negative eigenvalues of . Then, the logarithmic negativity is defined as [90]. upper bounds the von Neumann entropy, i.e., for any , the inequality holds. This in turn is a consequence of monotonicity of the Rényi entropy with respect to the order , i.e., for . This is one of the numerous instances, where insights from quantum information help to deal with problems in many–body physics.
Recently, Masanes [80] showed that in the ground state (and also low–energy eigenstates) the entropy of a region (even a disjoint one) always scales at most as the size of with some correction proportional to — as long as the Hamiltonian is of the local form
(18) 
where each has nontrivial support only on the nearestneighbors of the th site, and, as before, satisfies for some . Thus, the behavior of entropy which is considered to be a violation of the area law, can in fact be treated as an area law itself. This is because in this case^{4}^{4}4It should be noticed that one can have much stronger condition for such scaling of entropy. To see this explicitly, say that is a cubic region meaning that and . Then since for any (even arbitrarily small) , one easily checks that for . for with some , meaning that this behaviour of entropy is still very different from the typical one that follows from Theorem 3. That is, putting and with , one has that is arbitrarily close to for large . More precisely, the following theorem was proven in Ref. [80].
Theorem 5.
Let be some arbitrary (even disjoint) region of . Then, provided that certain ”natural” bounds on correlation functions (polynomial decay with distance) and on the density of states (number of eigenstates of the Hamiltonian limited to with energies smaller than is exponentially bounded by , where is a constant, and is the lowest energy) hold, the entropy of the reduced density matrix of the ground state of satisfies
(19) 
where collects the constants , and . If is a cubic region, the above statement simplifies, giving with being some constant.
4.2.1 Area laws for mutual information – classical and quantum Gibbs states
So far, we considered area laws only for ground states of local Hamiltonians. In addition, it would be very interesting to ask similar questions for nonzero temperatures. Here, however, one cannot rely on the entropy of a subsystem, as in the case of mixed states it is no longer an entanglement measure. Instead, one can use the quantum mutual information which measures the total amount of correlation in bipartite quantum systems [91]. It is defined as
(20) 
where is some bipartite state and stand for its subsystems. It should be noticed that for pure states the mutual information reduces to twice the amount of entanglement of the state.
Recently, it was proven that thermal states with local Hamiltonians obey an area law for mutual information. Interestingly, a similar conclusion was drawn for classical lattices, in which we have a classical spin with the configuration space at each site, and instead of density matrices one deals with probability distributions. In the following we review these two results, starting from the classical case.
To quantify correlations in classical systems, we use the classical mutual information, defined as in Eq. (20) with the von Neumann entropy substituted by the Shannon entropy , where stands for a probability distribution characterizing random variable . More precisely, let and denote two subsystems of some classical physical system . Then, let and be the marginals of the joint probability distribution describing ( denotes the possible configurations of subsystems ). The correlations between and are given by the classical mutual information
(21) 
We are now ready to recall the results of [92].
Theorem 6.
Let be a lattice with –dimensional classical spins at each site. Let be a Gibbs probability distribution coming from finite–range interactions on . Then, dividing into regions and , one has
(22) 
Let us now show that a similar conclusion can be drawn in the case of quantum thermal states [92], where the Markov property does not hold in general.
Theorem 7.
Let be a lattice consisting of dimensional quantum systems divided into parts and (). Thermal states of local Hamiltonians obey the following area law
(23) 
where stands for interaction terms connecting these two regions.
Let us notice that the right–hand side of Eq. (23) depends only on the boundary, and therefore it gives a scaling of mutual information similar to the classical case (22). Moreover, for the nearestneighbor interaction, Eq. (23) simplifies to with denoting the largest eigenvalue of all terms of crossing the boundary.
4.3 The world according to tensor networks
Quantum manybody systems are, in general, difficult to describe: specifying an arbitrary state of a system with twolevel subsystems requires complex numbers. For a classical computer, this presents not only storage problems, but also computational ones, since simple operations like calculating the expectation value of an observable would require an exponential number of operations. However, we know that completely separable states can be described with about parameters — indeed, they correspond to classical states. Therefore, what makes a quantum state difficult to describe are quantum correlations, or entanglement. We saw already that even if in general the entropy of a subsystem of an arbitrary state is proportional to the volume, there are some special states which obey an entropic area law. Intuitively, and given the close relation between entropy and information, we could expect that states that follow an area law can be described (at least approximately) with much less information than a general state. We also know that such low entanglement states are few, albeit interesting — we only need an efficient and practical way to describe and parametrize them ^{5}^{5}5Note, however, that an area law does not imply an efficient classical parametrization (see, e.g., Ref. [146]..
Consider a general pure state of a system with level particles,
(24) 
When the state has no entanglement, then where all ’s are scalars. The locality of the information (the set of coefficients for each site is independent of the others) is key to the efficiency with which separable states can be represented. How can we keep this locality while adding complexity to the state, possibly in the form of correlations but only to nearestneighbors? As we shall see, we can do this by using a tensor at each site of our lattice, with one index of the tensor for every physical neighbor of the site, and another index for the physical states of the particle. For example, in a onedimensional chain we would assign a matrix for each state of each particle, and the full quantum state would be written as
(25) 
where stands for a matrix of dimensions . A useful way of understanding the motivation for this representation is to think of a valence bond picture [93]. Imagine that we replace every particle at the lattice by a pair (or more in higher dimensions) of particles of dimensions that are in a maximally entangled state with their corresponding partners in a neighboring site (see Figure 2). Then, by applying a map from these virtual particles into the real ones,
(26) 
we obtain a state that is expressed as Eq. (25). One can show that any state can be written in this way with . Furthermore, a matrix product state can always be found such that [94]

, for ,

, for , and

For open boundary conditions , and is a positive diagonal matrix, full rank, with .
In fact, is a matrix whose diagonal components are the nonzero eigenvalues of the reduced density matrix obtained by tracing out the particles from to , i.e., the Schmidt coefficients of a bipartition of the system at site . An MPS with these properties is said to be in its canonical form [95].
Therefore, Eq. (25) is a representation of all possible states — still cumbersome. It becomes an efficient representation when the virtual bond dimension is small, in which case it is typically said that the state has an MPS representation. In higher dimensions we talk about PEPS [96]. When entanglement is small (but finite), most of the Schmidt coefficients are either zero or decay rapidly to zero [94]. Then, if contains little entanglement, we can obtain a very good approximation to it by truncating the matrices to a rank much smaller than the maximum allowed by the above theorem, . In fact, one can demonstrate the following fact [95].
Lemma 1.
For any pure state , there exists an MPS with the bond dimension such that
(27) 
This Lemma is most powerful in the context of numerical simulations of quantum states: it gives a controllable handle on the precision of the approximation by MPS. In practical terms, for the representation to be efficient the Schmidt coefficients need to decay faster than polynomially. However, we can be more precise and give bounds on the error of the approximation in terms of entropies [97]:
Lemma 2.
Let be the Rényi entropy of a reduced density matrix , with . Denote , with being the eigenvalues of in nonincreasing order. Then,
(28) 
The question now is when can we find systems with relevant states that can be written efficiently as a MPS; i.e. how broad is the simulability of quantum states by MPS. For example, one case of interest where we could expect the method to fail is near quantum critical points where correlations (and entanglement) are singular and might diverge. However, at least in 1D systems, the following fact remains true [95].
Lemma 3.
In one dimension there exists a scalable, efficient MPS representation of ground states even at criticality.
5 Nonlocality in many body systems
Let us now turn to nonlocality in manybody systems. We start by explaining what the concept of nonlocality means, using the contemporary language of device independent quantum information processing (DIQIP). Recent successful hacking attacks on quantum cryptographic devices stimulated a novel approach to quantum information theory in which protocols are defined independently of the inner working of the devices used in the implementation, hence the term DIQIP.
5.1 Probabilities and correlations – DIQIP approach
The idea of DIQIP is at best explained with the graphical scheme presented on Fig. 3. We consider here the following scenario, usually referred to as the scenario. Let us consider spatially separated parties and imagine that each of them possesses a black box with buttons representing the measurement choices (or observables) and lights representing the measurement outcomes. Now, in each round of the experiment every party is allowed to press one of the buttons causing one of the lights to shine. The only information accessible in such an experiment is contained in a set of conditional probabilities of obtaining outputs , provided observables were measured. In what follows we enumerate the measurements and outcomes as and , respectively.
The set of all such probability distributions is convex as by mixing any two of them one obtains another probability distribution; in fact, it is a polytope. From the physical point of view (causality, special relativity) the probabilities must fulfil the nonsignalling conditions, i.e., the choice of measurement by the th party, cannot be signalled to the others. Mathematically it means that for any , the following condition
(29) 
is fulfilled. In other words, the marginal probability distribution describing correlations seen by the parties except the th one is independent of . We call correlations satisfying the above constraints nonsignalling correlations. It is easy to see that they also form a polytope. Let us also notice that the above conditions together with normalization clearly reduce the number of independent probabilities. For instance, in the simplest scenario there are eight independent probabilities out of sixteen and they can be chosen as , , and with .
The local or classical correlations are defined via the concept of a local hidden variable . Imagine that the only resource shared by the parties is some classical information (called also LHV) distributed among them with probability . The correlations that the parties are able to establish in such case are of the form
(30) 
where are deterministic probabilities, i.e., for any , equals one for some outcome, and zero for all others. What is important in this expression is that measurements of different parties are independent, so that the probability is a product of terms corresponding to different parties.
Classical correlations form a convex set which is also a polytope, denoted (cf. Fig. 3). Its extremal points (or vertices) are the above form, i.e., with fixed . The famous theorem of John Bell states that the quantummechanical probabilities, which also form a convex set , may stick out of the classical polytope [3]. The quantum probabilities are given by the trace formula for the set of local measurements
(31) 
where is some partite state and denote the measurement operators, meaning that for any , and , and
(32) 
for any choice of the measurement and party . As we do not impose any constraint on the local dimension, we can always choose the measurements to be projective, i.e., the measurement operators additionally satisfy .
The concept of the Bell inequalities is explained in Fig. 4. Any hyperplane in the space of probabilities that separates the classical polytope from the rest is a Bell inequality: everything, which is above the upper horizontal dashed line is obviously nonlocal. But, the most useful are the tight Bell inequalities, which correspond to the facets of the classical polytope, i.e. its walls of maximal dimensions (lower horizontal dashed line). To be more illustrative, let us now present a particular example of a Bell inequality. To this end, let us consider the simplest scenario consisting of two parties, each measuring a pair of twooutcome observables. The only nontrivial tight Bell inequality in this scenario — the CHSH Bell inequality [8] — can be written in the “probability” form as
(33) 
where stands for addition modulo two.
Let us notice that in the case when all measurements have only two outcomes, i.e., , correlations can be equivalently expressed via expectation values
(34) 
with , and . Here, denote observables with outcomes labelled by ; in particular, in the quantummechanical case . Both representations are related to each other through the following set of formulas
The advantage about the “correlator” picture is that the nonsignalling conditions are already incorporated in it. On the other hand, the correlators must satisfy a set of inequalities corresponding to the nonnegativity conditions of probabilities .
To illustrate the “correlator representation”, let us consider again the simplest scenario. The eight independent conditional probabilities fully describing correlations in this scenario are equivalent to eight expectation values , , and with . Also, the CHSH Bell inequality (33) can be rewritten in its “more standard” form as
(35) 
From now on we concentrate on the scenario (two twooutcome measurements). The complexity of characterizing the corresponding classical polytope is enormous. It is fairly easy to see that the number of its vertices (extremal points) is equal to 2 to the number of all possible choice of parties and observables, i.e., , so it grows exponentially with . The dimension of the space of probabilities is the number of choices of measurements by each party, which is , since each party has at their disposal observables or it may not measure anything, to the power . One then has to subtract 1 from this result, since if all parties do not measure, the result is trivial. Clearly, the resulting dimension grows exponentially with the number of parties. It is then not surprising at all that the problem of characterization of the classical polytope is, depending on formulation, NPcomplete or NPhard. Already for few parties finding all Bell inequalities is an impossible task.
5.2 Detecting nonlocality in many body systems with twobody correlators
Clearly, if we want to find Bell inequalities for manybody systems, we need some simplifications. This was the idea behind the recent papers [98, 99], which focus on Bell inequalities involving one and twobody correlators. In what follows we will refer to such Bell inequalities as twobody Bell inequalities. Notice in passing that several criteria allowing for entanglement detection in manybody systems from such quantities are already known (see, e.g., Refs. [100, 101, 102, 103, 104]).
Restricting the study to loworder correlations reduces the dimension of the space and, thus, may simplify the problem of finding nontrivial Bell inequalities. However, it is not as simple as it sounds. First, one wants these Bell inequalities to be valid for any number of parties which, due to the fact that the complexity of the set of classical correlations grows exponentially with , usually appears to be a very difficult task. Second, one wants such Bell inequalities to be useful, that is, to be capable of revealing nonlocality in some physically interesting states. However, intuitively, most of the information about correlations in the system are contained in highorder correlators, i.e., those involving many observers, and so Bell inequalities based on them are expected to be better at detecting nonlocality. All this makes the task of finding Bell inequalities from twobody correlators extremely difficult. It should be stressed in passing that as proven in Refs. [105, 106, 107] allpartite correlations are not necessary to detect multipartite nonlocality.
Recently, a positive answer to the above question has been given in Ref. [98] by proposing classes of Bell inequalities constructed from one and twobody expectation values, and, more importantly, showing examples of physically relevant manybody quantum states (i.e. ground states or low energy states of physically relevant Hamiltonians) violating these inequalities. Notice that finding and classifying such states is an interesting task in itself, especially in a view of the fact that many genuinely entangled quantum manybody states have twobody reduced density matrices (or in other words covariance matrices) that correspond to twobody reduced density matrices of some separable state. This is the case of the socalled graph states, as demonstrated in Ref. [108]; obviously one cannot detect entanglement of such states with twobody correlators, not even mentioning nonlocality.
Let us now briefly describe the way the twobody Bell inequalities were found in [98]. First, by neglecting correlators of order larger than two one projects the polytope onto much smaller one spanned by twobody and onebody correlations functions. In this way we have achieved a severe reduction of the dimension of the polytope: . Now, the general form of Bell inequalities is
(36) 
where for convenience we wrote them down using expectation values instead of probabilities; recall that in the case of all observables having two outcomes both representations are equivalent.
For ”interesting” the inequalities (5.2) still contain too many coefficients; in fact, the dimension of the corresponding polytope grows quadratically with (for, say, , , i.e., it is still too large). To further simplify the problem one can demand that the Bell inequalities under study obey some symmetries. In particular, in Refs. [98] and [99] Bell inequalities obeying permutational and translational invariance have been considered. In what follows we discuss in more detail the results of Ref. [98].
5.3 Permutational Invariance
Let us now restrict our attention to twobody Bell inequalities that are invariant under a permutation of any two parties. It is fairly easy to see that their general form reads
(37) 
where
(38) 
with are the symmetrized one and twobody expectation values, respectively. Geometrically, we have mapped the twobody polytope to a simpler one whose elements are fivetuples consisting of the symmetrized expectation values. Obviously, by doing this projection one is able to limit the dimension of the local polytope to 5 and, more importantly, this number is independent of the number of parties. Still, the number of vertices of the projected polytope is , i.e., it scales quadratically with , so the characterization of all permutationally invariant twobody Bell inequalities is not trivial at all.
Nevertheless, the following threeparameter classes of permutationally invariant twobody Bell inequalities was found in Ref. [98]
(39) 
where , and with opposite parity to () for odd (even) . The classical bound is in this case and it grows linearly with .
5.4 Symmetric twobody Bell inequalities: example
Here we consider an exemplary Bell inequality belonging to the class (39):
(40) 
where we have substituted and .
Now, to see whether this Bell inequality is violated by some quantum states, let us assume that all parties measure the same pair of observables and with . Fig. 5 shows two plots of the ratio of the maximal quantum violation of this inequality with the above settings and the classical bound . In the left plot we show the dependence on . The relative violation remains significant (of order 1) for of order of , and seems to grow or to saturate at large . In the right plot we show maximal violation as function of the angle that defines the second observable. Again, the maximal violation remains significant for a large set of angles close to the optimal one.
5.5 Manybody symmetric states
The next question to answer is what are the state that violated the twobody Bell inequalities, and which states can be detected by measuring these inequalities? To this aim we considered the LipkinMeshkovGlick Hamiltonian [109], which is commonly used in nuclear physics, and more recently in trapped atoms and trapped ions physics
(41) 
Its ground state is the famous Dicke state [110]: for even it is a symetric combination of all states with exaclty zeros (spins down), But , for odd, we have a doubly degenerate ground state or , for which integer part of or integer part of plus one spin are down.
It was shown in Ref. [98] that the nonlocality of these states can be revealed with the aid of the following Bell inequalities
(42) 
with , , , and the classical bound is found to be . Again the observables are taken as