Detection of multipartite entanglement via quantum Fisher information Yan Hong School of Mathematics and Science, Hebei GEO University, Shijiazhuang 050031, China Xianfei Qi School of Mathematics and Statistics, Shangqiu Normal University, Shangqiu 476000, China Ting Gao∗ School of Mathematical Sciences, Hebei Normal University, Shijiazhuang 050024, China Fengli Yan† College of Physics, Hebei Normal University, Shijiazhuang 050024, China In this paper, we focus on two different kinds of multipartite correlation, k-nonseparability and k-partite entanglement, both of which can describe the essential characteristics of multipartite en- tanglement. We propose effective methods to detect k-nonseparability and k-partite entanglement in terms of quantum Fisher information. We illustrate the significance of our results and show that they identify some k-nonseparability and k-partite entanglement that cannot be identified by known criteria by several concrete examples. Keywords: quantum Fisher information, (k + 1)-partite entanglement, k-nonseparable state PACS numbers: 03.65.Ud, 03.67.-a I. INTRODUCTION Quantum entanglement is one of the most fundamental features in composite quantum systems that has no classical counterpart. In recent years, it was identified as the key resource in a variety of applications ranging from quantum dense coding [1], quantum teleportation [2, 3], quantum computation [4], to quantum metrology [5]. An fundamental problem in quantum entanglement theory is to decide whether a given quantum state is entangled or separable. For bipartite systems, much progress has been made on the criteria for the separability of mixed states [6, 7]. However, the situation becomes more complicated when the number of parties increases. For example, there are only two cases in bipartite systems, separable or entangled, while, in multipartite quantum systems, there exist several inequivalent classes of multiparticle entanglement and it is difficult to decide to which class a given state belongs. A classification of entanglement for general multipartite systems was proposed according to the question:“How many partitions are separable?”and therefore quantum states can be classified into k-separable states and k-nonseparable states. The detection of k-nonseparability has been investigated extensively, many efficient criteria [8–15] and com- putable measures [16–20] have been presented. Alternatively, another classification was proposed according to the question:“How many partitions are entangled?”and the concepts of k-producible state and (k + 1)-partite entangled state are naturally defined. k-partite entangled state and k-nonseparable state are two different concepts involving the partitions of subsystem in N-partite quantum systems, although 2-nonseparable state is the same as N-partite arXiv:2103.07141v1 [quant-ph] 12 Mar 2021 entangled state (i.e. genuine entangled state). Quantum Fisher information (QFI) is the cornerstone of modern quantum metrology and plays an important role in determining the reachable accuracy of the estimated quantity [21]. The QFI has been also used in the detection of the entanglement [22–25] and the k-nonseparability of multipartite quantum systems [12]. In this paper, we investigate the detection of entanglement for arbitrary multipartite quantum systems. We will propose effective methods to detect k-nonseparability and k-partite entanglement by making use of QFI. Several typical examples are provided to show that our results are stronger than previously reported ones. The remainder of the paper is arranged as follows. In Sec. II, some preliminaries about k-separable state, k- producible state and quantum Fisher information are reviewed. In Sec. III, we derive effective criteria based on QFI, and provide examples to illustrate the efficiency of our results. Finally, a brief summary is given in Sec. IV. ∗Electronic address: [email protected] †Electronic address: fl[email protected] 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 ψα ψα .