We exhibit an orthogonal set of product states of two three-state particles that nevertheless cannot be reliably distinguished by a pair of separated observers ignorant of which of the states has been presented to them, even if the observers are allowed any sequence of local operations and classical communication between the separate observers. It is proved that there is a finite gap between the mutual information obtainable by a joint measurement on these states and a measurement in which only local actions are permitted. This result implies the existence of separable superoperators that cannot be implemented locally. A set of states are found involving three two-state particles that also appear to be nonmeasurable locally. These and other multipartite states are classified according to the entropy and entanglement costs of preparing and measuring them by local operations.
We exhibit an orthogonal set of product states of two three-state particles that nevertheless cannot be reliably distinguished by a pair of separated observers ignorant of which of the states has been presented to them, even if the observers are allowed any sequence of local operations and classical communication between the separate observers. It is proved that there is a finite gap between the mutual information obtainable by a joint measurement on these states and a measurement in which only local actions are permitted. This result implies the existence of separable superoperators that cannot be implemented locally. A set of states are found involving three two-state particles that also appear to be nonmeasurable locally. These and other multipartite states are classified according to the entropy and entanglement costs of preparing and measuring them by local operations.
Quantum nonlocality is usually associated with entangled states by their violations of Bell-type inequalities. However, even unentangled systems, whose parts may have been prepared separately, can show nonlocal properties. In particular, a set of product states is said to exhibit "quantum nonlocality without entanglement" if the states are locally indistinguishable; i.e., it is not possible to optimally distinguish the states by any sequence of local operations and classical communication. Here, we present a stronger manifestation of this kind of nonlocality in multiparty systems through the notion of local irreducibility. A set of multiparty orthogonal quantum states is defined to be locally irreducible if it is not possible to locally eliminate one or more states from the set while preserving orthogonality of the postmeasurement states. Such a set, by definition, is locally indistinguishable, but we show that the converse does not always hold. We provide the first examples of orthogonal product bases on C^{d}⊗C^{d}⊗C^{d} for d=3, 4 that are locally irreducible in all bipartitions, where the construction for d=3 achieves the minimum dimension necessary for such product states to exist. The existence of such product bases implies that local implementation of a multiparty separable measurement may require entangled resources across all bipartitions.
We show that a pair of two-qubit product measurements can be perfectly distinguished when accessed jointly, yet cannot be perfectly distinguished when their local components are distributed between distant parties restricted to local quantum operations and classical communication (LOCC). This establishes a measurement analogue of nonlocality without entanglement that, unlike its state-based counterpart, emerges in a remarkably simple setting. We further uncover a hierarchy of LOCC discrimination strategies: adaptive protocols, in which the probe used at one site may depend on classical information obtained from another, can strictly outperform restricted non-adaptive protocols, as demonstrated by a set of six bipartite qutrit product measurements. We also show that LOCC distinguishability of bipartite measurements can be intrinsically directional, depending on which party initiates the protocol. More generally, we construct pairs of n-qubit product measurements that are globally perfectly distinguishable but cannot be perfectly distinguished across any bipartition, even when all parties on either side of the bipartition are allowed arbitrary joint quantum operations. Finally, we show how quantum data hiding based on quantum-process nonlocality without entanglement can be realized using elementary optical components.
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.
A set of quantum states is said to be antidistinguishable if, upon being given a randomly chosen state from the set, it is possible to exclude with certainty a state that was definitely not prepared. We study quantum nonlocality within the framework of local state exclusion and prove that any set of multipartite pure states containing a state that is orthogonal to all the others is locally antidistinguishable. Next, we introduce the task of local state antimarking, where, instead of a single state, a non-repetitive sequence of states from a known set of multipartite states is randomly selected and distributed to spatially separated parties, whose objective is to identify, using LOCC, at least one sequence that was not supplied. We present an ensemble of product states that is not globally antidistinguishable; yet, by choosing states from it without replacement, one can construct sequences that can be perfectly excluded globally but, importantly, not locally. This reveals a hitherto unexplored form of `nonlocality without entanglement'. Finally, for a given ensemble, we compare its local antidistinguishability and antimarkability with its conclusive local distinguishability and markability. We demonstrate that no strict hierarchy exists between these paradigms: there exist product-state ensembles that permit one task while strictly forbidding the other, and vice versa.
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.
A set of orthogonal product states is said to exhibit "quantum nonlocality without entanglement" if it is locally indistinguishable, i.e. no sequence of local operations and classical communication (LOCC) can perfectly discriminate the states. Building on this foundational idea, recent studies have highlighted the phenomenon of "genuine activation of hidden nonlocality", where a set of initially distinguishable orthogonal states becomes locally indistinguishable through orthogonality-preserving LOCC transformations. In this letter, we establish that any complete orthogonal product basis that is initially locally distinguishable remains so under all orthogonality-preserving local projective measurements, thereby ruling out activation via orthogonality-preserving local projective measurements and classical communication. We further introduce and formalise the notions of "strongly local sets", namely locally distinguishable sets that remain non-activable under all bipartitions. Interestingly, the study of "local activability" of distinguishable sets is useful to characterise the boundary between LOCC distinguishability and its irreversible loss in multipartite systems. Our results provide a rigorous structural understanding of local-to-nonlocal transitions in quantum state discrimination.