Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:0705.0795 · IEEE Transactions on Information Theory

Distinguishability of Quantum States by Separable Operations

Runyao Duan, Yuan Feng, Yu Xin, Mingsheng Ying

Published Feb 26, 2009• 99 citations
arXivHTMLPDF

Abstract

In this paper, we study the distinguishability of multipartite quantum states by separable operations. We first present a necessary and sufficient condition for a finite set of orthogonal quantum states to be distinguishable by separable operations. An analytical version of this condition is derived for the case of(D-1) pure states, whereDis the total dimension of the state space under consideration. A number of interesting consequences of this result are then carefully investigated. Remarkably, we show there exists a large class of 2 otimes 2 separable operations not being realizable by local operations and classical communication. Before our work, only a class of 3 otimes 3 nonlocal separable operations was known [Bennett , Phys. Rev. A 59, 1070 (1999)]. We also show that any basis of the orthogonal complement of a multipartite pure state is indistinguishable by separable operations if and only if this state cannot be a superposition of one or two orthogonal product states, i.e., has an orthogonal Schmidt number not less than three, thus generalize the recent work about indistinguishable bipartite subspaces [Watrous, Phys. Rev. Lett. 95, 080505 (2005)]. Notably, we obtain an explicit construction of indistinguishable subspaces of dimension 7 (or 6) by considering a composite quantum system consisting of two qutrits (resp., three qubits), which is slightly better than the previously known indistinguishable bipartite subspace with dimension 8.

DOI
10.1109/tit.2008.2011524

Related papers

Quantum nonlocality of multipartite orthogonal product states

Guang‐Bao Xu, Qiaoyan Wen, Su‐Juan Qin +2 more

Local distinguishability of orthogonal quantum states is an area of active research in quantum information theory. However, most of the relevant results are about local distinguishability in bipartite Hilbert space and very little is known about the multipartite case. In this paper we present a generic method to construct a completable $n$-partite $(n\ensuremath{\ge}3)$ product basis with only $2n$ members, which exhibits nonlocality without entanglement with $n$ parties, each holding a system of any finite dimension. We give an effective proof of the nonlocality of the completable multipartite product basis. In addition, we construct another incomplete multipartite product basis with a smaller number of members that cannot be distinguished by local operations and classical communication in a ${d}_{1}\ensuremath{\bigotimes}{d}_{2}\ensuremath{\bigotimes}\ensuremath{\cdots}\ensuremath{\bigotimes}{d}_{n}$ quantum system, where $n\ensuremath{\ge}3$ and ${d}_{i}\ensuremath{\ge}2$ for $i=1,2,...,n$. The results can lead to a better understanding of the phenomenon of nonlocality without entanglement in any multipartite quantum system.

Physical Review A•Mar 28, 2016•124 citations

Construction of nonlocal multipartite quantum states

Zhichao Zhang, Kejia Zhang, Fei Gao +2 more

For general bipartite quantum systems, many sets of locally indistinguishable orthogonal product states have been constructed so far. Here, we first present a general method to construct multipartite orthogonal product states in ${d}_{1}\ensuremath{\bigotimes}{d}_{2}\ensuremath{\bigotimes}\ensuremath{\cdots}\ensuremath{\bigotimes}{d}_{n}({d}_{1,2,\ensuremath{\cdots},n}\ensuremath{\ge}3,n\ensuremath{\ge}4)$ by using some locally indistinguishable bipartite orthogonal product states. And we prove that these multipartite orthogonal quantum states cannot be distinguished by local operations and classical communication. Furthermore, in ${d}_{1}\ensuremath{\bigotimes}{d}_{2}\ensuremath{\bigotimes}\ensuremath{\cdots}\ensuremath{\bigotimes}{d}_{n}({d}_{1,2,\ensuremath{\cdots},n}\ensuremath{\ge}3,n\ensuremath{\ge}5)$, we give a general method to construct a much smaller number of locally indistinguishable multipartite orthogonal product states for even and odd $n$ separately. In addition, we also present a general method to construct complete orthogonal product bases for the multipartite quantum systems. Our results demonstrate the phenomenon of nonlocality without entanglement for the multipartite quantum systems.

Physical Review A•May 24, 2017•68 citations

Nonlocality of orthogonal product-basis quantum states

Yan-Ling Wang, Mao-Sheng Li, Zhu‐Jun Zheng +1 more

We study the local indistinguishability of mutually orthogonal product basis quantum states in the high-dimensional quantum system. In the quantum system of ${\mathbb{C}}^{d}\ensuremath{\bigotimes}{\mathbb{C}}^{d}$, where $d$ is odd, Zhang et al. [Z.-C. Zhang et al., Phys. Rev. A 90, 022313 (2014)] have constructed ${d}^{2}$ orthogonal product basis quantum states that are locally indistinguishable. We find a subset that contains $6d\ensuremath{-}9$ orthogonal product states that are still locally indistinguishable. We generalize our method to an arbitrary bipartite quantum system ${\mathbb{C}}^{m}\ensuremath{\bigotimes}{\mathbb{C}}^{n}$. We present a small set with only $3(m+n)\ensuremath{-}9$ orthogonal product states and prove that these states are local operations and classical communication (LOCC) indistinguishable. Even though these $3(m+n)\ensuremath{-}9$ product states are LOCC indistinguishable, they can be distinguished by separable measurements. This shows that separable operations are strictly stronger than the local operations and classical communication.

arXiv:1509.06927•Physical Review A•Sep 10, 2015•108 citations

Local indistinguishability of orthogonal product states

Zhichao Zhang, Fei Gao, Ya Nan Cao +2 more

In the general bipartite quantum system $m\ensuremath{\bigotimes}n\phantom{\rule{0.16em}{0ex}}(m,n\ensuremath{\ge}3)$, Y.-L. Wang et al. [Phys. Rev. A 92, 032313 (2015)] presented $3(m+n)\ensuremath{-}9$ orthogonal product states which cannot be distinguished by local operations and classical communication (LOCC). In this paper, we aim to construct less locally indistinguishable orthogonal product states in $m\ensuremath{\bigotimes}n$. First, in the $3\ensuremath{\bigotimes}n\phantom{\rule{0.28em}{0ex}}(3<n)$ quantum system, we construct $3n\ensuremath{-}2$ locally indistinguishable orthogonal product states which are not unextendible product bases. Then, for $m\ensuremath{\bigotimes}n\phantom{\rule{0.28em}{0ex}}(4\ensuremath{\le}m\ensuremath{\le}n)$, we present $3n+m\ensuremath{-}4$ orthogonal product states which cannot be perfectly distinguished by LOCC. Finally, in the general bipartite quantum system $m\ensuremath{\bigotimes}n\phantom{\rule{0.28em}{0ex}}(3\ensuremath{\le}m\ensuremath{\le}n)$, we show a smaller set with $2n\ensuremath{-}1$ orthogonal product states and prove that these states are LOCC indistinguishable using a very simple but quite effective method. All of the above results demonstrate the phenomenon of nonlocality without entanglement.

arXiv:1509.01814•Physical Review A•Jan 8, 2016•87 citations

Local distinguishability based genuinely quantum nonlocality without entanglement

Mao-Sheng Li, Yan-Ling Wang, Fei Shi +1 more

Abstract Recently, Halder et al (2019 Phys. Rev. Lett. 122 040403) proposed the concept of strong nonlocality without entanglement: an orthogonal set of fully product states in multipartite quantum systems that is locally irreducible for every bipartition of its subsystems. Due to the complexity of the problem, most results are limited to tripartite systems. Here we consider a weaker form of nonlocality which is called local distinguishability based genuine nonlocality. A set of orthogonal multipartite quantum states is said to be genuinely nonlocal if it is locally indistinguishable for every bipartition of the subsystems. In this work, we study how to construct sets of orthogonal product states which are genuinely nonlocal. Firstly, we present a set of product states with simple structure in bipartite systems that is locally indistinguishable. After that, based on a simple observation, we present a general method to construct genuinely nonlocal sets of multipartite product states by using those sets that are genuinely nonlocal but with less parties. As a consequence, we obtain that genuinely nonlocal sets of fully product states exist in any L parties systems ⨂ i = 1 L C d i provided L ⩾ 3 and d i ⩾ 3 for all i .

arXiv:2011.10286•Journal of Physics A Mathematical and Theoretical•Sep 21, 2021•26 citations

Distinguishability of Quantum States by Positive Operator-Valued Measures With Positive Partial Transpose

Nengkun Yu, Runyao Duan, Mingsheng Ying

We study the distinguishability of bipartite quantum states by positive operator-valued measures with positive partial transpose (PPT POVMs). The contributions of this paper include: 1) we give a negative answer to an open problem of showing a limitation of a previous known method for detecting nondistinguishability; 2) we show that a maximally entangled state and its orthogonal complement, no matter how many copies are supplied, cannot be distinguished by the PPT POVMs, even unambiguously. This result is much stronger than the previous known ones; and 3) we study the entanglement cost of distinguishing quantum states. It is proved that √{2/3}|00〉+√{1/3}|11〉 is sufficient and necessary for distinguishing three Bell states by the PPT POVMs. An upper bound of entanglement cost of distinguishing a d ⊗ d pure state and its orthogonal complement is obtained for separable operations. Based on this bound, we are able to construct two orthogonal quantum states, which cannot be distinguished unambiguously by separable POVMs, but finite copies would make them perfectly distinguishable by local operations and classical communication. We further observe that a two-qubit maximally entangled state is always enough for distinguishing a d ⊗ d pure state and its orthogonal complement by the PPT POVMs, no matter the value of d. In sharp contrast, an entangled state with Schmidt number at least d is always needed for distinguishing such two states by separable POVMs. As an application, we show that the entanglement cost of distinguishing a d ⊗ d maximally entangled state and its orthogonal complement must be a maximally entangled state for d=2, which implies that teleportation is optimal, and in general, it could be chosen as O(logd/d).

arXiv:1209.4222•IEEE Transactions on Information Theory•Feb 24, 2014•71 citations
In this paper, we study the distinguishability of multipartite quantum states by separable operations. We first present a necessary and sufficient condition for a finite set of orthogonal quantum states to be distinguishable by separable operations. An analytical version of this condition is derived for the case of(D-1) pure states, whereDis the total dimension of the state space under consideration. A number of interesting consequences of this result are then carefully investigated. Remarkably, we show there exists a large class of 2 otimes 2 separable operations not being realizable by local operations and classical communication. Before our work, only a class of 3 otimes 3 nonlocal separable operations was known [Bennett , Phys. Rev. A 59, 1070 (1999)]. We also show that any basis of the orthogonal complement of a multipartite pure state is indistinguishable by separable operations if and only if this state cannot be a superposition of one or two orthogonal product states, i.e., has an orthogonal Schmidt number not less than three, thus generalize the recent work about indistinguishable bipartite subspaces [Watrous, Phys. Rev. Lett. 95, 080505 (2005)]. Notably, we obtain an explicit construction of indistinguishable subspaces of dimension 7 (or 6) by considering a composite quantum system consisting of two qutrits (resp., three qubits), which is slightly better than the previously known indistinguishable bipartite subspace with dimension 8.
Local distinguishability of orthogonal quantum states is an area of active research in quantum information theory. However, most of the relevant results are about local distinguishability in bipartite Hilbert space and very little is known about the multipartite case. In this paper we present a generic method to construct a completable nnn-partite $(n\ensuremath{\ge}3)$ product basis with only 2n2n2n members, which exhibits nonlocality without entanglement with nnn parties, each holding a system of any finite dimension. We give an effective proof of the nonlocality of the completable multipartite product basis. In addition, we construct another incomplete multipartite product basis with a smaller number of members that cannot be distinguished by local operations and classical communication in a ${d}_{1}\ensuremath{\bigotimes}{d}_{2}\ensuremath{\bigotimes}\ensuremath{\cdots}\ensuremath{\bigotimes}{d}_{n}$ quantum system, where $n\ensuremath{\ge}3$ and ${d}_{i}\ensuremath{\ge}2$ for i=1,2,...,ni=1,2,...,ni=1,2,...,n. The results can lead to a better understanding of the phenomenon of nonlocality without entanglement in any multipartite quantum system.
For general bipartite quantum systems, many sets of locally indistinguishable orthogonal product states have been constructed so far. Here, we first present a general method to construct multipartite orthogonal product states in ${d}_{1}\ensuremath{\bigotimes}{d}_{2}\ensuremath{\bigotimes}\ensuremath{\cdots}\ensuremath{\bigotimes}{d}_{n}({d}_{1,2,\ensuremath{\cdots},n}\ensuremath{\ge}3,n\ensuremath{\ge}4)$ by using some locally indistinguishable bipartite orthogonal product states. And we prove that these multipartite orthogonal quantum states cannot be distinguished by local operations and classical communication. Furthermore, in ${d}_{1}\ensuremath{\bigotimes}{d}_{2}\ensuremath{\bigotimes}\ensuremath{\cdots}\ensuremath{\bigotimes}{d}_{n}({d}_{1,2,\ensuremath{\cdots},n}\ensuremath{\ge}3,n\ensuremath{\ge}5)$, we give a general method to construct a much smaller number of locally indistinguishable multipartite orthogonal product states for even and odd nnn separately. In addition, we also present a general method to construct complete orthogonal product bases for the multipartite quantum systems. Our results demonstrate the phenomenon of nonlocality without entanglement for the multipartite quantum systems.
We study the local indistinguishability of mutually orthogonal product basis quantum states in the high-dimensional quantum system. In the quantum system of ${\mathbb{C}}^{d}\ensuremath{\bigotimes}{\mathbb{C}}^{d}$, where ddd is odd, Zhang et al. [Z.-C. Zhang et al., Phys. Rev. A 90, 022313 (2014)] have constructed d2{d}^{2}d2 orthogonal product basis quantum states that are locally indistinguishable. We find a subset that contains $6d\ensuremath{-}9$ orthogonal product states that are still locally indistinguishable. We generalize our method to an arbitrary bipartite quantum system ${\mathbb{C}}^{m}\ensuremath{\bigotimes}{\mathbb{C}}^{n}$. We present a small set with only $3(m+n)\ensuremath{-}9$ orthogonal product states and prove that these states are local operations and classical communication (LOCC) indistinguishable. Even though these $3(m+n)\ensuremath{-}9$ product states are LOCC indistinguishable, they can be distinguished by separable measurements. This shows that separable operations are strictly stronger than the local operations and classical communication.
In the general bipartite quantum system $m\ensuremath{\bigotimes}n\phantom{\rule{0.16em}{0ex}}(m,n\ensuremath{\ge}3)$, Y.-L. Wang et al. [Phys. Rev. A 92, 032313 (2015)] presented $3(m+n)\ensuremath{-}9$ orthogonal product states which cannot be distinguished by local operations and classical communication (LOCC). In this paper, we aim to construct less locally indistinguishable orthogonal product states in $m\ensuremath{\bigotimes}n$. First, in the $3\ensuremath{\bigotimes}n\phantom{\rule{0.28em}{0ex}}(3<n)$ quantum system, we construct $3n\ensuremath{-}2$ locally indistinguishable orthogonal product states which are not unextendible product bases. Then, for $m\ensuremath{\bigotimes}n\phantom{\rule{0.28em}{0ex}}(4\ensuremath{\le}m\ensuremath{\le}n)$, we present $3n+m\ensuremath{-}4$ orthogonal product states which cannot be perfectly distinguished by LOCC. Finally, in the general bipartite quantum system $m\ensuremath{\bigotimes}n\phantom{\rule{0.28em}{0ex}}(3\ensuremath{\le}m\ensuremath{\le}n)$, we show a smaller set with $2n\ensuremath{-}1$ orthogonal product states and prove that these states are LOCC indistinguishable using a very simple but quite effective method. All of the above results demonstrate the phenomenon of nonlocality without entanglement.
Abstract Recently, Halder et al (2019 Phys. Rev. Lett. 122 040403) proposed the concept of strong nonlocality without entanglement: an orthogonal set of fully product states in multipartite quantum systems that is locally irreducible for every bipartition of its subsystems. Due to the complexity of the problem, most results are limited to tripartite systems. Here we consider a weaker form of nonlocality which is called local distinguishability based genuine nonlocality. A set of orthogonal multipartite quantum states is said to be genuinely nonlocal if it is locally indistinguishable for every bipartition of the subsystems. In this work, we study how to construct sets of orthogonal product states which are genuinely nonlocal. Firstly, we present a set of product states with simple structure in bipartite systems that is locally indistinguishable. After that, based on a simple observation, we present a general method to construct genuinely nonlocal sets of multipartite product states by using those sets that are genuinely nonlocal but with less parties. As a consequence, we obtain that genuinely nonlocal sets of fully product states exist in any L parties systems ⨂ i = 1 L C d i provided L ⩾ 3 and d i ⩾ 3 for all i .
We study the distinguishability of bipartite quantum states by positive operator-valued measures with positive partial transpose (PPT POVMs). The contributions of this paper include: 1) we give a negative answer to an open problem of showing a limitation of a previous known method for detecting nondistinguishability; 2) we show that a maximally entangled state and its orthogonal complement, no matter how many copies are supplied, cannot be distinguished by the PPT POVMs, even unambiguously. This result is much stronger than the previous known ones; and 3) we study the entanglement cost of distinguishing quantum states. It is proved that √{2/3}|00〉+√{1/3}|11〉 is sufficient and necessary for distinguishing three Bell states by the PPT POVMs. An upper bound of entanglement cost of distinguishing a d ⊗ d pure state and its orthogonal complement is obtained for separable operations. Based on this bound, we are able to construct two orthogonal quantum states, which cannot be distinguished unambiguously by separable POVMs, but finite copies would make them perfectly distinguishable by local operations and classical communication. We further observe that a two-qubit maximally entangled state is always enough for distinguishing a d ⊗ d pure state and its orthogonal complement by the PPT POVMs, no matter the value of d. In sharp contrast, an entangled state with Schmidt number at least d is always needed for distinguishing such two states by separable POVMs. As an application, we show that the entanglement cost of distinguishing a d ⊗ d maximally entangled state and its orthogonal complement must be a maximally entangled state for d=2, which implies that teleportation is optimal, and in general, it could be chosen as O(logd/d).