One of the most important problems in quantum information is the separability problem, which asks whether a given quantum state is separable. We investigate multipartite states of rank at most 4 which are PPT (i.e., all their partial transposes are positive semidefinite). We show that any PPT state of rank 2 or 3 is separable and has length at most 4. For separable states of rank 4, we show that they have length at most 6. It is six only for some qubit–qutrit or multiqubit states. It turns out that any PPT entangled state of rank 4 is necessarily supported on a 3⊗3 or a 2⊗2⊗2 subsystem. We obtain a very simple criterion for the separability problem of the PPT states of rank at most 4: such a state is entangled if and only if its range contains no product vectors. This criterion can be easily applied since a four-dimensional subspace in the 3⊗3 or 2⊗2⊗2 system contains a product vector if and only if its Plücker coordinates satisfy a homogeneous polynomial equation (the Chow form of the corresponding Segre variety). We have computed an explicit determinantal expression for the Chow form in the former case, while such an expression was already known in the latter case.
One of the most important problems in quantum information is the separability problem, which asks whether a given quantum state is separable. We investigate multipartite states of rank at most 4 which are PPT (i.e., all their partial transposes are positive semidefinite). We show that any PPT state of rank 2 or 3 is separable and has length at most 4. For separable states of rank 4, we show that they have length at most 6. It is six only for some qubit–qutrit or multiqubit states. It turns out that any PPT entangled state of rank 4 is necessarily supported on a 3⊗3 or a 2⊗2⊗2 subsystem. We obtain a very simple criterion for the separability problem of the PPT states of rank at most 4: such a state is entangled if and only if its range contains no product vectors. This criterion can be easily applied since a four-dimensional subspace in the 3⊗3 or 2⊗2⊗2 system contains a product vector if and only if its Plücker coordinates satisfy a homogeneous polynomial equation (the Chow form of the corresponding Segre variety). We have computed an explicit determinantal expression for the Chow form in the former case, while such an expression was already known in the latter case.
We show that the length of a qubit-qutrit separable state is equal to max(r,s), where r is the rank of the state and s the rank of its partial transpose. We refer to the ordered pair (r,s) as the birank of this state. We also construct examples of qubit-qutrit separable states of any feasible birank (r,s). We determine the closure of the set of normalized two-qutrit entangled states having positive partial transpose (PPT) of rank 4. The boundary of this set consists of all separable states of length at most 4. We prove that the length of any qubit-qudit separable state of birank (d+1,d+1) is equal to d+1. We also show that all qubit-qudit PPT entangled states of birank (d+1,d+1) can be built in a simple way from edge states. If V is a subspace of dimension k<d in a $2\ensuremath{\bigotimes}d$ space such that V contains no product vectors, we show that the set of all product vectors in ${V}^{\ensuremath{\perp}}$ is a vector bundle of rank $d\ensuremath{-}k$ over the projective line. Finally, we explicitly construct examples of qubit-qudit PPT states (both separable and entangled) of any feasible birank.
Multiqubit positive-partial-transpose (PPT) entangled states play an important role in quantum information theory. We characterize such states of minimum rank in three-qubit system, namely rank four. Depending on whether the Lorentz invariant is zero, we classify such states into two types. The PPT entangled states constructed by unextendible product bases (UPB) have nonzero invariants, which belong to type I. We provide a method to effectively determine whether a state can be constructed from UPB. For states with zero invariant, which belong to type II, we provide an explicit expression up to equivalence of stochastic local operations and classical communications (SLOCC). It turns out that we can represent them with only one complex parameter. We further study SLOCC-equivalence relation within the expression. We also investigate the Lorentz invariants of multiqubit states with rank less than three and analyze their range.
Deciding whether a mixed quantum state is separable or entangled is a difficult problem in general. Separable states are positive under partial transposition [they are positive-partial-transpose (PPT) states], but this simple test does not exclude all entangled states. In order to understand the entangled PPT states, having so-called bound entanglement, we want to study the extremal PPT states. An extremal PPT state is either a pure product state, then it is separable, or it is entangled, in which case the state and its partial transpose must still be rather low-rank density matrices, although it is known that the rank must be at least 4. In a previous paper we presented a complete classification of the rank-4 entangled PPT states in dimension $3\ifmmode\times\else\texttimes\fi{}3$, generalizing the construction by Bennett et al. from unextendible sets of orthogonal product vectors. In the present paper we continue our investigations of the low-rank entangled PPT states, mostly in dimension $3\ifmmode\times\else\texttimes\fi{}3$, using a combination of analytical and numerical methods. We use perturbation theory in order to construct rank-5 entangled PPT states close to the known rank-4 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 states and product vectors. In particular, we show how to reconstruct a low-rank PPT state from a sufficient number of product vectors in its kernel. It may seem surprising that the number of product vectors needed may be smaller than the dimension of the kernel.
The bipartite quantum states ρ, with rank strictly smaller than the maximum of the ranks of the reduced states ρ A and ρ B , are distillable by local operations and classical communication (Horodecki P, Smolin J A, Terhal B M and Thapliyal A V 2003 Theor. Comput. Sci. 292 589–96; 1999 arXiv:quant-ph/9910122). Our first main result is that this is also true for NPT states with rank equal to this maximum. (A state is PPT if the partial transpose of its density matrix is positive semidefinite, and otherwise it is NPT.) This was conjectured first in 1999 in the special case when the ranks of ρ A and ρ B are equal (see (Horodecki P, Smolin J A, Terhal B M and Thapliyal A V 2003 Theor. Comput. Sci. 292 589–96; 1999 arXiv:quant-ph/9910122). Our second main result provides a complete solution of the separability problem for bipartite states of rank 4. Namely, we show that such a state is separable if and only if it is PPT and its range contains at least one product state. We also prove that the so-called checkerboard states are distillable if and only if they are NPT.
In this master thesis I study the extremal positive partial transpose (PPT) states of the three qubit (2times2times2) system using numerical methods. Using two algorithms which locate PPT states of a specified rank and extremal PPT states respectively, I have located numerical examples of extremal PPT states with a variety of ranks. These numerical results confirm the analytical result that all PPT states of rank less than four are separable. I also derive an upper limit on the ranks of extremal PPT states. The extremal PPT states of lowest rank, the rank four states, were studied in more detail. These states were confirmed to be biseparable in accordance with both previous analytical and numerical results. The range and kernel of these states were examined for product vectors, but none were found. In an attempt to parametrize the SLotimesSL equivalence classes of these extremal rank four states I have studied an analytical method to construct such states based on unextendible product bases (UPBs). This method can be used to create PPT states from a single equivalence class where, by design, the kernel of all states contain a UPB and the range contains no product vectors. All states where the range is not spanned by a basis of product vectors are necessarily entangled. I also present a numerical method for creating extremal rank four states that are symmetric under various combinations of partial transposes. Numerical examination of these states reveal no product vectors in neither range nor kernel. The existence of rank four states with and without product vectors in their kernel implies the existence of at least two equivalence classes. To get a better impression of these equivalence classes I construct quantities that are invariant under SLotimesSL transformations and must therefore have the same value for all states in the same equivalence class. Calculating the values of these invariants for all the rank four extremal states I have generated gives a seemingly continuous range of values. This indicates that there is an infinite number of equivalence classes likely described by one or more continuous variables. The invariants also revealed an interesting set of states that may belong to a single equivalence class, where one invariant is zero and the others have identical values. This was the only equivalence class where more than one of my states were included. There is obviously something special about this class, but I do not know what it is.
From both theoretical and experimental points of view symmetric states constitute an important class of multipartite states. Still, entanglement properties of these states, in particular those with positive partial transposition (PPT), lack a systematic study. Aiming at filling in this gap, we have recently affirmatively answered the open question of existence of four-qubit entangled symmetric states with PPT and thoroughly characterized entanglement properties of such states [J. Tura et al., Phys. Rev. A 85, 060302(R) (2012)]. With the present contribution we continue on characterizing PPT entangled symmetric states. On the one hand, we present all the results of our previous work in a detailed way. On the other hand, we generalize them to systems consisting of an arbitrary number of qubits. In particular, we provide criteria for separability of such states formulated in terms of their ranks. Interestingly, for most of the cases, the symmetric states are either separable or typically separable. Then, edge states in these systems are studied, showing in particular that to characterize generic PPT entangled states with four and five qubits, it is enough to study only those that assume few (respectively, two and three) specific configurations of ranks. Finally, we numerically search for extremal PPT entangled states in such systems consisting of up to 23 qubits. One can clearly notice regularity behind the ranks of such extremal states, and, in particular, for systems composed of odd numbers of qubits we find a single configuration of ranks for which there are extremal states.