arxiv: v3 [quant-ph] 24 Dec 2016

Transcription

1 Lower and upper bounds for entanglement of Rény- entropy We Song,, Ln Chen 2,3,, and Zhuo-Lang Cao arxv: v3 [quant-ph] 24 Dec 206 Insttute for Quantum Control and Quantum Informaton, and School of Electronc and Informaton Engneerng, Hefe Normal Unversty, Hefe 23060, Chna 2 School of Mathematcs and Systems Scence, Behang Unversty, Beng 009, Chna 3 Internatonal Research Insttute for Multdscplnary Scence, Behang Unversty, Beng 009, Chna wsong@mal.ustc.edu.cn lnchen@buaa.edu.cn ABSTRACT Entanglement Rény- entropy s an entanglement measure. It reduces to the standard entanglement of formaton when tends to. We derve analytcal lower and upper bounds for the entanglement Rény- entropy of arbtrary dmensonal bpartte quantum systems. We also demonstrate the applcaton our bound for some concrete examples. Moreover, we establsh the relaton between entanglement Rény- entropy and some other entanglement measures. Introducton Quantum entanglement s one the most remarkable features of quantum mechancs and s the key resource central to much of quantum nformaton applcatons. For ths reason, the characterzaton and quantfcaton of entanglement has become an mportant problem n quantum-nformaton scence. A number of entanglement measures have been proposed for bpartte states such as the entanglement of formaton (EOF, 2 concurrence, 3 relatve entropy, 5 geometrc entanglement, 6 negatvty 7 and squashed entanglement. 8,9 Among them EOF s one of the most famous measures of entanglement. For a pure bpartte state ψ AB n the Hlbert space, the EOF s gven by E F ( ψ AB =S(ρ A, where S(ρ A := Trρ A logρ A s the von Neumann entropy of the reduced densty operator of system A. Here log refers to the logarthm of base two. The stuaton for bpartte mxed states ρ AB s defned by the convex roof E F (ρ AB =mn p E F ( ψ AB, where the mnmum s taken over all possble pure state decompostons of ρ AB = p ψ AB ψ wth p = and p > 0. The EOF provdes an upper bound on the rate at whch maxmally entangled states can be dstlled from ρ and a lower bound on the rate at whch maxmally entangled states needed to prepare copes of ρ. 0 For two-qubt systems, an elegant formula for EOF was derved by Wootters n. 3 However, for the general hghly dmensonal case, the evaluaton of EOF remans a nontrval task due to the the dffcultes n mnmzaton procedures. 4 At present, there are only a few analytc formulas for EOF ncludng the sotropc states, Werner states 2 and Gaussan states wth certan symmetres. 3 In order to evaluate the entanglement measures, many efforts have also been devoted to the study of lower and upper bounds of dfferent entanglement measures Especally, Chen et al 8 derved an analytc lower bound of EOF for an arbtrary bpartte mxed state, whch establshed a brdge between EOF and two strong separablty crtera. Based on ths dea, there are several mproved lower and upper bounds for EOF presented n Whle the entanglement of formaton s the most common measure of entanglement, t s not the unque measure. There are other measures such as entanglement Rény- entropy (ERE whch s the generalzaton of the entanglement of formaton. The ERE has a contnuous spectrum parametrzed by the non-negatve real parameter. For a bpartte pure state ψ AB, the ERE s defned as 37 ( (2 E ( ψ AB := S (ρ A := log(trρ A, (3

2 where S (ρ A s the Rény- entropy. Let µ,, µ m be the egenvalues of the reduced densty matrx ρ A of ψ AB. We have S (ρ A = log( µ := H ( µ, (4 where µ s called the Schmdt vector (µ, µ 2,, µ m. The Rény- entropy s addtve on ndependent states and has found mportant applcatons n characterzng quantum phases wth dfferng computatonal power, 38 ground state propertes n many-body systems, 39 and topologcally ordered states. 40,4 Smlar to the convex roof n (2, the ERE of a bpartte mxed state ρ AB s defned as E (ρ AB =mn p E ( ψ AB. It s known that the Rény- entropy converges to the von Neumann entropy when tends to. So the ERE reduces to the EOF when tends to. Further ERE s not ncreased under local operatons and classcal communcatons (LOCC. 37 So the ERE s an entanglement monontone, and becomes zero f and only f ρ AB s a separable state. An explct expresson of ERE has been derved for two-qubt mxed state wth ( 7 / ,42 Recently, Wang et al 42 further derved the analytcal formula of ERE for Werner states and sotropc states. However, the general analytcal results of ERE even for the two-qubt mxed state wth arbtrary parameter s stll a challengng problem. The am of ths paper s to provde computable lower and upper bounds for ERE of arbtrary dmensonal bpartte quantum systems, and these results mght be utlzed to nvestgate the monogamy relaton n hgh-dmensonal states. The key step of our work s to relate the lower or upper bounds wth the concurrence whch s relatvely easer to dealt wth. We also demonstrate the applcaton of these bounds for some examples. Furthermore, we derve the relaton of ERE wth some other entanglement measures. Lower and upper bounds for entanglement of Rény- entropy For a bpartte pure state wth Schmdt decomposton ψ = m = µ, the concurrence of ψ s gven by c( ψ := 2( Trρ 2A = 2 ( m = µ2. The expresson Trρ 2 A s also known as the mxedness and lnear entropy. 50,5 The concurrence of a bpartte mxed state ρ s defned by the convex roof c(ρ=mn p c( ψ for all possble pure state decom- p ψ ψ. A seres of lower and upper bounds for concurrence have been obtaned n Refs. 9,24,25 For postons of ρ = example, Chen et al 9 provdes a lower bound for the concurrence by makng a connecton wth the known strong separablty crtera, 47,48.e., c(ρ 2 m(m 2 ( max ( ρ T A, R(ρ, (6 for any m n(m n mxed quantum system. The denotes the trace norm and T A denotes the partal transpose. Another mportant bound of squared concurrence used n our work s gven by 24,25 (5 Tr(ρ ρv [C(ρ] 2 Tr(ρ ρk, (7 wth V = 4(P ( P( + P (2, V 2= 4P ( (P(2 P(2 +, K = 4(P ( I(2, K 2 = 4(I ( P (2 and P( (P( + s the proector on the antsymmetrc (symmetrc subspace of the two copes of the th system. These bounds can be drectly measured and can also be wrtten as Tr(ρ ρv = 2 ( Trρ 2 TrρA 2, Tr(ρ ρv 2 = 2 ( Trρ 2 TrρB 2, Tr(ρ ρk = 2 ( TrρA 2, Tr(ρ ρk 2 = 2 ( TrρB 2. (8 (9 (0 ( Below we shall derve the lower and upper bounds of ERE based on these exstng bounds of concurrence. Dfferent states may have the same concurrence. Thus the value of H ( µ vares wth dfferent Schmdt coeffcents µ for fxed concurrence. We defne two functons 2/2

3 { } R U (c=max H ( µ 2( m= µ2 c, (2 { } R L (c=mn H ( µ 2( m= µ2 c. (3 The dervaton of them s equvalent to fndng the maxmal and mnmal of H ( µ. Notce that the defnton of H ( µ, t s equvalent to fnd the maxmal and mnmal of m = µ under the constrant 2( m = µ2 c snce the logarthmc functon s a monotonc functon. Wth the method of Lagrange multplers we obtan the necessary condton for the maxmum and mnmum of m = µ as follows µ = 2λ µ λ 2, (4 where λ,λ 2 denote the Lagrange multplers. Ths equaton has maxmally two nonzero solutons γ and δ for each µ. Let n be the number of entres where µ = γ and n 2 be the number of entres where µ = δ. Thus the dervaton s reduced to maxmzes or mnmzes the functon R n n 2 (c= log(n γ + n 2 δ, under the constrans (5 n γ+ n 2 δ =,2 ( n γ 2 n 2 δ 2 = c 2, (6 where n + n 2 = d m. From Eq. (6 we obtan two solutons of γ γ n ± n 2 = n ± n 2 n (n + n 2 [ n 2 ( c 2 /2], (7 n (n + n 2 δ ± n n 2 = n γ ± n n 2 n 2, (8 wth max{ 2(n /n, 2(n 2 /n 2 } c 2(d /d. Because γ n 2 n = δ + n n 2,δ n 2 n = γ + n n 2, we should only consder the case for γ + n n 2. When n 2 = 0, γ can be unquely determned by the constrans thus we omt ths case c Fgure. (color onlne. The plot of lower bound (dashed lne and upper bound (dotted lne for = 3, m = 3. The upper bound conssts of two segments and the lower bound conssts of three segments. The sold lne corresponds to R,R 2 and R 2. When m=3, the soluton of Eq.(5 s R 2 (c and R 2 (c for <c 2/ 3. After a drect calculaton we fnd R 2 (c and R 2 (c are both monotoncally functon of the concurrence c, and R 2 (2/ 3=R 2 (2/ 3. In order to compare the value of 3/2

4 R 2 (c and R 2 (c we only need to compare the value of them at the endpont c=. For convenence we dvde the problem nto three cases. If 0< < 2, then R 2 (>R 2 (; If = 2, then R 2 (=R 2 (; If > 2, then R 2 (<R 2 (. Thus we conclude that the maxmal and mnmal functon of H ( µ s gven by R 2 (c and R 2 (c respectvely for > 2. When < 2, the maxmal and mnmal functon of H ( µ s R 2 (c and R 2 (c respectvely. When = 2, we can check that the two functons R 2 (c and R 2 (c always have the same value for < c 2/ 3. In the general case for m = d, numercal calculaton shows the followng results ( When > 2, R L (c= log[(γ+,d +(d ( γ,d + ], (9 R U (c= log[(γ,d +(d ( γ,d ], (20 wth 2(d 2/(d < c 2(d /d, d m and γ ±,d =(2± 2(d [d(2 c 2 2]/2d. ( When < 2, R L (c= log[(γ,d +(d ( γ,d ], (2 R U (c= log[(γ+,d +(d ( γ,d + ]. (22 ( When = 2, these lower and upper bounds gve the same value. We use the denotaton co(g to be the convex hull of the functon g, whch s the largest convex functon that s bounded above by g, and ca(g to be the smallest concave functon that s bounded below by g. Usng the results presented n Methods, we can prove the man result of ths paper. Theorem. For any m n(m n mxed quantum state ρ, ts ERE satsfes co[r L (C] E (ρ ca [ R U ( C ], (23 where C=mn {2( Trρ 2A, 2( Trρ 2B }, (24 and { C 2 = max 0, 2/m(m ( ρ T A 2,2/m(m ( R(ρ 2,2 ( Trρ 2 TrρA 2 (, 2 Trρ 2 TrρB } 2. (25 Next we consder how to calculate the expressons of co(r L (c and ca(r U (c. As an example, we only consder the case m = 3. In order to obtan co(r L (c, we need to fnd the largest convex functon whch bounded above by R L (c. We frst set the parameter = 3, then we can derve { R,0<c R L (c= R 2,<c 2/ 3, { R,0<c R U (c= R 2,<c 2/ 3. (26 We plot the functon R,R 2 and R 2 n Fg. whch llustrates our result. It s drect to check that R 0, therefore co(r = R for 0 < c. The second dervatve of R 2 s not convex near c=2/ ( 3 as shown n Fg.2. In order to calculate co(r 2, we suppose l (c = k c 2/ 3 + log3 to be the lne crossng through the pont [2/ 3,R2 (2/ 3]. 4/2

5 c 20 Fgure 2. (color onlne. The plot of the second dervatve of R 2 for <c 2/ 3. Then we solve the equatons l (c=r 2 (c and dl (c/dc=dr 2 (c/dc = k and the soluton s k = 5.240,c=.533. Combnng the above results, we get R (0<c R 2 (<c.533 co(r L (c= ( c 2/ 3 + log3 (.533<c 2/ 3. (27 Smlarly, we can calculate that R 0 and R 2 0, thus ca(r U(c s the broken lne connectng the followng ponts: [0,0],[,log2],[2/ 3,log3]. In Fg.3 we have plotted the lower and upper bounds wth dashed and dotted lne respectvely. Then we choose the parameter = 0.6, and we get { R (0<c R L (c= R 2 (<c 2/ 3, { R (0<c R U (c= R 2 (<c 2/ 3. (28 (29 Snce R 0, R 2 0, we have that co(r L(c s the broken lne connectng the ponts: [0,0],[,log2],[2/ 3,log3]. In order to obtan ca(r U (c, we need to fnd the smallest concave functon whch bounded below by R U (c. We fnd 0, R 2 0, therefore ca(r U(c s the curve consstng R for 0<c and the lne connectng ponts[,r 2 (] and R [2/ 3,R 2 (2/ 3] for <c 2/ 3. As shown n Fg.3, the lower and upper bound both conssts of two segments n ths case c Fgure 3. (color onlne. The plot of lower bound (dashed lne and upper bound (dotted lne for = 0.6,m=3. The upper bound conssts of two segments and the lower bound also conssts of two segments. The sold lne corresponds to R,R 2 and R 2. Generally, we can get the expresson of co(r L (c and ca(r U (c for other parameters and m usng smlar method. 5/2

6 examples In the followng, we gve two examples as applcatons of the above results. Example. We consder the d d Werner states ρ f = d 3 [(d fi+(d f F], (30 d where f and F s the flp operator defned by F(φ ψ=ψ φ. It s shown n Ref. 49 that the concurrence C ( ( ρ f = f for f < 0 and C ρ f = 0 for f 0. Accordng to the theorem we obtan that [( /( log (+ ( f 2 /2 + ( ] ( f 2 /2 E ρ f f for f 0 when m=3. Example 2. The second example s the 3 3 sotropc state ρ =(x/9i+( x ψ ψ, where ψ = ( a,0,0,0,/ 3,0,0,0,/ 3 t / a 2 + 2/3 wth 0 a. We choose x=0., t s drect to calculate that C = 2 ( Trρ 2 TrρA 2 = 2 ( Trρ 2 TrρB a 2.7a 4 = 3(2+3a 2, (3 C 2 = 3 ( ρ T A = 2 ( 5+6.9a 2 0.9a a(2+3a 2 3(2+3a 2 2, (32 C 3 = 3 ( R(ρ = a a 2, (33 C= 2 ( TrρA 2 = 2 ( TrρB 2 6( a a 4 = 3(2+3a 2. (34 When = 0.6, we can calculate the lower and upper bounds and the results s shown n Fg.4. The sold red lne corresponds to the lower bound of E by choosng the lower bound of concurrence s C, and the dash-dotted and dashed lne correspond to the cases when we choose the lower bound of concurrence s C 2 and C 3, respectvely. We can choose the maxmum value of the three curves as the lower bound of E. The blue sold lne s the upper bound of E a Fgure 4. (color onlne. Lower and upper bounds of E (ρ for = 0.6 where we have set x=0.. Red sold lne s obtaned by C, the dash-dotted and dashed lne s obtaned by C 2 and C 3, respectvely. The blue sold lne s the upper bound of E (ρ. relaton wth other entanglement measures In ths secton we establsh the relaton between ERE and other well-known entanglement measures, such as the entanglement of formaton, the geometrc measure of entanglement, 62 the logarthmc negatvty and the G-concurrence. 6/2

7 entanglement of formaton Let ρ be a bpartte pure state wth Schmdt coeffcents (µ, µ 2,. We nvestgate the dervatve of ERE w.r.t. as follows. de (ρ d = = 0. ( ( 2 ( 2 µ k µ k ( log µ k µ k log µ + log + log µ k k k µ k The nequalty follows from the concavty of logarthm functon. The last equalty follows from the fact µ =. Hence the ERE s monotoncally non-ncreasng wth 0. Snce t becomes the von Neumann entropy when tends to one, we have (35 E (ρ E F (ρ E β (ρ (36 where 0 and β. Usng the convex roof, one can show that (36 also holds for mxed bpartte states ρ. geometrc measure of entanglement The geometrc measure (GM of entanglement measures the closest dstance between a quantum state and the set of separable states. 62 The GM has many operatonal nterpretatons, such as the usablty of ntal states for Grovers algorthm, the dscrmnaton of quantum states under LOCC and the addtvty and output purty of quantum channels, see the ntroducton of 5 for a recent revew on GM. For pure state ψ we defne G l (ψ= logmax ϕ ψ 2, where the maxmum runs over all product states ϕ. t s easy to see that max ϕ ψ 2 s equal to the square of the maxmum of Schmdt coeffcents of ψ. For mxed states ρ we defne G c l (ρ := mn p G l ( ψ, (37 where the mnmum runs over all decompostons of ρ = p ψ ψ. 5 We construct the lnear relaton between the GM and ERE as follows. Lemma. If > then 2( Gc l (ρ E (ρ. If = and ρ s a pure state then (38 G c l (ρ E (ρ. (39 If < then E (ρ+ 2( Gc l (ρ logd, (40 where d s the mnmum dmenson of H A and H B. The detals for provng the lemma can be seen from Methods. logarthmc negatvty In ths subsecton we consder the logarthmc negatvty. 52 It s the lower bound of the PPT entanglement cost, 52 and an entanglement monotone both under general LOCC and PPT operatons. 53 The logarthmc negatvty s defned as LN(ρ=log ρ T A. (4 Suppose ρ = p ψ ψ s the optmal decomposton of ERE E (ρ, and the pure state ψ has the standard Schmdt form ψ = µ, a,,b,. For /2 (2n /2n and n>, we have 7/2

8 n LN(ρ = nlog ρ T A nlog = 2n p log( ( ψ p ψ T A µ, 2n n p log µ, p log ( ψ ψ T A p log µ, = p E ( ψ =E (ρ (42 where the frst nequalty s due to the property proved n, 53 the second nequalty s due to the concavty of logarthm functon, and n the last nequalty we have used the nequalty 2n /( for /2 (2n /2n,n. G-concurrence The G-concurrence s one of the generalzatons of concurrence to hgher dmensonal case. It can be nterpreted operatonally as a knd of entanglement capacty. 54,55 It has been shown that the G-concurrence plays a crucal role n calculatng the average entanglement of random bpartte pure states 56 and demonstraton of an asymmetry of quantum correlatons. 57 Let ψ be a pure bpartte state wth the Schmdt decomposton ψ = d = µ. The G-concurrence s defned as the geometrc mean of the Schmdt coeffcents 54,55 G( ψ := d(µ µ 2 µ d /d. (43 For >, we have E ( ψ = = For 0< <, we have log µ ( log d(µ µ d d ( [ logd+ log(µ µ d d ( logd] = logg( ψ +logd. (44 E ( ψ logg( ψ +logd. (45 Dscusson and concluson Entanglement Rény- entropy s an mportant generalzaton of the entanglement of formaton, and t reduces to the standard entanglement of formaton when approaches to. Recently, t has been proved 58 that the squared ERE obeys a general monogamy nequalty n an arbtrary N-qubt mxed state. Correspondngly, we can construct the multpartte entanglement ndcators n terms of ERE whch stll work well even when the ndcators based on the concurrence and EOF lose ther effcacy. However, the dffcultes n mnmzaton procedures restrct the applcaton of ERE. In ths work, we present the frst lower and upper bounds for the ERE of arbtrary dmensonal bpartte quantum systems based on concurrence, and these results mght provde an alternatve method to nvestgate the monogamy relaton n hgh-dmensonal states. We also demonstrate the applcaton our bound for some examples. Furthermore, we establsh the relaton between ERE and some other entanglement measures. These lower and upper bounds can be further mproved for other known bounds of concurrence. 59,60 8/2

9 Methods Proof of the theorem. Suppose ρ = p ψ ψ s the optmal decomposton of ERE E (ρ, and the concurrence of ψ s denoted as c. Thus we have E (ρ = p E ( ψ = p H ( µ p co(r L (c co[r L ( p c ] co[r L (C], (46 where the frst nequalty s due to the defnton of co(g; n the second nequalty we have used the monotoncally ncreasng and convex propertes of co(r L (c as a functon of concurrence c ; and n the last nequalty we have used the lower bound of concurrence. On the other hand, we have E (ρ = p E ( ψ = p H ( µ p ca(r U (c ca[r U ( p c ] ca[r U (C], (47 where the frst nequalty s due to the defnton of ca(g; the second nequalty s due to the monotoncally ncreasng and concave propertes of ca(r U (c as a functon of concurrence c ; and n the last nequalty we have used the upper bound of concurrence. Thus we have completed the proof of the theorem. Proof of the lemma. Suppose the mnmum n (37 s reached at ρ= p ψ ψ. Let the Schmdt decomposton of ψ be ψ = µ, a,,b, where µ, s the maxmum Schmdt coeffcent. For >, we have 2( Gc l (ρ = 2( p log µ, 2 = p log µ, p log( µ, = p E ( ψ E (ρ. (48 We have proved (38. For =, let µ be the Schmdt coeffcents of ρ, we have E (ρ=s(ρ= µ log µ = G c l (ρ. µ logmax{µ }= logmax{µ } (49 9/2

10 We have proved (39. For <, we have E (ρ+ 2( Gc l (ρ = E (ρ 2( p log µ, 2 = E (ρ p log µ, = E (ρ ( p log(dµ, logd E (ρ logd. p log( µ, + logd The nequalty holds because the pure state ψ s n the d d space. So we have proved (40. (50 Acknowledgements After completng ths manuscrpt, we became aware of a recently related paper by Ledtzky et al 6 n whch they also obtaned another lower bound of ERE n terms of Rény condtonal entropy. WS was supported by NSF-Chna under Grant Nos , 27400, the dscplne top-notch talents Foundaton of Anhu Provncal Unverstes, the Excellent Young Talents Support Plan of Anhu Provncal Unverstes, the Anhu Provncal Natural Scence Foundaton and the 36 Foundaton of Hefe Normal Unversty under Grant No.20436KJB04. LC was supported by the NSF-Chna (Grant No , and the Fundamental Research Funds for the Central Unverstes (Grant Nos , and Author contrbutons statement W. Song and L. Chen carred out the calculatons. W. Song and L. Chen conceved the dea. All authors contrbuted to the nterpretaton of the results and the wrtng of the manuscrpt. All authors revewed the manuscrpt. Addtonal nformaton Competng fnancal nterests: The author declares no competng fnancal nterests. References. Nelsen, M. A. & Chuang, I. L. Quantum Computaton and Quantum Informaton(Cambrdge Unversty Press, New York, Bennett, C. H., DVncenzo, D. P., Smoln, J. A. & Wootters, W. K. Mxed-state entanglement and quantum error correcton. Phys. Rev. A 54, 3824 ( Wootters, W. K. Entanglement of formaton of an arbtrary state of two qubts. Phys. Rev. Lett. 80, 2245 ( Huang, Y. Computng quantum dscord s NP-complete. New J. Phys. 6, ( Vedral, V., Pleno, M. B., Rppn, M. A. & Knght, P. L. Quantfyng entanglement. Phys. Rev. Lett. 78, 2275 ( We, T. C. & Goldbart, P. M. Geometrc measure of entanglement and applcatons to bpartte and multpartte quantum states. Phys. Rev. A 68, ( Vdal, G. & Werner, R. F. Computable measure of entanglement. Phys. Rev. A 65, ( Chrstandl, M. & Wnter, A. Squashed entanglement: An addtve entanglement measure. J. Math. Phys. 45, 829 ( Yang, D. et al. Squashed entanglement for multpartte states and entanglement measures based on the mxed convex roof. IEEE. Tran. Info. Theory, 55, 3375 ( Hayden, P., Horodeck, M. & Terhal, B. M. The asymptotc entanglement cost of preparng a quantum state. J. Phys. A 34, 689 (200.. Terhal, B. M. & Vollbrecht, K. G. H. Entanglement of formaton for sotropc states. Phys. Rev. Lett. 85, 2625 ( /2

11 2. Vollbrecht, K. G. H. & Werner, R. F. Entanglement measures under symmetry. Phys. Rev. A 64, ( Gedke, G., Wolf, M. M., Kruger, O., Werner, R. F. & Crac, J. I. Entanglement of formaton for symmetrc Gaussan states. Phys. Rev. Lett. 9, 0790 ( Vdal, G., Dur, W. & Crac, J. I. Entanglement cost of bpartte mxed states. Phys. Rev. Lett. 89, ( Fe, S. M. & L-Jost, X. A class of specal matrces and quantum entanglement. Rep. Math. Phys. 53, 95 ( Geruoy, E. Lower bound on entanglement of formaton for the qubt-qudt system. Phys. Rev. A 67, ( Mntert, F., Kus, M. & Buchletner, A. Concurrence of mxed bpartte quantum states n arbtrary dmensons. Phys. Rev. Lett. 92, ( Chen, K., Albevero, S. & Fe, S. M. Entanglement of formaton of bpartte quantum states. Phys. Rev. Lett. 95, 2050 ( Chen, K., Albevero, S. & Fe, S. M. Concurrence of arbtrary dmensonal bpartte quantum states. Phys. Rev. Lett. 95, ( Osborne, T. J. Entanglement measure for rank-2 mxed states. Phys. Rev. A 72, ( Mntert, F., Kus, M. & Buchletner, A. Concurrence of mxed multpartte quantum states. Phys. Rev. Lett. 95, ( Fe, S. M. & L-Jost, X. R functon related to entanglement of formaton. Phys. Rev. A 73, ( Datta, A., Flamma, S. T., Sha, A. & Caves, C. M. Constraned bounds on measures of entanglement. Phys. Rev. A 75, 0627 ( Mntert, F. & Buchletner, A. Observable entanglement measure for mxed quantum states. Phys. Rev. Lett. 98, ( Zhang, C. J., Gong, Y. X., Zhang, Y. S. & Guo G. C. Observable estmaton of entanglement for arbtrary fntedmensonal mxed states. Phys. Rev. A 78, ( Ma, Zhhao. & Bao, Mnl. Bound of concurrence. Phys. Rev. A 82, ( L, X. S., Gao, X. H. & Fe, S. M. Lower bound of concurrence based on postve maps. Phys. Rev. A 83, ( Zhao, M. J., Zhu, X. N., Fe, S. M. & L-Jost, X. Lower bound on concurrence and dstllaton for arbtrary-dmensonal bpartte quantum states. Phys. Rev. A 84, ( Sabour, A. & Jafarpour, M. Probablty nterpretaton, an equvalence relaton, and a lower bound on the convex-roof extenson of negatvty. Phys. Rev. A 85, ( Chen, Z. H., Ma, Z. H., Guhne, O. & Severn, S. Estmatng entanglement monotones wth a generalzaton of the Wootters formula. Phys.Rev. Lett. 09, ( Ncaco, F. & de Olvera, M. C. Tght bounds for the entanglement of formaton of Gaussan states. Phys. Rev. Lett. 89, ( Ncaco, F. & de Olvera, M. C. Tght bounds for the entanglement of formaton of Gaussan states. Phys. Rev. A 89, ( L, M. & Fe, S. M. Measurable bounds for entanglement of formaton. Phys. Rev. A 82, ( Zhang, C. J., Yu, S. X., Chen, Q. & Oh, C. H. Observable estmaton of entanglement of formaton and quantum dscord for bpartte mxed quantum states. Phys. Rev. A 84, 0522 ( Zhu, X. N. & Fe, S. M. Improved lower and upper bounds for entanglement of formaton. Phys. Rev. A 86, ( Zhang, C., Yu, S., Chen, Q., Yuan, H. & Oh, C. H. Evaluaton of entanglement measures by a sngle observable. arxv: Km, J. S. & Sanders, B. C. Monogamy of mult-qubt entanglement usng Rény entropy. J. Phys. A: Math. Theor. 43, ( Cu, J. et al. Quantum phases wth dfferng computatonal power. Nature Commun. 3, 82 ( Franchn, F. et al. Local convertblty and the quantum smulaton of edge states n many-body systems. Phys. Rev. X 4, (204. /2

12 40. Flamma, S. T., Hamma, A., Hughes, T. L. & Wen, X. G. Topologcal entanglement Rény entropy and reduced densty matrx structure. Phys.Rev. Lett. 03, 2660 ( Halasz, G. B., & Hamma, A. Topologcal Rény Entropy after a Quantum Quench. Phys. Rev. Lett. 0, ( Wang, Y. X., Mu, L. Z., Vedral, V. & Fan, H. Entanglement Rény- entropy. Phys. Rev. A 93, ( Coffman, V., Kundu, J., & Wootters, W. K. Dstrbuted entanglement. Phys. Rev. A 6, ( Osborne, T. J, & Verstraete, F. General monogamy nequalty for bpartte qubt entanglement. Phys. Rev. Lett. 96, ( Ba, Y. K., Xu, Y. F. & Wang, Z. D. General monogamy relaton for the entanglement of formaton n multqubt systems. Phys. Rev. Lett. 3, ( Ba, Y. K., Xu, Y. F. & Wang, Z. D. Herarchcal monogamy relatons for the squared entanglement of formaton n multpartte systems. Phys. Rev. A 90, ( Peres, A. Separablty crteron for densty matrces. Phys. Rev. Lett. 77, 43 ( Chen, K. & Wu, L. A. A matrx realgnment method for recognzng entanglement. Quantum Inf. Comput. 3, 93 ( Chen, K., Albevero, S. & Fe, S. M. Concurrence-based entanglement measure for Werner States. Rep. Math. Phys. 58, 325 ( Ghosh, S., Kar, G., Sen, A. & Sen, U. Mxedness n the Bell volaton versus entanglement of formaton. Phys. Rev. A 64, ( Chen, L., Aulbach, M. & Hadusek, M. Comparson of dfferent defntons of the geometrc measure of entanglement. Phys. Rev. A 89, ( Audenaert, K., Pleno, M. B. & Esert, J. Entanglement cost under postve-partal-transpose-preservng operatons. Phys. Rev. Lett. 90, ( Pleno, M. B. Logarthmc negatvty: a full entanglement monotone that s not convex. Phys. Rev. Lett. 95, ( Gour, G. Famly of concurrence monotones and ts applcatons. Phys. Rev. A 7, 0238 ( Gour, G. Mxed-state entanglement of assstance and the generalzed concurrence. Phys. Rev. A 72, ( Cappelln, V., Sommers, H.-J. & Zyczkowsk, K. Dstrbuton of G concurrence of random pure states. Phys. Rev. A 74, ( Horodeck, K., Horodeck, M. & Horodeck, P. Are quantum correlatons symmetrc? arxv:quant-ph/ Song, W., Ba, Y. K., Yang, M., Yang, M. & Cao, Z. L. General monogamy relaton of multqubt systems n terms of squared Rény- entanglement. Phys. Rev. A 93, ( Ma, Z. H., Chen, Z. H. & Chen, J. L. Detectng the concurrence of an unknown state wth a sngle observable, arxv: Vcente, J. I. de. Lower bounds on concurrence and separablty condtons. Phys. Rev. A 75, ( Ledtzky, F., Rouze, C. & Datta, N. Data processng for the sandwched Rény dvergence: a condton for equalty. arxv: We, T.-C. & Goldbart, P. M. Geometrc measure of entanglement and applcatons to bpartte and multpartte quantum states. Phys. Rev. A 68, ( /2