Using the natural duality between linear functionals on tensor products of C*-algebras with the trace class operators on a Hilbert space H and linear maps of the C*-algebra into B(H), we give two characterizations of separability, one relating it to abelianness of the definite set of the map, and one on tensor products of nuclear and UHF C*-algebras
Using the natural duality between linear functionals on tensor products of C*-algebras with the trace class operators on a Hilbert space H and linear maps of the C*-algebra into B(H), we study the relationship between separability, entanglement and the Peres condition of states and positivity properties of the linear maps.
In this paper we investigate operator Hilbert systems and their separable morphisms. We prove that the operator Hilbert space of Pisier is an operator system, which possesses the self-duality property. It is established a link between unital positive maps and Pietch factorizations, which allows us to describe all separable morphisms from an abelian C*-algebra to an operator Hilbert system. Finally, we prove a key property of entanglement breaking maps that involves operator Hilbert systems.
We exhibit examples of separable states which are on the boundary of the convex cone generated by all separable states but in the interior of the convex cone generated by all PPT states. We also analyze the geometric structures of the smallest face generated by those examples. As a byproduct, we obtain a large class of entangled states with positive partial transposes.
We study mapping cones and their dual cones of positive maps of the n by n matrices into itself. For a natural class of cones there is a close relationship between maps in the cone, super-positive maps, and separable states. In particular the composition of a map from the cone with a map in the dual cone is super-positive, and so the natural state it defines is separable.
In the convex set of all $3\ot 3$ states with positive partial transposes, we show that one can take two extreme points whose convex combinations belong to the interior of the convex set. Their convex combinations may be even in the interior of the convex set of all separable states. In general, we need at least $mn$ extreme points to get an interior point by their convex combination, for the case of the convex set of all $m\ot n$ separable states. This shows a sharp distinction between PPT states and separable states. We also consider the same questions for positive maps and decomposable maps…
Linear maps preserving pure states of a quantum system of any dimension are characterized. This is then used to establish a structure theorem for linear maps that preserve separable pure states in multipartite systems. As an application, a characterization of separable pure state preserving affine maps is obtained.
We find a description of the restriction of doubly stochastic maps to separable abelian $C^*$-subalgebras of a II$_1$ factor $\cM$. We use this local form of doubly stochastic maps to develop a notion of joint majorization between $n$-tuples of mutually commuting self-adjoint operators that extends those of Kamei (for single self-adjoint operators) and Hiai (for single normal operators) in the II$_1$ factor case. Several characterizations of this joint majorization are obtained. As a byproduct we prove that any separable abelian $C^*$-subalgebra of $\cM$ can be embedded into a separable abelia…
In 2006, Arveson resolved a long-standing problem by showing that for any element $x$ of a separable self-adjoint unital subspace $S\subseteq B(H)$, $\|x\|=\sup\|π(x)\|$, where $π$ runs over the boundary representations for $S$. Here we show that "sup" can be replaced by "max". This implies that the Choquet boundary for a separable operator system is a boundary in the classical sense; a similar result is obtained in terms of pure matrix states when $S$ is not assumed to be separable. For matrix convex sets associated to operator systems in matrix algebras, we apply the above results to improve…
Power symmetric matrices defned and studied by R. Sinkhorn (1981) and their generalization by R.B. Bapat, S.K. Jain and K. Manjunatha Prasad (1999) have been utilized to give positive block matrices with trace one possessing positive partial transpose, the so-called PPT states. Another method to construct such PPT states is given, it uses the form of a matrix unitarily equivalent to its transpose obtained by S.R. Garcia and J.E. Tener (2012). Evolvement or suppression of separability or entanglement of various levels for a quantum dynamical semigroup of completely positive maps has been studie…
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…
Let $H$ be a complex separable Hilbert space of dimension $\geq 2$, ${\mathcal B}_s(H)$ the space of all self-adjoint operators on $H$. We give a complete classification of non-linear surjective maps on $\mathcal B_s(H)$ preserving respectively numerical radius and numerical range of Lie product.
We prove lifting theorems for completely positive maps going out of exact $C^\ast$-algebras, where we remain in control of which ideals are mapped into which. A consequence is, that if $\mathsf X$ is a second countable topological space, $\mathfrak A$ and $\mathfrak B$ are separable, nuclear $C^\ast$-algebras over $\mathsf X$, and the action of $\mathsf X$ on $\mathfrak A$ is continuous, then $E(\mathsf X; \mathfrak A, \mathfrak B) \cong KK(\mathsf X; \mathfrak A, \mathfrak B)$ naturally. As an application, we show that a separable, nuclear, strongly purely infinite $C^\ast$-algebra $\mathfrak…
We present a large class of indecomposable exposed positive linear maps between three dimensional matrix algebras. We also construct two qutrit separable states with lengths ten in the interior of their dual faces. With these examples, we show that the length of a separable state may decrease strictly when we mix it with another separable state.
We investigate conditions on a finite set of multi-partite product vectors for which separable states with corresponding product states have unique decomposition, and show that this is true in most cases if the number of product vectors is sufficiently small. In the three qubit case, generic five dimensional spaces give rise to faces of the convex set consisting of all separable states, which are affinely isomorphic to the five dimensional simplex with six vertices. As a byproduct, we construct three qubit entangled PPT edge states of rank four with explicit formulae. This covers those entangl…
We study several classes of general non-linear positive maps between C*-algebras, which are not necessary completely positive maps. We characterize the class of the compositions of *-multiplicative maps and positive linear mapsas the class of non-linear maps of boundedly positive type abstractly. We consider three classes of non-linear positive maps defined only on the positive cones, which are the classes of being monotone, supercongruent or concave. Any concave maps are monotone. The intersection of the monotone maps and the supercongruent maps characterizes the class of monotone Borel funct…
We construct a large class of indecomposable positive linear maps from the $2\times 2$ matrix algebra into the $4\times 4$ matrix algebra, which generate exposed extreme rays of the convex cone of all positive maps. We show that extreme points of the dual faces for separable states arising from these maps are parametrized by the Riemann sphere, and the convex hulls of the extreme points arising from a circle parallel to the equator have the exactly same properties with the convex hull of the trigonometric moment curve studied from combinatorial topology. Any interior points of the dual faces a…
We construct a class of positive linear maps on matrix algebras. We find conditions when these maps are atomic, decomposable and completely positive. We obtain a large class of atomic positive linear maps. As applications in quantum information theory, we discuss the structural physical approximation and optimality of entanglement witness associated with these maps.
The structure of cones of positive and k-positive maps acting on a finite-dimensional Hilbert space is investigated. Special emphasis is given to their duality relations to the sets of superpositive and k-superpositive maps. We characterize k-positive and k-superpositive maps with regard to their properties under taking compositions. A number of results obtained for maps are also rephrased for the corresponding cones of block positive, k-block positive, separable and k-separable operators, due to the Jamiolkowski-Choi isomorphism. Generalizations to a situation where no such simple isomorphism…
We study the structure of nilpotent completely positive maps in terms of Choi-Kraus coefficients. We prove several inequalities, including certain majorization type inequalities for dimensions of kernels of powers of nilpotent completely positive maps.
We will introduce the notion of strong Morita equivalence for completely positive linear maps and study its basic properties. Also, we will discuss the relation between strong Morita equivalence for bounded $C^*$-bimodule linear maps and strong Morita equivalence for completely positive linear maps. Furthermore, we will show that if two unital $C^*$-algebras are strongly Morita equivalent, then there is a $1-1$ correspondence between the two sets of all strong Morita equivalence classes of completely positive linear maps on the two unital $C^*$-algebras and we will show that the corresponding …
We give conditions for when the tensor product of two positive maps between matrix algebras is a positive map. This happens when one map belongs to a symmetric mapping cone and the other to the dual cone. Necessary and sufficient conditions are given.
Let $A$ be a separable simple exact ${\cal Z}$-stable $C^*$-algebra. We show that the unitay group of ${\tilde A}$ has the cancellation property. If $A$ has continuous scale, the Cuntz semigroup of $\tilde A$ has the strict comparison property and a weak cancellation property. Let $C$ be a 1-dimensional non-commutative CW complex with $K_1(C)=\{0\}.$ Suppose that $λ: {\rm Cu}^\sim(C)\to {\rm Cu}^\sim(A)$ is a morphism in Cuntz semigroups which is strictly positive. Then there exists a sequence of homomorphisms $ϕ_n: C\to A$ such that $\lim_{n\to\infty}{\rm Cu}^\sim(ϕ_n)=λ.$ This result leads t…
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$.
We consider 2-positive almost order zero (disjointness preserving) maps on C*-algebras. Generalizing the argument of M. Choi for multiplicative domains, we give an internal characterization of almost order zero for 2-positive maps. It is also shown that complete positivity can be reduced to 2-positivity in the definition of decomposition rank for unital separable C*-algebras.
We report on recent progress in the program to classify separable amenable C*-algebras. Our emphasis is on the newly apparent role of regularity properties such as finite decomposition rank, strict comparison of positive elements, and Z-stability, and on the importance of the Cuntz semigroup. We include a brief history of the program's successes since 1989, a more detailed look at the Villadsen-type algebras which have so dramatically changed the landscape, and a collection of announcements on the structure and properties of the Cuntz semigroup.
We present an algorithm for factoring linear differential operators with coefficients in a finite separable extension of F p (x). Our methods rely on specific tools arising in positive characteristic: p-curvature, structure of simple central algebras and p-Riccati equations.
This is a revised form of the previous paper in which we study cones of positive maps of B(H) into itself. We add the result that the dual cone of a symmetric mapping cone is itself a symmetric mapping cone. As applications we obtain characterizations of linear functionals with strong positivity conditions with respect to a class of mapping cones called symmetric mapping cones. Applications are given to separable and PPT-states.
We introduce an Ulam-type stability condition for positive definite maps defined on a countable group and prove that this condition characterizes amenability.
We extend some inequalities for normal matrices and positive linear maps related to the Russo-Dye theorem. The results cover the case of some positive linear maps on a von Neumann algebra mapping any nonzero operator to an unbounded operator.
This article proves the existence of completely positive quasimultiplicative maps from the group algebra of imprimitive reflection groups to the set of bounded operators, and uses those linear maps to define creation and annihilation operators on the full Fock space.
For two positive maps $ϕ_i:B(\mathcal{K}_i)\to B(\mathcal{H}_i)$, $i=1,2$, we construct a new linear map $ϕ:B(\mathcal{H})\to B(\mathcal{K})$, where $\mathcal{K}=\mathcal{K}_1\oplus\mathcal{K}_2\oplus\mathbb{C}$, $\mathcal{H}=\mathcal{H}_1\oplus\mathcal{H}_2\oplus\mathbb{C}$, by means of some additional ingredients such as operators and functionals. We call it a merging of maps $ϕ_1$ and $ϕ_2$. We discuss properties of this construction. In particular, we provide conditions for positivity of $ϕ$, as well as for $2$-positivity, complete positivity and nondecomposability. In particular, we show …
We study conjugacy invariants for completely positive maps that are inspired by the concept of curvature introduced for commuting d-tuples of contractions by Arveson
We present the following reflexivity-like result concerning the automorphism group of the $C^*$-algebra B(H), H being a separable Hilbert space. Let $ϕ:B(H)\to B(H)$ be a multiplicative map (no linearity or continuity is assumed) which can be approximated at every point by automorphisms of B(H) (these automorphisms may, of course, depend on the point) in the operator norm. Then $ϕ$ is an automorphism of the algebra B(H).
Separable neighbourhood of identity in C$^{\ast}$-algebras
Wallenberg Centre for Quantum Technology, Chalmers University of Technology(查尔姆斯理工大学华伦堡量子技术中心);Department of Mathematical Sciences, Chalmers University of Technology(查尔姆斯理工大学数学科学系);Institute of Mathematics of the Polish Academy of Sciences(波兰科学院数学研究所)
We study the so-called K-positive linear maps from B(L) into B(H) for finite dimensional Hilbert spaces L and H and give characterizations of the dual cone of the cone of K-positive maps. Applications are given to decomposable maps and PPT-states.
We extend the theory of decomposable maps by giving a detailed description of k-positive maps. A relation between transposition and modular theory is established. The structure of positive maps in terms of modular theory (the generalized Tomita-Takesaki scheme) is examined.
Positive maps are useful for detecting entanglement in quantum information theory. Any entangled state can be detected by some positive map. In this paper, the relation between positive block matrices and completely positive trace-preserving maps is characterized. Consequently, a new method for constructing decomposable maps from positive block matrices is derived. In addition, a method for constructing positive but not completely positive maps from Hermitian block matrices is also obtained.
We prove that all injective maps on positive complex matrices which preserve order and shrink spectrum are implemented by unitary or antiunitary conjugations. We show by counterexamples that all assumptions are indispensable. The result easily generalizes to maps on hermitian matrices.
The full description of the set of positive maps $T: \qA \to \cB(\cH)$ ($\qA$ a $C^*$-algebra) is given. The approach is based on the simple prescription for selecting various types of positive maps. This prescription stems from the Grothendieck theory of projective tensor products complemented by the theory of tensor connes. In particular, the origin of non-decomposable maps is clarified.