We prove that any three linearly independent pure quantum states can always be locally distinguished with nonzero probability regardless of their dimension, entanglement, or multipartite structure.
It is shown that the number of orthogonal density matrices that can be perfectly distinguished locally is bounded above by the total dimension over the average of maximal pure state entanglement in the supports of the density matrices. Thus we establish a direct connection between pure state entanglement and local distinguishability for any se t of orthogonal quantum states, pure or mixed. The result holds for any finite dimensional composite quantum system irrespective of the multipartite structure and dimensions of the individual su bsystems.
A subspace of a multipartite Hilbert space is completely entangled if it contains no product states. Such subspaces can be large with a known maximum size, S, approaching the full dimension of the system, D. We show that almost all subspaces with dimension less than or equal to S are completely entangled, and then use this fact to prove that n random pure quantum states are unambiguously locally distinguishable if and only if n does not exceed D-S. This condition holds for almost all sets of states of all multipartite systems, and reveals something surprising. The criterion is identical for separable and for nonseparable states: entanglement makes no difference.
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.