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 sufficient condition for sets of orthogonal product states to be distinguishable by separable superoperators. We prove that bound entangled states cannot help increase the distillable entanglement of a state beyond its regularized entanglement of formation assisted by bound entanglement.
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…
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 that there exist sets of pure orthogonal product states which cannot be perfectly distinguished by local operations and classical communication (LOCC). Such sets are nonlocal sets which exhibit nonlocality without entanglement. These nonlocal sets can be completable or uncompletable. In this work both completable and uncompletable small nonlocal sets of multipartite orthogonal product states are constructed. Apart from nonlocality, these sets have other interesting properties. In particular, the completable sets lead to the construction of a class of complete orthogonal product bas…
It is known that the states in an unextendible product basis (UPB) cannot be distinguished perfectly when the parties are restricted to local operations and classical communication (LOCC). Previous discussions of such bases have left open the following question: What entanglement resources are necessary and/or sufficient for this task to be possible with LOCC? In this paper, I present protocols which use entanglement more efficiently than teleportation to distinguish certain classes of UPB's. The ideas underlying my approach to this problem offer rather general insight into why entanglement is…
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…
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…
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.
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.
Any set of states which cannot be perfectly distinguished by local operations and classical communication (LOCC) alone, can always be locally distinguished using quantum teleportation with enough entanglement resource. However, in quantum information theory, entanglement is a very valuable resource, so it leaves the following open question: how to accomplish this task more efficiently than teleportation, that is, design the local discrimination protocol using less entanglement resource. In this paper, we first present two protocols to locally distinguish a set of unextendible product bases (UP…
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.
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…
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环境智能感知与数据处理重点实验室）
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\otim…
Unextendible product bases (UPBs) play a key role in the study of quantum entanglement and nonlocality. A famous open question is whether there exist genuinely unextendible product bases (GUPBs), namely multipartite product bases that are unextendible with respect to every possible bipartition. Here we shed light on this question by providing a characterization of UPBs and GUPBs in terms of orthogonality graphs. Building on this connection, we develop a method for constructing UPBs in low dimensions, and we derive a lower bound on the size of any GUPB, significantly improving over the state of…
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 discuss the subject of Unextendible Product Bases with the orthogonality condition dropped and we prove that the lowest rank non-separable positive-partial-transpose states, i.e. states of rank 4 in 3 x 3 systems are always locally equivalent to a projection onto the orthogonal complement of a linear subspace spanned by an orthogonal Unextendible Product Basis. The product vectors in the kernels of the states belong to a non-zero measure subset of all general Unextendible Product Bases, nevertheless they can always be locally transformed to the orthogonal form. This fully confirms the surpr…
We present a generic method to construct a product basis exhibiting Nonlocality Without Entanglement with $n$ parties each holding a system of dimension at least $n-1$. This basis is generated via a quantum circuit made of control-Discrete Fourier Transform gates acting on the computational basis. The simplicity of our quantum circuit allows for an intuitive understanding of this new type of nonlocality. We also show how this circuit can be used to construct Unextendible Product Bases and their associated Bound Entangled States. To our knowledge, this is the first method which, given a general…
Mutually unbiased bases (MUBs) provide a standard tool in the verification of quantum states, especially when harnessing a complete set for optimal quantum state tomography. In this work, we investigate the detection of entanglement via inequivalent sets of MUBs, with a particular focus on unextendible MUBs. These are bases for which an additional unbiased basis cannot be constructed and, consequently, are unsuitable for quantum state verification. Here, we show that unextendible MUBs, as well as other inequivalent sets in higher dimensions, can be more effective in the verification of entangl…
Let H[N] denote the tensor product of n finite dimensional Hilbert spaces H(r). A state |phi> of H[N] is separable if |phi> is the tensor product of states in the respective product spaces. An orthogonal unextendible product basis is a finite set B of separable orthonormal states |phi(k)> such that the non-empty space B9perp), the set of vectors orthogonal to B, contains no separable projection. Examples of orthogonal UPB sets were first constructed by Bennett et al [1] and other examples appear, for example, in [2] and [3]. If F denotes the set of convex combinations of the projections |phi(k…
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 unexten…
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（香港大学）
In quantum mechanics and quantum information, to establish the orthogonal bases is a useful means. The existence of unextendible product bases impels us to study the `entanglement bases' problems. In this paper, the concepts of entanglement bases and exact-entanglement bases are defined, and a theorem about exact-entanglement bases is given. We discuss the general structures of the orthogonal complete bases. Two examples of applications are given. At last, we discuss the problem of transformation of the general structure forms.
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.
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.
In this paper, an optimal scheme of four-level quantum teleportation and swapping of quantum entanglement is given. We construct a complete orthogonal basis of the bipartite ququadrit systems. Using this basis, the four-level quantum teleportation and swapping can be achieved according to the standard steps. In addition, associate the above bases with the unextendible product bases and the exact entanglement bases, we prove that in the $2\times 2\times 2$ systems or $3\times 3$ systems the collective translations of multipartite quantum entanglement can be realized. PACC numbers: 03.67.Mn, 03.…
A set of mutually unbiased bases (MUBs) is said to be unextendible if there does not exist another basis that is unbiased with respect to the given set. Here, we prove the existence of smaller sets of MUBs in prime-squared dimensions ($d=p^{2}$) that cannot be extended to a complete set using the generalized Pauli operators. We further observe an interesting connection between the existence of unextendible sets and the tightness of entropic uncertainty relations (EURs) in these dimensions. In particular, we show that our construction of unextendible sets of MUBs naturally leads to sets of $p+1…
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…
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.
Motivated by the mathematical definition of entanglement we undertake a rigorous analysis of the separability and non-distillability properties in the neighborhood of those three-qubit mixed states which are entangled and completely bi-separable. Our results are not only restricted to this class of quantum states, since they rest upon very general properties of mixed states and Unextendible Product Bases for any possible number of parties. Robustness against noise of the relevant properties of these states implies the significance of their possible experimental realization, therefore being of …
Genuinely entangled subspaces (GESs) are those subspaces of multipartite Hilbert spaces that consist only of genuinely multiparty entangled pure states. They are natural generalizations of the well-known notion of completely entangled subspaces , which by definition are void of fully product vectors. Entangled subspaces are an important tool of quantum information theory as they directly lead to constructions of entangled states, since any state supported on such a subspace is automatically entangled. Moreover, they have also proven useful in the area of quantum error correction. In our recent…
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…
We investigate conditions on a finite set of multi-partite product vectors for which separable states with corresponding product states have unique decomposition, and show that this is true in most cases if the number of product vectors is sufficiently small. In the three qubit case, generic five dimensional spaces give rise to faces of the convex set consisting of all separable states, which are affinely isomorphic to the five dimensional simplex with six vertices. As a byproduct, we construct three qubit entangled PPT edge states of rank four with explicit formulae. This covers those entangl…
In a multipartite scenario quantum entanglement manifests its most dramatic form when the state is genuinely entangled. Such a state is more beneficial for information theoretic applications if it contains distillable entanglement in every bipartition. It is, therefore, of significant operational interest to identify subspaces of multipartite quantum systems that contain such properties apriori. In this letter, we introduce the notion of unextendible biseparable bases (UBB) that provides an adequate method to construct genuinely entangled subspaces (GES). We provide an explicit construction of…
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…
