Mutual convertibility of bound entangled states under local quantum operations and classical communication (LOCC) is studied. We focus on states associated with unextendible product bases (UPB) in a system of three qubits. A complete classification of such UPBs is suggested. We prove that for any pair of UPBs $S$ and $T$ the associated bound entangled states $ρ_S$ and $ρ_T$ can not be converted to each other by LOCC, unless $S$ and $T$ coincide up to local unitaries. More specifically, there exists a finite precision $ε>0$ such that for any LOCC protocol mapping $ρ_S$ into a probabilistic ensemble $(p_j,ρ_j)$, the fidelity between $ρ_T$ and any possible final state $ρ_j$ is smaller than $1-ε$.
We generalize the notion of unextendible maximally entangled basis from bipartite systems to multipartite quantum systems. It is proved that there do not exist unextendible maximally entangled bases in three-qubit systems. Moreover,two types of unextendible maximally entangled bases are constructed in tripartite quantum systems and proved to be not mutually unbiased.
We study unextendible maximally entangled basis in arbitrary bipartite spaces. A systematic way of constructing a set of $d^{2}$ orthonormal maximally entangled states in $\mathbb{C}^{d}\bigotimes\mathbb{C}^{d'}(\frac{d'}{2}<d<d')$ is provided. The complementary space of the set of these $d^{2}$ orthonormal maximally entangled states contains no maximally entangled states that are orthogonal to all of them. Furthermore, we investigate mutually unbiased bases in which all the bases are unextendible maximally entangled ones. We present two unextendible maximally entangled bases in $\mathbb{C}^{2…
We systematically study the construction of mutually unbiased bases in $\mathbb{C}^{2}\bigotimes\mathbb{C}^{3}$, such that all the bases are unextendible maximally entangled ones. Necessary conditions of constructing a pair of mutually unbiased unextendible maximally entangled bases in $\mathbb{C}^{2}\bigotimes\mathbb{C}^{3}$ are derived. Explicit examples are presented.
We introduce the notion of the unextendible maximally entangled basis (UMEB), a set of orthonormal maximally entangled states in d \times d consisting of fewer that d^2 vectors which have no additional maximally entangled vectors orthogonal to all of them. We prove that UMEBs don't not exist for d=2 and give an explicit constructions for a 6-member UMEB with d=3 and a 12-member UMEB with d=4.
Special unextendible entangled basis of "type $k$" (SUEBk), a set of incomplete orthonormal special entangled states of "type $k$" whose complementary space has no special entangled state of "type $k$". This concept can be seem as a generalization of the unextendible product basis (UPB) introduced by Bennett et al. in [ Phys. Rev. Lett. \textbf{82}, 5385(1999) ] and the unextendible maximally entangled basis (UMEB) introduced by Bravyi and Smolin in [Phys. Rev. A \textbf{84}, 042306(2011)]. We present an efficient method to construct sets of SUEBk. The main strategy here is to decompose the wh…
Unextendible product bases (UPBs) are interesting mathematical objects arising in composite Hilbert spaces that have found various applications in quantum information theory, for instance in a construction of bound entangled states or Bell inequalities without quantum violation. They are closely related to another important notion, completely entangled subspaces (CESs), which are those that do not contain any fully separable pure state. Among CESs one finds a class of subspaces in which all vectors are not only entangled, but are genuinely entangled. Here we explore the connection between UPBs…
We study the locally unextendible non-maximally entangled basis (LUNMEB) in $H^{d}\bigotimes H^{d}$. We point out that there exists an error in the proof of the main result of LUNMEB [Quant. Inf. Comput. 12, 0271(2012)], which claims that there are at most $d$ orthogonal vectors in a LUNMEB, constructed from a given non-maximally entangled state. We show that both the proof and the main result are not correct in general. We present a counter example for $d=4$, in which five orthogonal vectors from a specific non-maximally entangled state are constructed. Besides, we completely solve the proble…
We study unextendible maximally entangled bases (UMEBs) in \(\mathbb {C}^{d}\otimes \mathbb {C}^{d^{\prime}}\) ($d<d'$). An operational method to construct UMEBs containing $d(d^{\prime}-1)$ maximally entangled vectors is established, and two UMEBs in \(\mathbb {C}^{5}\otimes \mathbb {C}^{6}\) and \(\mathbb {C}^{5}\otimes \mathbb {C}^{12}\) are given as examples. Furthermore, a systematic way of constructing UMEBs containing $d(d^{\prime}-r)$ maximally entangled vectors in \(\mathbb {C}^{d}\otimes \mathbb {C}^{d^{\prime}}\) is presented for $r=1,2,\cdots, d-1$. Correspondingly, two UMEBs in \(…
We study mutually unbiased bases (MUBs) in which all the bases are unextendible maximally entangled ones. We first present a necessary and sufficient condition of constructing a pair of MUBs in $C^2 \otimes C^4$. Based on this condition, an analytical and necessary condition for constructing MUBs is given. Moreover we illustrate our approach by some detailed examples in $C^2 \otimes C^4$. The results are generalized to $C^2 \otimes C^d$ $(d\geq 3)$ and a concrete example in $C^2 \otimes C^8$ is given.
In quantum information theory, it is a fundamental problem to construct multipartite unextendible product bases (UPBs). We show that there exist two families UPBs in Hilbert space $\mathbb{C}^2\otimes\mathbb{C}^2\otimes\mathbb{C}^2\otimes\mathbb{C}^2\otimes\mathbb{C}^2\otimes\mathbb{C}^4$ by merging two different systems of an existing $7$-qubit UPB of size $11$. Moreover, a new family of $7$-qubit positive-partial-transpose (PPT) entangled states of rank $2^7-11$ is constructed. We analytically derive a geometric measure of entanglement of a special PPT entangled states. Also an upper bound a…
The construction of unextendible maximally entangled bases is tightly related to quantum information processing like local state discrimination. We put forward two constructions of UMEBs in $\mathbb {C}^{pd}\otimes \mathbb {C}^{qd}$($p\leq q$) based on the constructions of UMEBs in $\mathbb {C}^{d}\otimes \mathbb {C}^{d}$ and in $\mathbb {C}^{p}\otimes \mathbb {C}^{q}$, which generalizes the results in [Phys. Rev. A. 94, 052302 (2016)] by two approaches. Two different 48-member UMEBs in $\mathbb {C}^{6}\otimes \mathbb {C}^{9}$ have been constructed in detail.
Unextendible product bases (UPBs) provide a versatile tool with various applications across different areas of quantum information theory. Their comprehensive characterization is thus of great importance and has been a subject of vital interest for over two decades now. An open question asks about the existence of UPBs, which are genuinely unextendible, i.e., they are not extendible even with biproduct vectors. In other words, the problem is to verify whether there exist genuinely entangled subspaces (GESs), subspaces composed solely of genuinely multiparty entangled states, complementary to U…
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.
The 4-qubit unextendible product basis (UPB) has been recently studied by [Johnston, J. Phys. A: Math. Theor. 47 (2014) 424034]. From this result we show that there is only one UPB of size $6$ and six UPBs of size $9$ in $\cH=\bbC^2\ox\bbC^2\ox\bbC^4$, three UPBs of size $9$ in $\cK=\bbC^4\ox\bbC^4$, and no UPB of size $7$ in $\cH$ and $\cK$. Furthermore we construct a 4-qubit positive-partial-transpose (PPT) entangled state $\r$ of rank seven, and show that it is also a PPT entangled state in $\cH$ and $\cK$, respectively. We analytically derive the geometric measure of entanglement of a spec…
We show that there are six inequivalent $4\times4$ unextendible product bases (UPBs) of size eight, when we consider only 4-qubit product vectors. We apply our results to construct Positive-Partial-Transpose entangled states of rank nine. They are at the same 4-qubit, $2\times2\times4$ and $4\times4$ states, and their ranges have product vectors. One of the six UPBs turns out to be orthogonal to an almost genuinely entangled space, in the sense that the latter does not contain $4\times4$ product vector in any bipartition of 4-qubit systems. We also show that the multipartite UPB orthogonal to …
The unextendible entangled basis with any arbitrarily given Schmidt number $k$ (UEBk) in $\mathbb{C}^{d_1}\otimes\mathbb{C}^{d_2}$ is proposed in [Phys. Rev. A 90 (2014) 054303], $1<k\leq \min\{d_1,d_2\}$, which is a set of orthonormal entangled states with Schmidt number $k$ in a $d_1\otimes d_2$ system consisting of fewer than $d_1d_2$ vectors which have no additional entangled vectors with Schmidt number $k$ in the complementary space. In this paper, we extend it to multipartite case and a general way of constructing $(m+1)$-partite UEBk from $m$-partite UEBk is proposed ($m\geq 2$). Conseq…
We introduce the concept of the locally unextendible non-maximally entangled basis (LUNMEB) in $H^d \bigotimes H^d$. It is shown that such a basis consists of $d$ orthogonal vectors for a non-maximally entangled state. However, there can be a maximum of $(d-1)^2$ orthogonal vectors for non-maximally entangled state if it is maximally entangled in $(d-1)$ dimensional subspace. Such a basis plays an important role in determining the number of classical bits that one can send in a superdense coding protocol using a non-maximally entangled state as a resource. By constructing appropriate POVM oper…
We consider a general version of the phenomenon of more nonlocality with less entanglement, within the framework of the unambiguous (i.e., conclusive) quantum state discrimination problem under local quantum operations and classical communication. We show that although the phenomenon was obtained before for two qutrits, it can also be observed for two qubits, while still being at the single-copy level. We establish that the phenomenon is intrinsically connected to the concept of unextendible entangled bases, in the two-qubit case. In the process, we demonstrate a hierarchy of nonlocality among…
We discuss the use of the Gilbert algorithm to tailor entanglement witnesses for unextendibleproduct basis bound entangled states (UPB BE states). The method relies on the fact that an optimalentanglement witness is given by a plane perpendicular to a line between the reference state, entanglementof which is to be witnessed, and its closest separable state (CSS). The Gilbert algorithm finds anapproximation of CSS. In this article, we investigate if this approximation can be good enough toyield a valid entanglement witness. We compare witnesses found with Gilbert algorithm and those givenby Ban…
A notion of strength of an unextendible product basis is introduced and a quantitative measure for it is suggested with a view to providing an indirect measure for the bound entanglement of formation of the bound entangled mixed state associated with an unextendible product basis.
An unextendible product basis (UPB) is a set of orthogonal product states which span a subspace of a given Hilbert space while the complementary subspace contains no product state. These product bases are useful to produce bound entangled (BE) states. In this work we consider reducible and irreducible UPBs of maximum size, which can produce BE states of minimum rank. From a reducible UPB, it is possible to eliminate one or more states locally, keeping the post-measurement states orthogonal. On the other hand, for an irreducible UPB, the above is not possible. Particularly, the UPBs of the pres…
In this paper, an unextendible product basis and exact-entanglement bases of three qubit is given, and the properties of entanglement for exact-entanglement bases are also discussed. In addition, the bound entangled mixed state is obtained from the exact-entanglement bases.
It is known how to construct, in a bipartite quantum system, a unique low rank entangled mixed state with positive partial transpose (a PPT state) from an unextendible product basis (a UPB), defined as an unextendible set of orthogonal product vectors. We point out that a state constructed in this way belongs to a continuous family of entangled PPT states of the same rank, all related by non-singular product transformations, unitary or non-unitary. The characteristic property of a state $ρ$ in such a family is that its kernel $\Kerρ$ has a generalized UPB, a basis of product vectors, not neces…
The unextendible product basis (UPB) is generalized to the unextendible entangled basis with any arbitrarily given Schmidt number $k$ (UEBk) for any bipartite system $\mathbb{C}^d\otimes\mathbb{C}^{d'}$ ($2\leq k<d\leq d'$), which can also be regarded as a generalization of the unextendible maximally entangled basis (UMEB). A general way of constructing such a basis with arbitrary $d$ and $d'$ is proposed. Consequently, it is shown that there are at least $k-r$ (here $r=d$ mod $k$, or $r=d'$ mod $k$) sets of UEBk when $d$ or $d'$ is not the multiple of $k$, while there are at least $2(k-1)$ se…
The construction of multipartite unextendible product bases (UPBs) is a basic problem in quantum information. We respectively construct two families of $2\times2\times4$ and $2\times2\times2\times4$ UPBs of size eight by using the existing four-qubit and five-qubit UPBs. As an application, we construct novel families of multipartite positive-partial-transpose entangled states, as well as their entanglement properties in terms of the geometric measure of entanglement.
In bipartite quantum systems of dimension 3x3 entangled states that are positive under partial transposition (PPT) can be constructed with the use of unextendible product bases (UPB). As discussed in a previous publication all the lowest rank entangled PPT states of this system seem to be equivalent, under special linear product transformations, to states that are constructed in this way. Here we consider a possible generalization of the UPB constuction to low-rank entangled PPT states in higher dimensions. The idea is to give up the condition of orthogonality of the product vectors, while kee…
We report new results and generalizations of our work on unextendible product bases (UPB), uncompletable product bases and bound entanglement. We present a new construction for bound entangled states based on product bases which are only completable in a locally extended Hilbert space. We introduce a very useful representation of a product basis, an orthogonality graph. Using this representation we give a complete characterization of unextendible product bases for two qutrits. We present several generalizations of UPBs to arbitrary high dimensions and multipartite systems. We present a suffici…
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 unex…
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.
We provide several constructions of special unextendible entangled bases with fixed Schmidt number $k$ (SUEB$k$) in $\mathbb{C}^{d}\otimes \mathbb{C}^{d'}$ for $2\leq k\leq d\leq d'$. We generalize the space decomposition method in Guo [Phys. Rev. A 94, 052302 (2016)], by proposing a systematic way of constructing new SUEB$k$s in $\mathbb{C}^{d}\otimes \mathbb{C}^{d'}$ for $2\leq k < d \leq d'$ or $2\leq k=d< d'$. In addition, we give a construction of a $(pqdd'-p(dd'-N))$-number SUEB$pk$ in $\mathbb{C}^{pd}\otimes \mathbb{C}^{qd'}$ from an $N$-number SUEB$k$ in $\mathbb{C}^{d}\otimes \mathbb{…
Efficient discrimination schemes for unextendible product bases with strong quantum nonlocality
School of Mathematics and Science, Hebei GEO University（河北地质大学数理学院）；Hebei Province Key Laboratory of Intelligent Sensing and Data Processing for Geo-environment, Hebei GEO University（河北省Geo环境智能感知与数据处理重点实验室）
We completely characterize the condition when a tile structure provides an unextendible product basis (UPB), and construct UPBs of different large sizes in $\mathbb{C}^m\otimes\mathbb{C}^n$ for any $n\geq m\geq 3$. This solves an open problem in [S. Halder et al., Phys. Rev. A 99, 062329 (2019)]. As an application, we show that our UPBs of size $(mn-4\lfloor\frac{m-1}{2}\rfloor)$ in $\mathbb{C}^m\otimes\mathbb{C}^n$ can be perfectly distinguished by local operations and classical communications assisted with a $\lceil\frac{m}{2}\rceil\otimes\lceil\frac{m}{2}\rceil$ maximally entangled state.
An unextendible product basis (UPB) for a multipartite quantum system is an incomplete orthogonal product basis whose complementary subspace contains no product state. We give examples of UPBs, and show that the uniform mixed state over the subspace complementary to any UPB is a bound entangled state. We exhibit a tripartite 2x2x2 UPB whose complementary mixed state has tripartite entanglement but no bipartite entanglement, i.e. all three corresponding 2x4 bipartite mixed states are unentangled. We show that members of a UPB are not perfectly distinguishable by local POVMs and classical commun…
The strength of classical correlations is subject to certain constraints, commonly known as Bell inequalities. Violation of these inequalities is the manifestation of nonlocality---displayed, in particular, by quantum mechanics, meaning that quantum mechanics can outperform classical physics at tasks associated with such Bell inequalities. Interestingly, however, there exist situations in which this is not the case. We associate an intriguing class of bound entangled states, constructed from unextendable product bases (UPBs) with a wide family of tasks, for which (i) quantum correlations do no…
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.
A Minimum-Cardinality Genuinely Unextendible Product Basis in Three Qutrits
Sun Yat-sen University（中山大学）；The Hong Kong University of Science and Technology (Guangzhou)（香港科技大学（广州））；University of Science and Technology of China（中国科学技术大学）；Hefei National Laboratory, University of Science and Technology of China（合肥国家实验室，中国科学技术大学）；The University of Hong Kong（香港大学）
A systematic method for generating bound entangled states in any bipartite system, with ranks ranging from five to full rank, is presented. These states are constructed by mixing separable states with UPB (Unextendible Product Basis) - generated PPT bound entangled states. A subset of this class of PPT bound entangled states, having less than full rank, is shown to satisfy the range criterion [Phys. Lett. A, vol. 232 (1997) 333].
Bound entangled states are the exotic objects in the entangled world. They require entanglement to create them, but once they are formed, it is not possible to locally distill any free entanglement from them. It is only until recently that a few bound entangled states were realized in the laboratory. Motivated by these experiments, we propose schemes for creating various classes of bound entangled states with photon polarization. These include Acin-Bruss-Lewenstein-Sanpara states, Dur's states, Lee-Lee-Kim bound entangled states, and an unextendible-product-basis bound entangled state.
We consider the mixed three-qubit bound entangled state defined as the normalized projector on the subspace that is complementary to an Unextendible Product Basis [C. H. Bennett et. al., Phys. Rev. Lett. 82, 5385 (1999)]. Using the fact that no product state lies in the support of that state, we compute its entanglement by providing a basis of its subspace formed by "minimally-entangled" states. The approach is in principle applicable to any entanglement measure; here we provide explicit values for both the geometric measure of entanglement and a generalized concurrence.
A completely entangled subspace of a tensor product of Hilbert spaces is a subspace with no non-trivial product vector. K. R. Parthasarathy determined the maximum dimension possible for such a subspace. Here we present a simple explicit example of one such space. We determine the set of product vectors in its orthogonal complement and see that it spans whole of the orthogonal complement. This way we are able to determine the minimum dimension possible for an unextendible product basis (UPB) consisting of product vectors which are linearly independent but not necessarily mutually orthogonal.
Assuming the validity of a conjecture in quant-ph/9910026 and quant-ph/9910022 we show that the distillable entanglement for two bipartite states, each of which individually has zero distillable entanglement, can be nonzero. We show that this also implies that the distillable entanglement is not a convex function. Our example consists of the tensor product of a bound entangled state based on an unextendible product basis with a Werner state which lies in the class of conjectured undistillable states.
We introduce local filters as a means to detect the entanglement of bound entangled states which do not yield to detection by witnesses based on positive (P) maps which are not completely positive (CP). We demonstrate how such non-detectable bound entangled states can be locally filtered into detectable bound entangled states. Specifically, we show that a bound entangled state in the orthogonal complement of the unextendible product bases (UPB), can be locally filtered into a another bound entangled state that is detectable by the Choi map. We reinterpret these filters as local measurements on…
It is known that some two qutrit entangled states of rank 4 with positive partial transpose [PPT] can be built from the unextendible product bases [UPB]. We show that this fact is indeed universal, namely all such states can be constructed from UPB. We also classify the 5-dimensional subspaces of two qutrits which contain only finitely many product states (up to scalar multiple), and in particular those spanned by a UPB.
On the structure of low-rank PPT entangled states violating Peres conjecture
Indian Institute of Science Education and Research Mohali（印度科学教育与研究学院莫哈利分校）；Harish-Chandra Research Institute（哈里什-钱德拉研究所）；S. N. Bose National Centre for Basic Sciences（S.N. 玻色基础科学国家中心）
Let $H^{[ N]}=H^{[ d_{1}]}\otimes ... \otimes H^{[ d_{n}]}$ be a tensor product of Hilbert spaces and let $τ_{0}$ be the closest separable state in the Hilbert-Schmidt norm to an entangled state $ρ_{0}$. Let $\tildeτ_{0}$ denote the closest separable state to $ρ_{0}$ along the line segment from $I/N$ to $ρ_{0}$ where $I$ is the identity matrix. Following [pitrubmat] a witness $W_{0}$ detecting the entanglement of $ρ_{0}$ can be constructed in terms of $I, τ_{0}$ and $\tildeτ_{0}$. If representations of $τ_{0}$ and $\tildeτ_{0}$ as convex combinations of separable projections are known, then th…
Bound entangled (BE) states are strange in nature: non-zero amount of free entanglement is required to create them but no free entanglement can be distilled from them under local operations and classical communication (LOCC). Even though usefulness of such states has been shown in several information processing tasks, there exists no simple method to characterize them for an arbitrary composite quantum system. Here we present a $(d-3)/2$-parameter family of BE states each with positive partial transpose (PPT). This family of PPT-BE states is introduced by constructing an unextendible product b…
