We examine the evaluation of entanglement measures in weakly correlated Gaussian states. It is shown that they can be expressed in terms of the singular values of a particular block of the generalized contraction matrix. This result enables us to obtain in a simple way asymptotic expressions and related area laws for the entanglement entropy of bipartitions in pure states, as well as for the logarithmic negativity associated with bipartitions and also with pairs of arbitrary subsystems. As illustration, we consider different types of contiguous and noncontiguous blocks in two-dimensional lattices. Exact asymptotic expressions are provided for both first-neighbor and full-range couplings, which lead in the first case to area laws depending on the orientation and separation of the blocks.
We examine the evaluation of entanglement measures in weakly correlated Gaussian states. It is shown that they can be expressed in terms of the singular values of a particular block of the generalized contraction matrix. This result enables us to obtain in a simple way asymptotic expressions and related area laws for the entanglement entropy of bipartitions in pure states, as well as for the logarithmic negativity associated with bipartitions and also with pairs of arbitrary subsystems. As illustration, we consider different types of contiguous and noncontiguous blocks in two-dimensional lattices. Exact asymptotic expressions are provided for both first-neighbor and full-range couplings, which lead in the first case to area laws depending on the orientation and separation of the blocks.
We demonstrate that the entropy of entanglement and the distillable entanglement of regions with respect to the rest of a general harmonic-lattice system in the ground or a thermal state scale at most as the boundary area of the region. This area law is rigorously proven to hold true in noncritical harmonic-lattice systems of arbitrary spatial dimension, for general finite-ranged harmonic interactions, regions of arbitrary shape, and states of nonzero temperature. For nearest-neighbor interactions---corresponding to the Klein-Gordon case---upper and lower bounds to the degree of entanglement can be stated explicitly for arbitrarily shaped regions, generalizing the findings of Phys. Rev. Lett. 94, 060503 (2005). These higher-dimensional analogs of the analysis of block entropies in the one-dimensional case show that under general conditions, one can expect an area law for the entanglement in noncritical harmonic many-body systems. The proofs make use of methods from entanglement theory, as well as of results on matrix functions of block-banded matrices. Disordered systems are also considered. We moreover construct a class of examples for which the two-point correlation length diverges, yet still an area law can be proven to hold. We finally consider the scaling of classical correlations in a classical harmonic system and relate it to a quantum lattice system with a modified interaction. We briefly comment on a general relationship between criticality and area laws for the entropy of entanglement.
Abstract We give a direct alternative proof of an area law for the entanglement entropy of the ground state of disordered oscillator systems—a result due to Nachtergaele et al (2013 J. Math. Phys . 54 042110). Instead of studying the logarithmic negativity, we invoke the explicit formula for the entanglement entropy of Gaussian states to derive the upper bound. We also contrast this area law in the disordered case with divergent lower bounds on the entanglement entropy of the ground state of one-dimensional ordered oscillator chains.
In many-body systems the extent and range of spatial quantum correlations induced by entanglement provide a great deal of information about several qualitative physical properties. One way of studying this information is to examine the scaling behaviour of the ground state entanglement entropy with respect to a scaled version of a distinguished spatial subregion. In various systems the entanglement entropy grows proportionally to the surface area of the subregion which is referred to as an area law. In this thesis we examine the connection between the scaling behaviour of the entanglement entropy and many-body localisation. In recent years it was show that a number of systems, which are known to be in the localised phase, exhibit area laws of the entanglement entropy. It is commonly expected that the entanglement entropies of delocalised ground states do not satisfy area laws, though not many examples of different scaling behaviours have been shown, yet. The aim of this thesis is to provide further examples of violations of area laws in the context of delocalised systems. In three different models we show that the entanglement entropy of the ground states grows at least like a logarithmically enhanced area law. The first part of this thesis, based on joint work with P. Müller and L. Pastur [MPS20], considers the random dimer model. Even though this non-interacting, one-dimensional model is spectrally localised, there exist critical points in its spectrum at which the localisation length diverges. We consider the ground state corresponding to a Fermi energy positioned at one of these critical energies. In the case of small disorder we show a logarithmic lower bound to the expectation of the entanglement entropy. Moreover, we proof a logarithmic lower bound to the finite-volume entanglement en- tropy at these critical points for any disorder strength. In the second part of this thesis, which is based on joint work with P. Müller [MS20], we consider a multi-dimensional continuum Schrödinger operator, which is given by a perturbation of a negative Laplacian by a compactly supported, bounded potential. We establish both an upper and a lower bound to the entanglement entropy corresponding to a positive Fermi energy. These bounds prove that the scaling behaviour of the entanglement entropy is a logarithmically enhanced area law. This is the same scaling behaviour as the one occurring in the case of free fermions, one of the few delocalised systems for which an asymptotic expansion of the entanglement entropy is known. Finally, in the third and last part, based on joint work with C. Fischbacher [FS20], we consider the finite XXZ spin chain with periodic boundary conditions in the Ising phase. We show that for each eigenvalue in the droplet band there exists at least one eigenvector such that the corresponding entanglement entropy grows at least logarithmically, provided the anisotropy parameter ∆ is sufficiently large. In addition, we show a Combes–Thomas estimate for this model, which may be of independent interest.
Random pure states of multi-partite quantum systems, associated with arbitrary graphs, are investigated. Each vertex of the graph represents a generic interaction between subsystems, described by a random unitary matrix distributed according to the Haar measure, while each edge of the graph represents a bipartite, maximally entangled state. For any splitting of the graph into two parts we consider the corresponding partition of the quantum system and compute the average entropy of entanglement. First, in the special case where the partition does not cross any vertex of the graph, we show that the area law is satisfied exactly. In the general case, we show that the entropy of entanglement obeys an area law on average, this time with a correction term that depends on the topologies of the graph and of the partition. The results obtained are applied to the problem of distribution of quantum entanglement in a quantum network with prescribed topology.
In this thesis we study entanglement in one-dimensional critical quantum many-body systems and in particular we will focus on disconnected regions. Given a system in a pure state, to quantify the amount of entanglement between a multicomponent subsystem and the rest of the full system we can use as an entanglement measure the renowned entanglement entropy. However, if we are interested in the entanglement shared among the disconnected regions, the entanglement entropy fails to be a good quantifier. The reason is that the state of the subsystem is in general mixed once the rest is traced out, and the entanglement entropy is a good measure of entanglement only for pure states. A good measure of entanglement in mixed states is the logarithmic negativity, which is the quantitative version of Peres' criterion of separability. The main advantage of the negativity with respect to other entanglement measures is the simplicity of its definition in terms of the density matrix describing the quantum state. Since the definition does not require any variational calculus, it is much more easily computable than any other entanglement measure, and therefore we can obtain some results also in complicated settings such as many-body systems. We will be mostly interested in the configuration where the full system is divided into two parts, A and B. If we do not have access to the degrees of freedom in B, we can describe subsystem A through its reduced density matrix, where the degrees of freedom in B have been traced out. The residual subsystem in A will in general be left in a mixed state. Subsystem A is then divided again into two parts, A_1 and A_2, and we will be interested in the entanglement shared by these two components. Knowing the full density matrix, the logarithmic negativity can be easily computed from the eigenvalues of its partial transpose with respect to the degrees of freedom living in one of the two subsystems A_1 or A_2. However, the full density matrix of a many-body state is in general unaccessible, even numerically, since the size of the matrix grows exponentially with the size of the system. If we concentrate on critical systems whose low-energy physics can be described by a quantum field theory, we can resort to its powerful tools to compute the entanglement properties. In particular the main tool is the replica trick. The entanglement entropy is obtained from the moments of the reduced density matrix, while the negativity can be computed from the moments of the partial transpose. However, even the computation of the integer-order moments is not an easy task, and exact analytical results are known only for the simplest quantum field theories. Hence, throughout the thesis we will usually consider conformal field theories, which have an enhanced set of symmetries and therefore allow for some exact computations. In the Introduction, we will try to frame this work by briefly reviewing some of the main topics in the literature of quantum many-body systems and quantum field theories where entanglement plays a crucial role. We will also describe what are the main features that are requested to a `good' measure of entanglement, and we will review some of the main measures that have been considered so far in the context of quantum information. We will define the entanglement negativity and stress its main advantages, as well as its drawbacks. After reviewing some basic facts of conformal field theories, we will give some technical details on the computation of entanglement entropy and logarithmic negativity in general quantum field theories, which will be needed in the rest of the thesis. In Chap. 2 we will start the study of the entanglement of several disjoint disconnected regions by considering the entanglement that the union of these regions share with the rest of the system. We will compute the integer-order Rényi entropies of the subsystem from which the entanglement entropy can be obtained through the replica limit. Unfortunately, the exact analytic continuation to real order is still out of reach and therefore the entanglement entropy cannot be computed exactly. However numerical extrapolations allow to obtain some accurate estimates. In the remaining chapters we will focus on the entanglement shared between two non complementary disjoint regions, through the computations of the entanglement negativity in different settings. In Chap. 3, we will consider a global quantum quench starting from a conformal boundary state and evolving through a conformal evolution. A general formula for the mutual information and the logarithmic negativity for two adjacent and disjoint intervals is given in the spacetime limit. In Chap. 4 we focus on the XY chain and we recover a formula for the partial transpose as a sum of four fermionic auxiliary Gaussian density matrices, by generalizing some previous results for the reduced density matrix of spin systems and for the partial transpose of pure fermionc Gaussian states. Even if the computation of the negativity is still out of reach, we can obtain formulas for the integer-order moments of the partial transpose in terms of the correlation matrices relative to the two components and to the region in between them. In Chap. 5 we will study the entanglement negativity for a free Dirac fermion field. Starting from the lattice results, we will obtain a path integral representation of the partial transpose which can be easily generalized to the continuum. With this representation of the partial transpose, we can construct all its integer-order moments and compute them for the simple conformal field theory of the free fermion. Again, the computation of the negativity could not be accomplished due to technical difficulties in the analytic continuation to real order. The same computation has been extended also to the modular invariant Dirac fermion and the Ising model, and the obtained formulas coincide with the ones already present in the literature. This analysis draws an interesting connection between some terms appearing in the formulas for the moments of the partial transpose (as well as of the R\'enyi entropies) found for the lattice models and the ones found for the corresponding theories describing their scaling limit. Whenever possible, all the analytical results will be checked against numerical calculations performed on simple free chain models. In Chaps. 2 and 3 we will consider bosonic Gaussian states, specifically the harmonic chain in its ground state and out of equilibrium, while in Chaps. 4 and 5 we will consider fermionic systems, specifically the XX and Ising spin chains, and the tight-binding model. Finally, we will draw some conclusions and discuss some open problems.
Abstract We study the logarithmic negativity and the moments of the partial transpose in the ground state of a two dimensional massless harmonic square lattice with nearest neighbour interactions for various configurations of adjacent domains. At leading order for large domains, the logarithmic negativity and the logarithm of the ratio between the generic moment of the partial transpose and the moment of the reduced density matrix at the same order satisfy an area law in terms of the length of the curve shared by the adjacent regions. We give numerical evidence that the coefficient of the area law term in these quantities is related to the coefficient of the area law term in the Rényi entropies. Whenever the curve shared by the adjacent domains contains vertices, a subleading logarithmic term occurs in these quantities and the numerical values of the corner function for some pairs of angles are obtained. In the special case of vertices corresponding to explementary angles, we provide numerical evidence that the corner function of the logarithmic negativity is given by the corner function of the Rényi entropy of order 1/2.