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 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.
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…
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.
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.
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…
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 …
This article contains a characterization of operator systems $\cS$ with the property that every positive map $ϕ:\cS \rightarrow M_n$ is decomposable, as well as an alternate and a more direct proof of a characterization of decomposable maps due to E. Størmer.
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.
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.
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
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.
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.
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.
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 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 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…
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.
We provide a characterization for operator valued completely bounded linear maps on Hilbert $C^*$-modules in terms of $φ$-maps. Also, we show that for every operator valued completely positive map $φ$ on a $C^*$-algebra $\mathcal{A}$, there is a unique (up to multiplication by a unitary operator) non-degenerate $φ$-map on each Hilbert $\mathcal{A}$-module.
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…
The aim of this article is to extend the results of Asadi M.B, B.V.R. Bhat, G. Ramesh, K. Sumesh about completely positive maps on Hilbert C*-modules. We prove a Stinespring type theorem for a finite family of completely positive maps on Hilbert C*-modules. We also show that any two minimal Stinespring representations are unitarily equivalent.
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 work, we investigate the existence of a factorization for a unital completely positive map, between non-commutative probability space which do not change the expectation values of the events. These maps are called in literature stochastic maps. Using the Stinespring representations of completely positive map and assuming the existence of anti-unitary operator on Hilbert space related to these representations which satisfying some modular relations, we prove that stochastic maps with adjoint, admits a factorization.
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.
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.
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$ …
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.
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 mat…
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.
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.