We develop a systematic method to extract the negativity in the ground state of a $1+1$ dimensional relativistic quantum field theory, using a path integral formalism to construct the partial transpose ${\ensuremath{\rho}}_{A}^{{T}_{2}}$ of the reduced density matrix of a subsystem $A={A}_{1}\ensuremath{\cup}{A}_{2}$, and introducing a replica approach to obtain its trace norm which gives the logarithmic negativity $\mathcal{E}=\mathrm{ln}\ensuremath{\Vert}{\ensuremath{\rho}}_{A}^{{T}_{2}}\ensuremath{\Vert}$. This is shown to reproduce standard results for a pure state. We then apply this method to conformal field theories, deriving the result $\mathcal{E}\ensuremath{\sim}(c/4)\mathrm{ln}[{\ensuremath{\ell}}_{1}{\ensuremath{\ell}}_{2}/({\ensuremath{\ell}}_{1}+{\ensuremath{\ell}}_{2})]$ for the case of two adjacent intervals of lengths ${\ensuremath{\ell}}_{1}$, ${\ensuremath{\ell}}_{2}$ in an infinite system, where $c$ is the central charge. For two disjoint intervals it depends only on the harmonic ratio of the four end points and so is manifestly scale invariant. We check our findings against exact numerical results in the harmonic chain.
We develop a systematic method to extract the negativity in the ground state of a 1+1 dimensional relativistic quantum field theory, using a path integral formalism to construct the partial transpose \ensuremathρAT2 of the reduced density matrix of a subsystem A=A1\ensuremath∪A2, and introducing a replica approach to obtain its trace norm which gives the logarithmic negativity E=ln\ensuremath∥\ensuremathρAT2\ensuremath∥. This is shown to reproduce standard results for a pure state. We then apply this method to conformal field theories, deriving the result E\ensuremath∼(c/4)ln[\ensuremathℓ1\ensuremathℓ2/(\ensuremathℓ1+\ensuremathℓ2)] for the case of two adjacent intervals of lengths \ensuremathℓ1, \ensuremathℓ2 in an infinite system, where c is the central charge. For two disjoint intervals it depends only on the harmonic ratio of the four end points and so is manifestly scale invariant. We check our findings against exact numerical results in the harmonic chain.
We report on a systematic approach for the calculation of the negativity in the ground state of a one-dimensional quantum field theory. The partial transpose of the reduced density matrix of a subsystem A = A 1 ∪ A 2 is explicitly constructed as an imaginary-time path integral and from this the replicated traces are obtained. The logarithmic negativity is then the continuation to n → 1 of the traces of the even powers. For pure states, this procedure reproduces the known results. We then apply this method to conformally invariant field theories (CFTs) in several different physical situations for infinite and finite systems and without or with boundaries. In particular, in the case of two adjacent intervals of lengths ℓ 1 ,ℓ 2 in an infinite system, we derive the result ∼ ( c /4)ln(ℓ 1 ℓ 2 /(ℓ 1 + ℓ 2 )), where c is the central charge. For the more complicated case of two disjoint intervals, we show that the negativity depends only on the harmonic ratio of the four end points and so is manifestly scale invariant. We explicitly calculate the scale invariant functions for the replicated traces in the case of the CFT for the free compactified boson, but we have not so far been able to obtain the n → 1 continuation for the negativity even in the limit of large compactification radius. We have checked all our findings against exact numerical results for the harmonic chain which is described by a non-compactified free boson.
Logarithmic negativity is a proper measure of quantum entanglement in mixed states. Originally proposed in the context of quantum information, in recent years it is attracting interest in quantum field theory, condensed matter physics, and statistical physics. The key object to construct the negativity is the partial transpose of the reduced density matrix. Here, focusing on two adjacent intervals, the authors provide a complete study of the distribution of the eigenvalues of the partial transpose (negativity spectrum) for gapless one-dimensional systems described by a conformal field theory (CFT). Similar to the entanglement spectrum, the distribution of the negativity spectrum is universal, and it depends only on the central charge of the underlying CFT. The precise form of the spectrum depends on whether the two intervals are in a pure or mixed state, and in both cases, a dependence on the sign of the eigenvalues is found. This dependence is weak for bulk eigenvalues, whereas it is strong at the spectrum edges. The authors also investigate the scaling of the smallest (negative) and largest (positive) eigenvalues of the partial transpose. The analytical results are thoroughly checked against numerical DMRG simulations as well as in exactly solvable models.
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.
We construct a contour function for the logarithmic negativity and the logarithm of the moments of the partial transpose of the reduced density matrix for multimode bosonic Gaussian states of a free lattice model. In one spatial dimension, numerical results are obtained for harmonic chains either in the ground state or at finite temperature, by considering, respectively, either a subsystem made by two adjacent or disjoint blocks on the line or a bipartition of the circle. The contour function of the logarithmic negativity diverges only at the entangling points, while the contour function for the logarithm of the moments of the partial transpose is divergent also at the boundary of the bipartite subsystem, as functions of the position. In a two-dimensional conformal field theory, analytic expressions that describe these divergencies are discussed. In one spatial dimension, we explore the partial derivative of the logarithmic negativity of two adjacent intervals with respect to the logarithm of the harmonic ratio of their lengths while their ratio and the other parameters are kept fixed. Considering the ground state of the harmonic chain on the line and in the massive regime, we report numerical results showing that this quantity displays a monotonically decreasing behaviour.
We investigate the behavior of the moments of the partially transposed reduced density matrix ρ^{T_2}_A in critical quantum spin chains. Given subsystem A as union of two blocks, this is the (matrix) transposed of ρ_A with respect to the degrees of freedom of one of the two. This is also the main ingredient for constructing the logarithmic negativity. We provide a new numerical scheme for calculating efficiently all the moments of ρ_A^{T_2} using classical Monte Carlo simulations. In particular we study several combinations of the moments which are scale invariant at a critical point. Their behavior is fully characterized in both the critical Ising and the anisotropic Heisenberg XXZ chains. For two adjacent blocks we find, in both models, full agreement with recent CFT calculations. For disjoint ones, in the Ising chain finite size corrections are non negligible. We demonstrate that their exponent is the same governing the unusual scaling corrections of the mutual information between the two blocks. Monte Carlo data fully match the theoretical CFT prediction only in the asymptotic limit of infinite intervals. Oppositely, in the Heisenberg chain scaling corrections are smaller and, already at finite (moderately large) block sizes, Monte Carlo data are in excellent agreement with the asymptotic CFT result.
We carry out a systematic study of entanglement entropy in relativistic quantum field theory. This is defined as the von Neumann entropy S A = −Tr ρ A logρ A corresponding to the reduced density matrix ρ A of a subsystem A . For the case of a 1+1-dimensional critical system, whose continuum limit is a conformal field theory with central charge c , we re-derive the result of Holzhey et al when A is a finite interval of length in an infinite system, and extend it to many other cases: finite systems, finite temperatures, and when A consists of an arbitrary number of disjoint intervals. For such a system away from its critical point, when the correlation length ξ is large but finite, we show that , where is the number of boundary points of A . These results are verified for a free massive field theory, which is also used to confirm a scaling ansatz for the case of finite size off-critical systems, and for integrable lattice models, such as the Ising and XXZ models, which are solvable by corner transfer matrix methods. Finally the free field results are extended to higher dimensions, and used to motivate a scaling form for the singular part of the entanglement entropy near a quantum phase transition.