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:quant-ph/0602026 · Physical Review A

Local distinguishability with preservation of entanglement

Scott M. Cohen

Published May 10, 2007• 85 citations
arXivHTMLPDF

Abstract

I consider the deterministic distinguishability of a set of orthogonal, bipartite states when only a single copy is available and the parties are restricted to local operations and classical communication, but with the additional requirement that entanglement must be preserved in the process. Several general theorems aimed at characterizing sets of states with which the parties can succeed in such a task are proven. These include (i) a maximum for the number of states when the Schmidt rank of every outcome must be at least a given minimum, (ii) an upper bound (equal to the dimension of Hilbert space if entanglement need not be preserved) for the sum over Schmidt ranks of the initial states when only one-way classical communication is allowed, and (iii) separately, a necessary and a sufficient condition on the states such that their original Schmidt ranks can always be preserved. Two additional theorems explicitly demonstrate a trade-off between the extent to which the set of states fill Hilbert space, as measured by their Schmidt ranks, and how refined the parties must make their measurements, an important factor in determining the Schmidt rank the state can retain after it has been identified. It is shown that our bound on the sum of Schmidt ranks can be exceeded if two-way communication is permitted, and this includes the case that entanglement need not be preserved, so that this sum can exceed the dimension of Hilbert space. Such questions, concerning how the various results are affected by the resources used by the parties (amount of classical communication and types of local operations), are addressed for each theorem. This subject is closely related to the problem of locally purifying an entangled state from a mixed state, which is of direct relevance to teleportation and dense coding using a mixed-state resource. In an appendix, I give an extremely simple and transparent proof of ``nonlocality without entanglement,'' a phenomenon originally discussed by Bennett and co-workers several years ago.

DOI
10.1103/physreva.75.052313

Related papers

Local Distinguishability and Schmidt Number of Orthogonal States

Ping‐Xing Chen, Wei Jiang, Zheng-Wei Zhou +1 more

Now, the known ensembles of orthogonal states which are distinguishable by local operators and classical communication (LOCC) satisfy the condition that the sum of Schmidit numbers of the orthogonal states is not bigger than the dimensions of the whole space. A natural question is whether an arbitary ensembles of LOCC-distinguishable orthogonal states satisfies the condition. We first show that, in this paper, the answer is positive. Then we generalize it into multipartite systems, and show that a necessary condition for LOCC-distinguishability of multipartite orthogonal quantum states is that the sum of the least numbers of the product states (For bipartite system, the least number of product states is Schmidit number) of the orthogonal states is not bigger than the dimensions of the Hilbert space of the multipartite system. This necessary condition is very simple and general, and one can get many cases of indistinguishability by it. It means that the least number of the product states acts an important role in distinguishablity of states, and implies that the least number of the product states may be an good manifestion of quantum nonlocality in some sense. In fact, entanglement emphases the "amount" of nonlocality, but the least number of the product states emphases the types of nonlocality. For example, the known W states and GHZ states have different least number of the product states, and are different in type.

arXiv:quant-ph/0510198•Oct 26, 2005•2 citations

Nonlocality, Asymmetry, and Distinguishing Bipartite States

Jonathan Walgate, Lucién Hardy

Entanglement is a useful resource because some global operations cannot be locally implemented using classical communication. We prove a number of results about what is and what is not locally possible. We focus on orthogonal states, which can always be globally distinguished. We establish the necessary and sufficient conditions for a general set of 2 x 2 quantum states to be locally distinguishable, and for a general set of 2 x n quantum states to be distinguished given an initial measurement of the qubit. These results reveal a fundamental asymmetry to nonlocality, which is the origin of "nonlocality without entanglement," and we present a very simple proof of this phenomenon.

arXiv:quant-ph/0202034•Physical Review Letters•Sep 16, 2002•276 citations

Local distinguishability by projective measurement

Wei Jiang, Xi-Jun Ren, Zhou Xing-Xiang +2 more

This paper proves that a set of orthogonal pure states are indistinguishable by restricted local projective measurement and classical communication if the sum of their Schmidt ranks is larger than the dimension of their joint Hilbert space. This result is useful in determining the local distinguishability of quantum states and is stronger in some respects than that of Hayashi et al [Phys. Rev. Lett. 96 , 040501]. In addition, it presents a new method to determine the local distinguishability of orthogonal states by projecting measurement operators into their subspaces.

Chinese Physics B•Jul 31, 2009•1 citation

A sufficient and necessary condition for 2n− 1 orthogonal states to be locally distinguishable in aC2⊗Cnsystem

Wei Jiang, Xi-Jun Ren, Yu-Chun Wu +3 more

We investigate the local distinguishability of a set of orthogonal states on C2⊗Cn by mathematical induction. We prove that a set of 2n − 1 orthogonal states on C2⊗Cn can be locally discriminated by local operation and classical communication if and only if at most one of them is entangled, that is, the sum of Schmidt rank of these states should be no greater than the total Hilbert space dimension, 2n. Furthermore, we give some discussion about locally distinguishing any number of orthogonal states on C2⊗Cn and explain why this Schmidt-rank criterion cannot be generalized to locally discriminate any number of orthogonal states.

Journal of Physics A Mathematical and Theoretical•Jul 9, 2010•9 citations

Distinguishability of Quantum States by Separable Operations

Runyao Duan, Yuan Feng, Yu Xin +1 more

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.

arXiv:0705.0795•IEEE Transactions on Information Theory•Feb 26, 2009•99 citations

Entanglement of minimal dimension and a class of local state discrimination problems

Saronath Halder, Suchetana Goswami

In this work, we construct small sets of bipartite orthogonal pure states that cannot be perfectly distinguished by local operations and classical communication (LOCC). We mention that not all the states within the constructed sets are necessarily entangled. However, such a set contains at least one entangled state which cannot be conclusively identified by LOCC (with nonzero probability). Then, we show that the states of any such set can be perfectly distinguished by LOCC using a minimal-dimensional entangled resource state. Clearly, here the entangled resource state provides an advantage irrespective of the dimension of the given set. Using this result, we also prove that any pure entangled state is useful as a resource to distinguish the states of any present set unambiguously with nonzero probability under LOCC. These sets exist in all two-qudit Hilbert spaces. Furthermore, it is possible to decrease the average entanglement content of such a set or to increase the cardinality of the set without changing certain properties of the same.

quant-pharXiv:2603.28284•Mar 31, 2026•0 citations
I consider the deterministic distinguishability of a set of orthogonal, bipartite states when only a single copy is available and the parties are restricted to local operations and classical communication, but with the additional requirement that entanglement must be preserved in the process. Several general theorems aimed at characterizing sets of states with which the parties can succeed in such a task are proven. These include (i) a maximum for the number of states when the Schmidt rank of every outcome must be at least a given minimum, (ii) an upper bound (equal to the dimension of Hilbert space if entanglement need not be preserved) for the sum over Schmidt ranks of the initial states when only one-way classical communication is allowed, and (iii) separately, a necessary and a sufficient condition on the states such that their original Schmidt ranks can always be preserved. Two additional theorems explicitly demonstrate a trade-off between the extent to which the set of states fill Hilbert space, as measured by their Schmidt ranks, and how refined the parties must make their measurements, an important factor in determining the Schmidt rank the state can retain after it has been identified. It is shown that our bound on the sum of Schmidt ranks can be exceeded if two-way communication is permitted, and this includes the case that entanglement need not be preserved, so that this sum can exceed the dimension of Hilbert space. Such questions, concerning how the various results are affected by the resources used by the parties (amount of classical communication and types of local operations), are addressed for each theorem. This subject is closely related to the problem of locally purifying an entangled state from a mixed state, which is of direct relevance to teleportation and dense coding using a mixed-state resource. In an appendix, I give an extremely simple and transparent proof of ``nonlocality without entanglement,'' a phenomenon originally discussed by Bennett and co-workers several years ago.
Now, the known ensembles of orthogonal states which are distinguishable by local operators and classical communication (LOCC) satisfy the condition that the sum of Schmidit numbers of the orthogonal states is not bigger than the dimensions of the whole space. A natural question is whether an arbitary ensembles of LOCC-distinguishable orthogonal states satisfies the condition. We first show that, in this paper, the answer is positive. Then we generalize it into multipartite systems, and show that a necessary condition for LOCC-distinguishability of multipartite orthogonal quantum states is that the sum of the least numbers of the product states (For bipartite system, the least number of product states is Schmidit number) of the orthogonal states is not bigger than the dimensions of the Hilbert space of the multipartite system. This necessary condition is very simple and general, and one can get many cases of indistinguishability by it. It means that the least number of the product states acts an important role in distinguishablity of states, and implies that the least number of the product states may be an good manifestion of quantum nonlocality in some sense. In fact, entanglement emphases the "amount" of nonlocality, but the least number of the product states emphases the types of nonlocality. For example, the known W states and GHZ states have different least number of the product states, and are different in type.
Entanglement is a useful resource because some global operations cannot be locally implemented using classical communication. We prove a number of results about what is and what is not locally possible. We focus on orthogonal states, which can always be globally distinguished. We establish the necessary and sufficient conditions for a general set of 2 x 2 quantum states to be locally distinguishable, and for a general set of 2 x n quantum states to be distinguished given an initial measurement of the qubit. These results reveal a fundamental asymmetry to nonlocality, which is the origin of "nonlocality without entanglement," and we present a very simple proof of this phenomenon.
This paper proves that a set of orthogonal pure states are indistinguishable by restricted local projective measurement and classical communication if the sum of their Schmidt ranks is larger than the dimension of their joint Hilbert space. This result is useful in determining the local distinguishability of quantum states and is stronger in some respects than that of Hayashi et al [Phys. Rev. Lett. 96 , 040501]. In addition, it presents a new method to determine the local distinguishability of orthogonal states by projecting measurement operators into their subspaces.
We investigate the local distinguishability of a set of orthogonal states on C2⊗Cn by mathematical induction. We prove that a set of 2n − 1 orthogonal states on C2⊗Cn can be locally discriminated by local operation and classical communication if and only if at most one of them is entangled, that is, the sum of Schmidt rank of these states should be no greater than the total Hilbert space dimension, 2n. Furthermore, we give some discussion about locally distinguishing any number of orthogonal states on C2⊗Cn and explain why this Schmidt-rank criterion cannot be generalized to locally discriminate any number of orthogonal states.
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.
In this work, we construct small sets of bipartite orthogonal pure states that cannot be perfectly distinguished by local operations and classical communication (LOCC). We mention that not all the states within the constructed sets are necessarily entangled. However, such a set contains at least one entangled state which cannot be conclusively identified by LOCC (with nonzero probability). Then, we show that the states of any such set can be perfectly distinguished by LOCC using a minimal-dimensional entangled resource state. Clearly, here the entangled resource state provides an advantage irrespective of the dimension of the given set. Using this result, we also prove that any pure entangled state is useful as a resource to distinguish the states of any present set unambiguously with nonzero probability under LOCC. These sets exist in all two-qudit Hilbert spaces. Furthermore, it is possible to decrease the average entanglement content of such a set or to increase the cardinality of the set without changing certain properties of the same.