Content area
Abstract
We explore entanglement negativity, a measure of the distillable entanglement contained in a quantum state, in relativistic field theories in various dimensions. We first give a general overview of negativity and its properties and then explain a well known result relating (logarithmic) negativity of pure quantum states to the Rényi entropy (at index 1/2), by exploiting the simple features of entanglement in thermal states. In particular, we show that the negativity of the thermofield double state is given by the free energy difference of the system at temperature T and 2 T respectively. We then use this result to compute the negativity in the vacuum state of conformal field theories in various dimensions, utilizing results that have been derived for free and holographic CFTs in the literature. We also comment upon general lessons to be learnt about negativity in holographic field theories.
Published for SISSA by Springer Received: July 11, 2014
Accepted: September 15, 2014
Published: October 9, 2014
Mukund Rangamani and Massimiliano Rota
Centre for Particle Theory & Department of Mathematical Sciences, Science Laboratories,
South Road, Durham DH1 3LE, U.K.
E-mail: mailto:[email protected]
Web End [email protected] , [email protected]
Abstract: We explore entanglement negativity, a measure of the distillable entanglement contained in a quantum state, in relativistic eld theories in various dimensions. We rst give a general overview of negativity and its properties and then explain a well known result relating (logarithmic) negativity of pure quantum states to the Rnyi entropy (at index 1/2), by exploiting the simple features of entanglement in thermal states. In particular, we show that the negativity of the thermoeld double state is given by the free energy di erence of the system at temperature T and 2 T respectively. We then use this result to compute the negativity in the vacuum state of conformal eld theories in various dimensions, utilizing results that have been derived for free and holographic CFTs in the literature. We also comment upon general lessons to be learnt about negativity in holographic eld theories.
Keywords: Gauge-gravity correspondence, AdS-CFT Correspondence
ArXiv ePrint: 1406.6989
Open Access, c
The Authors.
Article funded by SCOAP3. doi:http://dx.doi.org/10.1007/JHEP10(2014)060
Web End =10.1007/JHEP10(2014)060
JHEP10(2014)060
Comments on entanglement negativity in holographic eld theories
Contents
1 Introduction 1
2 Entanglement negativity 42.1 Negativity in thermoeld state 72.2 Rnyi negativities 8
3 Negativity of a CFT vacuum 9
4 Holographic negativity: general expectations 144.1 Arbitrary bipartitions of pure states 144.2 Mixed state negativity 15
5 Discussion 17
1 Introduction
Quantum mechanics, as is well appreciated, is characterized by an important feature, entanglement. While the colloquial usage of the word entanglement often simply refers to presence of correlations which could simply be of classical nature, nature of quantum entanglement transcends this interpretation. A natural question is to segregate and quantify in a given quantum state the genuinely quantum parts of entanglement from those that are inherited from underlying classical correlations.
One way to proceed would be to use the intuition garnered from Einstein-Podolsky-Rosen (EPR) like entangled states, which are non-product (pure) states in the quantum Hilbert space. One of the characteristic hallmarks of these states as elucidated by Bell [1] is that they fail to satisfy the Bell inequality (and hence its generalization, the CHSH inequalities). We now understand quite well that this means that the entanglement inherent in the EPR state is a genuine quantum aspect and relatedly that one cannot invoke some local hidden variable (LHV) to describe the quantum state. A-priori one might have thought that the Bell/CHSH inequalities provide a complete characterization of the nature of entanglement.
While for pure states this is true, the state of a airs is much less clear in case of mixed states. Consider a bipartite system in a state with two Hilbert spaces which we will refer to as the left and right Hilbert space, HL and HR respectively. Such a state is called
separable if it can be written as
=
Xipi Ri Li , Xipi = 1 , pi 0 , (1.1)
1
JHEP10(2014)060
otherwise it is called entangled. Physically this denition attempts to encode the fact that separable states are classically correlated as they can be produced using only local operations and classical communication (LOCC).1 In particular, it introduces a distinction between the correlations that are classical and those that ought to be considered quantum.
In analogy with pure states above, one would then be inclined to think that even in the case of mixed states any entangled state violates some Bell inequality. Surprisingly this is not true, as demonstrated by Werner in [2], where mixed entangled states that can nevertheless be described by a LHV model were constructed. In some sense, despite manifesting some quantum correlation, these states ought to be viewed as local as they are not in tension with the notion of local realism.2 Furthermore, if we have access to several copies of the state then it is sometimes possible using only LOCC to distill a new state that violates some Bell inequality [4] (see [5] for details on distillation). One might then be led to the intuition that this process should be achievable starting from any mixed state; therefore the only states that always satisfy all Bell inequalities are the separable ones. Unfortunately, even this intuition fails; to put it mildly the boundary between classicality and quantumness is rather fuzzy with no clear demarcation. The main lesson we wish to emphasize is one ought to distinguish di erent notions of entanglement in the quantum realm.
Because of the intricate nature of entanglement for mixed states, several measures of entanglement have been proposed. The concept of distillation for example can be used to dene the distillable entanglement as a measure of how much pure entanglement it is possible to extract from some state using only LOCC. On the other hand the entanglement of formation quanties the amount of pure entanglement required to create a given state.3 In case of pure states these measures are equal and agree with entanglement entropy (for a comprehensive review on entanglement measures see [6]). Unfortunately the drawback is that these measures cannot be computed because they are given by variational expressions over possible LOCC protocols. A more pragmatic approach is to therefore consider a quantity that is computable [7] this leads us to the consideration of entanglement negativity which will form the focus of the present investigation. Heuristically, the concept uses the spectral data of the density matrix4 (sometimes called entanglement spectrum) to ascertain the amount of entanglement inherent in the mixed state (cf., section 2 for a precise denition) .
While the above discussion has been rmly rooted in the realm of quantum mechanics, one expects that many of these issues generalize to relativistic quantum eld theories, see e.g., [8]. Understanding the nature of entanglement in di erent quantum states in this context is not only interesting in its own right, but also from the potential connections with holographic dualities. Indeed, the geometrization of the notions of entanglement entropy in the gauge/gravity context for holographic eld theories as originally proposed in [9, 10] (and made geometrically covariant in [11]) makes one wonder if there are further
1LOCC for two parties consists of steps in each of which any party is allowed to perform local measurements and communicate the outcome to the other using classical channels.
2For a discussion on the properties of Werner states in the context of teleportation see e.g., [3].
3These measures must be interpreted in an asymptotic sense. They give extremal rates achievable when one has many copies of the state .
4We actually need the spectral data of an auxiliary matrix constructed from the density matrix; we will be more precise below.
2
JHEP10(2014)060
lessons one can learn by understanding the distinct notions of entanglement in the context holographic eld theories.
Moreover, the connections between geometry and entanglement as we now are starting to understand are perhaps much more intimate. The original arguments espoused in [12] and [13, 14] suggest a close association between entanglement inherent in a quantum state and the realization of the holographic dual in terms of classical geometry. The relation between entanglement and the emergence of a macroscopic spacetime, is further bolstered by the arguments of [15] who suggest an intimate connection between EPR like states and Einstein-Rosen bridges, succinctly summarized by the catchphrases ER =EPR or entanglement builds bridges.5
While these fascinating developments hint at an underlying structure wherein entanglement of quantum states plays an important role in emergence of macroscopic geometry and gravitational physics from the microscopic quantum dynamics, it is fair to ask whether the di erent notions of entanglement as described above have any useful intuition to impart in explicating the general structure. Does the spacetime geometry care if the entanglement is EPR like, or if it undistillable, or if the quantum entanglement is contaminated by classical correlations? These are, we believe, interesting questions whose answers may potentially shed some light into the geometrization of quantum entanglement.
In this paper, we undertake a modest step in this direction by studying the properties of entanglement negativity, which as previously mentioned is a computable measure of entanglement, in relativistic eld theories. We begin in section 2 by reviewing the necessary denitions in quantum mechanics and use these to guide our intuition for negativity in simple examples. We rst show quite generally that the entanglement negativity of a thermoeld double state (the pure entangled state in a tensor product Hilbert space) has a very simple expression in terms of the di erence of free energies.
While this result is a corollary of a more general result known already in [7] relating the entanglement negativity of pure states in a bipartite system to a particular Rnyi entropy (at index 12 ) of the reduced density matrix for one of the components, it casts the general result in simple terms, which in turn allows us to extract some lessons. We argue for instance in section 3 that it allows us to recover the negativity of the vacuum state of a CFTs for a spherical partitioning of the spatial geometry. In particular, employing the conformal mapping developed in [22], we give results for the entanglement negativity for spherical regions for d-dimensional CFTs. In this context it bears mentioning that the results for entanglement negativity have been obtained in 2-dimensional CFTs by employing the replica trick in [23, 24]. These results are of course more powerful and express the computation of the entanglement negativity in terms of twist operator correlation functions for cyclic orbifolds. In section 4 we make some general comments on extracting the negativity in holographic eld theories using the generalized gravitational entropy prescription of [25] and comment on some general lessons one can learn from these analysis. We conclude with a discussion of open questions in section 5.
5See also [16] for suggestions relating growth of entanglement with that of spacetime volume created thus using analogies with tensor networks and [1721] for attempts to recover gravitational dynamics from quantum information.
3
JHEP10(2014)060
2 Entanglement negativity
While our ultimate aim is to explore quantum information theoretic ideas in the holo-graphic realm, we rst however need to explain the basic concepts. We therefore begin our discussion with a review of the salient issues relevant for discussing entanglement negativity in quantum mechanics, and postpone generalizations to relativistic quantum eld theories to a later stage.
As discussed in section 1, given a density matrix describing a mixed state of some bipartite system it is natural to ask whether there is any way we can reveal if it is separable or entangled. More generally one could hope to nd a criterion to distinguish di erent kinds of entanglement in general, which could prove useful in various contexts as discussed hitherto.
A powerful tool in this direction is the so called positive partial transpose criterion (PPT). Consider the set-up described in section 1 where we have a bipartite system6 in a tensor product Hilbert space HL HR. We pick a basis in the space of each subsystem |
rai and |
li with a {1, 2, , dim(HR)} and {1, 2, , dim(HL)}, making clear
left-right distinction in our notation. A general density matrix (or indeed any operator
O) in the tensor product HL HR has matrix elements in our chosen basis
a,b = h
ra l ||
rb li . (2.1)
On occasion we will need to also talk about the reduced density matrix of one of the components HR,L. We dene then R = TrL() as the reduced density matrix inherited
for the right subsystem from (similarly L). Given such a density matrix, one denes the partial transpose with respect to the one of the systems, which w.l.o.g. we take to be the left system.7 Denoting this partial transposed density matrix as we have its matrix elements in the aforementioned basis to be
a,b = a,b = h
ra l ||
rb li . (2.2)
If has non-negative eigenvalues then is said to have positive partial transpose (PPT). With these denitions one has the following criterion due to Peres [28]
is separable = is PPT
The converse is true only for two-qubit (and qubit-trit) systems but not for higher dimensional Hilbert spaces [29].
As discussed earlier all distillable states are in direct conict with local realism, so one could think that only separable states are undistillable. Here the PPT criterion comes strongly into play showing that this intuition is wrong. In fact it was proved in [30] that
is PPT = is undistillable
6We focus exclusively on bipartite entanglement. Attempts to understand multipartite entanglement in the holographic context can be found in [26] (see also [27]).
7With this understanding we denote the partial transpose of by , economizing notation by dispensing with indicating that the left subsystem was transposed.
4
JHEP10(2014)060
For this reason these states are called bound entangled in contrast to free entanglement that can be distilled. In other words if a state is bound entangled it is not possible to extract pure entanglement from it using only LOCC. The authors of [30] proposed an interesting analogy with thermodynamics. To prepare a bound entangled state some amount of entanglement is necessary, but the process is irreversible, as after the state is produced it is not possible to distill the initial entanglement back.
It is then reasonable to ask whether a PPT state, which is undistillable, is local in the sense of Werner. Indeed Peres conjectured in [31] that this is the case, i.e., if a state is PPT it cannot violate any Bell inequality. The question remained open for fteen years even if strong evidence has been found in its support (cf., results in [32, 33] and references therein). Very recently the conjecture has nally been disproved in [34] where a small violation of a Bell inequality has been found for a particular PPT state. This shows that local Werner states cannot be exactly identied with undistillable states.
As we see above, while the PPT criterion per se is not conclusive in identifying local entanglement, it can be used to dene a measure of the amount of distillable entanglement contained in a state. This measure, called negativity, was introduced rst in [7] and will form the focus of our investigation.
Given a density matrix one denes the negativity as measure of entanglement based on the amount of violation of the PPT criterion8 [7]
Negativity: N () = || ||1 1
2 , (2.3)
Logarithmic Negativity: E () = log || ||1 , (2.4)
where ||O||1 denotes the trace-norm of an operator
||O||1 = Tr O O . (2.5)
Recall that operationally the trace norm computes the sum of the absolute values of the eignevalues of an operator ||O||1 =
|O,i|, i.e., ||O||1 = Tr|O|. As a result one is e ec
tively computing a signed trace with non-trivial weighting for the negative eigenvalues of the partial transposed matrix .
For completeness we also recall the notions of entanglement entropy and entanglement Rnyi entropies:
S() = Tr ( log ) = lim
q!1
S(q)() = 1
1 q
JHEP10(2014)060
Pi
S(q)() ,
Z+ (2.6)
From the denition of the trace norm it then follows that the negativity provides a measure of the number of negative eigenvalues of the density matrix . Indeed, passing to
8A comment about the notation: the negativities depend not only on the state but also the bipartitioning. We refrain from explicitly indicating the latter to keep the notation clean.
5
log Tr (q) , q
a Schmidt basis, with eigenvalues of being {(+)i, ()j, 0k}, with the non-zero eigenvalues
separated by their parity, we see that
Tr( ) =
Xi(+)i + Xj()j 1 = Tr() . (2.7)
Here and in the following we will assume that the density matrix to be normalized as indicated. Note that while the eigenvalues of are di erent from those of generically, the trace is invariant under partial transposition. On the other hand
N () = 12
X
|()j| , (2.8)
is the sum of the absolute values of the negative eigenvalues of , explaining the terminology. At the risk of being pedantic, let us note that the negativity is a property of the original density matrix (the partial transpose is just a computational aid).
Properties of negativities have been discussed in the literature on quantum information, cf., [7, 3538]. By construction both the negativity and the logarithmic negativity fail to detect bound entangled states and for this reason they do not quantify the total amount of entanglement inherent in a mixed state of the system. Furthermore it is important to note that even in case of pure states these quantities do not in general agree with entanglement entropy. Specically, the logarithmic negativity gives in general a larger measure of entanglement, as we will see explicitly below, while the negativity reduces to one half of the entanglement robustness.9 Agreement with entanglement entropy on pure states is a property commonly required in the construction of an axiomatic entanglement measure,10 but the case of negativities is di erent. This fact distinguishes negativities from most entanglement measures, such as entanglement of formation and distillation, which instead reduce to entanglement entropy for pure states. Nevertheless negativities can be used to quantify entanglement provided that they do not increase under any LOCC,i.e., they are entanglement monotones. This is indeed the case, as proved in [36].11
The previous properties are shared by both negativities, but each of them has peculiar properties of interest by itself. The logarithmic negativity for example has been shown to give an upper bound to the distillable entanglement of and to satisfy an additivity relation. For a separable state of a bipartite system of two parties A and B one indeed has
E (A B) =
6
JHEP10(2014)060
|(+)i| +
Xj
Xj
|()j| 1
=
i
E (A) + E (B) . (2.9)
On the other hand the negativity can be related to the maximal delity that can be achieved in a teleportation protocol that uses as a resource.
9The robustness of entanglement can be understood as a measure of the amount of noise required to disrupt the entanglement of the system. See [39] for more details.
10For more details on the axioms that have to be satised by entanglement measures see [6] .
11It was actually shown that negativities are entanglement monotones under a larger class of operations called PPT-operations. This is the class of all operations that map the set of PPT states to itself. For further properties of negativities relatively to PPT-operations see [35].
It is interesting to note that the negativity satises an interesting disentangling theorem. Consider a tripartite system ABC in a pure state | ABCi and denote the negativity between A and BC as NA|BC and the negativity between A and B as NA|B. It was recently
proved in [37] that if and only if NA|BC = NA|B then there exists a partitioning of B into
B1 and B2 such that the state of the whole system factorizes
| ABCi =| AB1i | B2Ci (2.10)
It is an immediate consequence that under the hypothesis of the theorem the negativity between A and C (denoted as NA|C) is zero, equivalently the reduced density matrix
obtained from | ABCi by tracing out B factorizes: AC = A C. Furthermore, in this
particular case, one has the saturation of a monogamy inequality for the square of the negativity previously proved by [38] for systems of three qubits
N 2A|BC
N 2A|B +
N 2A|C (2.11)
The authors of [37] conjectured that this inequality should be true in general giving numerical results in its support. Finally it interesting to mention that contrary to what one could expect, the previous inequality does not hold for the negativity itself.
To build some intuition for the negativity, we would like to understand its properties in simple situations. It should be no surprise to the reader that negativity can be non-vanishing even in pure states. After all the simple Bell state for a 2-qubit system we can have an EPR state 1
p2 (|i+ |i) which is pure, but entangled. It is easy to verify that for this state the negativity is 1
2 . Perhaps more usefully, the logarithmic negativity is log 2 which is also the von Neumann entropy for the reduced density matrix for one of the qubits. It is easy to see that this result is not restricted to two-qubit systems. One has the following general result:
Logarithmic entaglement negativity of a maximally entangled state max in a bipartite
system equals the Entanglement entropy of the reduced density matrix L,Rmax for one of the
subsystems.E (max) = S(R,Lmax) . (2.12)
While this statement illustrates the basic feature of this particular measure of entanglement it is useful to look at a simple generalization that will allow us to build some intuition for the negativity.12
2.1 Negativity in thermoeld state
Let us consider the thermoeld double state | i in with HL,R being two copies of the
same physical system. Working in an energy eigenbasis with spectrum {Ei} we have13
| i =
1
pZ()
JHEP10(2014)060
N
Xa=1e2 Ea|ra lai (2.13)
12We nd it convenient to notationally distinguish pure and mixed states and therefore denote a pure state density matrix as =| ih |.
13We have for simplicity assumed that we are dealing with a nite system where dim(HL)=dim(HR)=N.
7
The state in the tensor product is of course pure, but entangled. We want to take a measure of this entanglement, using the logarithmic negativity E () with
= | i h | =
1 Z()
N
Xa,b=1e2 (Ea+Eb)|ra lai hrb lb | (2.14)
It is then trivial to see that
= 1
Z()
N
Xa,b=1e2 (Ea+Eb)|ra lbi hrb la | (2.15)
and
JHEP10(2014)060
= 1
Z()2
N
Xa,b=1e(Ea+Eb) |ra lai hrb lb | (2.16)
whence it follows that
E () = log Z(2 )2
Z() = (F () F (/2)) (2.17)
with the nal result written in terms of the free energy F () = 1 log Z().
The logarithmic negativity of the thermoeld state is proportional to the di erence of free energies of the system at temperature T and 2 T respectively.14 This is main observation which we will exploit in the sequel to obtain some insight into the nature of entanglement in quantum eld theories. On the other hand the reduced density matrix R,L for the right or left systems has a von Neumann entropy S(A) which is obtained
directly from Z() itself. In the limit 0 we recover the previous assertion (2.12) for
maximally entangled states.
2.2 Rnyi negativities
For the thermoeld state there is a simple relation between the negativity of the total density matrix and the reduced matrix of one component. This in fact generalizes to pure states of the bipartite system quite simply. To get further intuition for the negativity, it is worthwhile to follow the line of thought that led to the replica analysis for entanglement entropy. Just as we consider the moments of the density matrix in order to compute its von Neumann entropy, we now examine the moments of the partial transpose .
Consider following [23] the notion of Rnyi negativity for a density matrix :
exp
E (q)() = Tr ( )q =
qe+
Pj
Pi
(+)i
()j
qe, qe 2 Z+
Pi
(+)i
qo
qo, qo 2Z+ + 1(2.18)
Pj
()j
As is clear from the above denition the parity of the integer q plays a crucial role. Should we wish to employ the replica construction and recover the logarithmic negativity from
14The simplicity of the nal result in terms of the free energy di erence is the reason for preferring the logarithmic negativity over the negativity itself. We henceforth will focus on E and refer to it as the negativity in the rest of our discussion for convenience.
8
these Rnyi entropies then we will need to exclusively use the even sequence. The logarithmic negativity is obtained by an analytic continuation of even Rnyi negativities to qe 1,i.e.,
E () = lim
qe!1
Z+ (2.19)
Using the denition (2.18) we can immediately generalize our considerations for the thermal state to any pure state =| ih | of a bipartite system. We have [24]
E (qe)() = 2
1 qe 2
S(qe/2)(R,L) ,
E (qo)() = (1 q0) S(qo)(R,L) . (2.20) In particular note that
E () = S(1/2)(R,L) , (2.21)
as the generalization of our previous assertions (2.12) and (2.17). We note that the Rnyi negativities have been used to extract the negativities in two dimensional conformal eld theories (CFTs) in [23, 24]. The technical tool involved is to appropriately map the computation as in the case of entanglement entropy to that of computing twist operator correlation functions. We will have occasion to comment on some of their results in due course.
3 Negativity of a CFT vacuum
Having dened the basic quantity of interest let us now turn to its computation in relativistic eld theories. To our knowledge the only study of negativity in such as context are the aforementioned works [23, 24] who examine its behaviour in 2d CFTs. Our interest is in understanding properties of negativity more generally. In what follows we explain how one can exploit (2.17) to nd explicit results for a certain choice of bipartitioning of the vacuum state of a CFT. Subsequently we describe how to tackle the problem more generally.
Consider a relativistic QFT in d-dimensions on some background geometry B. As
remarked earlier in section 1 we want to ask how to quantify the entanglement of the vacuum state in this theory. For the present we are going to use the concept of logarithmic negativity introduced in section 2 to serve as the measure of interest.
A natural way to proceed is to consider a spatial Cauchy slice and consider some region A . One can ask how degrees of freedom in A are entangled with those in
Ac = \A. By now we have a good idea about the entanglement entropy associated with
the reduced density matrix A = TrA
c (|0ih 0|) either by direct eld theory computation in
d = 2 using the replica trick or using holography in all d.
To be be specic let us examine two situations which are particularly simple, where the eld theory calculation boils down e ectively to a spectral computation. Consider a conformally invariant eld theory which we will place on one of two background geometries for the present:
(i). Bd =
Rd1,1 (Mink): | 0p i is the Minkowski or Poincar vacuum and A is a ball
shaped region centered w.l.o.g. at the origin
A
Rd1 : r R , ds2B = dt2 + dr2 + r2 d 2d2 . (3.1)
9
E (qe) , qe 2
JHEP10(2014)060
R (ESU). |0g i is the global or vacuum and A is a polar-cap region about
the north pole of Sd1
A Sd1 : A , ds2B = dt2 + R2 d2 + sin2 d 2d2
(ii). Bd = Sd1
. (3.2)
The reasons for using R to denote the size of the ball as well as the curvature radius of the sphere in the two distinct cases will become clear momentarily. For these two cases we will exploit a well known fact about the reduced density matrix A to make some inferences
about the negativity.
Let us begin by recalling some salient features elucidated in [22]. For our two regions the domain of dependence A B is conformally equivalent to the hyperbolic cylinder
Hd = Hd1
R, with the curvature radius of the hyperbolic space Hd1 being R. Since the
entanglement structure is a property of an entire causal domain, not just a spatial region, we can as well think of E (A) as a function dened on A.15
With this understanding the conformal mapping of [22] implies that the reduced density matrix A is unitarily equivalent to the thermal density matrix for the CFT on the
hyperbolic cylinder16 Hd
A = U U , = 2 R . (3.3)
We note that the temperature is set by R and in particular it is independent of A for
the theory on ESU. This is intuitive on dimensional grounds, though we should note that the angular dependence is implicit in A. For e.g., in computing entanglement entropy a
A dependence will arise by relating the UV cut-o on ESU with the IR cut-o for the
CFT on the hyperbolic cylinder. It is perhaps more instructive to note that the modular Hamiltonian dened via A = eHA has an explicit dependence on the angular extent of
the polar-cap (see e.g., [41]).We interpret this result as follows. The vacuum state of the tensor product HA HA
c
JHEP10(2014)060
for the aforementioned choice of regions is expressible in terms of the thermal state on the hyperbolic cylinder. Schematically, we can write
0
Mink, ESU =
H , (3.4)
From this observation using (2.17) we infer that (for either |0pi or |0gi)
E (0) = 2 R (FH(2R) FH(R)) , (3.5) where FH is the free energy of the CFT on the hyperbolic cylinder.
So the problem of computing negativity in the vacuum state of a CFT can thus be mapped to computing the spectrum on the hyperbolic space. As long as we have this spectral data we can then immediately infer the negativity of the vacuum. It will turn out that the negativity has an inherent UV divergence and necessitates a UV regulator for its computation.
15In the language of [40] we should think of the negativity also as a wedge observable. Thus it is also subject to the constraints of causality as described therein for entanglement entropy.
16We refer the reader to [22] for explicit expressions of the unitary map.
10
To ascertain the divergence structure we note that a UV regulator on Bd maps to an
IR regulator on Hd by virtue of the conformal mapping. We have from the analysis of [22] the relations
LH = log
2R Mink
, LH = log
2 RESU sin A
, (3.6)
in the two cases of interest. Here LH is the IR regulator of the length scale in the hyperbolic cylinder and B is the UV cut-o in the background indicated. This mapping between the
cut-o s can be used to express the volume of the hyperbolic cylinder in terms of eld theory data on Bd. Denoting by Vol(Hd1) the spatial volume of a unit radius of curvature
hyperbolic space,using the explicit expression mapping the cut-o s (3.6), one obtains the desired expression for Bd = Minkd,
Vol(Hd1) = d2Z
R
1 dx (x2 1)
JHEP10(2014)060
d1 2
d1
2
d3
2 , d2 =
2
d2 d 2
"
R
d2(d 2)(d 3) 2 (d 4)
R
d4 + + Vuniv#(3.7)
where
Vuniv =
(d12)
2 (d2)
1 2
2 log
(1)
d
2 R
, d 2
Z+
(3.8)
Similar expressions can be derived for Bd = ESUd; all we would need to do is replace the
upper limit of the integral in (3.7) by the appropriate cut-o expression given in (3.6). Armed with this information we now present some expressions for the negativity using various results already present in the literature.
CFTs in 2 dimensions. In d = 2 we have a simplifying feature that H1 is at. Indeed using the result F (T ) = 12 (cL + cR) T 2 L for a thermal CFT at temperature T in spatial
volume L we nd
E (0) = c
2 log X , X =
(
2 R , B = Mink
2 R sin A , B = ESU
(1)
d1
2 , d 2
Z+ + 1
(3.9)
One may alternatively have derived this answer by using (2.21) and the familiar result S(q) = c6
1 + 1q log X for CFT2.
Free CFTs in various dimensions. The second example where we can explicitly compute the negativity is to use the results for the free energy FH of free elds in various dimensions. Results for free scalars in all dimensions were derived initially in [42] and analogous results for various theories in d = 3 were obtained in [43]. From here we can immediately read o the answer for the Rnyi entropy at q = 12 and thence the negativity using (2.21).
For a free eld of mass m in R2,1 one has the free energy on H at temperature explicitly in closed form [43] in terms of the function
I,q(m) =
Z
1
0 d tanh( ) log
1 e2 q
p2+m2
. (3.10)
11
Here = 1 encode the statistics ( = +1 for bosons and = 1 for fermions respectively).
One then nds that the negativity for free massless elds are given as
E (p) = Vol(H2)
I,1(0) 2 I,12 (0)
= Vol(H2)
Z
1
0 d tanh( ) log
1 e2 (1 e )2 !
. (3.11)
Note that the integral is convergent and all the divergences are encoded in the pre-factor Vol(H2), which we have already expressed in terms of the relevant variables in eq. (3.7).
The expression for E (g) would be similar with an appropriate replacement of the volume of the hyperbolic space.
Let us also record the expression for the entanglement entropy for the reduced density matrix A for comparison. One has from [43]
S(A) =
Vol(H2)
2
I,1(0) (7 ) (3)8 2 . (3.12)
We see from (3.11) and (3.12) that the divergent terms in the negativity are (structurally) the same as in the entanglement entropy; the numerical coe cient however is rather di erent. Let us dene the ratio
Xd =
Cuniv
E (p) C univ [S(A)]
JHEP10(2014)060
(3.13)
where Cuniv[x] denotes the coe cient of the universal term Vuniv occurring in the expression
x. We claim that this quantity gives a precise measure of the negativity for |0i in terms of
the entanglement entropy of the reduced density matrix A.For a free massless scalar in d = 3 we nd X free3 2.716, while for a massless fermion
X free3 1.888. We note that X3(m) dened formally for massive elds is a monotonically increasing function of m. We will return to this ratio below once we also obtain analogous results from holography for strongly coupled CFTs.
Results for Rnyi entropies for spherical entangling regions are also known for free
SU(N) N = 4 Super-Yang Mills theory in d = 4 [44]. From these results we nd
E (p) N2
R2
2
4124 log
R
S(A) N2
1
2
R2
2 log
R
(3.14)
This is a peculiar example where the structure of divergent terms in the negativity for the ground state di ers from that in the entanglement entropy of the reduced density matrix induced in the spherical region A.17 From the expressions above we nd that
X4 = 4124 1.708 for free N = 4 SYM.
17We nd this rather peculiar in light of the conformal mapping described above. Given the free scalar/fermion and holographic results one might have been tempted to consider the ratio of the negativity to the entanglement entropy en masse, without isolating the universal part (assuming both computations be regulated in a similar fashion). We thank Horacio Casini and Tadashi Takayanagi for useful discussions on this point.
12
Holographic CFTs in diverse dimensions. Our nal example is the class of holo-graphic eld theories in various dimensions. While the computation of the spectrum of an interacting CFT on H is in general unfeasible, holography provides us with a simple answer when the CFTs in question have (a) large central charge and (b) a su cient gap in the spectrum. The reason is that the computation of the free energy at temperature amounts to nding an asymptotically locally AdSd+1 geometry whose boundary is Hd, with the Euclidean time direction having a period . The relevant geometry is well known, it is the so called hyperbolic black hole in AdSd+1 [45]. The bulk metric is given as
ds2 =
2AdS
R2 f(r) dt2 +
dr2f(r) + r2 d 2Hd1 , f(r) =
r22AdS
r+ r
d2
r2+ 2AdS
1
JHEP10(2014)060
1
(3.15)
whose conformal boundary is indeed H with the desired spatial curvature R. r+ is the location of the horizon and we have explicitly kept the AdS length scale AdS. We note
that the combination of this length scale and the (d + 1)dimensional Newtons constant
G(d+1)N gives the e ective central charge ce of the dual CFT: ce =
d1AdS
16 G(d+1)N .
This geometry has in fact been used before to compute the Rnyi entropies for holo-graphic eld theories in [46] and we can in fact use their results to infer the behaviour of the negativity directly. We rst note that the black hole thermodynamic data are given in terms of the geometric parameters as
T = d r2+ (d 2) 2AdS
4 R AdS r+ , S =
14 Gd+1N
rd1+ Vol(Hd1) . (3.16)
Given that we know the free energy and the entropy, we can invoke standard thermodynamic relation S(T ) = FT to obtain the nal result [46]
E (p) = ce Vol(Hd1) X hold = S(A) X hold , (3.17) where the dimension dependent coe cient X hold for holographic CFTs is a simple function
of the spacetime dimension
X hold =
1
2 xd2d (1 + x2d) 1
, xd = 2d 1 +
r1 d2 +d2 4
!. (3.18)
This function interpolates rather mildly between X hol2 = 32 and limd!1 X hold = (e 1) 1.718, hinting that up to an overall multiplicative renormalization much of the information is already contained in the entanglement entropy.
It is also curious to note that in d = 3 one can compare the free eld answers to the strong coupling results obtained above.18 For a free scalar eld we nd X hol3 0.601 X free3,
while for a free Dirac eld the proportionality is larger X hol3 0.864 X free3.
It would be interesting to understand this ratio which suggests a decrease in (distillable?) entanglement in the strong coupling regime from rst principles. The ratio of our
18Since we are considering ratios of the negativity to the entanglement, the precise normalization of central charge ce is immaterial, unlike the case when we compare the entanglement entropy at weak and strong coupling.
13
measure at weak and strong couplings X holX
free can decrease either by the total entanglement being reduced at strong coupling or more simply by just the negativity decreasing. In the latter case one would only nd a decrease in the amount of distillable entanglement at strong coupling. Ascertaining which of these scenarios is realized might provide new clues in the relation between geometry and entanglement.
A similar comparison for N = 4 SYM gives a much more intriguing result X hol4 0.98 X free4, where we switched to using the ratio of the coe cient of the universal logarithmic
terms (3.13) owing to the non-trivial behaviour of the free theory answer (3.14). In this case it is rather curious that the free eld result undergoes a very mild reduction as we crank up the coupling. Similar comparisons for the Rnyi entropies of N = 4 SYM at
di erent q are described in some detail in [47].
Note added in v2. Using the results of [46] one can compute X hold in quasi-topological
theories of gravity. These have been used in the literature to model eld theories with
unequal central charges (e.g., a 6= c in d = 4).19 The ratio for Gauss-Bonet theory in d = 4
can be expressed in terms of the a and c central charges as
X hold=4()
GB
= x24 18
(5 1) x24 (13 5) + 162x24 + 1(3 1) x24 + 1 (3.19)
where = ca and x4 now solves a cubic equation:
x34
3 1
5 1
JHEP10(2014)060
(2 x24 + x4) + 2 1
5 1
= 0 (3.20)
From eld theory unitarity considerations bound [23, 2]. It is easy to numerically check that X hold=4()
GB
monotonically increases and ranges between 1.397 and 2.53 at the ends of
the allowed interval.
4 Holographic negativity: general expectations
Having understood the basic features of entanglement negativity in the vacuum state of a CFT for bipartitioning by spherical regions, we now turn to more general situations. Most of the discussion below will be of a qualitative nature, devoted to explaining some of the general features.
4.1 Arbitrary bipartitions of pure states
Let us start with pure states | i. Once again we can focus on bipartitioning a Cauchy
slice of the background geometry for the eld theory as = A Ac. We can then relate
the negativity E () to the Rnyi entropy S(1/2)(A) (for the bipartition HA HA
c ). Hence
19Caveat lector: while the quasi-topological theories provide a dial to decouple the central charges in large ce theories, we believe they are unphysical, and that there is no unitary eld theory whose dual is given precisely by such a gravitational Lagrangian. Rather they should be treated as in any e ective eld theory as the leading terms in a pertubation expansion of higher derivative operators. We leave it to the reader to decide on the import of the present text which is included to satisfy the curiousity of an anonymous referee.
14
as long as we are in a position to compute the Rnyi entropies for non-integral values, we would be able to ascertain the negativity.
To obtain the Rnyi entropy at index half, we follow the the holographic computation of [25].20 For an arbitrary region A we therefore consider replicating the background
geometry B to Bq on which we place our eld theory. Bq would as usual be characterized
by having branch points inside A (and its images under the replica construction). Having
obtained the answers for integral q which involves nding bulk saddle points with boundary
Bq we then analytically continue to q = 12. A-priori it is not clear that this last step can be carried out for all choices of A.
One can infer the following about the negativity in pure states of a CFT from the basic denition even in the absence of an explicit computation:
The negativity in a pure state is divergent with the leading divergent term scaling
like the area of the entangling surface A.
The structure of the sub-leading divergent terms is identical to that encountered
in the computation of the entanglement entropy for the reduced density matrix A
in holographic eld theories. This follows from the fact that the divergent terms encountered in the evaluation of the on-shell action in gravity during the computation of the Rnyi entropies is independent of q.
Perhaps more importantly the value of the negativity
E () is in general larger than the entanglement entropy S(A). The di erence we conjecture should be in a geo
metric factor. To wit, the ratio XA dened analogously to (3.13) should depend just
on the geometry of the entangling surface A.4.2 Mixed state negativity
In principle in the holographic discussion we do not need to restrict attention to pure states. In fact, given that the negativity is naturally intended to test mixed states, one ought to be considering density matrices and attempt to compute their negativity. This as far as we know has been only achieved in d = 2 CFTs in [24]. While we have no concrete computation to report in this context, it is worth recording various cases of interest for future exploration.
The general situation which one can consider can be motivated in the following manner. Given a state in some quantum eld theory, we focus on some region A lying on a particular
Cauchy slice. By integrating out the degrees of freedom in Ac = \A we obtain the reduced
density matrix A as usual. Now we further bipartition A itself, i.e., divide A = AL AR.
With this decomposition at hand we dene the negativity E (A) as before by partial trans
posing the part of the density matrix associated with AL. As concrete examples consider:(a). Take A to be the spherical region of size R in
Rd1 considered in section 3 in our previous construction and pick any two mutually adjoining regions for AL and AR
respectively.
20At this stage we have to restrict states | i to have a moment of time reection symmetry and at this preferred instant of time. A general prescription for computing holographic Rnyi entropies (even for integer q) in time-dependent states is not available at present.
15
JHEP10(2014)060
(b). A itself could be the composed of two disconnected regions which we can associate
with the bipartitioning of interest.
(c). A R in the thermoeld double state | i HL HR. One can attempt to
quantify the negativity of R for the bipartition dened by R = A Ac.
For these situations it no longer su ces to compute a particular Rnyi entropy for some reduced density matrix. Instead one computes the Rnyi negativities for the density matrix A, and analytically continues the even sequence of these down to qe 1 as
explained earlier. The state of the art is the computations of [24] in d = 2 CFTs for certain specic congurations. For instance, for A
R being a segment of length bipartitioned into two segments of length and (1 ) respectively the negativity was found to be
E (A) = c4 log
(1 )
. The computation was made possible by explicit computation of twist operator correlation functions in d = 2. We refer the reader to [24] for a discussion of other congurations and corresponding results for nite systems, disjoint regions, etc..
It should be possible to carry out in some specic holographic situations a direct computation of the relevant quantities. We postpone this to the future, concentrating at present on the general lessons to be learnt from holography.
Bipartitioning of A and phase transitions? Let us start with cases (a) and (b) described above where A is partitioned into AL AR (case (c) is elaborated upon in
section 5). In such cases one commonly considers the mutual information I(AR, AL). This is dened in terms of the entanglement entropy for the reduced density matrices induced on the two components:
I(AL, AR) = S(AL) + S(AR) S(A) . (4.1)
If AL AR 6= as in case (a), then both the mutual information and the negativity
diverge as the area of this common boundary owing to the UV degrees of freedom in its vicinity.
There is an interesting phenomenon that occurs for holographic theories21 in case (b)
where A is composed of two disjoint regions. The mutual information vanishes to leading
order in ce when the regions are widely separated [10]. In the holographic construction this occurs because one has to pick the globally minimal area surface (subject to boundary conditions and the topological homology constraint), which allows for phase transitions.
Moreover, this behaviour is well understood in d = 2 in large ce = c CFTs in terms of a phase transition in Rnyi entropies for widely separated intervals [48, 49]. To understand this let us describe the region by its end-points as A = [u1, v1] [u2, v2]
R. The compu
tation of the Rnyi entropy S(q) involves computing the four-point correlation function of Zq twist operators Tq S(q) : h Tq(u1)
Tq(v1) Tq(u2)
Tq(v2) i (4.2) which depends only on the cross-ratio x = (v1u1) (v2u2)
(u2u1) (v2v1) [0, 1] (up to some universal scale invariant factor). At large central charge c this correlation function undergoes a phase
21A necessary condition in eld theory terms is that the eld theories have large central charge c 1 (so as to admit a planar limit) and a low density of states for energies below a gap set by c.
16
JHEP10(2014)060
transition at x = 12. This is seen by decomposing the above using the OPE expansion and evaluating the contributions of the conformal block in a saddle point approximation (valid for large c). For small x the result is dominated by the s-channel factorization but for x > 12 the t-channel factorization takes over. In the bulk the transition is between a single connected surface and two disconnected surfaces computing S(A).
One might anticipate that a similar behaviour will pertain in the negativity as well since to compute the negativity one instead evaluates [24]
E : h Tqe(u1)
Tqe(v1)
Tqe(u2) Tqe(v2) i (4.3)
Up to a switch of the insertions u2 v2 the computation is very similar to the one required
for Rnyi (4.2). The correlator (4.3) has a non-trivial dependence on the cross-ratio x, in addition to some universal contribution arising from scale invariance. This seems to suggest that there ought be a similar phase transition in the negativity at x = 12 for large central charge theories.
The argument however appears to be a bit more subtle than suggested above.22 To see
the issue rst consider the four-point functions relevant for the Rnyi computation (4.2). By a suitable conformal transformation we map this to
h Tq(0)
Tq(x) Tq(1)
Tq() i Fq(x) (4.4)
and we recall that Tq is a twist or anti-twist operator with dimensions
hq = hq = c 24
q 1 q
. (4.5)
It is su cient to understand the behaviour of this function, since one can by utilizing the swap u2 v2 map the four-point function required for the negativity (4.3) to above.
Tracking through the conformal transformations one nds [24]
h Tq(u1)
Tq(v1)
Tq(u2) Tq(v2) i
h Tq(u1)
Tq(v1) Tq(u2)
Tq(v2) i
= (1 x)8hq
Fq
JHEP10(2014)060
x x1
Fq(x) (4.6)
We thus have a direct link between the two computations and all we need is the behaviour of the function Fq(x). One has control on this function for x [0, 1] from the
analysis of [49] in the large c limit (cf., footnote 21), which can be used to argue that the Rnyi entropies undergo a phase transition. To make an argument for the negativity however requires that we also control the function outside this domain. It is tempting to conjecture that the phase transition does indeed happen and moreover one encounters a similar behaviour in higher dimensions. We leave a more detailed analysis for the future.
5 Discussion
In this paper we have focussed on properties of entanglement negativity, dened as a measure of distillable entanglement in a given state of a quantum system. The rationale
22We thank Tom Hartman and Alex Maloney for discussions on this issue.
17
for its denition lies in understanding the entanglement structure of mixed states. To gain some intuition for this quantity we explored its properties in simple states such as the vacuum of a CFT in various dimensions. While we laid out some general expectations for the behaviour of negativity in holographic eld theories more generally, we did not o er any concrete computations in supporting evidence. We hope to remedy this in the near future. It is nevertheless useful to take stock and examine some of the questions posed by the analysis we have undertaken.
First of all, it is interesting to ask if there is some intrinsic meaning to the geometric pre-factor XA. Since
E provides only an upper bound on the distillable entanglement, what physical interpretation, if any, should be ascribed to its being greater than the entanglement entropy? Can one think of XA ce as a measure of the e ective number of Bell pairs that
can be distilled out of a pure state in a CFT?
We have also seen earlier that this function renormalizes and for spherically symmetric regions XA it was smaller (in magnitude) at strong coupling. Does this reduced amount
in distillable entanglement have a fundamental signicance in how spacetime geometry is related to the presence of entanglement? It would be instructive to know whether one can formalize some statement along these lines in a quantitative fashion. At a more prosaic level it would be interesting to understand this function both as a function of the state as well as the geometry of the region A.
Secondly, all of our discussion has been restricted to density matrices at a moment of time symmetry (or in special cases static density matrices). This allowed us in the general context to make use of the generalized gravitational entropy construction of [25] to compute the Rnyi entropies and negativities for integer values of the index q. These are clearly special situations and one would like to be able to make statement for time-evolving states. As in the case of entanglement entropy extending the construction to dynamical situations could perhaps teach us some new lessons about spacetime and entanglement.
As a nal comment, we turn to the situation where A is a single connected region, but
one has a mixed state on the entire Cauchy slice (denoted ) (case (c) in section 4.2). As remarked earlier one of the main reasons to focus on negativity is to understand the precise nature of entanglement in mixed states. In the holographic context one encounters an interesting feature for the entanglement entropy of reduced density matrices A induced
from a parent thermal state. When A is a su ciently large region of the Cauchy slice one
nds an interesting phenomena dubbed entanglement plateaux [50]: S(A) = S(A
c )+S ,
i.e., Araki-Lieb inequality [51] is saturated. This behaviour has been argued to be robust in holographic eld theories for nite systems at large ce .
One can interpret this to mean that the entanglement inherent in A has two distinct
contributions: (i) the quantum entanglement between the region and its complement encapsulated in S(A
c ) and (ii) correlations built into the thermal density matrix S . This distinction seems to suggest that in this regime there is a clear demarcation in the degrees of freedom inside A in terms of their entanglement properties [52] (see also [53] for related
considerations). Indeed this interpretation is natural from the perspective of the disentangling theorem for tripartite systems described in section 2. The thermoeld double state which puries the density matrix factorizes as in (2.10) with B = HA. It would be fas
cinating to see this arise directly by computing the negativities in the holographic context.
18
JHEP10(2014)060
Acknowledgments
It is a pleasure to thank Horacio Casini, Felix Haehl, Tom Hartman, Veronika Hubeny, Henry Maxeld and Tadashi Takayanagi for useful discussions on various aspects of quantum entanglement. We would also like to thank Horacio Casini, Veronika Hubeny, Tadashi Takayanagi and Erik Tonni for comments on a preliminary draft of the paper. M. Rangamani would like to thank the Yukawa Institute for Theoretical Physics, Kyoto for hospitality during the concluding stages of this project. M. Rangamani was supported in part by FQXi grant Measures of Holographic Information (FQXi-RFP3-1334), by the STFC Consolidated Grant ST/J000426/1 and by the European Research Council under the European Unions Seventh Framework Programme (FP7/2007-2013), ERC Consolidator Grant Agreement ERC-2013-CoG-615443: SPiN (Symmetry Principles in Nature).
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.
References
[1] J. Bell, On the Einstein-Podolsky-Rosen paradox, Physics 1 (1964) 195 [http://inspirehep.net/search?p=find+J+PYCSA,1,195
Web End =INSPIRE ].[2] R.F. Werner, Quantum states with Einstein-Podolsky-Rosen correlations admitting a
hidden-variable model, http://dx.doi.org/10.1103/PhysRevA.40.4277
Web End =Phys. Rev. A 40 (1989) 4277 [http://inspirehep.net/search?p=find+J+Phys.Rev.,A40,4277
Web End =INSPIRE ].[3] S. Popescu, Bells inequalities versus teleportation: what is nonlocality?,
http://dx.doi.org/10.1103/PhysRevLett.72.797
Web End =Phys. Rev. Lett. 72 (1994) 797 .[4] S. Popescu, Bells inequalities and density matrices: revealing hidden nonlocality,
http://dx.doi.org/10.1103/PhysRevLett.74.2619
Web End =Phys. Rev. Lett. 74 (1995) 2619 [http://arxiv.org/abs/quant-ph/9502005
Web End =quant-ph/9502005 ] [http://inspirehep.net/search?p=find+J+Phys.Rev.Lett.,74,2619
Web End =INSPIRE ].[5] C.H. Bennett et al., Purication of noisy entanglement and faithful teleportation via noisy
channels, http://dx.doi.org/10.1103/PhysRevLett.76.722
Web End =Phys. Rev. Lett. 76 (1996) 722 [http://arxiv.org/abs/quant-ph/9511027
Web End =quant-ph/9511027 ] [http://inspirehep.net/search?p=find+EPRINT+quant-ph/9511027
Web End =INSPIRE ].[6] M.B. Plenio and S. Virmani, An introduction to entanglement measures, Quant. Inf.
Comput. 7 (2007) 1 [http://arxiv.org/abs/quant-ph/0504163
Web End =quant-ph/0504163 ] [http://inspirehep.net/search?p=find+EPRINT+quant-ph/0504163
Web End =INSPIRE ].[7] G. Vidal and R.F. Werner, Computable measure of entanglement,
http://dx.doi.org/10.1103/PhysRevA.65.032314
Web End =Phys. Rev. A 65 (2002) 032314 [http://inspirehep.net/search?p=find+J+Phys.Rev.,A65,032314
Web End =INSPIRE ].[8] R. Verch and R.F. Werner, Distillability and positivity of partial transposes in general
quantum eld systems, http://dx.doi.org/10.1142/S0129055X05002364
Web End =Rev. Math. Phys. 17 (2005) 545 [http://arxiv.org/abs/quant-ph/0403089
Web End =quant-ph/0403089 ] [http://inspirehep.net/search?p=find+EPRINT+quant-ph/0403089
Web End =INSPIRE ].[9] S. Ryu and T. Takayanagi, Holographic derivation of entanglement entropy from AdS/CFT,
http://dx.doi.org/10.1103/PhysRevLett.96.181602
Web End =Phys. Rev. Lett. 96 (2006) 181602 [http://arxiv.org/abs/hep-th/0603001
Web End =hep-th/0603001 ] [http://inspirehep.net/search?p=find+EPRINT+hep-th/0603001
Web End =INSPIRE ].[10] S. Ryu and T. Takayanagi, Aspects of holographic entanglement entropy,
http://dx.doi.org/10.1088/1126-6708/2006/08/045
Web End =JHEP 08 (2006) 045 [http://arxiv.org/abs/hep-th/0605073
Web End =hep-th/0605073 ] [http://inspirehep.net/search?p=find+EPRINT+hep-th/0605073
Web End =INSPIRE ].[11] V.E. Hubeny, M. Rangamani and T. Takayanagi, A covariant holographic entanglement
entropy proposal, http://dx.doi.org/10.1088/1126-6708/2007/07/062
Web End =JHEP 07 (2007) 062 [arXiv:0705.0016] [http://inspirehep.net/search?p=find+EPRINT+arXiv:0705.0016
Web End =INSPIRE ].[12] B. Swingle, Entanglement renormalization and holography, http://dx.doi.org/10.1103/PhysRevD.86.065007
Web End =Phys. Rev. D 86 (2012) 065007
[arXiv:0905.1317] [http://inspirehep.net/search?p=find+EPRINT+arXiv:0905.1317
Web End =INSPIRE ].[13] M. Van Raamsdonk, Comments on quantum gravity and entanglement, arXiv:0907.2939
[http://inspirehep.net/search?p=find+EPRINT+arXiv:0907.2939
Web End =INSPIRE ].
19
JHEP10(2014)060
[14] M. Van Raamsdonk, Building up spacetime with quantum entanglement,
http://dx.doi.org/10.1007/s10714-010-1034-0
Web End =Gen. Rel. Grav. 42 (2010) 2323 [arXiv:1005.3035] [http://inspirehep.net/search?p=find+EPRINT+arXiv:1005.3035
Web End =INSPIRE ].[15] J. Maldacena and L. Susskind, Cool horizons for entangled black holes,
http://dx.doi.org/10.1002/prop.201300020
Web End =Fortsch. Phys. 61 (2013) 781 [arXiv:1306.0533] [http://inspirehep.net/search?p=find+EPRINT+arXiv:1306.0533
Web End =INSPIRE ].[16] T. Hartman and J. Maldacena, Time evolution of entanglement entropy from black hole
interiors, http://dx.doi.org/10.1007/JHEP05(2013)014
Web End =JHEP 05 (2013) 014 [arXiv:1303.1080] [http://inspirehep.net/search?p=find+EPRINT+arXiv:1303.1080
Web End =INSPIRE ].[17] M. Nozaki, T. Numasawa, A. Prudenziati and T. Takayanagi, Dynamics of entanglement
entropy from Einstein equation, http://dx.doi.org/10.1103/PhysRevD.88.026012
Web End =Phys. Rev. D 88 (2013) 026012 [arXiv:1304.7100]
[http://inspirehep.net/search?p=find+EPRINT+arXiv:1304.7100
Web End =INSPIRE ].
[18] N. Lashkari, M.B. McDermott and M. Van Raamsdonk, Gravitational dynamics from
entanglement thermodynamics, http://dx.doi.org/10.1007/JHEP04(2014)195
Web End =JHEP 04 (2014) 195 [arXiv:1308.3716] [http://inspirehep.net/search?p=find+EPRINT+arXiv:1308.3716
Web End =INSPIRE ].[19] J. Bhattacharya and T. Takayanagi, Entropic counterpart of perturbative Einstein equation,
http://dx.doi.org/10.1007/JHEP10(2013)219
Web End =JHEP 10 (2013) 219 [arXiv:1308.3792] [http://inspirehep.net/search?p=find+EPRINT+arXiv:1308.3792
Web End =INSPIRE ].[20] T. Faulkner, M. Guica, T. Hartman, R.C. Myers and M. Van Raamsdonk, Gravitation from
entanglement in holographic CFTs, http://dx.doi.org/10.1007/JHEP03(2014)051
Web End =JHEP 03 (2014) 051 [arXiv:1312.7856] [http://inspirehep.net/search?p=find+EPRINT+arXiv:1312.7856
Web End =INSPIRE ].[21] B. Swingle and M. Van Raamsdonk, Universality of gravity from entanglement,
arXiv:1405.2933 [http://inspirehep.net/search?p=find+EPRINT+arXiv:1405.2933
Web End =INSPIRE ].[22] H. Casini, M. Huerta and R.C. Myers, Towards a derivation of holographic entanglement
entropy, http://dx.doi.org/10.1007/JHEP05(2011)036
Web End =JHEP 05 (2011) 036 [arXiv:1102.0440] [http://inspirehep.net/search?p=find+EPRINT+arXiv:1102.0440
Web End =INSPIRE ].[23] P. Calabrese, J. Cardy and E. Tonni, Entanglement negativity in quantum eld theory,
http://dx.doi.org/10.1103/PhysRevLett.109.130502
Web End =Phys. Rev. Lett. 109 (2012) 130502 [arXiv:1206.3092] [http://inspirehep.net/search?p=find+EPRINT+arXiv:1206.3092
Web End =INSPIRE ].[24] P. Calabrese, J. Cardy and E. Tonni, Entanglement negativity in extended systems: a eld
theoretical approach, http://dx.doi.org/10.1088/1742-5468/2013/02/P02008
Web End =J. Stat. Mech. 02 (2013) P02008 [arXiv:1210.5359] [http://inspirehep.net/search?p=find+EPRINT+arXiv:1210.5359
Web End =INSPIRE ].[25] A. Lewkowycz and J. Maldacena, Generalized gravitational entropy, http://dx.doi.org/10.1007/JHEP08(2013)090
Web End =JHEP 08 (2013) 090
[arXiv:1304.4926] [http://inspirehep.net/search?p=find+EPRINT+arXiv:1304.4926
Web End =INSPIRE ].[26] V. Balasubramanian, P. Hayden, A. Maloney, D. Marolf and S.F. Ross, Multiboundary
wormholes and holographic entanglement, http://dx.doi.org/10.1088/0264-9381/31/18/185015
Web End =Class. Quant. Grav. 31 (2014) 185015
[arXiv:1406.2663] [http://inspirehep.net/search?p=find+EPRINT+arXiv:1406.2663
Web End =INSPIRE ].[27] H. Gharibyan and R.F. Penna, Are entangled particles connected by wormholes? Support for
the ER=EPR conjecture from entropy inequalities, http://dx.doi.org/10.1103/PhysRevD.89.066001
Web End =Phys. Rev. D 89 (2014) 066001
[arXiv:1308.0289] [http://inspirehep.net/search?p=find+EPRINT+arXiv:1308.0289
Web End =INSPIRE ].[28] A. Peres, Separability criterion for density matrices, http://dx.doi.org/10.1103/PhysRevLett.77.1413
Web End =Phys. Rev. Lett. 77 (1996) 1413
[http://arxiv.org/abs/quant-ph/9604005
Web End =quant-ph/9604005 ] [http://inspirehep.net/search?p=find+EPRINT+quant-ph/9604005
Web End =INSPIRE ].[29] M. Horodecki, P. Horodecki and R. Horodecki, On the necessary and su cient conditions for
separability of mixed quantum states, http://dx.doi.org/10.1016/S0375-9601(96)00706-2
Web End =Phys. Lett. A 223 (1996) 1 [http://arxiv.org/abs/quant-ph/9605038
Web End =quant-ph/9605038 ]
[http://inspirehep.net/search?p=find+EPRINT+quant-ph/9605038
Web End =INSPIRE ].
[30] M. Horodecki, P. Horodecki and R. Horodecki, Mixed state entanglement and distillation: is
there a bound entanglement in nature?, http://dx.doi.org/10.1103/PhysRevLett.80.5239
Web End =Phys. Rev. Lett. 80 (1998) 5239
[http://arxiv.org/abs/quant-ph/9801069
Web End =quant-ph/9801069 ] [http://inspirehep.net/search?p=find+J+Phys.Rev.Lett.,80,5239
Web End =INSPIRE ].[31] A. Peres, All the Bell inequalities, http://dx.doi.org/10.1023/A:1018816310000
Web End =Found. Phys. 29 (1999) 589 [http://arxiv.org/abs/quant-ph/9807017
Web End =quant-ph/9807017 ]
[http://inspirehep.net/search?p=find+J+FoundationsofPhysics,29,589
Web End =INSPIRE ].
[32] R. Werner and M. Wolf, Bells inequalities for states with positive partial transpose,
http://dx.doi.org/10.1103/PhysRevA.61.062102
Web End =Phys. Rev. A 61 (2000) 062102 [http://arxiv.org/abs/quant-ph/9910063
Web End =quant-ph/9910063 ].
20
JHEP10(2014)060
[33] B. Terhal, A. Doherty and D. Schwab, Symmetric extensions of quantum states and local
hidden variable theories, http://dx.doi.org/10.1103/PhysRevLett.90.157903
Web End =Phys. Rev. Lett. 90 (2003) 157903 .[34] T. Vrtesi and N. Brunner, Disproving the Peres conjecture: Bell nonlocality from bipartite
bound entanglement, arXiv:1405.4502.[35] K. Audenaert, M. Plenio and J. Eisert, The entanglement cost under operations preserving
the positivity of partial transpose, http://dx.doi.org/10.1103/PhysRevLett.90.027901
Web End =Phys. Rev. Lett. 90 (2003) 027901 [http://arxiv.org/abs/quant-ph/0207146
Web End =quant-ph/0207146 ].[36] M. Plenio, The logarithmic negativity: a full entanglement monotone that is not convex,
http://dx.doi.org/10.1103/PhysRevLett.95.090503
Web End =Phys. Rev. Lett. 95 (2005) 090503 [http://arxiv.org/abs/quant-ph/0505071
Web End =quant-ph/0505071 ].[37] H. He and G. Vidal, Disentangling theorem and monogamy for entanglement negativity,
arXiv:1401.5843.[38] Y.-C. Ou and H. Fan, Monogamy inequality in terms of negativity for three-qubit states,
http://dx.doi.org/10.1103/PhysRevA.75.062308
Web End =Phys. Rev. A 75 (2007) 062308 [http://arxiv.org/abs/quant-ph/0702127
Web End =quant-ph/0702127 ].[39] G. Vidal and R. Tarrach, Robustness of entanglement, http://dx.doi.org/10.1103/PhysRevA.59.141
Web End =Phys. Rev. A 59 (1999) 141
[http://arxiv.org/abs/quant-ph/9806094
Web End =quant-ph/9806094 ] [http://inspirehep.net/search?p=find+EPRINT+quant-ph/9806094
Web End =INSPIRE ].[40] M. Headrick, V.E. Hubeny, A. Lawrence and M. Rangamani, Causality and holographic
entanglement entropy, arXiv:1408.6300 [http://inspirehep.net/search?p=find+EPRINT+arXiv:1408.6300
Web End =INSPIRE ].[41] S.A. Gentle and M. Rangamani, Holographic entanglement and causal information in
coherent states, http://dx.doi.org/10.1007/JHEP01(2014)120
Web End =JHEP 01 (2014) 120 [arXiv:1311.0015] [http://inspirehep.net/search?p=find+EPRINT+arXiv:1311.0015
Web End =INSPIRE ].[42] H. Casini and M. Huerta, Entanglement entropy for the n-sphere,
http://dx.doi.org/10.1016/j.physletb.2010.09.054
Web End =Phys. Lett. B 694 (2010) 167 [arXiv:1007.1813] [http://inspirehep.net/search?p=find+EPRINT+arXiv:1007.1813
Web End =INSPIRE ].[43] I.R. Klebanov, S.S. Pufu, S. Sachdev and B.R. Safdi, Rnyi entropies for free eld theories,
http://dx.doi.org/10.1007/JHEP04(2012)074
Web End =JHEP 04 (2012) 074 [arXiv:1111.6290] [http://inspirehep.net/search?p=find+EPRINT+arXiv:1111.6290
Web End =INSPIRE ].[44] D.V. Fursaev, Entanglement Rnyi entropies in conformal eld theories and holography,
http://dx.doi.org/10.1007/JHEP05(2012)080
Web End =JHEP 05 (2012) 080 [arXiv:1201.1702] [http://inspirehep.net/search?p=find+EPRINT+arXiv:1201.1702
Web End =INSPIRE ].[45] R. Emparan, AdS/CFT duals of topological black holes and the entropy of zero energy states,
http://dx.doi.org/10.1088/1126-6708/1999/06/036
Web End =JHEP 06 (1999) 036 [http://arxiv.org/abs/hep-th/9906040
Web End =hep-th/9906040 ] [http://inspirehep.net/search?p=find+EPRINT+hep-th/9906040
Web End =INSPIRE ].[46] L.-Y. Hung, R.C. Myers, M. Smolkin and A. Yale, Holographic calculations of Rnyi entropy,
http://dx.doi.org/10.1007/JHEP12(2011)047
Web End =JHEP 12 (2011) 047 [arXiv:1110.1084] [http://inspirehep.net/search?p=find+EPRINT+arXiv:1110.1084
Web End =INSPIRE ].[47] D.A. Galante and R.C. Myers, Holographic Rnyi entropies at nite coupling,
http://dx.doi.org/10.1007/JHEP08(2013)063
Web End =JHEP 08 (2013) 063 [arXiv:1305.7191] [http://inspirehep.net/search?p=find+EPRINT+arXiv:1305.7191
Web End =INSPIRE ].[48] M. Headrick, Entanglement Rnyi entropies in holographic theories,
http://dx.doi.org/10.1103/PhysRevD.82.126010
Web End =Phys. Rev. D 82 (2010) 126010 [arXiv:1006.0047] [http://inspirehep.net/search?p=find+EPRINT+arXiv:1006.0047
Web End =INSPIRE ].[49] T. Hartman, Entanglement entropy at large central charge, arXiv:1303.6955 [http://inspirehep.net/search?p=find+EPRINT+arXiv:1303.6955
Web End =INSPIRE ].[50] V.E. Hubeny, H. Maxeld, M. Rangamani and E. Tonni, Holographic entanglement plateaux,
http://dx.doi.org/10.1007/JHEP08(2013)092
Web End =JHEP 08 (2013) 092 [arXiv:1306.4004] [http://inspirehep.net/search?p=find+EPRINT+arXiv:1306.4004
Web End =INSPIRE ].[51] H. Araki and E.H. Lieb, Entropy inequalities, http://dx.doi.org/10.1007/BF01646092
Web End =Commun. Math. Phys. 18 (1970) 160
[http://inspirehep.net/search?p=find+J+Comm.Math.Phys.,18,160
Web End =INSPIRE ].
[52] M. Headrick, General properties of holographic entanglement entropy, http://dx.doi.org/10.1007/JHEP03(2014)085
Web End =JHEP 03 (2014) 085
[arXiv:1312.6717] [http://inspirehep.net/search?p=find+EPRINT+arXiv:1312.6717
Web End =INSPIRE ].[53] L. Zhang and J. Wu, On conjectures of classical and quantum correlations in bipartite states,
http://dx.doi.org/10.1088/1751-8113/45/2/025301
Web End =J. Phys. A 45 (2012) 025301 [arXiv:1105.2993].
21
JHEP10(2014)060
SISSA, Trieste, Italy 2014