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 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 the 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 the local state discrimination problem.
Genuine nonlocality arises when a set of multipartite orthogonal states is locally indistinguishable under any bipartition of the subsystems. The entanglement-assisted discrimination of such genuinely nonlocal orthogonal product sets has attracted significant attention in quantum information. Based on the criterion of local irreducibility, genuine nonlocality is classified into Type I (reducible) and Type II (irreducible). We present entanglement-assisted discrimination schemes for both types of genuinely nonlocal sets that use minimal resources. For low-dimensional cases, Type I sets require only a single EPR pair, whereas Type II sets necessitate only one GHZ state. We extend these protocols to higher-dimensional systems: the discrimination of Type I sets requires only one maximally entangled state in a two-qutrit system, while that of Type II sets similarly demands a single maximally entangled state in a three-qutrit system. For
n-partite (
n>3) systems, Type I sets continue to require only one maximally entangled state, whereas Type II sets necessitate just one additional EPR pair compared to their Type I counterparts. These results provide a robust framework for the efficient discrimination of genuinely nonlocal sets using minimal quantum resources.
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 .
A set of orthogonal product states of a composite Hilbert space is genuinely nonlocal if the states are locally indistinguishable across any bipartition. In this work, we construct a minimal set of party asymmetry genuine nonlocal set in arbitrary large dimensional composite quantum systems
Cd⊗Cd⊗Cd. We provide a local discriminating protocol by using a three qubit GHZ state as a resource. On the contrary, we observe that single-copy of two qubit Bell states provide no advantage for this discrimination task. Recently, Halder et al. [Phys. Rev. Lett. 122, 040403 (2019)], proposed the concept of strong nonlocality without entanglement and ask an open question whether there exist an incomplete strong nonlocal set or not. In [Phys. Rev. A 102, 042228 (2020)], an answer is provided by the authors. Here, we construct an incomplete party asymmetry strong nonlocal set which is more stronger than the set constructed in [Phys. Rev. A 102, 042228 (2020)] with respect to the consumption of entanglement as a resource for their respective discrimination tasks.
It is shown that there exists a class of locally indistinguishable, completable, small set of
n-party (
n≥3) orthogonal product states, with
2n(d−1) members in
(d)⊗n dimensions (
d≥2), imposing the condition that no party is able to begin with a nontrivial and orthogonality preserving measurement in
d×d dimensions. In fact, it is possible to construct a multipartite nonlocal orthogonal product basis in
(d)⊗n dimensions which contains fewer than
2n(d−1) such states (along with other product states) and that does not satisfy the above mentioned condition. As a result of which some information, useful for state discrimination, can be extracted without disturbing the orthogonality of the post measurement states. So, imposing such a condition, is related to the stronger form of nonlocality. Finally, it is shown that a
2×2 maximally entangled state as resource, along with a local protocol, is sufficient for perfect discrimination of such a nonlocal set of n-party orthogonal product states in
(d)⊗n dimensions.
A set of multipartite orthogonal states is genuinely nonlocal if it is locally indistinguishable in every bipartition of the subsystems. If the set is locally reducible, we say it has genuine nonlocality of type I. Otherwise, we say it has genuine nonlocality of type II. Due to the complexity of the problem, the construction of genuinely nonlocal sets in general multipartite systems has not been completely solved so far. In this paper, we first provide a nonlocal set of product states in bipartite systems. We obtain a genuinely nonlocal set of type I without entanglement in general
n-partite systems ${\ensuremath{\bigotimes}}_{i=1}^{n}{\mathbb{C}}^{{d}_{i}}$ $[3\ensuremath{\le}({d}_{1}\ensuremath{-}1)\ensuremath{\le}{d}_{2}\ensuremath{\le}\ensuremath{\cdots}\ensuremath{\le}{d}_{n},\phantom{\rule{4pt}{0ex}}n\ensuremath{\ge}3]$. Then we present two constructions with genuine nonlocality of type II in ${\mathbb{C}}^{{d}_{1}}\ensuremath{\bigotimes}{\mathbb{C}}^{{d}_{2}}\ensuremath{\bigotimes}{\mathbb{C}}^{{d}_{3}}$ $(3\ensuremath{\le}{d}_{1}\ensuremath{\le}{d}_{2}\ensuremath{\le}{d}_{3})$ and ${\ensuremath{\bigotimes}}_{i=1}^{n}{\mathbb{C}}^{{d}_{i}}$ $(3\ensuremath{\le}{d}_{1}\ensuremath{\le}{d}_{2}\ensuremath{\le}\ensuremath{\cdots}\ensuremath{\le}{d}_{n},\phantom{\rule{4pt}{0ex}}n\ensuremath{\ge}4)$. Our results further positively answer the open problem that there does exist a genuinely nonlocal set of type II in multipartite systems [M. S. Li, Y. L. Wang, F. Shi, and M. H. Yung, J. Phys. A: Math. Theor. 54, 445301 (2021)] and highlight its related applications in quantum information processing.