We construct a class of $3\otimes 3$ entangled edge states with positive partial transposes using indecomposable positive linear maps. This class contains several new types of entangled edge states with respect to the range dimensions of themselves and their partial transposes.
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 construct entangled states with positive partial transposes using indecomposable positive linear maps between matrix algebras. We also exhibit concrete examples of entangled states with positive partial transposes arising in this way, and show that they generate extreme rays in the cone of all positive semi-definite matrices with positive partial transposes. They also have Schmidt numbers two.
In this letter we have analyzed an entangled state in $C^{3} \bigotimes C^{3}$ having a positive partial transposition and have shown that it is an edge state. Further we have constructed explicitly a witness operator $W$ which detects the entanglement.
We show that all $2\otimes 4$ states with strong positive partial transposes (SPPT) are separable. We also construct a family of $2\otimes 5$ entangled SPPT states, so the conjecture on the separability of SPPT states are completely settled. In addition, we clarify the relation between the set of all $2\otimes d$ separable states and the set of all $2\otimes d$ SPPT states for the case of $d=3,4$.
It is found that the problem of existence of bound entangled states with non-positive partial transpose (NPPT) has the intriguing relation to the Hilbert's 17th problem. More precisely, we compute the expectation value of the partially transposed Werner states by Schmidt rank-2 vectors for NPPT and 1-copy undistillable region. It is the positive polynomial but shown not to be expressed as the sum of squares of polynomials. A remedy for such pathological behavior as well as a similar but different approach to the problem is also mentioned.
In $3\times 3$ dimensions, entangled mixed states that are positive under partial transposition (PPT states) must have rank at least four. They are well understood. We say that they have rank $(4,4)$ since a state $ρ$ and its partial transpose $ρ^P$ both have rank four. The next problem is to understand the extremal PPT states of rank $(5,5)$. We call two states $\textrm{SL}\otimes\textrm{SL}$-equivalent if they are related by a product transformation. A generic rank $(5,5)$ PPT state $ρ$ is extremal, and $ρ$ and $ρ^P$ both have six product vectors in their ranges, and no product vectors in th…
Genuinely entangled subspaces are a class of subspaces in the multipartite Hilbert spaces that are composed of only genuinely entangled states. They are thus an interesting object of study in the context of multipartite entanglement. Here we provide a construction of multipartite subspaces that are not only genuinely entangled but also fully non-positive-partial-transpose (NPT) in the sense that any mixed state supported on them has non-positive partial transpose across any bipartition. Our construction originates from the stabilizer formalism known for its use in quantum error correction. To …
It is known that, in an $(m \otimes n)$-dimensional quantum system, the maximum dimension of a subspace that contains only entangled states is (m-1)(n-1). We show that the exact same bound is tight if we require the stronger condition that every state with range in the subspace has non-positive partial transpose. As an immediate corollary of our result, we solve an open question that asks for the maximum number of negative eigenvalues of the partial transpose of a quantum state. In particular, we give an explicit method of construction of a bipartite state whose partial transpose has (m-1)(n-1…
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…
Entangled states with a positive partial transpose (so-called PPT states) are central to many interesting problems in quantum theory. On one hand, they are considered to be weakly entangled, since no pure state entanglement can be distilled from them. On the other hand, it has been shown recently that some of these PPT states exhibit genuinely high-dimensional entanglement, i.e. they have a high Schmidt number. Here we investigate $d\times d$ dimensional PPT states for $d\ge 4$ discussed recently by Sindici and Piani, and by generalizing their methods to the calculation of Schmidt numbers we s…
We address an open question about the existence of entangled continuous-variable (CV) Werner states with positive partial transpose (PPT). We prove that no such state exists by showing that all PPT CV Werner states are separable. The separability follows by observing that these CV Werner states can be approximated by truncating the states into a finite-dimensional convex mixture of product states. In addition, the constituents of the product states comprise a generalized non-Gaussian measurement which gives, rather surprisingly, a strictly tighter upper bound on quantum discord than photon cou…
This paper has been withdrawn by the author, due a crucial error in the optimization. For the last one month I have been trying to remove the error, but it seems to take a lot of time so I decided to withdraw this paper for the moment.
We construct $3\otimes 3$ PPT entangled edge states with maximal ranks, to complete the classification of $3\otimes 3$ PPT entangled edge states by their types. The ranks of the states and their partial transposes are 8 and 6, respectively. These examples also disprove claims in the literature.
A bipartite subspace $S$ is called strongly positive-partial-transpose-unextendible (PPT-unextendible) if for every positive integer $k$, there is no PPT operator supporting on the orthogonal complement of $S^{\otimes k}$. We show that a subspace is strongly PPT-unextendible if it contains a PPT-definite operator (a positive semidefinite operator whose partial transpose is positive definite). Based on these, we are able to propose a simple criterion for verifying whether a set of bipartite orthogonal quantum states is indistinguishable by PPT operations in the many copy scenario. Utilizing thi…
We exhibit a two-parameter family of bipartite mixed states $ρ_{bc}$, in a $d\otimes d$ Hilbert space, which are negative under partial transposition (NPT), but for which we conjecture that no maximally entangled pure states in $2\otimes 2$ can be distilled by local quantum operations and classical communication (LQ+CC). Evidence for this undistillability is provided by the result that, for certain states in this family, we cannot extract entanglement from any arbitrarily large number of copies of $ρ_{bc}$ using a projection on $2\otimes 2$. These states are canonical NPT states in the sense t…
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 investigate separability and entanglement of mixed states in ${\cal C}^2\otimes{\cal C}^2\otimes{\cal C}^N$ three party quantum systems. We show that all states with positive partial transposes that have rank $\le N$ are separable. For the 3 qubit case (N=2) we prove that all states $ρ$ that have positive partial transposes and rank 3 are separable. We provide also constructive separability checks for the states $ρ$ that have the sum of the rank of $ρ$ and the ranks of partial transposes with respect to all subsystems smaller than 15N-1.
We show that positivity of {\it every} partial transpose of $N$-partite quantum states implies new inequalities on Bell correlations which are stronger than standard Bell inequalities by a factor of $2^{(N-1)/2}$. A violation of the inequality implies the system is in a bipartite distillable entangled state. It turns out that a family of $N$-qubit bound entangled states proposed by Dür {[Phys. Rev. Lett. {\bf 87}, 230402 (2001)]} violates the inequality for $N\geq 4$.
We construct a parameterized family of $n\otimes n$ PPT (positive partial transpose) states of corank one for each $n\ge 3$. With a suitable choice of parameters, we show that they are $n\otimes n$ PPT entangled edge states of corank one for $3\le n\le 1000$. They violate the range criterion for separability in the most extreme way. Note that corank one is the smallest possible corank for such states. The corank of the partial transpose is given by $2n-3$, which is also the smallest possible corank for the partial transposes of PPT entangled edge states of corank one. They provide the first ex…
We develop a new technique to construct mutually unbiased tripartite absolutely maximally entangled bases. We first explore the tripartite absolutely maximally entangled bases and mutually unbiased bases in $\mathbb{C}^{d} \otimes \mathbb{C}^{d} \otimes \mathbb{C}^{d}$ based on mutually orthogonal Latin squares. Then we generalize the approach to the case of $\mathbb{C}^{d_{1}} \otimes \mathbb{C}^{d_{2}} \otimes \mathbb{C}^{d_{1}d_{2}}$ by mutually weak orthogonal Latin squares. The concise direct constructions of mutually unbiased tripartite absolutely maximally entangled bases are remarkably…
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.
Recently, X. Qi and J. Hou [Phys. Rev. A 85, 022334 (2012)] provided optimal entanglement witnesses without the spanning property. These witnesses are associated to indecomposable positive linear maps, but it is not checked whether partial transposes of these witnesses are also optimal. We show that partial transposes of these entanglement witnesses have spanning property, and these witnesses are indeed optimal PPTES witnesses (non-decomposable optimal entanglement witnesses).
We employ geometric discord and measurement induced nonlocality to quantify non classical correlations of some well-known bipartite bound entangled states, namely the two families of Horodecki's ($2\otimes 4$, $3\otimes 3$ and $4\otimes 4$ dimensional) bound entangled states and that of Bennett etal's in $3\otimes 3$ dimension. In most of the cases our results are analytic and both the measures attain relatively small value. The amount of quantumness in the $4\otimes 4$ bound entangled state of Benatti etal and the $2\otimes 8$ state having the same matrix representation (in computational basi…
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.
It is known that entangled mixed states that are positive under partial transposition (PPT states) must have rank at least four. In a previous paper we presented a classification of rank four entangled PPT states which we believe to be complete. In the present paper we continue our investigations of the low rank entangled PPT states. We use perturbation theory in order to construct rank five entangled PPT states close to the known rank four states, and in order to compute dimensions and study the geometry of surfaces of low rank PPT states. We exploit the close connection between low rank PPT …
We present the PPT square conjecture introduced by M. Christandl. We prove the conjecture in the case $n=3$ as a consequence of the fact that two-qutrit PPT states have Schmidt at most two. Our result in Lemma 3 is independent from the proof found Müller-Hermes. Müller-Hermes announced that this conjecture is true for the states on $\mathbb{C}_3\otimes\mathbb{C}_3$ \cite{hermes} recently. The PPT square conjecture in the case $n\ge4$ is still open.
Motivated by the desire to better understand the class of quantum operations on bipartite systems that preserve positivity of partial transpose (PPT operations) and its relation to the class LOCC (local operations and classical communication), we present some results on deterministic bipartite pure state transformations by PPT operations. Restricting our attention to the case where we start with a rank K maximally entangled state, we give a necessary condition for transforming it into a given pure state, which we show is also sufficient when K is two and the final state has Schmidt rank three.…
We discuss the entanglement properties of bipartite states with Gaussian Wigner functions. Separability and the positivity of the partial transpose are characterized in terms of the covariance matrix of the state, and it is shown that for systems composed of a single oscillator for Alice and an arbitrary number for Bob, positivity of the partial transpose implies separability. However, this implications fails with two oscillators on each side, as we show by a five parameter family of explicit counterexamples.
Mutually unbiased bases which is also maximally entangled bases is called mutually unbiased maximally entangled bases (MUMEBs). We study the construction of MUMEBs in bipartite system. In detail, we construct 2(p^a-1) MUMEBs in C^d\otimes C^d by properties of Guss sums for arbitrary odd d. It improves the known lower bound p^a-1 for odd d. Certainly, it also generalizes the lower bound 2(p^a-1) for d being a single prime power. Furthermore, we construct MUMEBs in C^d\otimes C^{kd} for general k>= 2 and odd d. We get the similar lower bounds as $k,b$ are both single prime powers. Particularly, …
We provide a new class of entanglement witnesses for $d \ot d$ systems (two qudits). Our construction generalizes the one proposed recently by Jafarizadeh et al. for $d=3$ and $d=4$ on the basis of semidefinite linear programming. Moreover, we provide a new class of PPT entangled states detected by our witnesses which generalizes well known family of states constructed by Horodecki et al. for $d=3$.
We study maximally entangled states and fully entangled fraction in general d'\otimes d (d'\geq d) systems. Necessary and sufficient conditions for maximally entangled pure and mixed states are presented. As a natural generalization of the usual fully entangled fraction for d\otimes d systems, we define the maximal overlap between a given quantum state and the maximally entangled states as the fully entangled fraction in d'\otimes d systems. The properties of this fully entangled fraction and its relations to quantum teleportation have been analyzed. The witness for detecting maximally entangl…
Recently, Halder \emph{et al.} [S. Halder \emph{et al.}, Phys. Rev. Lett. \textbf{122}, 040403 (2019)] present two sets of strong nonlocality of orthogonal product states based on the local irreducibility. However, for a set of locally indistinguishable orthogonal entangled states, the remaining question is whether the states can reveal strong quantum nonlocality. Here we present a general definition of strong quantum nonlocality based on the local indistinguishability. Then, in $2 \otimes 2 \otimes 2$ quantum system, we show that a set of orthogonal entangled states is locally reducible but l…
We construct tri-qubit genuinely entangled states which have positive partial transposes with respect to bi-partition of systems. These examples disprove a conjecture [L. Novo, T. Moroder and O. G\" uhne, Phys.Rev.A {88}, 012305 (2013)] which claims that PPT mixtures are necessary and sufficient for biseparability of three qubits.
Let $\mathcal{H}_i$ be a finite dimensional complex Hilbert space of dimension $d_i$ associated with a finite level quantum system $A_i$ for $i = i, 1,2, ..., k$. A subspace $S \subset \mathcal{H} = \mathcal{H}_{A_{1} A_{2}... A_{k}} = \mathcal{H}_1 \otimes \mathcal{H}_2 \otimes ... \otimes \mathcal{H}_k $ is said to be {\it completely entangled} if it has no nonzero product vector of the form $u_1 \otimes u_2 \otimes ... \otimes u_k$ with $u_i$ in $\mathcal{H}_i$ for each $i$. Using the methods of elementary linear algebra and the intersection theorem for projective varieties in basic algebra…
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 study mutually unbiased maximally entangled bases (MUMEB's) in bipartite system $\mathbb{C}^d\otimes\mathbb{C}^d (d \geq 3)$. We generalize the method to construct MUMEB's given in [16], by using any commutative ring $R$ with $d$ elements and generic character of $(R,+)$ instead of $\mathbb{Z}_d=\mathbb{Z}/d\mathbb{Z}$. Particularly, if $d=p_1^{a_1}p_2^{a_2}\ldots p_s^{a_s}$ where $p_1, \ldots, p_s$ are distinct primes and $3\leq p_1^{a_1}\leq\cdots\leq p_s^{a_s}$, we present $p_1^{a_1}-1$ MUMEB's in $\mathbb{C}^d\otimes\mathbb{C}^d$ by taking $R=\mathbb{F}_{p_1^{a_1}}\oplus\cdots\oplus\mat…
We construct two mutually unbiased bases by maximally entangled states (MUMEB$s$) in $\mathbb{C}^{2}\otimes \mathbb{C}^{3}$. This is the first example of MUMEB$s$ in $\mathbb{C}^{d}\otimes \mathbb{C}^{d'}$ when $d\nmid d'$, namely $d'$ is not divisible by $d$. We show that they cannot be extended to four MUBs in $\mathbb{C}^6$. We propose a recursive construction of mutually unbiased bases formed by special entangled states with a fixed Schmidt number $k$ (MUSEB$k$s). It shows that $\min \{t_{1},t_{2}\}$ MUSEB$k_{1}k_{2}$s in $\mathbb{C}^{pd}\otimes \mathbb{C}^{qd'}$ can be constructed from $t…
A new way of constructing unextendible maximally entangled basis (UMEB) from maximally entangled basis (MEB) is proposed. Consequently, it is shown that if there is an $N$-member UMEB in $\mathbb{C}^d\otimes \mathbb{C}^d$, then there exists a $(qd)^2-q(d^2-N)$-member UMEB in $\mathbb{C}^{qd}\otimes \mathbb{C}^{qd}$ for any $q\in\mathbb{N}$. This improves the results in [Phys. Rev. A 90, 034301(2014)], which shows that there exists a $(qd)^2-(d^2-N)$-member UMEB in $\mathbb{C}^{qd}\otimes \mathbb{C}^{qd}$ provided that an $N$-member UMEB exsits in $\mathbb{C}^d\otimes \mathbb{C}^d$. In addition…
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 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…
The quantumness of a generic state is the resource of many applications in quantum information theory and it is interesting to survey the measures which are able to detect its trace in the properties of the state. In this work we study the quantum discord and fully entangled fraction of two classes of bipartite states and compare their behaviors. These classes are complements to the $d\otimes d$ Werner and isotropic states, in the sense that each class possesses the same purification as the corresponding complemental class of states. Our results show that maximally entangled mixed states are a…
We construct faces of the convex set of all $2\otimes 4$ bipartite separable states, which are affinely isomorphic to the simplex $Δ_{9}$ with ten extreme points. Every interior point of these faces is a separable state which has a unique decomposition into 10 product states, even though ranks of the state and its partial transpose are 5 and 7, respectively. We also note that the number 10 is greater than $2\times 4$, to disprove a conjecture on the lengths of qubit-qudit separable states. This face is inscribed in the corresponding face of the convex set of all PPT states so that sub-simplice…
The positivity of the partial transpose is in general only a necessary condition for separability. There exist quantum states that are not separable, but nevertheless are positive under partial transpose. States of this type are known as bound entangled states meaning that these states are entangled but they do not allow distillation of pure entanglement by means of local operations and classical communication (LOCC). We present a parametrization of a class of $2\times 2$ bound entangled Gaussian states for bipartite continuous-variable quantum systems with two modes on each side. We propose a…
We build apon our previous work, the Buckley-\vSivic method for simultaneous construction of families of positive maps on $3 \times 3$ self-adjoint matrices by prescribing a set of complex zeros to the associated forms. Positive maps that are not completely positive can be used to prove (witness) that certain mixed states are entangled. We obtain entanglement witnesses that are indecomposable and belong to extreme rays of the cone of positive maps. Consequently our semidefinite program returns new examples of entangled states whose entanglement cannot be certified by the transposition map nor …
We construct a set of PPT (positive partial transpose) states and show that these PPT states are not separable, thus present a class of bound entangled quantum states.
We have studied mixed states in the system of three qubits with the property that all their partial transposes are positive, these are called PPT states. We classify a PPT state by the ranks of the state itself and its three single partial transposes. In random numerical searches we find entangled PPT states with a large variety of rank combinations. For ranks equal to five or higher we find both extremal and nonextremal PPT states of nearly every rank combination, with the restriction that the square sum of the four ranks of an extremal PPT state can be at most 193. We have studied especially…
We study the general representations of positive partial transpose (PPT) states in ${\cal C}^K \otimes {\cal C}^M \otimes {\cal C}^N$. For the PPT states with rank-$N$ a canonical form is obtained, from which a sufficient separability condition is presented.
We study the distinguishability of bipartite quantum states by Positive Operator-Valued Measures with positive partial transpose (PPT POVMs). The contributions of this paper include: (1). We give a negative answer to an open problem of [M. Horodecki $et. al$, Phys. Rev. Lett. 90, 047902(2003)] showing a limitation of their method for detecting nondistinguishability. (2). We show that a maximally entangled state and its orthogonal complement, no matter how many copies are supplied, can not be distinguished by PPT POVMs, even unambiguously. This result is much stronger than the previous known on…
Witness Operator Provides Better Estimate of the Lower Bound of Concurrence of Bipartite Bound Entangled States in $d_{1}\otimes d_{2}$ Dimensional System
Quantum coherence and quantum entanglement are two strong pillars in quantum information theory. We study here for the possibility of any connection between these two important aspects of quantum mechanics while studying the entanglement detection problem for the detection of bipartite higher dimensional entangled states and multipartite entangled states. To achieve our goal, we derive the lower bound $L$ of $l_{1}$ norm of coherence of bipartite qubit-qudit system using the criterion that detect entanglement. Furthermore, we deduce the upper bound $U$ of $l_{1}$ norm of coherence of separable…
Structural physical approximation (SPA) has been exploited to approximate non-physical operation such as partial transpose. It has already been studied in the context of detection of entanglement and found that if the minimum eigenvalue of SPA to partial transpose is less than $\frac{2}{9}$ then the two-qubit state is entangled. We find application of SPA to partial transpose in the estimation of optimal singlet fraction. We show that optimal singlet fraction can be expressed in terms of minimum eigenvalue of SPA to partial transpose. We also show that optimal singlet fraction can be realized …
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}$ …