We show that for every "locally finite" unit-preserving completely positive map P acting on a C*-algebra, there is a corresponding *-automorphism αof another unital C*-algebra such that the two sequences P, P^2,P^3,... and α, α^2,α^3,... have the same {\em asymptotic} behavior. The automorphism αis uniquely determined by P up to conjugacy. Similar results hold for normal completely positive maps on von Neumann algebras, as well as for one-parameter semigroups.
These results can be viewed as operator algebraic counterparts of the classical Perron-Frobenius theorem on the structure of square matrices with nonnegative entries.
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 introduce weighted cb maps and $Λ_μ$-cb maps on operator spaces which are generalizations of completely bounded maps and a certain class of bilinear maps on operator spaces which we call $λ_μ$-cb bilinear maps. Some basic properties of these maps and an operator space tensor product associated to $λ_μ$-cb bilinear maps have been studied.
We introduce completely semi-$φ$-maps on Hilbert $C^*$-modules as a generalization of $φ$-maps. This class of maps provides examples of CP-extendable maps which are not CP-H-extendable, in Skeide-Sumesh's sense. Using the CP-extendability of completely semi-$φ$-maps, we give a representation theorem, similar to Stinespring's representation theorem, for this class of maps which can be considered as strengthened and generalized form of Asadi's and Bhat-Ramesh-Sumesh's analogues of Stinespring representation theorem for $φ$-maps. We also define an order relation on the set of all completely semi-…
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 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.
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 prove a local convex version of Arveson's extension theorem and of Wittstock's extension theorem. Also we prove a Stinespring type theorem for unbounded local completely contractive maps.
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…
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.
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
In this note we prove that there exist at least two examples of three commuting, unital, completely positive maps that have no dilation on a type I factor, and no minimal dilation on any von Neumann algebra.
We consider derivations from the image of the canonical contraction $θ_A$ from the Haagerup tensor product of a C*-algebra A with itself to the space of completely bounded maps on A. We show that such derivations are necessarily inner if A is prime or if A is quasicentral with Hausdorff primitive spectrum. We also provide an example of a C*-algebra which has outer elementary derivations.
Let X and Y be Banach spaces with dim X greater than 3. Let A and B be standard operator algebras on X and Y. We characterize the form of maps from A onto B such that completely preserve involution.
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.
Two notions for linear maps (operational convex combinations and operational exetreme points) are introduced. The set S of ucp maps on the n times n matrix algebra is the operational convex combinations of the identity map. An operational extreme point of S is an extreme point of S but the converse does not hold, and every automorphism is an operational extreme point of S.
We establish a reformulation of the Connes embedding problem in terms of an asymptotic property of factorizable completely positive maps. We also prove that the Holevo-Werner channels W_n^- are factorizable, for all odd integers n different from 3. Furthermore, we investigate factorizability of convex combinations of W_3^+ and W_3^-, a family of channels studied by Mendl and Wolf, and discuss asymptotic properties for these channels.
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 …
We define the graph product of unital completely positive maps on a universal graph product of unital C*-algebras and show that it is unital completely positive itself. To accomplish this, we introduce the notion of the non-commutative length of a word, and we obtain a Stinespring construction for concatenation. This result yields the following consequences. The graph product of positive-definite functions is positive-definite. A graph product version of von Neumann's Inequality holds. Graph independent contractions on a Hilbert space simultaneously dilate to graph independent unitaries.
Anar A. Dosiev in [Local operator spaces, unbounded operators and multinormed $C^*$-algebras, J. Funct. Anal. 255 (2008), 1724-1760], obtained a Stinespring's theorem for local completely positive maps (in short: local CP-maps) on locally $C^{\ast}$-algebras. In this article a suitable notion of minimality for this construction has been identified so as to ensure uniqueness up to unitary equivalence for the associated representation. Using this a Radon-Nikodym type theorem for local completely positive maps has been proved. Further, a Stinespring's theorem for unbounded operator valued local c…
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.
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 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$.
Let $\mathcal{A}$ and $\mathcal{B}$ be standard operator algebras on Banach spaces $\mathcal{X}$ and $\mathcal{Y}$, respectively. In this paper, we show that every bijection completely preserving quadratic operators from $\mathcal{A}$ onto $\mathcal{B}$ is either an isomorphism or (in the complex case) a conjugate isomorphism.
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…
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.
In an attempt to propose more general conditions for decoherence to occur, we study spectral and ergodic properties of unital, completely positive maps on not necessarily unital $C^*$-algebras, with a particular focus on gapped maps for which the transient portion of the arising dynamical system can be separated from the persistent one. After some general results, we first devote our attention to the abelian case by investigating the unital $*$-endomorphisms of, in general non-unital, $C^*$-algebras, and their spectral structure. The finite dimensional case is also investigated in detail, and …
We provide a description of certain invariance properties of completely bounded bimodule maps in terms of their symbols. If $\mathbb{G}$ is a locally compact quantum group, we characterise the completely bounded $L^{\infty}(\mathbb{G})'$-bimodule maps that send $C_0(\hat{\mathbb{G}})$ into $L^{\infty}(\hat{\mathbb{G}})$ in terms of the properties of the corresponding elements of the normal Haagerup tensor product $L^{\infty}(\mathbb{G}) \otimes_{σ{\rm h}} L^{\infty}(\mathbb{G})$. As a consequence, we obtain an intrinsic characterisation of the normal completely bounded $L^{\infty}(\mathbb{G})'…
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…
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.
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.
A map between operator spaces is called completely coarse if the sequence of its amplifications is equi-coarse. We prove that all completely coarse maps must be $\mathbb R$-linear. On the opposite direction of this result, we introduce a notion of embeddability between operator spaces and show that this notion is strictly weaker than complete $\mathbb R$-isomorphic embeddability (in particular, weaker than complete $\mathbb C$-isomorphic embeddability). Although weaker, this notion is strong enough for some applications. For instance, we show that if an infinite dimensional operator space $X$ …
We define norms on $L_p(\mathcal{M}) \otimes M_n$ where $\mathcal{M}$ is a von Neumann algebra and $M_n$ is the complex $n \times n$ matrices. We show that a linear map $T: L_p(\mathcal{M}) \to L_q(\mathcal{N})$ is decomposable if $\mathcal{N}$ is an injective von Neumann algebra, the maps $T \otimes Id_{M_n}$ have a common upper bound with respect to our defined norms, and $p = \infty$ or $q = 1$. For $2p < q < \infty$ we give an example of a map $T$ with uniformly bounded maps $T \otimes Id_{M_n}$ which is not decomposable.
A linear map $Φ:\mathbb{M}_n \to \mathbb{M}_k$ is called completely copositive if the resulting matrix $[Φ(A_{j,i})]_{i,j=1}^m$ is positive semidefinite for any integer $m$ and positive semidefinite matrix $[A_{i,j}]_{i,j=1}^m$. In this paper, we present some applications of the completely copositive maps $Φ(X)=(\mathrm{tr} X)I+X$ and $Ψ(X)= (\mathrm{tr} X)I-X$. Some new extensions about traces inequalities of positive semidefinite $3\times 3$ block matrices are included.
Convex sets of completely positive maps and positive semidefinite kernels are considered in the most general context of modules over $C^*$-algebras and a complete charaterization of their extreme points is obtained. As a byproduct, we determine extreme quantum instruments, preparations, channels, and extreme autocorrelation functions. Various applications to quantum information and measurement theories are given. The structure of quantum instruments is analyzed thoroughly.
The paper gives an operator algebras model for the conditional monotone independence, introduced by T. Hasebe. The construction is used to prove an embedding result for the N. Muraki's monotone product of C*-algebras. Also, the formulas from the definition of conditional monotone independence are used to define the monotone product of maps which is shown to preserve complete positivity, a similar to the results from the case of free products.
Let $P$ be a completely positive map on $M_n(\mathbb{C})$ and let $E_P$ be the associated \emph{GNS}-$C^*$-correspondence. We prove a result that implies, in particular, that the Cuntz-Pimsner algebra of $E_P$, $\mathcal{O}(E_P)$, is strongly Morita equivalent to the Cuntz algebra $\mathcal{O}_{d(P)}$, where $d(P)$ is the index of $P$.
We prove a noncommutative variant of Saskin's classical theorem -- on the connection between Choquet boundaries for function spaces and Korovkin sets -- for operator systems generating separable Type I C*-algebras. The main result implies an affirmative answer to a weaker version of Arveson's hyperrigidity conjecture for such C*-algebras. It also yields information about the more general version of Arveson's conjecture.
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…
Consider a unital C*-algebra A, a von Neumann algebra M, a unital sub-C*-algebra C of A and a unital *-homomorphism $π$ from C to M. Let u: A --> M be a decomposable map (i.e. a linear combination of completely positive maps) which is a C-bimodule map with respect to $π$. We show that u is a linear combination of C-bimodule completely positive maps if and only if there exists a projection e in the commutant of $π(C)$ such that u is valued in eMe and $eπ(.)e$ has a completely positive extension A --> eMe.
We shall prove the following Stinespring-type theorem: there exists a triple $(π,\mathcal{H},\mathbf{V})$ associated with an unital completely positive map $Φ:\mathfrak{A}\rightarrow \mathfrak{A}$ on C* algebra $\mathfrak{A}$ with unit, where $\mathcal{H}$ is a Hilbert space, $π:\mathfrak{A\rightarrow B}(\mathcal{H})$ is a faithful representation and $\mathbf{V}$ is a linear isometry on $\mathcal{H}$ such that $π(Φ(a)=\mathbf{V}^*π(a)\mathbf{V}$ for all $a$ belong to $\mathfrak{A}$. The Nagy dilation theorem, applied to isometry $\mathbf{V}$, allows to construct a dilation of ucp-map, $Φ$, in …
We introduce the concept of completely positive roots of completely positive maps on operator algebras. We do this in different forms: as asymptotic roots, proper discrete roots and as continuous one-parameter semigroups of roots. We present structural and general existence and non-existence results, some special examples in settings where we understand the situation better, and several challenging open problems. Our study is closely related to Elfving's embedding problem in classical probability and the divisibility problem of quantum channels.
We present certain existence criteria and parameterisations for an interpolation problem for completely positive maps that take given matrices from a finite set into prescribed matrices. Our approach uses density matrices associated to linear functionals on *-subspaces of matrices, inspired by the Smith-Ward linear functional and Arveson's Hahn-Banach type Theorem. We perform a careful investigation on the intricate relation between the positivity of the density matrix and the positivity of the corresponding linear functional. A necessary and sufficient condition for the existence of solutions…
There are several important abstract operator systems with the convex cone of positive semidefinite matrices at the first level. Well-known are the operator systems of separable matrices, of positive semidefinite matrices, and of block positive matrices. In terms of maps, these are the operator systems of entanglement breaking, completely positive, and positive linear maps, respectively. But there exist other interesting and less well-studied such operator systems, for example those of completely copositive maps, doubly completely positive maps, and decomposable maps, which all play an importa…
