We advance a perspective of the entanglement issue that appeals to the Schlienz-Mahler measure [Phys. Rev. A 52, 4396 (1995)]. Related to it, we propose a criterium based on the consideration of convex subsets of quantum states. This criterium generalizes a property of product states to convex subsets (of the set of quantum states) that is able to uncover an interesting geometrical property of the separability property.
We advance a perspective of the entanglement issue that appeals to the Schlienz-Mahler measure [Phys. Rev. A 52, 4396 (1995)]. Related to it, we propose a criterium based on the consideration of convex subsets of quantum states. This criterium generalizes a property of product states to convex subsets (of the set of quantum states) that is able to uncover an interesting geometrical property of the separability property.
The structural study of entanglement in multipartite systems is hindered by the lack of necessary and sufficient operational criteria able to discriminate among the various entanglement properties of a given mixed state. Here, we pursue a different route to the study of multipartite entanglement based on the closeness of a multipartite state to the set of separable ones. In particular, we analyze multipartite diagonal symmetric N qubit states and provide the analytical expression for their Best Separable Approximation (BSA [Phys. Rev. Lett. 80, 2261 (1998)]), that is, their unique convex decomposition into a separable part and an entangled one with maximal weight of the separable one.
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.
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.
The structural study of entanglement in multipartite systems is hindered by the lack of necessary and sufficient operational criteria able to discriminate among the various entanglement properties of a given mixed state. Here, we pursue a different route to the study of multipartite entanglement based on the closeness of a multipartite state to the set of separable ones. In particular, we analyze multipartite diagonal symmetric N-qubit states and provide the analytical expression for their best separable approximation (BSA, [Phys. Rev. Lett. 80, 2261 (1998)]), that is, their unique convex decomposition into a separable part and an entangled part, with maximal weight of the separable part.
We focus on determining the separability of an unknown bipartite quantum state $\ensuremath{\rho}$ by invoking a sufficiently large subset of all possible entanglement witnesses given the expected value of each element of a set of mutually orthogonal observables. We review the concept of an entanglement witness from the geometrical point of view and use this geometry to show that the set of separable states is not a polytope and to characterize the class of entanglement witnesses (observables) that detect entangled states on opposite sides of the set of separable states. All this serves to motivate a classical algorithm which, given the expected values of a subset of an orthogonal basis of observables of an otherwise unknown quantum state, searches for an entanglement witness in the span of the subset of observables. The idea of such an algorithm, which is an efficient reduction of the quantum separability problem to a global optimization problem, was introduced by [Ioannou et al., Phys. Rev. A 70, 060303(R)], where it was shown to be an improvement on the naive approach for the quantum separability problem (exhaustive search for a decomposition of the given state into a convex combination of separable states). The last section of the paper discusses in more generality such algorithms, which, in our case, assume a subroutine that computes the global maximum of a real function of several variables. Despite this, we anticipate that such algorithms will perform sufficiently well on small instances that they will render a feasible test for separability in some cases of interest (e.g., in $3\ifmmode\times\else\texttimes\fi{}3$ dimensional systems).
The problem of determining whether a given quantum state is separable is known to be computationally difficult. We develop an approach to this problem based on approximations of convex polytopes in high dimensions. By showing that a convex polytope constructed from a finite number of hyperplanes approximates the Euclidean ball arbitrarily well in high dimensions, we find evidence that a finite set of approximate entanglement witnesses is potentially sufficient to determine the entanglement of a state with high probability.