Search

The imaginary in quantum theory plays a crucial role in describing quantum coherence and is widely applied in quantum information tasks such as state discrimination, pseudorandomness generation, and quantum metrology. A recent paper by Fernandes et al. [C. Fernandes, R. Wagner, L. Novo, and E. F. Galv\~ao, Phys. Rev. Lett. 133, 190201 (2024) ] showed how to use the Bargmann invariant to witness the imaginarity of a set of quantum states. In this work, we delve into the structure of Bargmann invariants and their quantum realization in qubit systems. First, we present a characterization of special sets of Bargmann invariants (also studied by Fernandes et al. for a set of four states) for a general set of $n$ quantum states. Then, we study the properties of the relevant Bargmann invariant set $\mathcal{B}_n$ and its quantum realization in qubit systems. Our results provide new insights into the structure of Bargmann invariants, contributing to the advancement of quantum information techniques, particularly within qubit systems., Comment: 11 pages, 4 figures

Quantum nonlocality is a significant feature in quantum information theory, prompting recent investigations into the potential reuse of post-measurement states to uncover nonlocality among sequentially measuring observers. While prior studies primarily focused on bipartite or tripartite systems and observers with one chain, such as multiple Bobs with a single Alice or multiple Charlies with a single Alice and Bob, our work extends beyond this framework. We explore sequential nonlocality in systems comprising more parties and observer chains. Our findings reveal that in $n$-partite systems, regardless of whether it is a single-chain or double-chain scenario, there exist unbounded sequential observers capable of detecting nonlocality through violations of the Mermin inequality. In contrast to the conjecture that sequential Bell nonlocality cannot manifest with multiple Alices and Bobs in bipartite systems (i.e., the double-chain setting)[Phys. Rev. A 104, L060201 (2021)], our results suggest that increasing the number of subsystems may enable more observer chains to detect nonlocality alongside single observers. Our study advances research on sequential nonlocality, providing valuable insights into its detection across diverse scenarios., Comment: 17 pages, 2 figures

Strong nonlocality, proposed by Halder {\it et al}. [\href{https://doi.org/10.1103/PhysRevLett.122.040403}{Phys. Rev. Lett. \textbf{122}, 040403 (2019)}], is a stronger manifestation than quantum nonlocality. Subsequently, Shi {\it et al}. presented the concept of the strongest nonlocality [\href{https://doi.org/10.22331/q-2022-01-05-619}{Quantum \textbf{6}, 619 (2022)}]. Recently, Li and Wang [\href{https://doi.org/10.22331/q-2023-09-07-1101}{Quantum \textbf{7}, 1101 (2023)}] posed the conjecture about a lower bound to the cardinality of the strongest nonlocal set $\mathcal{S}$ in $\otimes _{i=1}^{n}\mathbb{C}^{d_i}$, i.e., $|\mathcal{S}|\leq \max_{i}\{\prod_{j=1}^{n}d_j/d_i+1\}$. In this work, we construct the strongest nonlocal set of size $d^2+1$ in $\mathbb{C}^{d}\otimes \mathbb{C}^{d}\otimes \mathbb{C}^{d}$. Furthermore, we obtain the strongest nonlocal set of size $d_{2}d_{3}+1$ in $\mathbb{C}^{d_1}\otimes \mathbb{C}^{d_2}\otimes \mathbb{C}^{d_3}$. Our construction reaches the lower bound, which provides an affirmative solution to Li and Wang's conjecture. In particular, the strongest nonlocal sets we present here contain the least number of orthogonal states among the available results., Comment: 10 pages, 7 figures

The notion of strong nonlocality, which refers to local irreducibility of a set of orthogonal multipartite quantum states across each bipartition of the subsystems, was put forward by Halder et al. in [Phys. Rev. Lett. 122, 040403 (2019)]. Here, we show the existence of three orthogonal quantum states in (C^2)^{\otimes N} that cannot be perfectly distinguished locally across any bipartition of the subsystems. Specifically, all these three states are genuinely entangled, among which two are the N-qubit GHZ pairs. Since any three locally indistinguishable states are always locally irreducible, the three N-partite orthogonal states we present are strongly nonlocal. Thus, the caridnality of strongly nonlocal sets here is dramatically smaller than all known ones.

Quantum coherence is the key resource in quantum technologies including faster computing, secure communication and advanced sensing. Its quantification and detection are, therefore, paramount within the context of quantum information processing. Having certain priori knowledge on the observables may enhance the efficiency of coherence detection. In this work, we posit that the trace of the observables is a known quantity. Our investigation confirms that this assumption indeed extends the scope of coherence detection capabilities. Utilizing this prior knowledge of the trace of the observables, we establish a series of coherence detection criteria. We investigate the detection capabilities of these coherence criteria from diverse perspectives and ultimately ascertain the existence of four distinct and inequivalent criteria. These findings contribute to the deepening of our understanding of coherence detection methodologies, thereby potentially opening new avenues for advancements in quantum technologies., Comment: 9 pages, 3 figures

This study investigates measurement strategies in a scenario where multiple pairs of Alices and Bobs independently and sequentially observe entangled states. The aim is to maximize the number of observer pairs $(A_k,B_l)$ that can witness entanglement. Prior research has demonstrated that arbitrary pairs $(A_k, B_k)$ ($k\leq n$) can observe entanglement in all pure entangled states and a specific class of mixed entangled states [Phys. Rev. A 106 032419 (2022)]. However, it should be noted that other pairs $(A_k, B_l)$ with $(k\neq l \leq n)$ may not observe entanglement using the same strategy. Moreover, a novel strategy is presented, enabling every pair of arbitrarily many Alices and Bobs to witness entanglement regardless of the initial state being a Bell state or a particular class of mixed entangled states. These findings contribute to understanding measurement strategies for maximizing entanglement observation in various contexts., Comment: 11 pages, 2 figures

In recent times, there has been a growing scholarly focus on investigating the intricacies of quantum channel mixing. It has been commonly believed, based on intuition in the literature, that every generalized Pauli channel with dimensionality $d$ could be represented as a convex combination of $(d+1)$ generalized Pauli dephasing channels (see [Phys. Rev. A 103, 022605 (2021)] as a reference). To our surprise, our findings indicate the inaccuracy of this intuitive perspective. This has stimulated our interest in exploring the properties of convex combinations of generalized Pauli channels, beyond the restriction to just $(d+1)$ generalized Pauli dephasing channels. We demonstrate that many previously established properties still hold within this broader context. For instance, any mixture of invertible generalized Pauli channels retains its invertibility. It's worth noting that this property doesn't hold when considering the Weyl channels setting. Additionally, we demonstrate that every Pauli channel (for the case of $d=2$) can be represented as a mixture of $(d+1)$ Pauli dephasing channels, but this generalization doesn't apply to higher dimensions. This highlights a fundamental distinction between qubit and general qudit cases. In contrast to prior understanding, we show that non-invertibility of mixed channels is not a prerequisite for the resulting mapping to constitute a Markovian semigroup., Comment: 9 pages, 2 figures

A set of orthogonal multipartite quantum states are called (distinguishability-based) genuinely nonlocal if they are locally indistinguishable across any bipartition of the subsystems. In this work, we consider the problem of constructing small genuinely nonlocal sets consisting of generalized GHZ states in multipartite systems. For system (C^2)^(\otimes N) where N is large, using the language of group theory, we show that a tiny proportion {\Theta}[1/2^(N/2)] of the states among the N-qubit GHZ basis suffice to exhibit genuine nonlocality. Similar arguments also hold for the canonical generalized GHZ bases in systems (C^d)^(\otimes N), wherever d is even and N is large. What is more, moving to the condition that any fixed N is given, we show that d + 1 genuinely nonlocal generalized GHZ states exist in (C^d)^(\otimes N), provided the local dimension d is sufficiently large. As an additional merit, within and beyond an asymptotic sense, the latter result also indicates some evident limitations of the "trivial othogonality-preserving local measurements" (TOPLM) technique that has been utilized frequently for detecting genuine nonlocality., Comment: accepted by PRA in January 2024

The nonlocal set has received wide attention over recent years. Shortly before, Li and Wang arXiv:2202.09034 proposed the concept of a locally stable set: the only possible orthogonality preserving measurement on each subsystem is trivial. Locally stable sets present stronger nonlocality than those sets that are just locally indistinguishable. In this work, we focus on the constructions of locally stable sets in multipartite quantum systems. First, two lemmas are put forward to prove that an orthogonality-preserving local measurement must be trivial. Then we present the constructions of locally stable sets with minimum cardinality in bipartite quantum systems $\mathbb{C}^{d}\otimes \mathbb{C}^{d}$ $(d\geq 3)$ and $\mathbb{C}^{d_{1}}\otimes \mathbb{C}^{d_{2}}$ $(3\leq d_{1}\leq d_{2})$. Moreover, for the multipartite quantum systems $(\mathbb{C}^{d})^{\otimes n}$ $(d\geq 2)$ and $\otimes^{n}_{i=1}\mathbb{C}^{d_{i}}$ $(3\leq d_{1}\leq d_{2}\leq\cdots\leq d_{n})$, we also obtain $d+1$ and $d_{n}+1$ locally stable orthogonal states respectively. Fortunately, our constructions reach the lower bound of the cardinality on the locally stable sets, which provides a positive and complete answer to an open problem raised in arXiv:2202.09034 ., Comment: 10 pages, 3 figures

A set of orthogonal multipartite quantum states is said to be distinguishability-based genuinely nonlocal (also genuinely nonlocal, for abbreviation) if the states are locally indistinguishable across any bipartition of the subsystems. This form of multipartite nonlocality, although more naturally arising than the recently popular "strong nonlocality" in the context of local distinguishability, receives much less attention. In this work, we study the distinguishability-based genuine nonlocality of a typical type of genuine multipartite entangled states -- the d-dimensional GHZ states, featuring systems with local dimension not limited to 2. In the three-partite case, we find the existence of small genuinely nonlocal sets consisting of these states: we show that the cardinality can at least scale down to linear in the local dimension d, with the linear factor l = 1. Specifically, the method we use is semidefinite program and the GHZ states to construct these sets are special ones which we call "GHZ-lattices". This result might arguably suggest a significant gap between the strength of strong nonlocality and the distinguishability-based genuine nonlocality. Moreover, we put forward the notion of (s,n)-threshold distinguishability and utilizing a similar method, we successfully construct (2,3)-threshold sets consisting of GHZ states in three-partite systems.

It is well known that any $N$ orthogonal pure states can always be perfectly distinguished under local operation and classical communications (LOCC) if $(N-1)$ copies of the state are available [Phys. Rev. Lett. 85, 4972 (2000)]. It is important to reduce the number of quantum state copies that ensures the LOCC distinguishability in terms of resource saving and nonlocality strength characterization. Denote $f_r(N)$ the least number of copies needed to LOCC distinguish any $N$ orthogonal $r$-partite product states. This work will be devoted to the estimation of the upper bound of $f_r(N)$. In fact, we first relate this problem with Ramsey theory, a branch of combinatorics dedicated to studying the conditions under which orders must appear. Subsequently, we prove $f_2(N)\leq \lceil\frac{N}{6}\rceil+2$, which is better than $f_2(N)\leq \lceil\frac{N}{4}\rceil$ obtained in [Eur. Phys. J. Plus 136, 1172 (2021)] when $N>24$. We further exhibit that for arbitrary $\epsilon>0$, $f_r(N)\leq\lceil\epsilon N\rceil$ always holds for sufficiently large $N$., Comment: 13 pages

Unextendible product basis is an important object in quantum information theory and features a broad spectrum of applications, ranging bound entangled states, quantum nonlocality without entanglement, and Bell inequalities with no quantum violation. A generalized concept called uncompletable product basis also attracts much attention. In this paper, we find some unextendible product bases that are uncompletable product bases in every bipartition, which answers a 19 year-old open question proposed by DiVincenzo et al. [Commun. Math. Phys. 238, 379 (2003)]. As a consequence, we connect such unextendible product bases to local hiding of information and give a sufficient condition for the existence of an unextendible product basis, that is still an unextendible product basis in every bipartition. Our results advance the understanding of the geometry of unextendible product bases.

An orthogonal set of states in multipartite systems is called to be strong quantum nonlocality if it is locally irreducible under every bipartition of the subsystems \href{https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.122.040403}{Phys. Rev. Lett. \textbf{122}, 040403 (2019)}]. In this work, we study a subclass of locally irreducible sets: the only possible orthogonality preserving measurement on each subsystems are trivial measurements. We call the set with this property is locally stable. We find that in the case of two qubits systems locally stable sets are coincide with locally indistinguishable sets. Then we present a characterization of locally stable sets via the dimensions of some states depended spaces. Moreover, we construct two orthogonal sets in general multipartite quantum systems which are locally stable under every bipartition of the subsystems. As a consequence, we obtain a lower bound and an upper bound on the size of the smallest set which is locally stable for each bipartition of the subsystems. Our results provide a complete answer to an open question (that is, can we show strong quantum nonlocality in $\mathbb{C}^{d_1} \otimes \mathbb{C}^{d_1}\otimes \cdots \otimes \mathbb{C}^{d_N} $ for any $d_i \geq 2$ and $1\leq i\leq N$?) raised in a recent paper [\href{https://journals.aps.org/pra/abstract/10.1103/PhysRevA.105.022209}{Phys. Rev. A \textbf{105}, 022209 (2022)}]. Compared with all previous relevant proofs, our proof here is quite concise., Comment: 11 pages, some other minor correction

Let $G$ be a finite abelian group. For any positive integers $d$ and $m$, let $\varphi_G(d)$ be the number of elements in $G$ of order $d$ and $\mathsf M(G,m)$ be the set of all zero-sum sequences of length $m$. In this paper, for any finite abelian group $H$, we prove that $$|\mathsf M(G,|H|)|=|\mathsf M(H,|G|)|$$ if and only if $\varphi_G(d)=\varphi_H(d)$ for any $d|(|G|,|H|)$. We also consider an extension of this result to non-abelian groups in terms of invariant theory., Comment: 16 pages

A set of multipartite orthogonal product states is strongly nonlocal if it is locally irreducible in every bipartition, which shows the phenomenon of strong quantum nonlocality without entanglement. It is known that unextendible product bases (UPBs) can show the phenomenon of quantum nonlocality without entanglement. Thus it is interesting to investigate the strong quantum nonlocality for UPBs. Most of the UPBs with the minimum size cannot demonstrate strong quantum nonlocality. In this paper, we construct a series of UPBs with different large sizes in $d_A\otimes d_B\otimes d_C$ and $d_A\otimes d_B\otimes d_C\otimes d_D$ for $d_A, d_B, d_C, d_D\geq 3$, and we also show that these UPBs have strong quantum nonlocality, which answers an open question given by Halder \emph{et al.} [Phys. Rev. Lett. \textbf{122}, 040403 (2019)] and Yuan \emph{et al.} [Phys. Rev. A \textbf{102}, 042228 (2020)] for any possible three and four-partite systems. Furthermore, we propose an entanglement-assisted protocol to locally discriminate the UPB in $3\otimes 3\otimes 4$, and it consumes less entanglement resource than the teleportation-based protocol. Our results build the connection between strong quantum nonlocality and UPBs.

We studied the distinguishability of generalized Bell states under local operations and classical communication. We introduced the concept of maximally commutative set (MCS), subset of generalized Pauli matrices whose elements are mutually commutative and there is no other generalized Pauli matrix that is commute with all the elements of this set. We found that MCS can be considered as a detector for local distinguishability of set $\mathcal{S}$ of generalized Bell states. In fact, we got an efficient criterion. That is, if the difference set of $\mathcal{S}$ is disjoint with or completely contain in some MCS, then the set $\mathcal{S}$ is locally distinguishable. Furthermore, we gave a useful characterization of MCS for arbitrary dimension, which provides great convenience for detecting the local discrimination of generalized Bell states. Our method can be generalized to more general settings which contains lattice qudit basis. Results in [Phys. Rev. Lett. \textbf{92}, 177905 (2004)], [Phys. Rev. A \textbf{92}, 042320 (2015)] and a recent work [arXiv: 2109.07390] can be deduced as special cases of our result., Comment: 8 pages, 4 figures, minor modification

Quantum nonlocality without entanglement is a fantastic phenomenon in quantum theory. This kind of quantum nonlocality is based on the task of local discrimination of quantum states. Recently, Bandyopadhyay and Halder [Phys. Rev. A 104, L050201 (2021)] studied the problem: is there any set of orthogonal states which can be locally distinguishable, but under some orthogonality preserving local measurement, each outcome will lead to a locally indistinguishable set. We say that the set with such property has hidden nonlocality. Moreover, if such phenomenon can not arise from discarding subsystems which is termed as local irredundancy, we call it genuine hidden nonlocality. There, they presented several sets of entangled states with genuine hidden nonlocality. However, they doubted the existence of a set without entanglement but with genuine hidden nonlocality. In this paper, we eliminate this doubt by constructing a series of sets without entanglement but whose nonlocality can be genuinely activated. We derive a method to tackle with the local irredundancy problem which is a key tricky for the systems whose local dimensions are composite numbers. As Bandyopadhyay and Halder have been pointed out, sets with genuine hidden nonloclity would lead to some applications on the data hiding., Comment: 13 pages, 6 figures, add one more example

A set of multipartite orthogonal product states is strongly nonlocal if it is locally irreducible in every bipartition. Most known constructions of strongly nonlocal orthogonal product set (OPS) are limited to tripartite systems, and they are lack of intuitive structures. In this work, based on the decomposition for the outermost layer of an $n$-dimensional hypercube for $n= 3,4,5$, we successfully construct strongly nonlocal OPSs in any possible three, four and five-partite systems, which answers an open question given by Halder et al. [Phys. Rev. Lett.122, 040403 (2019)] and Yuan et al. [Phys. Rev. A102, 042228 (2020)] for any possible three, four and five-partite systems. Our results build the connection between hypercubes and strongly nonlocal OPSs, and exhibit the phenomenon of strong quantum nonlocality without entanglement in multipartite systems., Comment: arXiv admin note: substantial text overlap with arXiv:2101.00735

Strong nonlocality based on local distinguishability is a stronger form of quantum nonlocality recently introduced in multipartite quantum systems: an orthogonal set of multipartite quantum states is said to be of strong nonlocality if it is locally irreducible for every bipartition of the subsystems. Most of the known results are limited to sets with product states. Shi et al. presented the first result of strongly nonlocal entangled sets in [Phys. Rev. A 102, 042202 (2020)] and there they questioned the existence of strongly nonlocal set with genuine entanglement. In this work, we relate the strong nonlocality of some speical set of genuine entanglement to the connectivities of some graphs. Using this relation, we successfully construct sets of genuinely entangled states with strong nonlocality. As a consequence, our constructions give a negative answer to Shi et al.'s question, which also provide another answer to the open problem raised by Halder et al. [Phys. Rev. Lett. 122, 040403 (2019)]. This work associates a physical quantity named strong nonlocality with a mathematical quantity called graph connectivity., Comment: 8 Pages, 5 figures, a small modification of Fig.2 and Fig.3

A set of multipartite orthogonal product states is locally irreducible, if it is not possible to eliminate one or more states from the set by orthogonality-preserving local measurements. An effective way to prove that a set is locally irreducible is to show that only trivial orthogonality-preserving local measurement can be performed to this set. In general, it is difficult to show that such an orthogonality-preserving local measurement must be trivial. In this work, we develop two basic techniques to deal with this problem. Using these techniques, we successfully show the existence of unextendible product bases (UPBs) that are locally irreducible in every bipartition in $d\otimes d\otimes d$ for any $d\geq 3$, and $3\otimes3\otimes 3$ achieves the minimum dimension for the existence of such UPBs. These UPBs exhibit the phenomenon of strong quantum nonlocality without entanglement. Our result solves an open question given by Halder \emph{et al.} [Phys. Rev. Lett. \textbf{122}, 040403 (2019)] and Yuan \emph{et al.} [Phys. Rev. A \textbf{102}, 042228 (2020)]. It also sheds new light on the connections between UPBs and strong quantum nonlocality.

Recently, Halder \emph{et al.} [Phys. Rev. Lett. \textbf{122}, 040403 (2019)] proposed the concept strong nonlocality without entanglement: an orthogonal set of fully product states in multipartite quantum systems that is locally irreducible for every bipartition of the subsystems. As the difficulty of the problem, most of the results are restricted to tripartite systems. Here we consider a weaker form of nonlocality 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 tend to study the latter form of nonlocality. First, we present an elegant set of product states 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 for all possible multipartite quantum systems., Comment: 8 pages, 7 figures

Quite recently, Cai et al. [arXiv:2006.07165v1] proposed a new concept "absolutely entangled set" for bipartite quantum systems: for any possible choice of global basis, at least one state of the set is entangled. There they presented a minimum example with a set of four states in two qubit systems and they proposed a quantitative measure for the absolute set entanglement. In this work, we derive two necessity conditions for a set of states to be an absolutely entangled set. In addition, we give a series constructions of absolutely entangled bases on $\mathbb{C}^{d_1}\otimes \mathbb{C}^{d_2}$ for any nonprime dimension $d=d_1\times d_2$. Moreover, based on the structure of the orthogonal product basis in $\mathbb{C}^2\otimes \mathbb{C}^n$, we obtain another construction of absolutely entangled set with $2n+1$ elements in $\mathbb{C}^2\otimes \mathbb{C}^n$., Comment: 6 pages, 0 figure

A pure state of $N$ parties with local dimension $d$ is called a $k$-uniform state if all the reductions to $k$ parties are maximally mixed. Based on the connections among $k$-uniform states, orthogonal arrays and linear codes, we give general constructions for $k$-uniform states. We show that when $d\geq 4k-2$ (resp. $d\geq 2k-1$) is a prime power, there exists a $k$-uniform state for any $N\geq 2k$ (resp. $2k\leq N\leq d+1$). Specially, we give the existence of $4,5$-uniform states for almost every $N$-qudits. Further, we generalize the concept of quantum information masking in bipartite systems given by [Modi \emph{et al.} {Phys. Rev. Lett. \textbf{120}, 230501 (2018)}] to $k$-uniform quantum information masking in multipartite systems, and we show that $k$-uniform states and quantum error-correcting codes can be used for $k$-uniform quantum information masking.

The no-masking theorem states that it is impossible to encode an arbitrary quantum state into the correlations between two subsystems so that no original information about is accessible in the marginal state of either subsystem. In this paper, we generalize this theorem to allow for failure of the protocol. We then bound the performance of a masking protocol when we are allowed a (probabilistic) approximate protocol.

In this work, we study the local distinguishability of maximally entangled states (MESs). In particular, we are concerned with whether any fixed number of MESs can be locally distinguishable for sufficiently large dimensions. Fan and Tian \emph{et al.} have already obtained two satisfactory results for the generalized Bell states (GBSs) and the qudit lattice states when applied to prime or prime power dimensions. We construct a general twist-teleportation scheme for any orthonormal basis with MESs that is inspired by the method used in [Phys. Rev. A \textbf{70}, 022304 (2004)]. Using this teleportation scheme, we obtain a sufficient and necessary condition for one-way distinguishable sets of MESs, which include the GBSs and the qudit lattice states as special cases. Moreover, we present a generalized version of the results in [Phys. Rev. A \textbf{92}, 042320 (2015)] for the arbitrary dimensional case., Comment: 7 pages, 2 figures

We can only perform a finite rounds of measurements in protocols with local operations and classical communication (LOCC). In this paper, we propose a set of product states, which require infinite rounds of measurements in order to distinguish this given set of states perfectly by LOCC. Therefore, we can conclude that these sets of states are locally indistinguishable. More accurately, given any multipartite LOCC indistinguishable set where every local system cannot start with a nontrivial measurement, then after appending these states with arbitrarily choosing two nonorthogonal states, we obtain another LOCC indistinguishable set. It can be seen that some parties can perform some nontrivial measurements. Hence, these sets are quite different from those constructed before. This result broadens the knowledge of nonlocality without entanglement to a certain extent., Comment: 7 pages, 2 figures

Recently, Kavan Modi \emph{et al.} found that masking quantum information is impossible in bipartite scenario in [Phys. Rev. Lett. \textbf{120}, 230501 (2018)]. This adds another item of the no-go theorems. In this paper, we present some new schemes different from error correction codes, which show that quantum states can be masked when more participants are allowed in the masking process. Moreover, using a pair of mutually orthogonal Latin squares of dimension $d$, we show that all the $d$ level quantum states can be masked into tripartite quantum systems whose local dimensions are $d$ or $d+1$. This highlight some difference between the no-masking theorem and the classical no-cloning theorem or no-deleting theorem., Comment: 6 pages, 0 figure

We study the distinguishability of a particular type of maximally entangled states -- the "lattice states" using a new approach of semidefinite program. With this, we successfully construct all sets of four ququad-ququad orthogonal maximally entangled states that are locally indistinguishable and find some curious sets of six states having interesting property of distinguishability. Also, some of the problems arose from \cite{CosentinoR14} about the PPT-distinguishability of "lattice" maximally entangled states can be answered., Comment: It's rewritten. We deleted the original section II about PPT-distinguishability of three ququad-ququad MESs. Moreover, we have joined new section V which discuss PPT-distinguishability of lattice MESs for cases $t=3$ and $t=4$ . As a result, the sequence of the theorems in our article has been changed. And we revised the title of our article

We study the problem of distinguishing maximally entangled quantum states by using local operations and classical communication (LOCC). A question of fundamental interest is whether any three maximally entangled states in $\mathbb{C}^d\otimes\mathbb{C}^d (d\geq 4)$ are distinguishable by LOCC. In this paper, we restrict ourselves to consider the generalized Bell states. And we prove that any three generalized Bell states in $\mathbb{C}^d\otimes\mathbb{C}^d (d\geq 4)$ are locally distinguishable., Comment: 11 pages, 1 figure, accepted by Quantum Information Processing

We studied the construction problem of the unextendible product basis (UPB). We mainly give a method to construct a UPB of a quantum system through the UPBs of its subsystem. Using this method and the UPBs which are known for us, we construct different kinds of UPBs in general bipartite quantum system. Then we use these UPBs to construct a family of UPBs in multipartite quantum system. The UPBs can be used to construct the bound entangled states with different ranks., Comment: 6 pages, 1 figures

We study the unextendible maximally entangled bases (UMEB) in $\mathbb{C}^{d}\bigotimes\mathbb{C}^{d}$ and connect it with the partial Hadamard matrix. Firstly, we show that for a given special UMEB in $\mathbb{C}^{d}\bigotimes\mathbb{C}^{d}$, there is a partial Hadamard matrix can not extend to a complete Hadamard matrix in $\mathbb{C}^{d}$. As a corollary, any $(d-1)\times d$ partial Hadamard matrix can extend to a complete Hadamard matrix. Then we obtain that for any $d$ there is an UMEB except $d=p\ \text{or}\ 2p$, where $p\equiv 3\mod 4$ and $p$ is a prime. Finally, we argue that there exist different kinds of constructions of UMEB in $\mathbb{C}^{nd}\bigotimes\mathbb{C}^{nd}$ for any $n\in \mathbb{N}$ and $d=3\times5 \times7$., Comment: 6 pages, no figures

In this paper, we mainly study the local indistinguishability of multipartite product states. Firstly, we follow the method of Z.-C. Zhang \emph{et al}[Phys. Rev. A 93, 012314(2016)] to give another more concise set of $2n-1$ orthogonal product states in $\mathbb{C}^m\otimes\mathbb{C}^n(4\leq m\leq n)$ which can not be distinguished by local operations and classical communication(LOCC). Then we use the 3 dimension cubes to present some product states which give us an intuitive view how to construct locally indistinguishable product states in tripartite quantum system. At last, we give an explicit construction of locally indistinguishable orthogonal product states for general multipartite system., Comment: 5 pages, 6 figures

We study the local indistinguishability of mutually orthogonal product basis quantum states in the high-dimensional quantum system. In the quantum system of $\mathbb{C}^d\otimes\mathbb{C}^d$, where $d$ is odd, Zhang \emph{et al} have constructed $d^2$ orthogonal product basis quantum states which are locally indistinguishable in [Phys. Rev. A. {\bf 90}, 022313(2014)]. We find a subset contains with $6d-9$ orthogonal product states which are still locally indistinguishable. Then we generalize our method to arbitrary bipartite quantum system $\mathbb{C}^m\otimes\mathbb{C}^n$. We present a small set with only $3(m+n)-9$ orthogonal product states and prove these states are LOCC indistinguishable. Even though these $3(m+n)-9$ product states are LOCC indistinguishable, they can be distinguished by separable measurements. This shows that separable operations are strictly stronger than the local operations and classical communication., Comment: 5 pages

We give a explicit construction of $d$ locally indistinguishable orthogonal maximally entangled states in $\mathbb{C}^d\otimes\mathbb{C}^d$ for any $d\geq 4$. This gives an answer to the conjecture proposed by S. Bandyopadhyay in 2009. Thus it reflects the nonlocality of the fundamental feature of quantum mechanics., Comment: The paper is rewrited, especally the introduction. 5 pages, no figures

We investigate the unextendible maximally entangled bases in $\mathbb{C}^{d}\bigotimes\mathbb{C}^{d}$ and present a $30$-number UMEB construction in $\mathbb{C}^{6}\bigotimes\mathbb{C}^{6}$. For higher dimensional case, we show that for a given $N$-number UMEB in $\mathbb{C}^{d}\bigotimes\mathbb{C}^{d}$, there is a $\widetilde{N}$-number, $\widetilde{N}=(qd)^2-(d^2-N)$, UMEB in $\mathbb{C}^{qd}\bigotimes\mathbb{C}^{qd}$ for any $q\in\mathbb{N}$. As an example, for $\mathbb{C}^{12n}\bigotimes\mathbb{C}^{12n}$ systems, we show that there are at least two sets of UMEBs which are not equivalent., Comment: Errors corrected

We solved the unextendible maximally entangled basis (UMEB) problem in $\mathbb{C}^{d}\bigotimes\mathbb{C}^{d'}(d\neq d')$,the results turn out to be that there always exist a UMEB.In addition,there might be two sets of UMEB with different numbers.The main difficult is to prove the unextendibility of the set of states.We give an explicit construction of UMEB by considering the Schmidt number of the complementary space of the states we construct., Comment: 4 pages,Physical Review A, June, 2014

In this paper, we give a method for the local unitary equivalent problem which is more efficient than that was proposed by Bin Liu $et \ al$ \cite{bliu}., Comment: Accepted by International Journal of Theoretical Physics