We present some foundations for a theory of real operator algebras and real Jordan operator algebras, and the various morphisms between these. A common theme is the ingredient of real positivity from papers of the first author with Read, Neal, Wang, and other coauthors, which we import to the real scalar setting here.
In this paper, we investigate $Φ$-maps associated to a certain type of $α$-completely positive maps. We then prove a KSGNS (Kasparov--Stinespring--Gel'fand--Naimark--Segal) type theorem for $α$-completely positive maps on Krein $C^*$-modules and show that the minimal KSGNS construction is unique up to unitary equivalence. We also establish a covariant version of the KSGNS type theorem for a covariant $α$-completely positive map and study the structure of minimal covariant KSGNS constructions.
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 consider the convex set of ( unital ) positive ( completely ) maps from a $C^*$ algebra $\cla$ to a von-Neumann sub-algebra $\clm$ of $\clb(\clh)$, the algebra of bounded linear operators on a Hilbert space $\clh$ and study its extreme points via its canonical lifting to the convex set of ( unital ) positive ( complete ) normal maps from $\hat{\cla}$ to $\clm$, where $\hat{\cla}$ is the universal enveloping von-Neumann algebra over $\cla$. If $\cla=\clm$ and a ( complete ) positive operator $τ$ is a unique sum of a normal and a singular ( complete ) positive maps. Furthermore, a unital comp…
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.
In \cite{CMW19}, the authors introduced $k$-entanglement breaking linear maps to understand the entanglement breaking property of completely positive maps on taking composition. In this article, we do a systematic study of $k$-entanglement breaking maps. We prove many equivalent conditions for a $k$-positive linear map to be $k$-entanglement breaking, thereby study the mapping cone structure of $k$-entanglement breaking maps. We discuss examples of $k$-entanglement breaking maps and some of their significance. As an application of our study, we characterize completely positive maps that reduce…
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 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.
The eigenvectors of an ergodic semigroup of linear normal positive unital maps on a von Neumann algebra are described. Moreover, it is shown by means of examples, that mere positivity of the maps in question is not sufficient for Frobenius theory as in S. Albeverio and R. Høegh-Krohn, \emph{Frobenius theory of positive maps of von Neumann algebras}, Comm. Math. Phys. \bf{64}(1978), 83--94, to hold.
We introduce a preorder relation in the collection of all operator valued completely positive maps on a full Hilbert C*-module and characterize this relation in terms of the Stinespring construction associated to each completely positive map.
The order relation on the set of completely n-positive linear maps from a pro-C*-algebra A to L(H), the C*-algebra of bounded linear operators on a Hilbert space H, is characterized in terms of the representation associated with each completely n-positive linear map. Also, the pure elements in the set of all completely n-positive linear maps from A to L(H) and the extreme points in the set of unital completely n-positive linear maps from A to L(H) are characterized in terms of the representation induced by each completely n-positive linear map.
We consider entanglement witnesses arising from positive linear maps which generate exposed extremal rays. We show that every entanglement can be detected by one of these witnesses, and this witness detects a unique set of entanglement among those. Therefore, they provide a minimal set of witnesses to detect all entanglement in a sense. Furthermore, if those maps are indecomposable then they detect large classes of entanglement with positive partial transposes which have nonempty relative interiors in the cone generated by all PPT states. We also provide a one parameter family of indecomposabl…
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 new class of positive indecomposable maps in the algebra of `d x d' complex matrices. These maps are characterized by the `weakest' positivity property and for this reason they are called atomic. This class provides a new reach family of atomic entanglement witnesses which define important tool for investigating quantum entanglement. It turns out that they are able to detect states with the `weakest' quantum entanglement.
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.
052<p type="texpara" tag="Body Text" et="abstract" >A completely $n$ -positive linear map from a locally $C^{\ast}$-algebra $A$ to another locally $C^{\ast}$-algebra $B $is an $n\times n$ matrix whose elements are continuous linear maps from $A$ to $B$ and which verifies the condition of completely positivity. In this paper we prove a Radon-Nikodym type theorem for strict completely $n$-positive linear maps which describes the order relation on the set of all strict completely $n$ -positive linear maps from a locally $C^{\ast }$-algebra $A$ to a $C^{\ast}$-algebra $B$, in terms of a self-dual …
In this article, we introduce local completely positive $k$-linear maps between locally $C^{\ast}$-algebras and obtain Stinespring type representation by adopting the notion of "invariance" defined by J. Heo for $k$-linear maps between $C^{\ast}$-algebras. Also, we supply the minimality condition to make certain that minimal representation is unique up to unitary equivalence. As a consequence, we prove Radon-Nikodým theorem for unbounded operator-valued local completely positive invariant $k$-linear maps. The obtained Radon-Nikodým derivative is a positive contraction on some Hilbert space wit…
D. Bures had defined a metric on the set of normal states on a von Neumann algebra using GNS representations of states. This notion has been extended to completely positive maps between $C^*$-algebras by D. Kretschmann, D. Schlingemann and R. F. Werner. We present a Hilbert $C^*$-module version of this theory. We show that we do get a metric when the completely positive maps under consideration map to a von Neumann algebra. Further, we include several examples and counter examples. We also prove a rigidity theorem, showing that representation modules of completely positive maps which are close…
We show that an operator valued $α$-completely positive map on a group G is given by a unitary representation of G on a Krein space which satisfies some condition. Moreover, two unitary equivalent such unitary representations define the same α-completely positive map. Also we introduce a pre-order relation on the collection of α-completely positive maps on a group and we characterize this relation in terms of the unitary representation associated to each map.
A very general KSGNS type dilation theorem in the context of right (not necessarily Hilbert) modules over $C^*$-algebras is presented. The proof uses Kolmogorov type decompositions for positive-definite kernels with values in spaces of sesquilinear maps. More specific functional analytic applications are obtained by adding assumptions.
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.
We prove a covariant version of the KSGNS (Kasparov, Stinespring, Gel'fand,Naimark,Segal) construction for completely positive linear maps between locally $C^{*}$-algebras. As an application of this construction, we show that a covariant completely positive linear map $ρ$ from a locally $C^{*}$-algebra $A$ to another locally $C^{*}$ -algebra $B$ with respect to a locally $C^{*}$-dynamical system $(G,A,α)$ extends to a completely positive linear map on the crossed product $A\times_{α^{}}G$.
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 show that the notion of asymptotic lift generalizes naturally to normal positive maps $ϕ$ acting on von Neumann algebras M. We focus on cases in which the domain of the asymptotic lift can be embedded as an operator subsystem of M, and characterize when that subsystem is a Jordan subalgebra of M in terms of the asymptotic multiplicative properties of $ϕ$.
We say a completely positive contractive map between two C*-algebras has order zero, if it sends orthogonal elements to orthogonal elements. We prove a structure theorem for such maps. As a consequence, order zero maps are in one-to-one correspondence with *-homomorphisms from the cone over the domain into the target algebra. Moreover, we conclude that tensor products of order zero maps are again order zero, that the composition of an order zero map with a tracial functional is again a tracial functional, and that order zero maps respect the Cuntz relation, hence induce ordered semigroup morph…
In this paper we generalize the results shown by Das and Peterson. Let $M$ be a ${\rm II}_1$-factor acting on $L^2(M)$. We consider certain unital normal completely positive maps on $B(L^2(M))$ which are identity on $M$. We investigate their fixed point spaces and obtain a rigidity result. As an application, we show some results of subfactors.
The eigenvectors of an ergodic semigroup of linear normal positive unital maps on a von Neumann algebra are described. Moreover, it is shown by means of examples, that mere positivity of the maps in question is not sufficient for Frobenius theory as in S. Albeverio and R. H\{o}egh-Krohn, \emph{Frobenius theory of positive maps of von Neumann algebras}, Comm. Math. Phys. \textbf{64} (1978), 83--94, to hold.
We present some properties of (not necessarily linear) positive maps between $C^*$-algebras. We first extend the notion of Lieb functions to that of Lieb positive maps between $C^*$-algebras. Then we give some basic properties and fundamental inequalities related to such maps. Next, we study $n$-positive maps ($n\geq 2$). We show that if for a unital $3$-positive map $Φ: \mathscr{A}\longrightarrow\mathscr{B}$ between unital $C^*$-algebras and some $ A\in \mathscr{A}$ equality $Φ(A^*A)= Φ(A)^* Φ(A)$ holds, then $Φ(XA)=Φ(X)Φ(A)$ for all $X \in \mathscr{A}$. In addition, we prove that for a certa…
In this paper we consider power means of positive Hilbert space operators both in the conventional and in the Kubo-Ando senses. We describe the corresponding isomorphisms (bijective transformations respecting those means as binary operations) on positive definite cones and on positive semidefinite cones in operator algebras. We also investigate the question when those two sorts of power means can be transformed into each other.
The paper contains results on the structure of Jordan maps and several kinds of triple maps on standard algebras of unbounded operators in Hilbert spaces. These results are unbounded counterparts to results on algebras of bounded operators obtained by Lu, Molnár and others ([3,4,6 -- 10]).
We introduce an Ulam-type stability condition for positive definite maps defined on a countable group and prove that this condition characterizes amenability.
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.
The paper is devoted to the problem of classification of extremal positive maps acting between $B(K)$ and $B(H)$ where $K$ and $H$ are Hilbert spaces. It is shown that every positive map with the property that $\rank ϕ(P)\leq 1$ for any one-dimensional projection $P$ is a rank 1 preserver. It allows to characterize all decomposable extremal maps as those which satisfy the above condition. Further, we prove that every extremal positive map which is 2-positive turns out to automatically completely positive. Finally we get the same conclusion for such extremal positive maps that $\rank ϕ(P)\leq 1…
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 investigate certain classes of normal completely positive (CP) maps on the hyperfinite $II_1$ factor $\mathcal A$. Using the representation theory of a suitable irrational rotation algebra, we propose some computable invariants for such CP maps.
Arveson's extension theorem guarantees that every completely positive map defined on an operator system can be extended to a completely positive map defined on the whole C*-algebra containing it. An analogous statement where complete positivity is replaced by positivity is known to be false. A natural question is whether extendibility could still hold for positive maps satisfying stronger conditions, such as being unital and norm 1. Here we provide three counterexamples showing that positive norm-one unital maps defined on an operator subsystem of a matrix algebra cannot be extended to a posit…
We study positive maps of B(K) into B(H) for finite-dimensional Hilbert spaces K and H. Our main emphasis is on how Choi matrices and estimates of their norms with respect to mapping cones reflect various properties of the maps. Special attention will be given to entanglement properties and k-positive maps, in particular tensor products of 2-positive maps. The latter problem is directly related to the question of n-copy distillability of quantum states, for which we obtain a partial result.
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 reflect on the notions of positivity and square roots. We review many examples which underline our thesis that square roots of positive maps related to *-algebras are Hilbert modules. As a result of our considerations we discuss requirements a notion of positivity on a *-algebra should fulfill and derive some basic consequences.
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.
We provide a novel tool which may be used to construct new examples of positive maps in matrix algebras (or, equivalently, entanglement witnesses). It turns out that this can be used to prove positivity of several well known maps (such as reduction map, generalized reduction, Robertson map, and many others). Furthermore, we use it to construct a new family of linear maps and prove that they are positive, indecomposable and (nd)optimal.
It is shown that a fixed point of a completely positive map on a semi-finite von Neumann algebra must commute with the operators determining the map (the Lueders phenomenon) if the element is finite or has finite square.
We derive Paschke's GNS construction for completely positive maps on unital pro-C*-algebras from the KSGNS construction, presented by M. Joita [J. London Math. Soc. {\bf 66} (2002), 421--432], and then we deduce an analogue of Stinespring theorem for Hilbert modules over pro-C*-algebras. Also, we obtain a Radon-Nikodym type theorem for operator valued completely positive maps on Hilbert modules over pro-C*-algebras.
We will consider the set of all completely positive linear maps from a unital $C^*$-algebra to the $C^*$-algebra of all (bounded) adjointable right Hilbert $C^*$-module maps, which are automatically bounded, on a right Hilbert $C^*$-module and we will introduce strong Morita equivalence for elements in this set. In this paper, we will give the following result: If two classes of two unital $C^*$-algebras are strongly Morita equivalent, respectively, then we can construct a bijective correspondence between two sets of all strong Morita equivalence classes of completely positive linear maps give…