Orthogonal product sets with strong quantum nonlocality on a plane structure

In this paper, we consider the orthogonal product set (OPS) with strong quantum nonlocality in multipartite quantum systems. Based on the decomposition of plane geometry, we present a sufficient condition for the triviality of orthogonality-preserving positive operator-valued measures on fixed subsystem and partially answer an open question given by Yuan et al. [Phys. Rev. A 102, 042228 (2020), 10.1103/PhysRevA.102.042228]. The connection between the nonlocality and the plane structure of OPSs is established. We successfully construct a strongly nonlocal OPS in C^d_A⊗C^d_B⊗C^d_C(d_A,d_B,d_C≥4 ) , which contains fewer quantum states, and generalize the structures of known OPSs to any possible three and four-partite systems. In addition, we propose several entanglement-assisted protocols for perfectly local discrimination of the sets. It is shown that the protocols without teleportation use less entanglement resources that on average and these sets can always be discriminated locally with multiple copies of two-qubit maximally entangled states. These results also exhibit nontrivial signification of maximally entangled states in the local discrimination of quantum states.