The basic question that is addressed in this paper is finding the closest separable state for a given entangled state, measured with the Hilbert-Schmidt distance. While this problem is in general very difficult, we show that the following strongly related problem can be solved: find the Hilbert-Schmidt distance of an entangled state to the set of all partially transposed states. We prove that this latter distance can be expressed as a function of the negative eigenvalues of the partial transpose of the entangled state, and show how it is related to the distance of a state to the set of positive, partially transposed (PPT) states. We illustrate this by calculating the closest biseparable state to the W state and give a simple and very general proof for the fact that the set of W-type states is not of measure zero. Next we show that all surfaces with states whose partial transposes have constant minimal negative eigenvalue are similar to the boundary of PPT states. We illustrate this with some examples on bipartite qubit states, where contours of constant negativity are plotted on two-dimensional intersections of the complete state space.
The basic question that is addressed in this paper is finding the closest separable state for a given entangled state, measured with the Hilbert-Schmidt distance. While this problem is in general very difficult, we show that the following strongly related problem can be solved: find the Hilbert-Schmidt distance of an entangled state to the set of all partially transposed states. We prove that this latter distance can be expressed as a function of the negative eigenvalues of the partial transpose of the entangled state, and show how it is related to the distance of a state to the set of positive, partially transposed (PPT) states. We illustrate this by calculating the closest biseparable state to the W state and give a simple and very general proof for the fact that the set of W-type states is not of measure zero. Next we show that all surfaces with states whose partial transposes have constant minimal negative eigenvalue are similar to the boundary of PPT states. We illustrate this with some examples on bipartite qubit states, where contours of constant negativity are plotted on two-dimensional intersections of the complete state space.
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 main topic of this compilation thesis is the investigation of multipartite entanglement of finite dimensional systems. We developed a numerical algorithm that detects if a multipartite state is entangled or separable in a finite number of steps of a semi-definite optimization task. This method is an extension of previously known semi-definite methods, which are inconclusive when the state is separable. In our case, if the state is separable, an explicit decomposition into a mixture of separable states can be extracted. This was achieved by mapping the entanglement problem onto the mathematically well studied truncated moment problem. Additionally, a new way of writing the partially transposed state for symmetric multi-qubit states was developed which simplifies many results previously known in entanglement theory. This new way of writing the partial transpose criterion unifies different interpretations and alternative formulations of the partial transpose criterion and it is also a part in the aforementioned semi-definite algorithm. The geometric properties of entangled symmetric states of two qubits were studied in detail: We could answer the question of how far a given pure state is from the convex hull of symmetric separable states, as measured by the Hilbert-Schmidt distance, by giving an explicit formula for the closest separable symmetric state. For mixed states we could provide a numerical upper and analytical lower bound for this distance. For a larger number of qubits we investigated the ball of absolutely classical states, i.e. symmetric multi-qubit states that stay separable under any unitary transformation. We found an analytical lower bound for the radius of this ball around the maximally mixed symmetric state and gave a numerical upper bound on this radius, by searching for an entangled state as close as possible to the maximally mixed symmetric state. The tensor representation of a symmetric multi-qubit state, or spin-j state, allowed us to study entanglement properties based on the spectrum of the tensor via tensor eigenvalues. The definiteness of this tensor relates to the entanglement of the state it represents and, hence, the smallest tensor eigenvalue can be used to detect entanglement. However, the tensor eigenvalues are more difficult to determine than the familiar matrix eigenvalues which made the investigation computationally more challenging. The relationship between the value of the smallest tensor eigenvalue and the amount of entanglement in the state was also investigated. It turned out that they are strongly correlated for small system sizes, i.e. for up to six qubits. However, to investigate this correlation we needed an independent way to gauge the amount of entanglement of a state and in order to do so we improved existing numerical methods to determine the distance of a state to the set of separable symmetric states, using a combination of linear and quadratic programming. The tensor representation of symmetric multi-qubit states was also used to formally define a new tensor class of regularly decomposable tensors that corresponds to the set of separable symmetric multi-qubit states.
A geometric approach to investigation of quantum entanglement is advocated. Analyzing the space of pure states of a bipartite system we show how an entanglement measure of a gives state can be related to its distance to the closest separable state. We study geometry of the (N2 - 1)-dimensional convex body of mixed quantum states acting on an N-dimensional Hilbert space and demonstrate that it belongs to the class of sets of a constant height. The same property characterizes the set of all separable states of a two-qubit system. These results contribute to our understanding of quantum entanglement and its dynamics.
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.
Summary: \nEntanglement is a strange feature contained in the quantum mechanical framework, first observed theoretically by Erwin Schrödinger and Albert Einstein. An inherent attribute of entanglement is non-locality, and in the continuation of this, several non-reductionist features, which are conceptually challenging and philosophically interesting. \n \nA considerable growth of the interest in quantum entanglement has occurred since the early 1990s, and much of the reason for this is that the tools of quantum optics and modern instrumentation have made it possible to measure and manipulate entangled quantum systems. Today, several applications of entanglement exist, including quantum computers and several areas in quantum communications. \n \nA quantum state is either separable or entangled, it cannot be none or both. A separable state do not exhibit the non-local features found in entangled states, and are in this sense comparable to classic states. An important issue here is the separability problem, which is the problem of determining whether a given state is entangled or not. \n \nWe study these quantum states as Hermitian matrices with positive eigenvalues in convex spaces. The PPT criterion is based on the partial transposition operation, which essentially transposes one of the two subsystems in the quantum system. For some states the result is another quantum (positive) state, and these are PPT (Positive Partial Transpose) states, while others that gain negative eigenvalues are called NPT states. \n \nFor systems of dimensions 2 × 2 and 2 × 3, the PPT states are identical to the separable states, and the NPT states are identical to the entangled states, so the PPT criterion is always conclusive. But for larger dimensions, such as for instance the 3 × 3 system, there always exist PPT states that are entangled, so for this case the PPT criterion can only be used in a contrapositive way. Since entangled PPT states in this sense seem to have great significance, their characteristics are worth studying. \nAs mentioned, the PPT criterion uses the transposition map on one of the two subsystems of a composite quantum system. Transposition is an example of a positive map, in that it maps all quantum states into quantum states. It is possible to use positive maps to formulate a much more general criterion for the separability problem.There is a link (an isomorphism) between positive maps and a subset of Hermitian operators called entanglement witnesses. \n \nThe so-called Horodecki criterion states that a quantum state is separable if and only if the expectation value of all entanglement witnesses in the state are non-negative. If the expectation value of one (or possibly several) entanglement witnesses in a given quantum state is negative, then the state is always entangled. This criterion is both necessary and sufficient, but demands that we can characterize the entire set of entanglement witnesses. \n \nThe approach in this thesis is through geometry. Of fundamental importance is the convex nature of the sets in question. The knowledge and understanding of the extremal points in these sets is very relevant, since they describe the sets completely. Undertaking completely analytic studies of the geometry at hand is in general very hard, especially as the dimension of the systems grow. The development and use of numerical tools is therefore essential.
We construct faces of the convex set of all $2\ensuremath{\bigotimes}4$ bipartite separable states, which are affinely isomorphic to the simplex ${\ensuremath{\Delta}}_{9}$ with 10 extreme points. Every interior point of these faces is a separable state which has a unique decomposition into 10 product states, even though the ranks of the state and its partial transpose are 5 and 7, respectively. We also note that the number 10 is greater than $2\ifmmode\times\else\texttimes\fi{}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 subsimplices ${\ensuremath{\Delta}}_{k}$ of ${\ensuremath{\Delta}}_{9}$ share the boundary if and only if $k\ensuremath{\le}5$. This enables us to find a large class of $2\ensuremath{\bigotimes}4$ PPT entangled edge states with rank 5.