Genuinely nonlocal sets without entanglement in multipartite systems

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 ᵢ₌₁ⁿC^dᵢ [3≤(d₁-1)≤d₂≤⋯≤dₙ,4pt0exn≥3]. Then we present two constructions with genuine nonlocality of type II in C^d₁C^d₂C^d₃ (3≤d₁≤d₂≤d₃) and ᵢ₌₁ⁿC^dᵢ (3≤d₁≤d₂≤⋯≤dₙ,4pt0exn≥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.