Abstract
Nonlocality without entanglement(NLWE) is a nonlocal phenomenon that occurs in quantum state discrimination of multipartite separable states. In the discrimination of orthogonal separable states, the term NLWE is used when the quantum states cannot be discriminated perfectly by local operations and classical communication. In this case, the occurrence of NLWE is independent of nonzero prior probabilities of quantum states being prepared. Recently, it has been found that the occurrence of NLWE can depend on nonzero prior probabilities in minimum-error discrimination of nonorthogonal separable states. Here, we show that even in optimal unambiguous discrimination, the occurrence of NLWE can depend on nonzero prior probabilities. We further show that NLWE can occur regardless of nonzero prior probabilities, even if only one state can be locally discriminated without error. Our results provide new insights into classifying sets of multipartite quantum states in terms of quantum state discrimination.
Similar content being viewed by others
Introduction
Although orthogonal quantum states can be perfectly discriminated in quantum mechanics, there also exists a set of orthogonal, non-entangled(separable) states in multipartite quantum systems that cannot be perfectly discriminated only by local operations and classical communications(LOCC)1,2,3,4,5. This set of multipartite quantum states reveals the possible existence of separable measurement(SEP) that cannot be realized by LOCC. In discriminating separable states, a phenomenon that can be achieved by global measurements but cannot be achieved only by LOCC is called nonlocality without entanglement(NLWE).
The first NLWE phenomenon was shown through nine \(3\otimes 3\) orthogonal product states5. On the other hand, Walgate et al.6 showed that any two multipartite orthogonal pure states can be perfectly discriminiated within finite-round using LOCC. Since then, there have been many studies focused on local indistinguishability or local distinguishability of multipartite orthogonal states 7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27. Recently, there has also been an effort to find NLWE in generalized probabilistic theories 28.
The NLWE phenomenon occurs in the perfect discrimination of orthogonal separable states as well as minimum-error discrimination (MD)29,30,31 of nonorthogonal separable states. MD of two multipartite nonorthogonal pure states can always be achieved using LOCC32, regardless of the prior probabilities. However, MD of more than two states is not (e.g., double trine ensemble33,34); the minimum error probability cannot be obtained using asymptotic LOCC35,36. Recently, Ha and Kwon37 found a set of three nonorthogonal \(2\otimes 2\) product states where NLWE in terms of MD occurs depending on the nonzero prior probabilities. In perfect discrimination of orthogonal states, the nonzero prior probabilities have no effect on the local indistinguishability or the local distinguishability. That is, NLWE in terms of perfect discrimination does not depend on nonzero prior probabilities.
In unambiguous discrimination(UD)38,39,40,41, quantum states are discriminated without error (i.e., unambiguously), instead, allowing inconclusive results. In order for pure states to be unambiguously discriminated, they must be linearly independent42. Moreover, in order to unambiguously discriminate a multipartite pure state using LOCC, the existence of a product state that detects only the state is additionally required43,44,45.
The optimization of UD is to minimize the probability of obtaining inconclusive results. Whereas optimal UD of two multipartite pure states can always be achieved using LOCC32,46,47,48, optimal UD of more than two multipartite states is not in general. A typical example is “indistinguishable product basis” presented by Duan et al.44, in which all states cannot be unambiguously discriminated using LOCC. We also note that NLWE in terms of optimal UD may occur regardless of nonzero prior probabilities. However, it is still a natural question whether there is a set of separable states that cause NLWE in terms of optimal UD depending on nonzero prior probabilities.
In this work, we consider a complete product basis, in which only one state can be discriminated unambiguously using LOCC, and establish a necessary and sufficient condition that the occurrence of NLWE in terms of optimal UD depends on nonzero prior probabilities (Corollary 2). We provide an example of six \(2\otimes 3\) product states where NLWE in terms of optimal UD occurs depending on nonzero prior probabilities (Example 1). We also provide an example that is not indistinguishable product basis but causes NLWE in terms of optimal UD regardless of nonzero prior probabilities (Example 2). We further investigate the case where optimal UD measurement detects only one state unambiguously (Theorem 1), and obtain a necessary and sufficient condition for optimal UD measurement to detect two or more states unambiguously, regardless of nonzero prior probabilities (Corollary 1).
Results
Optimal unambiguous discrimination
Let \(\{|\psi _{1}\rangle ,\ldots ,|\psi _{n}\rangle \}\) be a set of n linearly independent pure states and \(\eta _{i}\) be the corresponding non-zero probability of \(|\psi _{i}\rangle \) being prepared for \(i=1,\ldots ,n\). The UD of \(\{\eta _{i},|\psi _{i}\rangle \}_{i=1}^{n}\) is to discriminate the prepared state without error using a positive operator-valued measure(POVM) that consists of \(n+1\) positive semidefinite operators \(M_{0},M_{1},\ldots ,M_{n}\) on \(\fancyscript{H}_\text{S}\) satisfying \(\sum _{i=0}^{n}M_{i}=\mathbbm {1}\). Here \(\fancyscript{H}_\text{S}\) is the subspace spanned by \(\{|\psi _{1}\rangle ,\ldots ,|\psi _{n}\rangle \}\) and \(\mathbbm {1}\) is the identity operator on \(\fancyscript{H}_\text{S}\). \(M_{0}\) provides inconclusive results for the prepared state and \(M_{i}(i=1,\ldots ,n)\) gives conclusive results for \(|\psi _{i}\rangle \) unambiguously.
The no-error condition for \(\{M_{i}\}_{i=0}^{N}\) to discriminate \(\{|\psi _{i}\rangle \}_{i=1}^{n}\) unambiguously49, that is, \(\langle \psi _{i}|M_{j}|\psi _{i}\rangle =0\) \(\forall i\ne j\), requires
where \(p_{i}\) is the probability of success in unambiguously discriminating \(|\psi _{i}\rangle \) and \(|\tilde{\psi }_{i}\rangle \) is the reciprocal vector defined by
where \(\Omega ^{-1}\) is the inverse matrix of n-by-n Gram matrix \(\Omega \) with \((\Omega )_{ij}=\langle \psi _{i}|\psi _{j}\rangle \). We note that \(\langle \tilde{\psi }_{i}|\tilde{\psi }_{j}\rangle =(\Omega ^{-1})_{ij}\). Because \(\{|\tilde{\psi }_{1}\rangle ,\ldots ,|\tilde{\psi }_{n}\rangle \}\) is a set of linearly independent vectors in \(\fancyscript{H}_\text{S}\) satisfying \(\langle \tilde{\psi }_{i}|\psi _{j}\rangle =\delta _{ij}\), selecting a UD measurement can be understood as selecting a point \(\vec {p}=(p_{1},\ldots ,p_{n})^\mathsf{T}\in \mathbb {R}^{n}\) such that
The optimization task of UD is to maximize the average probability of success,
whose maximum is denoted by \(P_{\max }\). The optimal \(\vec {p}\) that gives \(P_{\max }\) is unique50, which can also be verified from optimality condition including Lagrangian stability; see Lemma 1 in the “Methods” Section.
Some components of optimal \(\vec {p}\) may be zero. In other words, the optimal UD measurement of \(\{\eta _{i},|\psi _{i}\rangle \}_{i=1}^{n}\) may not detect all given quantum states unambiguously. If \(p_{i}\) is zero, the UD measurement does not detect \(|\psi _{i}\rangle \) unambiguously. The following theorem shows a necessary and sufficient condition for the optimal UD measurement of \(\{\eta _{i},|\psi _{i}\rangle \}_{i=1}^{n}\) to detect only \(|\psi _{1}\rangle \) unambiguously. The proof of Theorem 1 is provided in the “Methods” Section.
Theorem 1
For the optimal UD of \(\{\eta _{i},|\psi _{i}\rangle \}_{i=1}^{n}\), the optimal measurement detects only \(|\psi _{1}\rangle \) unambiguously if and only if
In the case of \(n=2\)41, it is easy to see that the condition \(\eta _{2}/\eta _{1}\leqslant |\langle \psi _{1}|\psi _{2}\rangle |^{2}\) is equivalent that the optimal \(p_{2}\) is zero. As we can check in the proof of Theorem 1 in “Methods” Section, the choice of \(|\psi _{1}\rangle \) in Theorem 1 can be arbitrary. That is, any of \(\{|\psi _{1}\rangle ,\ldots ,|\psi _{n}\rangle \}\) can be used to play the role of \(|\psi _{1}\rangle \) in Theorem 1.
Corollary 1
For any set of nonzero prior probabilities \(\{\eta _{i}\}_{i=1}^{n}\), the optimal UD measurement of \(\{\eta _{i},|\psi _{i}\rangle \}_{i=1}^{n}\) detects more than one state unambiguously if and only if, for any j, there is k satisfying \(\langle \tilde{\psi }_{j}|\tilde{\psi }_{k}\rangle =0\).
Proof
For fixed j, let us first suppose that there exists k satisfying \(\langle \tilde{\psi }_{j}|\tilde{\psi }_{k}\rangle =0\), which implies
because the left-hand side is positive and the right-hand side is zero. Thus, from Theorem 1, the optimal UD measurement of \(\{\eta _{i},|\psi _{i}\rangle \}_{i=1}^{n}\) cannot be achieved by detecting only \(|\psi _{j}\rangle \) unambiguously. Since this argument is true for any \(|\psi _{j}\rangle \), the optimal UD measurement must detect more than one state unambiguously.
Now, let us suppose that \(\langle \tilde{\psi }_{j}|\tilde{\psi }_{k}\rangle \ne 0\) for all k. We can see that
with nonzero prior probabilities defined as
Thus, from Theorem 1, the optimal UD measurement of \(\{\eta _{i},|\psi _{i}\rangle \}_{i=1}^{n}\) detects only \(|\psi _{j}\rangle \) unambiguously. \(\square \)
For example, let us consider four pure states
with the reciprocal vectors
Since \(\langle \tilde{\psi }_{1}|\tilde{\psi }_{2}\rangle \) and \(\langle \tilde{\psi }_{3}|\tilde{\psi }_{4}\rangle \) are zero, for any i, there exists j satisfying \(\langle \tilde{\psi }_{i}|\tilde{\psi }_{j}\rangle =0\). Therefore, for any set of nonzero prior probabilities, the optimal UD measurement detects more than one state unambiguously.
Multipartite state discrimination
Let \(\fancyscript{H}\) be a multipartite Hilbert space and \(\{|\Psi _{i}\rangle \}_{i=1}^{n}\) a set of n linearly independent pure states in \(\fancyscript{H}\), where each \(|\Psi _{i}\rangle \) is prepared with nonzero prior probability \(\xi _{i}\). We use \(|\Psi _{i}\rangle \), \(|\tilde{\Psi }_{i}\rangle \), and \(P_{\max }^{\text{Global}}\) instead of \(|\psi _{i}\rangle \), \(|\tilde{\psi }_{i}\rangle \), and \(P_{\max }\) to highlight the multipartite quantum system to be considered. Also, we use \(P_\text{max}^{\overline{\text{LOCC}}}\) to denote the maximum of average success probability that can be obtained in UD restricted to asymptotic LOCC, whereas \(P_{\max }^{\text{Global}}\) is the maximum of average success probability that can be obtained using global measurement. If there exists a product state \(|\Phi \rangle \) that satisfies \(\langle \Phi |\Psi _{1}\rangle \ne 0\) and \(\langle \Phi |\Psi _{i}\rangle =0\,\forall i\ne 1\), \(|\Psi _{1}\rangle \) can be unambiguously discriminated using finite-round LOCC, otherwise the state cannot be unambiguously discriminated even using SEP 43,44,45. In particular, when \(\{|\Psi _{i}\rangle \}_{i=1}^{n}\) is a basis of \(\fancyscript{H}\) (that is, \(\fancyscript{H}_\text{S}=\fancyscript{H}\)), the existence of a product state \(|\Phi \rangle \) satisfying \(\langle \Phi |\Psi _{1}\rangle \ne 0\) and \(\langle \Phi |\Psi _{i}\rangle =0\,\forall i\ne 1\) is determined by the corresponding reciprocal vector \(|\tilde{\Psi }_{1}\rangle \)44. To be precise, \(|\Psi _{1}\rangle \) can be unambiguously discriminated using LOCC if and only if \(|\tilde{\Psi }_{1}\rangle \) is a product vector. Note that when \(\fancyscript{H}_\text{S}\ne \fancyscript{H}\), even if \(|\tilde{\Psi }_{1}\rangle \) is entangled, a product state that detects only \(|\Psi _{1}\rangle \) may exist in \(\fancyscript{H}\).
In the case of \(n=2\) 32,46,47,48, the globally optimal UD is always possible only with finite-round LOCC no matter what two pure states with arbitrary prior probabilities are given, i.e., \(P_\text{max}^{\overline{\text{LOCC}}}=P_{\max }^{\text{Global}}\). However, in the case of \(n>2\), \(P_\text{max}^{\overline{\text{LOCC}}}\) can be less than \(P_\text{max}^{\text{Global}}\). An example is the indistinguishable product basis44 in which no state can be unambiguously discriminated using asymptotic LOCC, i.e., \(P_{\max }^{\overline{\text{LOCC}}}=0\). It should be noted that \(P_{\max }^{\overline{\text{LOCC}}}=0\) means \(P_{\max }^{\overline{\text{LOCC}}}<P_{\max }^{\text{Global}}\) because \(P_{\max }^{\text{Global}}\) is always nonzero for any linearly independent pure states. Moreover, this example illustrates the case that NLWE in terms of optimal UD occurs regardless of nonzero prior probabilities.
The following theorem shows that if \(\{|\Psi _{i}\rangle \}_{i=1}^{n}\) is a basis of \(\fancyscript{H}\) and only \(|\Psi _{1}\rangle \) can be unambiguously discriminated using LOCC, \(P_{\max }^{\overline{\text{LOCC}}}=P_{\max }^{\text{Global}}\) is determined by whether the optimal UD measurement requires unambiguous detection other than \(|\Psi _{1}\rangle \). The proof of Theorem 2 is provided in the “Methods” Section.
Theorem 2
When \(\fancyscript{H}_\mathsf{S}=\fancyscript{H}\) and only \(|\tilde{\Psi }_{1}\rangle \) is a product vector, the globally optimal UD of \(\{\xi _{i},|\Psi _{i}\rangle \}_{i=1}^{n}\) can be achieved using LOCC if and only if
Theorem 2 tells us that the possibility of globally optimal UD using LOCC can depend on nonzero prior probabilities. In other words, when \(|\Psi _{1}\rangle ,\ldots ,|\Psi _{n}\rangle \) are fixed, both \(P_{\max }^{\overline{\text{LOCC}}}=P_{\max }^{\text{Global}}\) and \(P_{\max }^{\overline{\text{LOCC}}}<P_{\max }^{\text{Global}}\) can occur according to \(\xi _{1},\ldots ,\xi _{n}\). As we can check in the proof of Theorem 2 in “Methods” Section, the choice of \(|\tilde{\Psi }_{1}\rangle \) in Theorem 2 can be arbitrary. That is, any of \(\{|\tilde{\Psi }_{1}\rangle ,\ldots ,|\tilde{\Psi }_{n}\rangle \}\) can be used to play the role of \(|\tilde{\Psi }_{1}\rangle \) in Theorem 2.
Corollary 2
For the optimal UD of n product states \(|\Psi _{1}\rangle ,\ldots ,|\Psi _{n}\rangle \) such that \(\fancyscript{H}_\mathsf{S}=\fancyscript{H}\) and only \(|\tilde{\Psi }_{1}\rangle \) is a product vector, if \(\langle \tilde{\Psi }_{i}|\tilde{\Psi }_{1}\rangle \) is nonzero for all i, NLWE occurs depending on the nonzero prior probabilities. Otherwise NLWE occurs for any nonzero prior probabilities.
Proof
If \(\langle \tilde{\Psi }_{i}|\tilde{\Psi }_{1}\rangle \ne 0\) for all i, satisfying Inequality (11) for all i depends on nonzero prior probabilities; Inequality (11) for each i holds by the nonzero prior probabilities defined as
whereas Inequality (11) for \(i=2\) does not hold by the nonzero prior probabilities defined as
It follows from Theorem 2 that the possibility of the globally optimal UD using LOCC depends on nonzero prior probabilities. Thus, NLWE occurs depending on the nonzero prior probabilities.
However, if \(\langle \tilde{\Psi }_{j}|\tilde{\Psi }_{1}\rangle =0\) for some j, no set of nonzero prior probabilities satisfies Inequality (11) for all i. It follows from Theorem 2 that for any set of nonzero prior probabilities \(\{\xi _{i}\}_{i=1}^{n}\), the globally optimal UD of \(\{\xi _{i},|\Psi _{i}\rangle \}_{i=1}^{n}\) cannot be achieved using LOCC. Therefore, NLWE occurs regardless of nonzero prior probabilities. \(\square \)
Example 1
Let us consider six \(2\otimes 3\) product states,
Example 1 satisfies \(\fancyscript{H}_\text{S}=\fancyscript{H}\) because
The reciprocal vectors are
Only \(|\tilde{\Psi }_{1}\rangle \) is a product vector because the reduced non-negative operators of \(|\tilde{\Psi }_{2}\rangle \langle \tilde{\Psi }_{2}|,\ldots ,|\tilde{\Psi }_{6}\rangle \langle \tilde{\Psi }_{6}|\) for the qubit are not all rank one.
According to Theorem 2, we can achieve the globally optimal UD between six states of (14) using LOCC if and only if
Furthermore, since the given six states are product vectors, we can see from Corollary 2 that the occurrence of NLWE in terms of optimal UD depends on nonzero prior probabilities. Figure 1 illustrates two cases classified by the occurrence of NLWE when considering nonzero prior probabilities determined by two variables \(a\in (0,1)\) and \(b\in (0,1)\) as follows:
For this case, NLWE does not occur if and only if a is equal to or greater than b and \(\frac{125}{169}(1-b)\).
Example 2
Let us consider the case where the first state of Example 1 is replaced with
In this case as well, Eq. (15) is satisfied, so the given six states form a basis for \(\fancyscript{H}\). The reciprocal set corresponding to \(\{|\Psi _{i}\rangle \}_{i=1}^{6}\) consists of
Also, only \(|\tilde{\Psi }_{1}\rangle \) is a product vector because the reduced nonnegative operator of \(|\tilde{\Psi }_{i}\rangle \langle \tilde{\Psi }_{i}|\) is not rank one for \(i\ne 1\). Since \(\langle \tilde{\Psi }_{1}|\tilde{\Psi }_{2}\rangle \) is zero, according to Corollary 2, no matter what nonzero prior probabilities \(\xi _{1},\ldots ,\xi _{6}\) are given, the globally optimal UD of \(\{\xi _{i},|\Psi _{i}\rangle \}_{i=1}^{6}\) cannot be achieved using LOCC. This example that is not an indistinguishable product basis44 shows that NLWE can occur regardless of nonzero prior probabilities. We also note that, in two qubits, there is no basis consisting of four product states that satisfy the assumption of Theorem 2; see “Methods” Section.
Discussion
We have shown that NLWE in terms of optimal UD can depend on the nonzero prior probabilities of quantum states being prepared. We have first established a necessary and sufficient condition for optimal UD measurement of linearly independent pure states to detect only one specific state unambiguously (Theorem 1). We have also provided a necessary and sufficient condition for optimal UD measurement to detect two or more states unambiguously, regardless of nonzero prior probabilities (Corollary 1). By generalizing Theorem 1 to multipartite state discrimination, we have established a necessary and sufficient condition for globally optimal UD of linearly independent pure states using LOCC provided that only one state can be discriminated unambiguously (Theorem 2). From Theorem 2, we have provided a sufficient condition that NLWE occurs depending on nonzero prior probabilities, as well as a sufficient condition that NLWE occurs regardless of nonzero prior probabilities (Corollary 2). Finally, we have illustrated the occurrence of NLWE in Corollary 2 by providing Examples 1 and 2.
Our result means that sets of linearly independent product states can be classified into three types in terms of optimal UD: Type I where NLWE does not occur regardless of nonzero prior probabilities (e.g., two multipartite pure states6,32,46,47,48), Type II where NLWE occurs regardless of nonzero prior probabilities (e.g., domino states5, indistinguishable product basis44, and Example 2), and Type III where NLWE occurs depending on nonzero prior probabilities (e.g. Example 1). Surprisingly, Type III is a new type that only occurs in nonorthogonal states.
The quantum states of Type III can be useful for possible construction of cryptographical schemes such as quantum data hiding51,52,53,54 or quantum secret sharing55,56 with nonorthogonal states. In most quantum data-hiding schemes, classical bits are hidden by orthogonal quantum states of Type II which cannot be perfectly discriminated using LOCC regardless of nonzero prior probabilities. In many quantum secret sharing schemes, classical bits are shared among parties using orthogonal quantum states of Type I that can be perfectly discriminated using LOCC regardless of nonzero prior probabilities. By using nonorthogonal quantum states of Type III, an unified cryptographic scheme can be constructed that can be both data-hiding and secret-sharing scheme depending on nonzero prior probabilities. We believe this is an interesting challenge as a future work.
Also, we have provided a new example of Type II (Example 2). Interestingly, this example is different from the domino states5, which can be unambiguously discriminated using LOCC. Moreover, this example is also different from the indistinguishable product basis44, which cannot be unambiguously discriminated using LOCC. In Example 2, one state can be unambiguously discriminated using LOCC, but all other states cannot. This suggests that Type II can be subdivided into more inequivalent classes.
Methods
Semidefinite programming to optimal UD of linearly independent pure states
The optimal UD of \(\{\eta _{i},|\psi _{i}\rangle \}_{i=1}^{n}\) can be expressed as
where
Equation (21) is called a primal problem. \(M_{\vec {p}}\) is said to be feasible if it safisfies the two constraints of (21), and strictly feasible if both \(M_{\vec {p}}\) and \(\mathbbm {1}-M_{\vec {p}}\) are positive-definite.
When constructing the Lagrangian57 as
We can derive the dual problem58,59 of (21):
where E and K are two Hermitian operators on \(\fancyscript{H}_\text{S}\) corresponding to the Lagrange multipliers associated with \(M_{\vec {p}}\geqslant 0\) and \(\mathbbm {1}-M_{\vec {p}}\geqslant 0\). As in the primal problem, a pair (E, K) is said to be feasible if they satisfy the dual constraints of (24).
The first and second constraints of (24) are the positivity conditions of Lagrange multipliers and the last condition means the Lagrangian stability, i.e., \(\partial \fancyscript {L}/\partial M_{\vec {p}}=0\). The first constraint of (24) does not mean that E is positive semidefinite. The first and last constraints of (24) can be expressed as
therefore E can be omitted. When E is omitted, K is called feasbile if it is positive-semidefinite and satisfies Inequality (25) for all i. We use the superscript \(^{\star }\) to express the optimality of primal and dual variables.
The primal optimal value \(P_{\max }\) is an lower bound of the dual optimal value \(\text{Tr}K^{\star }\) because
for any feasible \(M_{\vec {p}}\) and (E, K). From Inequality (26), it can be easily seen that feasible \(M_{\vec {p}}\) and (E, K) with \(\text{Tr}(\rho M_{\vec {p}})=\text{Tr}K\) satisfy
which is called the complementary slackness condition. Applying \(K=\rho +E\) to \(\text{Tr}(M_{\vec {p}}E)=0\), we can have
or equivalently,
which are the complementary slackness condition that replaces \(\text{Tr}(M_{\vec {p}}E)=0\) when E is omitted. Due to the weak duality \(\text{Tr}M_{\vec {p}}^{\star }\leqslant \text{Tr}K^{\star }\), if feasible \(M_{\vec {p}}\) and (E, K) satisfying Eq. (27) exist, they are optimal and the strong duality \(\text{Tr}M_{\vec {p}}^{\star }=\text{Tr}K^{\star }\) holds. In addition, when strong duality holds, the optimal primal and dual variables satisfy Eq. (27).
The convex optimization problem given in (21) satisfies the well-known Slater’s condition57 (i.e., the existence of strictly feasible \(M_{\vec {p}}\)) as a sufficient condition for strong duality, so primal and dual problems provide the same optimal value, i.e., \(\text{Tr}K^{\star }=P_{\max }\). This implies that Eq. (27) is a necessary and sufficient condition for feasible \(M_{\vec {p}}\) and (E, K) to be optimal. Therefore, \(M_{\vec {p}}\) and (E, K) are optimal if and only if they satisfy the so-called Karush-Kuhn-Tucker (KKT) condition57,58,59,60:
The approach to finding an optimal solution using KKT condition is called the linear complementarity problem (LCP) approach4,61. The characteristic of LCP is that it considers both primal and dual variables, that it is neither the minimum nor the maximum problem [i.e., there is no objective function], and that the constraints are KKT condition (30).
From KKT condition (30), we can see that both \(\mathbbm {1}-M_{\vec {p}}^{\star }\) and \(K^{\star }\) are positive-semidefinite, nonzero, and not full rank. \(M_{\vec {p}}^{\star }\) is also positive-semidefinite and nonzero, but it may be full rank. Note that if \((M_{\vec {p}},E,K)\) and \((\bar{M}_{\vec {p}},\bar{E},\bar{K})\) satisfy KKT condition, so do \((M_{\vec {p}},\bar{E},\bar{K})\) and \((\bar{M}_{\vec {p}},E,K)\) because both \(M_{\vec {p}}\) and \(\bar{M}_{\vec {p}}\) are primal optimal and both (E, K) and \((\bar{E},\bar{K})\) are dual optimal. Furthermore, the optimality condition for \((M_{\vec {p}},E,K)\) can be converted to one for \((M_{\vec {p}},K)\) by replacing the constraints for E with (25) and (28). Thus, \((M_{\vec {p}},K)\) is optimal if and only if
If Condition (30) holds for \((M_{\vec {p}},K,E)\), then Condition (31) holds for \((M_{\vec {p}},K)\). Conversely, if \((M_{\vec {p}},K)\) satisfies Condition (31), \((M_{\vec {p}},K,E)\) with \(E=K-\rho \) satisfies Condition (30).
We will selectively use Conditions (30) and (31) because both have their respective advantages. Eliminating the dual variable E simplifies the form of the dual problem and KKT condition, so Condition (31) is useful for demonstrating the optimality of given variables or for deriving the condition that fixed variables must be optimal. On the other hand, leaving E as in Condition (30) allows a useful condition, Lagrangian stability, to be used. The Lagrangian stability condition is useful for demonstrating the uniqueness of optimal variables.
Lemma 1
\(\vec {p}^{\star }\) is unique.
Proof
Assume that both \(M_{\vec {p}}\) and \(\bar{M}_{\vec {p}}\) are primal optimal and (K, E) is dual optimal. Then, both \((M_{\vec {p}},E,K)\) and \((\bar{M}_{\vec {p}},E,K)\) satisfy Condition (30). Since \(\text{Tr}[(\mathbbm {1}-M_{\vec {p}})K]=0\), it follows that
In a similar way,
From the above equation and \(K=\rho +E\), we obtain
From Eq. (22), we have
in which the first and last equalities hold due to
Since \(\rho \) is invertible, \(M_{\vec {p}}=\bar{M}_{\vec {p}}\). This means that \(M_{\vec {p}}^{\star }\) is unique. Therefore, \(p^{\star }\) is unique \(\square \).
The uniqueness of optimal primal variables tells us that the optimal UD of n linearly independent pure states is a problem of finding only one point \(\vec {p}^{\star }\) in \(\mathbb {R}^{n}\).
The optimal dual variable \(K^{\star }\) is generally not unique, but it is uniquely determined when the zero eigenvalue of \(\mathbbm {1}-M_{\vec {p}}^{\star }\) is not degenerate49. In this case, it is easy to find the detail relation between \(\{\eta _{i},|\psi _{i}\rangle \}_{i=1}^{n}\) and the optimal UD measurement(or \(\vec {p}^{\star }\)). The simplest example is the case where only \(p_{1}^{\star }\) is nonzero. In this case, the optimal UD measurement detects only \(|\psi _{1}\rangle \) unambiguously.
Proof of Theorem 1
In this section, we prove Theorem 1 using the optimality condition in (31). For the necessity, suppose that
Because of primal constraints (i),
Since the kernel of \(\mathbbm {1}-M_{\vec {p}}^{\star }\) must have a nonzero vector,
That is,
Because \(K^{\star }\) is a positive-semidefinite operator on the kernel of \(\mathbbm {1}-M_{\vec {p}}^{\star }\),
for some nonnegative number a. By (iii) of Condition (31), a is determined as \(\eta _{1}|\langle \tilde{\psi }_{1}|\tilde{\psi }_{1}\rangle |^{-2}\), that is,
Due to (iv) of Condition (31), the following inequality holds,
which proves the necessity of our theorem.
To prove sufficiency, we assume that
It is straightforward to verify that the following \((M_{\vec {p}},K)\) satisfies Condition (31);
and
Thus, \((M_{\vec {p}},K)\) is optimal, so
and \(p_{2}^{\star }=\cdots =p_{n}^{\star }=0\). This completes our proof.
Proof of Theorem 2
In this section, we suppose that only \(|\tilde{\Psi }_{1}\rangle \) is a product vector, which implies only \(|\Psi _{1}\rangle \) can be unambiguously discriminated using LOCC.
To prove the necessity, we assume that the globally optimal UD of \(\{\xi _{i},|\Psi _{i}\rangle \}_{i=1}^{n}\) is possible using LOCC. Thus, the globally optimal UD of \(\{\xi _{i},|\Psi _{i}\rangle \}_{i=1}^{n}\) is the optimally unambiguous detection of \(|\Psi _{1}\rangle \). From Theorem 1, Inequality (11) holds for each i, which proves the necessity of our theorem.
To prove sufficiency, suppose Inequality (11) holds for each i. According to Theorem 1, the globally optimal UD measurement of \(\{\xi _{i},|\Psi _{i}\rangle \}_{i=1}^{n}\) detects only one state \(|\Psi _{1}\rangle \) unambiguously. Thus, the optimally unambiguous detection of \(|\Psi _{1}\rangle \) means the projective measurement
Moreover, this projective measurement can be done using finite-round LOCC. To show this, let \(\fancyscript{H}_{k}\) be each party’s Hilbert space, i.e., \(\fancyscript{H}=\bigotimes _{k=1}^{m}\fancyscript{H}_{k}\). Since \(|\tilde{\Psi }_{1}\rangle \) is a product vector, its normalized form can be written as
in which \(|\phi _{k}\rangle \) is a pure state in \(\fancyscript{H}_{k}\). Each party performs a projective measurement \(\{|\phi _{k}\rangle \langle \phi _{k}|,\mathbbm {1}_{k}-|\phi _{k}\rangle \langle \phi _{k}|\}\), and all parties share their local measurement results through classical communication. Here \(\mathbbm {1}_{k}\) is the identity operator on \(\fancyscript{H}_{k}\). If the measurement result is \(|\phi _{k}\rangle \langle \phi _{k}|\) for all party k, they unambiguously discriminate \(|\Psi _{1}\rangle \), otherwise it is considered as inconclusive results. Thus, we can detect only \(|\Psi _{1}\rangle \) unambiguously and optimally using only finite-round LOCC. This implies that the globally optimal UD of \(\{\xi _{i},|\Psi _{i}\rangle \}_{i=1}^{n}\) can be achieved using LOCC, which proves the sufficiency of our theorem.
Nonexistence of complete \(2\otimes 2\) product basis where only one state can be unambiguously discriminated
Suppose that \(\{|\Psi _{i}\rangle \}_{i=1}^{4}\) is a normalized basis of \(\mathbb {C}^{2}\otimes \mathbb {C}^{2}\) and consists of four product states \(|\Psi _{i}\rangle =|\alpha _{i}\rangle \otimes |\beta _{i}\rangle \). Also, assume that the reciprocal vector \(|\tilde{\Psi }_{1}\rangle \) is a product vector, i.e., \(|\tilde{\Psi }_{1}\rangle =|\tilde{\alpha }\rangle \otimes |\tilde{\beta }\rangle \). This assumption implies that \(|\tilde{\alpha }\rangle \) is orthogonal to two of \(\{|\alpha _{i}\rangle \}_{i=2}^{4}\) or \(|\tilde{\beta }\rangle \) is orthogonal to two of \(\{|\beta _{i}\rangle \}_{i=2}^{4}\).
When \(|\alpha _{2}\rangle \) and \(|\alpha _{3}\rangle \) are orthogonal to \(|\tilde{\alpha }\rangle \), the two vectors are linearly dependent because they are in \(\mathbb {C}^{2}\). Since \(|\Psi _{2}\rangle \) and \(|\Psi _{3}\rangle \) are linearly independent, \(|\beta _{2}\rangle \) and \(|\beta _{3}\rangle \) span \(\mathbb {C}^{2}\), and thus all vectors orthogonal to both \(|\Psi _{2}\rangle \) and \(|\Psi _{3}\rangle \) are in \(\{|\tilde{\alpha }\rangle \otimes |\varphi \rangle :|\varphi \rangle \in \mathbb {C}^{2}\}\). This means that \(|\tilde{\Psi }_{4}\rangle \) is a product vector because \(\langle \tilde{\Psi }_{4}|\Psi _{i}\rangle =0\) for \(i\ne 4\). In any case, we can similarly show that at least one of \(\{|\tilde{\Psi }_{i}\rangle \}_{i=2}^{4}\) is a product vector. Therefore, there is no set of four linearly independent \(2\otimes 2\) product states where only one state can be unambiguously discriminated.
References
Chefles, A. Quantum state discrimination. Contemp. Phys. 41, 401 (2000).
Barnett, S. M. & Croke, S. Quantum state discrimination. Adv. Opt. Photon. 1, 238 (2009).
Bergou, J. A. Discrimination of quantum states. J. Mod. Opt. 57, 160 (2010).
Bae, J. & Kwek, L.-C. Quantum state discrimination and its applications. J. Phys. A 48, 083001 (2015).
Bennett, C. H. et al. Quantum nonlocality without entanglement. Phys. Rev. A 59, 1070 (1999).
Walgate, J., Short, A. J., Hardy, L. & Vedral, V. Local distinguishability of multipartite orthogonal quantum states. Phys. Rev. Lett. 85, 4972 (2000).
Bennett, C. H. et al. Unextendible product bases and bound entanglement. Phys. Rev. Lett. 82, 5385 (1999).
Ghosh, S., Kar, G., Roy, A., Sen(De), A. & Sen, U. Distinguishability of Bell states. Phys. Rev. Lett. 87, 277902 (2001).
Walgate, J. & Hardy, L. Nonlocality, asymmetry, and distinguishing bipartite states. Phys. Rev. Lett. 89, 147901 (2002).
Divincenzo, D. P., Mor, T., Shor, P. W., Smolin, J. A. & Terhal, B. M. Unextendible product bases, uncompletable product bases and bound entanglement. Commun. Math. Phys. 238, 379 (2003).
Ghosh, S., Kar, G., Roy, A. & Sarkar, D. Distinguishability of maximally entangled states. Phys. Rev. A 70, 022304 (2004).
Fan, H. Distinguishability and indistinguishability by local operations and classical communication. Phys. Rev. Lett. 92, 177905 (2004).
Watrous, J. Bipartite subspaces having no bases distinguishable by local operations and classical communication. Phys. Rev. Lett. 95, 080505 (2005).
Niset, J. & Cerf, N. J. Multipartite nonlocality without entanglement in many dimensions. Phys. Rev. A 74, 052103 (2006).
Cohen, S. M. Local distinguishability with preservation of entanglement. Phys. Rev. A 75, 052313 (2007).
Duan, R., Feng, Y., Xin, Y. & Ying, M. Distinguishability of quantum states by separable operations. IEEE Trans. Inf. Theory 55, 1320 (2009).
Kleinmann, M., Kampermann, H. & Bruß, D. Asymptotically perfect discrimination in the local-operation-and-classical-communication paradigm. Phys. Rev. A 84, 042326 (2011).
Bandyopadhyay, S. Entanglement, mixedness, and perfect local discrimination of orthogonal quantum states. Phys. Rev. A 85, 042319 (2012).
Yang, Y.-H., Gao, F., Tian, G.-J., Cao, T.-Q. & Wen, Q.-Y. Local distinguishability of orthogonal quantum states in a \(2\bigotimes 2\bigotimes 2\) system. Phys. Rev. A 88, 024301 (2013).
Zhang, Z.-C., Gao, F., Tian, G.-J., Cao, T.-Q. & Wen, Q.-Y. Nonlocality of orthogonal product basis quantum states. Phys. Rev. A 90, 022313 (2014).
Chitambar, E., Duan, R. & Hsieh, M.-H. When do local operations and classical communication suffice for two-qubit state discrimination?. IEEE Trans. Inf. Theory 60, 1549 (2014).
Wang, Y.-L., Li, M.-S., Zheng, Z.-J. & Fei, S.-M. Nonlocality of orthogonal product-basis quantum states. Phys. Rev. A 92, 032313 (2015).
Xu, G.-B., Yang, Y.-H., Wen, Q.-Y., Qin, S.-J. & Gao, F. Locally indistinguishable orthogonal product bases in arbitrary bipartite quantum system. Sci. Rep. 6, 31048 (2016).
Zhang, Z.-C., Gao, F., Cao, Y., Qin, S.-J. & Wen, Q.-Y. Local indistinguishability of orthogonal product states. Phys. Rev. A 93, 012314 (2016).
Zhang, X., Weng, J., Tan, X. & Luo, W. Indistinguishability of pure orthogonal product states by LOCC. Quantum Inf. Process. 16, 168 (2017).
Halder, S., Banik, M., Agrawal, S. & Bandyopadhyay, S. Strong quantum nonlocality without entanglement. Phys. Rev. Lett. 122, 040403 (2019).
Jiang, D.-H. & Xu, G.-B. Nonlocal sets of orthogonal product states in an arbitrary multipartite quantum system. Phys. Rev. A 102, 032211 (2020).
Bhattacharya, S. S., Saha, S., Guha, T. & Banik, M. Nonlocality without entanglement: Quantum theory and beyond. Phys. Rev. Res. 2, 012068 (2020).
Helstrom, C. W. Quantum Detection and Estimation Theory (Academic Press, 1976).
Holevo, A. S. Probabilistic and Statistical Aspects of Quantum Theory (North-Holland, 1979).
Yuen, H., Kennedy, R. & Lax, M. Optimum testing of multiple hypotheses in quantum detection theory. IEEE Trans. Inf. Theory 21, 125 (1975).
Virmani, S., Sacchi, M. F., Plenio, M. B. & Markham, D. Optimal local discrimination of two multipartite pure states. Phys. Lett. A 288, 62 (2001).
Peres, A. & Wootters, W. K. Optimal detection of quantum information. Phys. Rev. Lett. 66, 1119 (1991).
Chitambar, E. & Hsieh, M.-H. Revisiting the optimal detection of quantum information. Phys. Rev. A 88, 020302 (2013).
Chitambar, E., Leung, D., Mančinska, L., Ozols, M. & Winter, A. Everything you always wanted to know about LOCC (but were afraid to ask). Commun. Math. Phys. 328, 303 (2014).
LOCC consists of finite- and infinite-round LOCC. Asymptotic LOCC is the closure of finite-round LOCC. It contains LOCC. We also note that SEP contains asymptotic LOCC, but not vice versa.
Ha, D. & Kwon, Y. Quantum nonlocality without entanglement: Explicit dependence on prior probabilities of nonorthogonal mirror-symmetric states. npj Quantum Inf. 7, 81 (2021).
Ivanovic, I. D. How to differentiate between non-orthogonal states. Phys. Lett. A 123, 257 (1987).
Peres, A. How to differentiate between non-orthogonal states. Phys. Lett. A 128, 19 (1988).
Dieks, D. Overlap and distinguishability of quantum states. Phys. Lett. A 126, 303 (1988).
Jaeger, G. & Shimony, A. Optimal distinction between two non-orthogonal quantum states. Phys. Lett. A 197, 83 (1995).
Chefles, A. Unambiguous discrimination between linearly independent quantum states. Phys. Lett. A 239, 339 (1998).
Chefles, A. Condition for unambiguous state discrimination using local operations and classical communication. Phys. Rev. A 69, 050307(R) (2004).
Duan, R., Feng, Y., Ji, Z. & Ying, M. Distinguishing arbitrary multipartite basis unambiguously using local operations and classical communication. Phys. Rev. Lett. 98, 230502 (2007).
Bandyopadhyay, S. & Walgate, J. Local distinguishability of any three quantum states. J. Phys. A 42, 072002 (2009).
Chen, Y.-X. & Yang, D. Optimal conclusive discrimination of two nonorthogonal pure product multipartite states through local operations. Phys. Rev. A 64, 064303 (2001).
Chen, Y.-X. & Yang, D. Optimally conclusive discrimination of nonorthogonal entangled states by local operations and classical communications. Phys. Rev. A 65, 022320 (2002).
Ji, Z., Cao, H. & Ying, M. Optimal conclusive discrimination of two states can be achieved locally. Phys. Rev. A 71, 032323 (2005).
Pang, S. & Wu, S. Optimum unambiguous discrimination of linearly independent pure states. Phys. Rev. A 80, 052320 (2009).
Sugimoto, H., Hashimoto, T., Horibe, M. & Hayashi, A. Complete solution for unambiguous discrimination of three pure states with real inner products. Phys. Rev. A 82, 032338 (2010).
Terhal, B. M., DiVincenzo, D. P. & Leung, D. W. Hiding bits in Bell states. Phys. Rev. Lett. 86, 5807 (2001).
Divincenzo, D. P., Leung, D. W. & Terhal, B. M. Quantum data hiding. IEEE Trans. Inf. Theory 48, 580 (2002).
Eggeling, T. & Werner, R. F. Hiding classical data in multipartite quantum states. Phys. Rev. Lett. 89, 097905 (2002).
Matthews, W., Wehner, S. & Winter, A. Distinguishability of quantum states under restricted families of measurements with an application to quantum data hiding. Commun. Math. Phys. 291, 813 (2009).
Rahaman, R. & Parker, M. G. Quantum scheme for secret sharing based on local distinguishability. Phys. Rev. A 91, 022330 (2015).
Wang, J., Li, L., Peng, H. & Yang, Y. Quantum-secret-sharing scheme based on local distinguishability of orthogonal multiqudit entangled states. Phys. Rev. A 95, 022320 (2017).
Boyd, S. & Vandenberghe, L. Convex Optimization (Cambridge University Press, 2004).
Eldar, Y. C. A semidefinite programming approach to optimal unambiguous discrimination of quantum states. IEEE Trans. Inf. Theory 49, 446 (2003).
Eldar, Y. C., Stojnic, M. & Hassibi, B. Optimal quantum detectors for unambiguous detection of mixed states. Phys. Rev. A 69, 062318 (2004).
Nakahira, K., Kato, K. & Usuda, T. S. Generalized quantum state discrimination problems. Phys. Rev. A 91, 052304 (2015).
Bae, J. Structure of minimum-error quantum state discrimination. New J. Phys. 15, 073037 (2013).
Acknowledgements
This work was supported by Quantum Computing Technology Development Program(NRF-2020M3E4A1080088) through the National Research Foundation of Korea(NRF) grant funded by the Korea government(Ministry of Science and ICT).
Author information
Authors and Affiliations
Contributions
D.H. and J.S.K. contributed to design the ideas, perform the calculations, analyse the results and write the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher's note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ha, D., Kim, J.S. Quantum nonlocality without entanglement depending on nonzero prior probabilities in optimal unambiguous discrimination. Sci Rep 11, 17695 (2021). https://doi.org/10.1038/s41598-021-97103-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598-021-97103-y
- Springer Nature Limited