arXiv:2103.07141v1 [quant-ph] 12 Mar 2021 rsprbe o iatt ytm,mc rgeshsbe mad been has progress much systems, [ bipartite For separable. or onepr.I eetyas twsietfida h e resour key the as identified [ was coding it years, dense recent In counterpart. tts h eeto of detection The states. tt r aual defined. naturally are state n rvd xmlst lutaeteecec forrsls Finally results. our of efficiency S the In illustrate reviewed. to are examples information provide Fisher and quantum and state producible attosaesprbe”n hrfr unu ttscnbe can states wa quantum systems therefore de multipartite separable?”and to general are difficult partitions for is entanglement it of and in entanglement while, classification entangled, multiparticle or of separable classes systems, inequivalent bipartite in cases two only hwta u eut r togrta rvosyrpre one reported previously than stronger are results our that show † ∗ quantum multipartite arbitrary for entanglement detect of detection the [ entanglement o concepts the entangled?”and are partitions many question:“How [ measures putable eemnn h ecal cuayo h siae uniy[ quantity estimated the of accuracy reachable the determining h attoso usse in subsystem of partitions the nage tt ie eun nage state). entangled genuine (i.e. state entangled 6 lcrncaddress: Electronic lcrncaddress: Electronic , unu nageeti n ftems udmna etrsin features fundamental most the of one is entanglement Quantum h eane fteppri ragda olw.I e.I,some II, Sec. In follows. as arranged is paper the of remainder The nfnaetlpolmi unu nageetter st decid to is theory entanglement quantum in problem fundamental An unu ihrifrain(F)i h onrtn fmdr qu modern of cornerstone the is (QFI) information Fisher Quantum 7 .Hwvr h iuto eoe oecmlctdwe h numbe the when complicated more becomes situation the However, ]. k nneaaiiyand -nonseparability eeto fmliatt nageetvaqatmFisher quantum via entanglement multipartite of Detection rtrab eea oceeexamples. concrete several by criteria ASnmes 36.d 03.67.-a 03.65.Ud, numbers: PACS ntrso unu ihrifrain eilsrt h si the illustrate We some information. identify Fisher they quantum of terms in ageet epooeeetv ehd odetect to methods effective propose We tanglement. k prieetnlmn,bt fwihcndsrb h essen the describe can which of both entanglement, -partite 1 ewrs unu ihrifrain ( information, Fisher quantum Keywords: nti ae,w ou ntodffrn id fmultipartite of kinds different two on focus we paper, this In 22 colo ahmtc n ttsis hnquNra Univ Normal Shangqiu Statistics, and Mathematics of School ,qatmtlprain[ teleportation quantum ], colo ahmtc n cec,HbiGOUiest,Sh University, GEO Hebei Science, and Mathematics of School colo ahmtclSine,HbiNra University, Normal Hebei Sciences, Mathematical of School – fl[email protected] [email protected] 25 16 n the and ] – 20 olg fPyis ee omlUiest,Shijiazhuang University, Normal Hebei Physics, of College aebe rsne.Atraiey nte lsicto a p was classification another Alternatively, presented. been have ] k nneaaiiyhsbe netgtdetniey ayecetc efficient many extensively, investigated been has -nonseparability k k k prieetnldsaeand state entangled -partite k prieetnlmn ymkn s fQI eea yia exam typical Several QFI. of use making by entanglement -partite nneaaiiyand -nonseparability N nneaaiiyo utprieqatmsses[ systems quantum multipartite of -nonseparability prieqatmsses lhuh2nneaal tt sthe is state 2-nonseparable although systems, quantum -partite 2 , 3 ,qatmcmuain[ computation quantum ], .INTRODUCTION I. k prieetnlmn htcno eietfidb known by identified be cannot that entanglement -partite egiYan Fengli igGao Ting ine Qi Xianfei a Hong Yan k )prieentanglement, 1)-partite + k nneaal tt r w ieetcnet involving concepts different two are state -nonseparable k 21 ∗ nneaaiiyand -nonseparability † ei ait fapiain agn rmquantum from ranging applications of variety a in ce s. lsie into classified .TeQIhsbe loue ntedtcino the of detection the in used also been has QFI The ]. nteciei o h eaaiiyo ie states mixed of separability the for criteria the on e rpsdacrigt h usin“o many question:“How the to according proposed s f utprieqatmsses hr xs several exist there systems, quantum multipartite k c I,w eieeetv rtrabsdo QFI, on based criteria effective derive we III, ec. opst unu ytm hthsn classical no has that systems quantum composite ytm.W ilpooeeetv ehd to methods effective propose will We systems. nfiac forrslsadso that show and results our of gnificance nu erlg n ly nipratrl in role important an plays and metrology antum ilcaatrsiso utprieen- multipartite of characteristics tial pouil tt n ( and state -producible re umr sgvni e.IV. Sec. in given is summary brief a , 4 hte ie unu tt sentangled is state quantum given a whether e ,t unu erlg [ metrology quantum to ], riy hnqu460,China 476000, Shangqiu ersity, correlation, fprisicess o xml,teeare there example, For increases. parties of r iet hc ls ie tt eog.A belongs. state given a class which to cide hjahag002,China 050024, Shijiazhuang rlmnre about preliminaries jahag003,China 050031, ijiazhuang k sprbesae and states -separable 504 China 050024, k nneaal state -nonseparable k 12 k prieentanglement -partite nneaaiiyand -nonseparability .I hsppr einvestigate we paper, this In ]. information ooe codn othe to according roposed k iei [ riteria )prieentangled 1)-partite + k lsaepoie to provided are ples sprbestate, -separable 5 aeas same ]. 8 k – -nonseparable 15 n com- and ] N -partite k - 2

II. PRELIMINARIES

We first review some elementary concepts that will be used in the rest of the paper. For an N-partite quantum system with Hilbert space = 1 2 N , where the dimension of i is denoted by di, an N-partite pure state H H ⊗H ⊗···⊗H H k ψ is called k-separable if there is a partition α1,...,αk with αj being disjoint and αj = 1, 2, ,N , | i ∈ H { } j=1 { ··· } such that it can be written as S

k ψ = ψα . | i | j i j=1 O An N-partite mixed state is called k-separable, if it can be written as a convex combination of k-separable pure states

(m) (m) ρ = pm ψ ψ , m | ih | X where pure state ψ(m) might be k-separable under different partitions. If quantum state ρ is not k-separable, then it is k-nonseparable.| Herei 2 k N. It is useful for the following≤ to≤ introduce the notion of k-producible states. For an N-partite quantum system with t

Hilbert space = 1 2 N , we call pure state ψ k-producible if ψ = ψαj with ψαj being partial H H ⊗ H ⊗···⊗H | i | i j=1 | i | i (m) (m) (m) state with particles less than k. A mixed state ρ is called k-producible if ρ = pm ψN ψ with pure state ψ m | ih | | i being k-producible. If quantum state ρ is not k-producible, then we say it containsP (k +1)-partite entanglement. Here 1 k N 1. ≤We≤ now introduce− the notion related to QFI. For a quantum state ρ and an observable A, the variance V (ρ, A) and quantum Fisher information F (ρ, A) are defined as following,

V (ρ, A)= trρA2 (trρA)2, − ′ 2 (λl λl ) 2 F (ρ, A)= − l A l′ , l,l′ 2(λl + λl′ )|h | | i| P with ρ having the spectral decomposition ρ = λl l l . l | ih | It’s worth noting that QFI reduces to varianceP for pure states, that is, V (ρ, A)= F (ρ, A) for any pure state ρ. In addition, quantum Fisher information possesses some important properties which play a key role in the following. (1) Convexity:

F pmρm, A pmF (ρm, A), m ! ≤ m X X where pm = 1. m (2) Additivity:P

N N N F ρi, Hi = F (ρi,hi), i=1 i=1 ! i=1 O X X where Hi = I1 Ii 1 hi Ii+1 IN with hi being an observable on i-th subsystem and Ij being identity matrix on j-th⊗···⊗ subsystem.− ⊗ ⊗ ⊗···⊗

III. MULTIPARTITE ENTANGLEMENT CRITERIA VIA QUANTUM FISHER INFORMATION

For the convenience of the following statements, we first introduce some symbols. In an N-partite quantum system with Hilbert space = N , for any nonempty subset α of 1, 2, ,N , let ρα be partial state of ρ H H1 ⊗ H2 ⊗···⊗H { ··· } on subsystem i, Ai be any Hermite operator acting on i, and Aα = Ai acting on i. i α H H i α i α H ∈ ∈ ∈ N P N 3

Now based on the above concepts, we establish the following criterion. Theorem. For an N-partite quantum system with Hilbert space = N , if H H1 ⊗ H2 ⊗···⊗H

F (ρα, Aα) Fα (1) ≤ where Fα is the constant only depending on subset α, then

(I) for any k-separable quantum state ρ, we have

k

F (ρ, A) min Fαl , (2) ≤ l=1 P N where A = Ai and the minimum min takes over all possible partitions α1, α2, , αk of 1, 2, ,N . i=1 { ··· } { ··· } (II) for anyPk-producible quantum state ρ, one has

t

F (ρ, A) min′ Fαl , (3) ≤ l=1 P N where A = Ai and the minimum min′ takes over all possible partitions α1, α2, , αt of 1, 2, ,N with the i=1 { ··· } { ··· } number of particlesP in αl being less than k. Proof. Let us prove (I) holds for all k-separable states. Suppose that ρ = ψ ψ is k-separable pure state under k | ih | partition α1, , αk , that is, ψ = ψαl , then { ··· } | i l=1 | i N k

F ( ψ , A) = F ( ψαl , Aαl ) | i l=1 | i Pk Fαl , ≤ l=1 P where equality follows from additivity of quantum Fisher information, and inequality holds by inequality (1). Hence, we have

k

F ( ψ , A) min Fαl , (4) | i ≤ l=1 P the minimum takes over all possible partitions α1, α2, , αk of 1, 2, ,N . (m) (m) { ··· } { ··· } (m) Let ρ = pm ψ ψ be k-separable mixed state where pm = 1 and ψ is k-separable pure state, then m | ih | m | i P P (m) F (ρ, A) pmF ( ψ , A) ≤ m | i P k pmmin Fαl ≤ m l=1 P k P = min Fαl , l=1 P where the minimum takes over all possible partitions α1, α2, , αk of 1, 2, ,N . Here, the first inequality is true because of convexity of quantum Fisher information,{ the··· second} inequality{ ··· holds} by inequality (4), and the equality is valid from pm = 1. So far we have proved the validity of the inequality (2) for any k-separable quantum m state. Similarly, we canP prove (II) holds for any k-producible quantum state. In order to get more practical results, let’s consider the special case of the Theorem. For an N-partite quantum system with Hilbert space = N where the dimension of dim i is d for 1 i N, let H H1 ⊗ H2 ⊗···⊗H H ≤ ≤ n (j) Ai = aij Ai (5) j=1 P 4

n 2 (1) (n) where aij is a real number satisfying aij = 1, and Ai , , Ai is the set consisting of arbitrary n anticommuting j=1 { ··· } P (j) 2 I 2 2 I Hermite operators acting on i with (Ai ) for all i. For these particular operators, one has Aα nα i with H ≤ ≤ i α ∈ nα being the number of particles of the set α [12]. And then we get N

(m) F (ρα, Aα) pmF ( ψα , Aα) ≤ m | i (m) = P pmV ( ψα , Aα) m | i 2 P (m) 2 (m) (m) (m) = pm ψα Aα ψα ψα Aα ψα m h | | i− h | | i  (m) 2 (m)    P pm ψα Aα ψα ≤ m h | | i 2 Pnα, ≤ (m) (m) where ρα = pm ψα ψα . m | ih | Based onP the above special case, we further obtain the following conclusion: Corollary. For an N-partite quantum system with Hilbert space = 1 2 N and Dim i = d for N H H ⊗ H ⊗···⊗H H 1 i N, let A = Ai with Ai being defined by (5), ≤ ≤ i=1 (I) if ρ is k-separable,P then

v(u + 1)2 + (k v)u2, for k ∤ N F (ρ, A) − ≤ ku2, for k N  | where u = [ N ], v = N ku. k − (II) if ρ is k-producible, then

F (ρ, A) k2 + N k. (6) ≤ − Example 1. Consider the 8-qubit mixed states, p q ρ(p, q)=(1 p) G G + q G G + − 1, − | ih | | ih | 28

1 8 8 1 8 8 e e where G = ( 0 ⊗ + 1 ⊗ ), G = ( 0 ⊗ i 1 ⊗ ). | i √2 | i | i | i √2 | i − | i (1) (n) In our corollary, let Ai , , Ai = σx, σy, σz and Ai = σz for 1 i 8. For these mixed states ρ(p, q), the parameter ranges of{ 3-nonseparability··· e } and{ 5-nonseparability} identified by≤ the≤ theorem of Ref.[9] are illustrated in Fig.1. We clearly find that these 3-nonseparable states in the area enclosed by red line a, line p = 1, blue line b and p axis only are detected by our corollary, but not by the theorem of Ref.[9]. Similarly, these 6-nonseparable states in the area enclosed by purple line c, line p = 1, green line d and p axis only are detected by our corollary, but not by the theorem of Ref.[9]. Example 2. Discuss the 16 qubit mixed state 1 p ρ(p)= p χ χ + − 1, | ih | 216 1 where χ = 1 l1l2 l15 with l1,l2, ,l15 =0, 1. | i 3√715 l1+l2+ +l15=7 | i| ··· i ··· (1)··· (n) In our corollary, let AP, , A = σx, σy, σz and Ai = σz for 1 i 16. For 1 k 10, these quantum { i ··· i } { } ≤ ≤ ≤ ≤ states ρ(p) contain (k + 1)-partite entanglement detected by our corollary when pk < p 1, by inequality (14) in ≤ Ref.[24] when pk′

3-nonseparability 6-nonseparability q q 1.0 1.0 a : Corollary c : Corollary b : Theorem of Ref. @9D d : Theorem of Ref. @9D 0.8 0.8

0.6 0.6 = b q p = q p d 0.4 0.4 a 0.2 0.2 c

p p 0.0 0.2 0.4 0.6 0.8 1.0 0.0 0.2 0.4 0.6 0.8 1.0

FIG. 1: Comparison of detection ability between our corollary and theorem of Ref.[9] for the quantum states ρ(p, q) = e e p−q (1 − p)|GihG| + q|GihG| + 28 1 when k = 3 and k = 5. These quantum states in area enclosed by red line a, p = 1, line q = p and p axis are 3-nonseparable states detected by our corollary; these quantum states in area enclosed by blue line b, line p = 1, line q = p and p axis are 3-nonseparable states detected by the theorem of Ref.[9]. These 3-nonseparable states in the area enclosed by red line a, line p = 1, blue line b and p axis only are detected by our corollary, but not by the theorem of Ref.[9]. Similarly, these 6-nonseparable states in the area enclosed by purple line c, line p = 1, green line d and p axis only are detected by our corollary, but not by the theorem of Ref.[9].

1 − p ′ TABLE I: For ρ(p)= p|χihχ| + 1, the thresholds of pk, p for the quantum states containing (k + 1)-partite entanglement 216 k ′ detected by our corollary and inequality (14) in Ref.[24] are illustrated, respectively. When pk < p ≤ 1 and pk < p ≤ 1, ρ(p) ′ contains (k + 1)-partite entanglement detected by our corollary and inequality (14) in Ref.[24], respectively. For pk

pk 0.1245 0.1401 0.1712 0.2179 0.2802 0.3580 0.4513 0.5603 0.7003 0.8560

′ pk 0.1245 0.2491 0.3580 0.4981 0.5915 0.6848 0.7938 0.9961 \ \

IV. CONCLUSIONS

In this paper, we have investigated the characterization of k-nonseparability and k-partite entanglement from the perspective of quantum Fisher information. Effective criteria to identify k-nonseparability and k-partite entanglement of arbitrary-dimensional multipartite quantum systems are presented. Moreover, we have illustrated the power of these criteria through several specific examples. ACKNOWLEDGMENTS

This work was supported by the National Natural Science Foundation of China under Grant Nos. 12071110, 11701135 and 11947073, the Hebei Natural Science Foundation of China under Grant No. A2020205014 and No. A2017403025, the Education Department of Hebei Province Natural Science Foundation under Grant No. ZD2020167, and the Foundation of Hebei GEO University under Grant No. BQ201615.

[1] C. H. Bennett and S. J. Wiesner, Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states, Phys. Rev. Lett. 69, 2881 (1992). [2] C. H. Bennett, G. Brassard, C. Cr´epeau, R. Jozsa, A. Peres, and W. K. Wootters, Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels, Phys. Rev. Lett. 70, 1895 (1993). [3] T. Gao, F. L. Yan, and Y. C. Li, Optimal controlled teleportation, Europhys. Lett. 84, 50001 (2008). 6

[4] C. H. Bennett and D. P. DiVincenzo, Quantum information and computation, Nature 404, 247 (2000). [5] C. Gross, T. Zibold, E. Nicklas, J. Est`eve, and M. K. Oberthaler, Nonlinear atom interferometer surpasses classical precision limit, Nature 454, 1165 (2010). [6] R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, Quantum entanglement, Rev. Mod. Phys. 81, 865 (2009). [7] O. G¨uhne and G. T´oth, Entanglement detection, Phys. Rep. 474, 1 (2009). [8] A. S. M. Hassan and P. S. Joag, Separability criterion for multipartite quantum states based on the Bloch representation of density matrices, Quantum Inf. Comput. 8, 773 (2008). [9] A. Gabriel, B. C. Hiesmayr, and M. Huber, Criterion for k-separability in mixed multipartite sys- tems, Quantum Inf. Comput. 10, 829 (2010). [10] T. Gao and Y. Hong, Detection of genuinely entangled and nonseparable n-partite quantum states, Phys. Rev. A 82, 062113 (2010). [11] T. Gao, Y. Hong, Y. Lu, and F. L. Yan, Efficient k-separability criteria for mixed multipartite quantum states, Europhys. Lett. 104, 20007 (2013). [12] Y. Hong, S. Luo, and H. Song, Detecting k-nonseparability via quantum Fisher information, Phys. Rev. A 91, 042313 (2015). [13] L. Liu, T. Gao, and F. L. Yan, Separability criteria via sets of mutually unbiased measurements, Sci. Rep. 5, 13138 (2015). [14] Y. Hong and S. Luo, Detecting k-nonseparability via local uncertainty relations, Phys. Rev. A 93, 042310 (2016). [15] L. Liu, T. Gao, and F. L. Yan, Separability criteria via some classes of measurements, Sci. China Phys. Mech. Astron. 60, 100311 (2017). [16] T. C. Wei and P. M. Goldbart, Geometric measure of entanglement and applications to bipartite and multipartite quantum states, Phys. Rev. A 68, 042307 (2003). [17] A. R. R. Carvalho, F. Mintert, and A. Buchleitner, Decoherence and multipartite entanglement, Phys. Rev. Lett. 93, 230501 (2004). [18] Z. H. Ma, Z. H. Chen, J. L. Chen, C. Spengler, A. Gabriel, and M. Huber, Measure of genuine multipartite entanglement with computable lower bounds, Phys. Rev. A 83, 062325 (2011). [19] Y. Hong, T. Gao, and F. L. Yan, Measure of multipartite entanglement with computable lower bounds, Phys. Rev. A 86, 062323 (2012). [20] T. Gao, F. L. Yan, and S. J. van Enk, Permutationally invariant part of a density matrix and nonseparability of N-qubit states, Phys. Rev. Lett. 112, 180501 (2014). [21] S. L. Braunstein and C. M. Caves, Statistical distance and the geometry of quantum states, Phys. Rev. Lett. 72, 3439 (1994). [22] N. Li and S. Luo, Entanglement detection via quantum Fisher information, Phys. Rev. A 88, 014301 (2013). [23] Y. Akbari-Kourbolagh and M. Azhdargalam, Entanglement criterion for multipartite systems based on quantum Fisher information, Phys. Rev. A 99, 012304 (2019). [24] P. Hyllus, W. Laskowski, R. Krischek, C. Schwemmer, W. Wieczorek, H. Weinfurter, L. Pezz´e, and A. Smerzi, Fisher information and multiparticle entanglement, Phys. Rev. A 85, 022321 (2012). [25] G. T´oth, Multipartite entanglement and high-precision metrology, Phys. Rev. A 85, 022322 (2012).