Finding decompositions of a class of separable states

By definition a separable state has the form \sum A_i \otimes B_i, where 0 \leq A_i, B_i for each i. In this paper we consider the class of states which admit such a decomposition with B_1, ..., B_p having independent images. We give a simple intrinsic characterization of this class of states, and starting with a density matrix in this class, describe a procedure to find such a decomposition with B_1, ..., B_p having independent images, and A_1, ..., A_p being distinct with unit trace. Such a decomposition is unique, and we relate this to the facial structure of the set of separable states. A special subclass of such separable states are those for which the rank of the matrix matches one marginal rank. Such states have arisen in previous studies of separability (e.g., they are known to be a class for which the PPT condition is equivalent to separability). The states investigated also include a class that corresponds (under the Choi-Jamio{\l}kowski isomorphism) to the quantum channels called quantum-classical and classical-quantum by Holevo

Complete positivity of the map from a basis to its dual basis

The dual of a matrix ordered space has a natural matrix ordering that makes the dual space matrix ordered as well. The purpose of these notes is to give a condition that describes when the linear map taking a basis of the n by n matrices to its dual basis is a complete order isomorphism and complete co-order isomorphism. In the case of the standard matrix units this map is a complete order isomorphism and this is a restatement of the correspondence between completely positive maps and the Choi matrix. However, we exhibit natural orthonormal bases for the matrices such that this map is an order isomorphism, but not a complete order isomorphism. Some bases yield complete co-order isomorphisms. Included among such bases is the Pauli basis and tensor products of the Pauli basis. Consequently, when the Pauli basis is used in place of the the matrix unit basis, the analogue of Choi's theorem is a characterization of completely co-positive maps

Unique decompositions, faces, and automorphisms of separable states

Let S_k be the set of separable states on B(C^m \otimes C^n) admitting a representation as a convex combination of k pure product states, or fewer. If m>1, n> 1, and k \le max(m,n), we show that S_k admits a subset V_k such that V_k is dense and open in S_k, and such that each state in V_k has a unique decomposition as a convex combination of pure product states, and we describe all possible convex decompositions for a set of separable states that properly contains V_k. In both cases we describe the associated faces of the space of separable states, which in the first case are simplexes, and in the second case are direct convex sums of faces that are isomorphic to state spaces of full matrix algebras. As an application of these results, we characterize all affine automorphisms of the convex set of separable states, and all automorphisms of the state space of B(C^m otimes C^n). that preserve entanglement and separability.Comment: Since original version:Cor. 6 revised and renamed Thm 6, some definitions added before Cor. 11, introduction revised and references added, typos correcte

Avian Genetic Resources at Risk: An Assessment and Proposal for Conservation of Genetic Stocks in the USA and Canada

Genetic diversity, in both wild and domestic species, is a limited resource worth preserving for future generations (Oldfield 1984; Alderson 1990; FAO 1992; NRC 1993; Bixby et al. 1994). While many strong advocates promote the conservation of wild species, fewer are aware of the increasing loss of biodiversity in our major food species, particularly among domestic birds. Fortunately, breed conservation organizations have already made some progress in encouraging hobbyists and small-scale farmers in their role as conservators of unique and historically important breeds (Bixby et al. 1994), particularly the less common chicken and turkey breeds (Crawford and Christman 1992). These two species are considered more at-risk than most other livestock species (e.g., cow, pig, sheep, goat, or horse) due to recent and extraordinarily rapid expansion of the commercial poultry industry

The Structural Physical Approximation Conjecture

It was conjectured that the structural physical approximation (SPA) of an optimal entanglement witness is separable (or equivalently, that the SPA of an optimal positive map is entanglement breaking). This conjecture was disproved, first for indecomposable maps and more recently for decomposable maps. The arguments in both cases are sketched along with important related results. This review includes background material on topics including entanglement witnesses, optimality, duality of cones, decomposability, and the statement and motivation for the SPA conjecture so that it should be accessible for a broad audience