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.

An orthogonal product basis of a composite Hilbert space is genuinely nonlocal if the basis states are locally indistinguishable across every bipartition. From an operational point of view such a basis corresponds to a separable measurement that cannot be implemented by local operations and classical communication (LOCC) unless all the parties come together in a single location. In this work we classify genuinely nonlocal product bases into different categories. Our classification is based on state elimination property of the set via orthogonality-preserving measurements when all the parties are spatially separated or different subsets of the parties come together. We then study local state discrimination protocols for several such bases with additional entangled resources shared among the parties. Apart from consuming less entanglement than teleportation based schemes our protocols indicate operational significance of the proposed classification and exhibit nontrivial use of genuine entanglement in local state discrimination problem.

In a multipartite scenario quantum entanglement manifests its most dramatic form when the state is genuinely entangled. Such a state is more beneficial for information theoretic applications if it contains distillable entanglement in every bipartition. It is, therefore, of significant operational interest to identify subspaces of multipartite quantum systems that contain such properties apriori. In this letter, we introduce the notion of unextendible biseparable bases (UBB) that provides an adequate method to construct genuinely entangled subspaces (GES). We provide explicit construction of two types of UBBs -party symmetric and party asymmetric -for every 3-qudit quantum system, with local dimension d ≥ 3. Further we show that the GES resulting from the symmetric construction is indeed a bidistillable subspace, i.e., all the states supported on it contain distillable entanglement across every bipartition.

It is known that there exist sets of pure orthogonal product states which cannot be perfectly distinguished by local operations and classical communication (LOCC). Such sets are nonlocal sets which exhibit nonlocality without entanglement. These nonlocal sets can be completable or uncompletable. In this work both completable and uncompletable small nonlocal sets of multipartite orthogonal product states are constructed. Apart from nonlocality, these sets have other interesting properties. In particular, the completable sets lead to the construction of a class of complete orthogonal product bases with the property that if such a basis is given then no state can be eliminated from that basis by performing orthogonality-preserving measurements. On the other hand, an uncompletable set of the present kind contains several Shifts unextendible product bases (UPBs) that belong to qubit subspaces. Identifying these subspace UPBs, it is possible to obtain a class of high-dimensional multipartite bound entangled states. Finally, it is shown that a two-qubit maximally entangled Bell state shared between any two parties is sufficient as a resource to distinguish the states of any completable set (of the above kind) perfectly by LOCC. This constitutes an example where the amount of entanglement, sufficient to accomplish the aforesaid task, depends neither on the dimension of the individual subsystems nor on the number of parties.

We explore the question of using an entangled state as a universal resource for implementing quantum measurements by local operations and classical communication (LOCC). We show that for most systems consisting of three or more subsystems, there is no entangled state from the same space that can enable all measurements by LOCC. This is in direct contrast to the bipartite case, where a maximally entangled state is an universal resource. Our results are obtained showing an equivalence between the problem of local state transformation and that of entanglement-assisted local unambiguous state discrimination.