Quantum nonlocality without entanglement: explicit dependence on prior probabilities of nonorthogonal mirror-symmetric states

In the case of a multi-party system, through local operations and classical communication (LOCC), each party may not perform perfect discrimination of quantum states that are separable and orthogonal. This property of quantum ensemble is called “nonlocality without entanglement” since each local party has a limit to full information of given quantum states. When this property is extended to the case of minimum-error discrimination, one can see that it is revealed when a nonlocal measurement provides more information about the unentangled states than LOCC does. One may infer the fact that the property depends on quantum states composing the quantum ensemble. However, an essential but unsettled question about the property is whether an explicit dependence on prior probabilities in terms of minimum-error discrimination could be shown in nonlocality without entanglement. In a simple term, one can ask whether different quantum ensembles made of the same separable quantum states could exhibit explicitly different behavior of the nonlocality. We answer this question in the positive, and we furthermore provide the explicit functional dependence of guessing probability on prior probabilities for the mirror-symmetric ensemble.


INTRODUCTION
In 1991, Peres and Wootters proposed a seminal problem 1 : What is the difference between global and local measurements on quantum states prepared at different locations? The question naturally leads to an investigation into the role of local operations and classical communication (LOCC), which is necessary for characterizing entanglement 2 and the nonlocality of quantum information [3][4][5][6][7][8][9][10][11][12][13][14][15] . Because the global measurement is to measure quantum states at different locations as a whole, it can be entangled or not. When it is not entangled, it is called a separable measurement (SEP). In other words, SEP is a measurement consisting of separable operators. A local measurement is to measure locally quantum states at different locations. A local measurement is performed at one location, and the result is sent to the other location to perform a suitable measurement. And LOCC can be finite or infinite 16 . Every LOCC can be realized through SEP, but the inverse does not hold 3 .
To understand the role of LOCC, Peres and Wootters considered the minimum-error discrimination (MD) [17][18][19][20] of double trine ensemble and showed that there is a difference between a global measurement and finite rounds of local measurements on the quantum ensemble 1 . Also, Bennett et al. 3 showed that nine orthogonal product states could provide "nonlocality without entanglement" (NLWE) because it is impossible to distinguish the nine states by asymptotic LOCC 21,22 even though they can be distinguished globally. One should note that the nonlocality does not mean the nonlocality of quantum state, but the nonlocality of quantum ensemble composing the quantum state. Their investigation provides a motivation by which researchers have performed on discrimination of multipartite states under restricted quantum operations of LOCC or SEP [4][5][6][7][8][9][10][11][12][13][14][15][16][21][22][23][24][25][26] .
Recently, Chitambar and Hsieh 15 showed that in terms of MD, NLWE occurs in double trine ensemble 1 , which consists of three symmetric 2 ⊗ 2 product states with identical prior probability. More explicitly, it means that in MD of double trine ensemble the guessing probability of globally optimal measurement is larger than that of asymptotic LOCC (LOCC). The result shows a specific quantum ensemble revealing NLWE when they are shared at different locations, but it cannot tell whether NLWE depends on the manner of forming a quantum ensemble. Then, the following three questions naturally appear. The first one is whether there exists a nonorthogonal state ensemble revealing NLWE as double trine ensemble shows NLWE. The second one is whether one can show NLWE of nonorthogonal state ensemble by appealing SEP, which one can handle more easily than LOCC. The last and most important question is whether an explicit dependence on prior probabilities in terms of MD can be shown in NLWE. In other words, one can ask whether there exist nonorthogonal states whose NLWE depends on nonzero prior probabilities. To the best of the authors' knowledge, an answer to this question has not yet been offered.
In this work, we provide three nonorthogonal product states in a two-qubit system where the occurrence of NLWE depends on nonzero prior probabilities. The ensemble's quantum states do not carry a cyclic symmetry as the three states of the double trine ensemble do. However, they possess a mirror symmetry. Using the three quantum states with two different parametrizations, we show that there are the following two instances for nonzero prior probabilities. The one is the case where global minimum-error measurement can be performed only by finite-round LOCC. The other one is that SEP cannot achieve global minimum-error measurement. In the former case, NLWE does not occur, but in the latter case, NLWE does occur. Therefore, our results provide answers to the three questions mentioned previously.

RESULTS
The difficulty in understanding the explicit dependence of prior probability in NLWE is due to the fact that a general method to obtain an optimal measurement for three quantum states is not known yet. Therefore, one should consider a suitable quantum ensemble where one can find its optimal measurement and further can discuss the optimality of local measurement.
Case where different quantum states are shared at different locations Now, we begin our investigation by considering the case where different quantum states are shared at different locations. The quantum ensemble is given as E ¼ fq i ; ρ i g 2 i¼0 , and consists of twoqubit product states ρ i ¼ Ψ i j i Ψ i h j with prior probabilities q i . It satisfies the following relation: The ratio r is the only variable indicating the change of prior probabilities. The two-qubit product states Ψ i j i Ψ i h j, which we consider, are as follows (the ranges of θ 0 and θ 1 become 0 < θ 0 < π 4 and 0 < θ 1 < π 2 À θ 0 ): where the optimal measurement factor χ 2 ð0; π 2 Þ satisfies the following relation: r ¼ sin 2θ 0 sin 2ðχ À θ 1 Þ þ 2 ffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi ffi sin 2θ 0 sin 2θ 1 p sin ðχ À θ 1 Þ sin 2χðsin 2θ 0 þ sin 2θ 1 Þ : The global guessing probability P GLOBAL guess of the quantum ensemble E can be obtained by applying the optimal global measurement. To figure out NLWE, one needs to check whether the global minimum-error probability can be obtained by the finite-round LOCC or asymptotic LOCC 21,22 . It is known that the global minimum-error probability can be attained by finite-round (asymptotic) LOCC if and only if the optimal POVM f Φ i can be perfectly discriminated using the finite-round (asymptotic) LOCC (see "Methods"). Here, in understanding this problem, one can recall a result obtained by Walgate and Hardy 5 . It tells that in a two-qubit system, three pure orthogonal states can be perfectly discriminated by a finite-round LOCC if and only if at least two of them are product states. It means that f Φ i j i Φ i h jg 2 i¼0 can be perfectly discriminated by a finite-round LOCC if and only if at least two of f Φ i j i Φ i h jg 2 i¼0 are product states. Therefore, the possibility of NLWE depends on whether f Φ i j i Φ i h jg 2 i¼0 is entangled or not. By evaluating concurrence 27 , one can see that two of the f Φ i j i Φ i h jg 2 i¼0 become unentangled if and only if sin 2χ ¼ sin 2θ 0 (i.e., χ = θ 0 or π 2 À θ 0 ). Then, the necessary and sufficient condition for the finite-round LOCC to achieve globally optimal discrimination (LOCC N ¼ GLOBAL) is determined by γ À or γ þ : where γ − and γ + are the ratios that correspond to the cases of χ = θ 0 and χ ¼ π 2 À θ 0 , respectively. That is, NLWE does not occur if r is γ − or γ + . γ − (γ + ) becomes positive when θ 1 < θ 0 (θ 1 < π 2 À θ 0 ). Therefore, for the mirror-symmetric states of Eq. (2), there is at least one set of nonzero prior probabilities in which NLWE does not occur. Note that when θ 0 ≠ π 4 , there is a finite gap G between γ − and γ + : Until now, we have studied the possibility that a finite-round LOCC can achieve the global minimum-error probability of E.
Since an SEP can perform better than a finite-round LOCC in MD, now we will investigate a case that an SEP can obtain the global guessing probability P GLOBAL guess of E. If we state the result in advance, as shown in Figure 1, when r = 2 G (yellow), the global minimumerror probability of the quantum ensemble E can be achieved through an SEP. However, when r 2 G (green), the global  Fig. 1 Appearance of NLWE. When θ 0 ≠ π 4 , if θ 1 < θ 0 , both singular rates γ − and γ + are valid. However, when θ 1 ! π 2 À θ 0 , both γ − and γ + are not valid. If θ 0 θ 1 < π 2 À θ 0 , γ + is valid but γ − is not. When the ratio r becomes γ − (blue) or γ + (red), the global minimum-error probability of a quantum ensemble E can be achieved by a finiteround LOCC, otherwise it cannot be obtained by finite-round LOCC. Furthermore, if r = 2 G (yellow), the global minimum-error probability of the quantum ensemble E can be achieved by means of a separable measurement. Meanwhile, when r 2 G (green), the global minimum-error probability of a quantum state ensemble E cannot be obtained by a separable measurement.
minimum-error probability of a quantum state ensemble E cannot be obtained by an SEP. This is obtained by applying the result of Duan et al. 11 (see "Methods") to an orthonormal basis the necessary and sufficient condition that SEPs can perform the perfect discrimination of becomes sin 2χ sin 2θ 0 , which can be rewritten as χ = 2 ðθ 0 ; π 2 À θ 0 Þ. For 0 < χ < π 2 , the rate r strictly increases as a function of χ. Therefore, r = 2 G becomes the necessary and sufficient condition for r, when globally optimal discrimination of E can be achieved by an SEP: SEP = GLOBAL. One obtains r 2 G if and only if the global minimum-error probability of E cannot be accomplished by an SEP: SEP < GLOBAL. Therefore, two singular rates γ − and γ + form a boundary between SEP = GLOBAL and SEP < GLOBAL. Figure 1 displays the behavior of two rates γ − and γ + when θ 0 ≠ π 4 . Because SEP < GLOBAL includes LOCC<GLOBAL, when r belongs to G, the NLWE occurs, i.e., P LOCC guess < P GLOBAL guess . This means that, for the mirror-symmetric states of Eq. (2), there are infinite numbers of sets of nonzero prior probabilities revealing NLWE.
Our results speak of the following fact. When three product states f Ψ i j i Ψ i h jg 2 i¼0 are specified, corresponding to fixed θ 1 and θ 0 , NLWE depends on nonzero prior probabilities. For the mirrorsymmetric states of Eq. (2), there are infinite numbers of sets of nonzero prior probabilities where NLWE occurs (SEP < GLOBAL) and there is at least one set of nonzero prior probabilities in which NLWE does not occur (LOCC N ¼GLOBAL). It tells that those different ensembles, which correspond to different prior probabilities, although composed of the same separable quantum states, exhibit different behaviors in terms of nonlocality. The following theorem summarizes the result.
Theorem 1 For the MD of nonorthogonal states given as Eq. (2), the NLWE explicitly depends on the prior probabilities.
For example, let us consider the case of In this case, since γ − is zero, the necessary and sufficient condition of SEP < GLOBAL is 0 < r < γ þ ¼ cos 2θ 0 þ cos 2θ 0 sin 2θ 0 (8) and the one of LOCC N ¼ GLOBAL is r = γ + . Therefore, NLWE occurs if r < γ + but not if r = γ + . Figure 2 illustrates in detail how NLWE can occur by different mixing of quantum states in the case of Case where identical quantum states are shared at different locations Now, we are ready to investigate the case where identical quantum states are shared in different locations. It corresponds to the case when θ 0 ¼ π 4 in Eq. (2). We will prove that even in this case, NLWE occurs and depends on the prior probability of the quantum ensemble. In this case, f Ψ i j ig 2 i¼0 can be rewritten as (the range of ϵ becomes 0 < ϵ < π 4 ): where D ± j i ¼ cos ϵ 0 j i ± sin ϵ 1 j i: In two-qubit system, a party R prepares N 0 number of quantum state Ψ 0 j i (red), N 1 number of quantum state Ψ 1 j i (green), and N 1 number of quantum state Ψ 2 j i (yellow). R combines N 0 + 2N 1 quantum systems and randomly chooses one out of them. Then, the prior probability q 1 of quantum state Ψ 1 j i is equal to the prior probability q 2 of quantum state Ψ 2 j i. The ratio r between the prior probability q 0 of quantum state Ψ 0 j i and the prior probability q 1 is N 0 /N 1 . After the preparation, R sends each qubit to A and B, respectively. When 0 < r < γ + is satisfied, NLWE occurs in the view of MD, but if r = γ + , NLWE does not occur. More explicitly, because γ + becomes 343/600 when θ 0 satisfies sin θ 0 ¼ 3=5, if N 1 = 600, NLWE does not occur when N 0 is 343. However, NLWE occurs in the case of N 0 = 1, 2, … , 342.
For the quantum ensemble given as E ¼ fq i ; ρ i g 2 i¼0 consisting of above two-qubit product states ρ i ¼ Ψ i j i Ψ i h j with prior probabilities q i , one can find the optimal measurement vectors f Φ i j ig 2 i¼0 , which corresponds to the optimal measurement of Eq. (3) at θ 0 ¼ π 4 . The optimal measurement factor χ 2 ð0; π 2 Þ satisfies the following relation: r ¼ 1 sin 2χ sin 2χ cos 2ϵ À 1 2 cos 2χ sin 2 2ϵ Â þ ffiffi ffi 2 p sin 2ϵðsin χ cos 2 ϵ À cos χ sin 2 ϵÞ Ã : By the similar analysis as before, one can see that Φ 1 j i and Φ 2 j i are entangled except in the case of χ ¼ π 4 . In other words, one can obtain χ ¼ π 4 if and only if at least two of f Φ i j i Φ i h jg 2 i¼0 are product states. If one applies χ ¼ π 4 to the right-hand side of (10), the ratio r can be expressed as γ 0 : That is, χ becomes π 4 if and only if r ¼ γ 0 . It should be noted that when π 4 ϵ < π 2 , r ¼ γ 0 is not satisfied because γ 0 is non-positive. Therefore, one has r ¼ γ 0 if and only if the global minimum-error probability of fq i ; Ψ i j i Ψ i h jg 2 i¼0 can be achieved by a finite-round LOCC: LOCC N ¼ GLOBAL. This means that, for the mirrorsymmetric states of Eq. (9), there is at least one set of nonzero prior probabilities where NLWE does not occur.
In order to find a case where an asymptotic LOCC cannot provide the global minimum-error probability, one may consult the result by Chitambar and Hsieh 15 , which states that f Φ i j i Φ i h jg 2 i¼0 of the double trine ensemble (ϵ ¼ π 3 , r = 1) cannot fulfill the necessary condition of perfect asymptotic LOCC discrimination 21 . Therefore, for all quantum ensemble E with f Φ i j i Φ i h jg 2 i¼0 corresponding to ðϵ; rÞ ¼ ð π 3 ; 1Þ, an asymptotic LOCC cannot provide the global guessing probability, i.e., P LOCC guess < P GLOBAL guess . Because the value of χ, derived from Eq. (10) with r = 1 and ϵ ¼ π 3 , satisfies sin χ ¼ ð cannot be perfectly discriminated by asymptotic LOCC, where : In both of these cases, , when sin χ ¼ 1=3, cannot be perfectly discriminated by asymptotic LOCC. If one applies sin χ ¼ ð ffiffi ffi 2 p ± 1Þ= ffiffi ffi 6 p to the right-hand side of Eq. (10), the ratio r can be expressed as γ ± : Therefore, if r ¼ γ þ or γ À , the global minimum-error probability of fq i ; Ψ i j i Ψ i h jg 2 i¼0 cannot be achieved by asymptotic LOCC: LOCC < GLOBAL. This implies that, for the mirror-symmetric states of Eq. (9), there is at least one set of nonzero prior probabilities in which NLWE occurs.
These results imply the following fact: when three product states are specified that correspond to a fixed ϵ, NLWE depends on nonzero prior probabilities. More explicitly, for the mirrorsymmetric states of Eq. (9), there is at least one set of nonzero prior probabilities where NLWE occurs (LOCC < GLOBAL), and there is a set of nonzero prior probabilities in which NLWE does not occur (LOCC N ¼ GLOBAL). The situation is illustrated in Fig, 3, which displays the rates γ 0 and γ ± corresponding to ϵ. For the curve γ 0 shown in Fig. 3, there is no NLWE, but in the other two curves, γ þ and γ À , NLWE occurs. That is, when ϵ < π 4 , NLWE in MD depends on the prior probability, in contrast to the perfect discrimination of orthogonal states. The following theorem summarizes the result.
Theorem 2 For the MD of nonorthogonal states given as Eq. (9), the NLWE explicitly depends on the prior probabilities.

DISCUSSION
In this study, we showed that nonlocality depends on not only separable quantum states of a quantum ensemble but also the prior probabilities of given quantum states. It was proved by showing that nonlocal measurement on the mirror-symmetric quantum ensemble provides more information about the unentangled states than LOCC does when the prior probabilities have special values. Our result implies that nonlocality can be revealed by way of mixing given separable quantum states. In the view that NLWE of orthogonal states does not show explicit dependence on prior probabilities, our result is surprising.
Also, we considered the specific quantum states with a mirror symmetry, which are used to prove that NLWE depends explicitly on the prior probability of the quantum ensemble. We should note that the quantum states are parametrized by variables θ 0 and θ 1 , and there are infinite numbers of quantum states that reveal NLWE.
Here, we provided a new type of quantum ensemble with mirror symmetry. Moreover, by exploiting it, we can provide cases where NLWE can be shown. However, because there are cases where one cannot decide on the occurrence of NLWE, more investigation is needed. Further, it is interesting to know how frequently NLWE can occur. The weakening of mirror symmetry may help to accomplish the investigation. Fig. 3 Appearance of NLWE in a singular case. γ 0 (black), γ 0 þ (red), and γ 0 À (blue) corresponding to ϵ 2 ð0; π 2 Þ: when 0 < ϵ < π 4 , γ 0 and γ þ are positive. However, when π 4 ϵ < π 2 , γ 0 and γ À are non-positive. Because the ratio r must be positive, when 0 < ϵ < π 4 , there are two cases when NLWE occurs and does not. However, when π 4 ϵ < π 2 , it is impossible to explicitly indicate the occurrence of NLWE. The double trine ensemble corresponds to the case of ϵ ¼ π 3 and r = 1.

D. Ha and Y. Kwon
In our work, we provided an actual result on the explicit dependence of prior probability in the behavior of NLWE. From this point of view, the following needs to be noted. In the perfect discrimination of nine orthogonal states of ref. 3 , NLWE occurs regardless of prior probability. Furthermore, since finite-round LOCC can perfectly discriminate pure orthogonal product states (for instance, two multipartite states 23 , three 2 ⊗ 2 states, and four 2 ⊗ 2 states 5 ), NLWE does not occur regardless of prior probability. In perfect discrimination of orthogonal multipartite states, measurements discriminating perfectly the quantum states are independent of prior probabilities. Therefore, in the cases, NLWE depends only on those quantum states, not on the values of nonzero prior probabilities. It implies that in perfect discrimination of orthogonal multipartite states, one cannot see explicit dependence on prior probabilities. However, in MED of nonorthogonal states, optimal measurements may depend on nonzero prior probabilities. Therefore, in this case, NLWE may rely not only on quantum states but also on prior probabilities. It should be noted that in two bipartite nonorthogonal pure states, LOCC can provide optimal discrimination regardless of prior probabilities 24 . Therefore, the discrimination of nonorthogonal states does not guarantee the explicit dependence of prior probabilities. It is unknown whether nonorthogonal quantum states can provide NLWE regardless of prior probability in MED. We leave it an open problem. If such a set of nonorthogonal states exists, one can classify NLWE of nonorthogonal states by explicit dependence of prior probabilities. Now, let us discuss some implications of our results. Our results tell that according to the quantum states in our paper, local optimal discrimination depends explicitly on the variation of prior probability. Since orthogonal states (i.e., local distinguishable states), which can be discriminated by finite-round LOCC, can be applied to quantum data hiding [28][29][30][31] and quantum secret sharing [32][33][34] , our result may be used in extending the result of orthogonal states to the application of nonorthogonal states.

Mirror-symmetric ensemble
Let us consider quantum state ensemble E ¼ fq i ; ρ i g 2 i¼0 consisting of linearly independent pure states ρ In addition, the prior probabilities q 0 , q 1 , and q 2 are supposed to be f E i j ig 2 i¼0 is an orthonormal basis of three-dimensional complex Hilbert space H. Note that ρ 0 ⊥̸ ρ 1 and ρ 0 ⊥̸ ρ 2 , where ⊥̸ indicates nonorthogon- the ensemble E satisfies the following property: Conversely, when fq i ; ρ i g 2 i¼0 is a quantum ensemble consisting of three linearly independent pure states with ρ 0 ⊥̸ ρ 1 and ρ 0 ⊥̸ ρ 2 , if there exists a unitary operator U satisfying (14), then the ensemble can be expressed as (12) and (13). Therefore, one can tell that the ensemble E has mirror symmetry.
Until now, the general solution of MD of quantum state ensemble E was unknown. However, a few important results 35 was found. First, the minimum-error measurement (the optimal POVM on H) fM i g 2 i¼0 is unique and has a form of a projective measurement composed of orthonormal vectors ϕ i j i, which can be expressed by M i ¼ ϕ i j i ϕ i h j. Secondly, for each i, ψ i j i and ϕ i j i are not perpendicular, ψ i jϕ i h i≠ 0. From these properties, one can prove that the optimal measurement vectors ϕ i j i for E can be expressed as where Here, we use the optimal measurement's symmetry, derived from the mirror symmetry of a given ensemble. χ is the value which is determined by applying the necessary condition for the optimal measurement M 0 (q 0 ρ 0 − q 1 ρ 1 )M 1 = 0 (in our case, it corresponds to the condition of r〈ϕ 0 |ψ 0 〉〈ψ 0 |ϕ 1 〉 = 〈ϕ 0 |ψ 1 〉〈ψ 1 |ϕ 1 〉) 18,19,36 ) to Eq. (15). It becomes θ 2 ðα; π 2 Þ, which satisfies the following equation: r sin 2θ ¼ sin 2 β sin 2ðθ À αÞ þ sin 2β sinðθ À αÞ: If one substitutes sinðθ À αÞ into λ, then Eq. (17) is expressed by the following non-trivial fourth-order equation, and χ has a very complex form, 4ðr 2 À 2r cos 2α sin 2 β þ sin 4 βÞλ 4 þ 4r sin 2α sin 2β λ 3 À4ðr 2 À 2r cos 2α sin 2 β À sin 2 β cos 2βÞλ 2 À2r sin 2α sin 2β λ þ r 2 sin 2 2α ¼ 0: When α, β, and r are given, finding χ is very complicated. However, if χ is given, finding α, β, and r, corresponding to χ, is not difficult. This is because the constraint on r, which is the ratio between the prior probabilities q 0 and q 1 (or q 2 ), requires only positiveness (i.e., 0 < r < ∞). Therefore, when an arbitrary χ is given, if r satisfies the following condition, then (15) are the optimal measurement vectors, r ¼ sin 2 β sin 2ðχ À αÞ þ sin 2β sinðχ À αÞ sin 2χ : Note that (18) is derived from (17).

Necessary and sufficient condition for global minimum-error probability
Recently, Chitambar and Hsieh provided an important result 15 . The result states that MD of n nonorthogonal linearly independent pure states can be reduced to the perfect discrimination problem of n orthogonal pure states. Specifically, it was shown that when fq i ; ψ i j i ψ i h jg nÀ1 i¼0 is a quantum ensemble of n nonorthogonal linearly independent pure states, a measurement provides the guessing probability if and only if the measurement can perfectly discriminate n orthogonal pure states f ϕ i j i ϕ i h jg nÀ1 i¼0 . Here, f ϕ i j ig nÀ1 i¼0 is an orthonormal basis of H, where H is the n-dimensional Hilbert space generated by f ψ i j ig nÀ1 i¼0 . This basis has the following property: f ϕ i j i ϕ i h jg nÀ1 i¼0 is the unique optimal POVM of fq i ; ψ i j i ψ i h jg nÀ1 i¼0 on H. It should be noted that when the space, in which quantum states and measurement operators are defined, is larger than H, the minimum-error measurement of fq i ; ψ i j i ψ i h jg nÀ1 i¼0 is not unique. Therefore, in the case of a multi-party system, the global minimum-error probability of fq i ; ψ i j i ψ i h jg nÀ1 i¼0 can be achieved by finite-round (asymptotic) LOCC if and only if f ϕ i j i ϕ i h jg nÀ1 i¼0 can be perfectly discriminated using the finite-round (asymptotic) LOCC.

Perfect discrimination of quantum states by SEPs
Duan et al. 11 tells that in a two-qubit system, when f Ξ 0 j i; Ξ 1 j i; Ξ 2 j i; Γ j ig is an orthonormal basis, the necessary and sufficient condition for f Ξ i j i Ξ i h jg 2 i¼0 to be distinguished by a SEP is as follows: (i) Ξ k Γ −1 has two antiparallel eigenvalues for each entangled Ξ k j i and (ii) P 2 i¼0 CðΞ i Þ ¼ CðΓÞ, where Ψ corresponding to Ψ j i is a 2 × 2 matrix satisfying Ψ j i ¼ ðI and C(Ψ) denotes the concurrence of Ψ j i, i.e., CðΨÞ ¼ j det Ψj. In particular, when Γ j i is maximally entangled, f Ξ i j i Ξ i h jg 2 i¼0 can be perfectly discriminated by an SEP if and only if P 2 i¼0 CðΞ i Þ ¼ 1.