Constructing locally indistinguishable orthogonal product bases in an system
Recently, Zhang et al [Phys. Rev. A 92, 012332 (2015)] presented orthogonal product states that are locally indistinguishable and completable in a quantum system. Later, Zhang et al. [arXiv: 1509.01814v2 (2015)] constructed orthogonal product states that are locally indistinguishable in (). In this paper, we construct a locally indistinguishable and completable orthogonal product basis with members in a general () quantum system, where is an arbitrary integer from to , and give a very simple but quite effective proof for its local indistinguishability. Specially, we get a completable orthogonal product basis with members that cannot be locally distinguished in () when . It is so far the smallest completable orthogonal product basis that cannot be locally distinguished in a quantum system. On the other hand, we construct a small locally indistinguishable orthogonal product basis with members, which is maybe uncompletable, in ( and is an arbitrary integer from to ). We also prove its local indistinguishability. As a corollary, we give an uncompletable orthogonal product basis with members that are locally indistinguishable in (). All the results can lead us to a better understanding of the structure of a locally indistinguishable product basis in .