Let $A$ and $B$ be $C^*$-algebras with $A$ separable, let $I$ be an ideal in $B$, and let $ψ\colon A\to B/I$ be a completely positive contractive linear map. We show that there is a continuous family $Θ_t\colon A\to B$, for $t\in [1,\infty)$, of lifts of $ψ$ that are asymptotically linear, asymptotically completely positive and asymptotically contractive. If $ψ$ is of order zero, then $Θ_t$ can be chosen to have this property asymptotically. If $A$ and $B$ carry continuous actions of a second countable locally compact group $G$ such that $I$ is $G$-invariant and $ψ$ is equivariant, we show that the family $Θ_t$ can be chosen to be asymptotically equivariant. If a linear completely positive lift for $ψ$ exists, we can arrange that $Θ_t$ is linear and completely positive for all $t\in [1,\infty)$. In the equivariant setting, if $A$, $B$ and $ψ$ are unital, we show that asymptotically linear unital lifts are only guaranteed to exist if $G$ is amenable. This leads to a new characterization of amenability in terms of the existence of asymptotically equivariant unital sections for quotient maps.
We introduce characteristic functions for certain contractive liftings of row contractions. These are multi-analytic operators which classify the liftings up to unitary equivalence and provide a kind of functional model. The most important cases are subisometric and coisometric liftings. We also identify the most general setting which we call reduced liftings. We derive properties of these new characteristic functions and discuss the relation to Popescu's definition for completely non-coisometric row contractions. Finally we apply our theory to completely positive maps and prove a one-to-one c…
Let $\{ϕ_s\}_{s\in S}$ be a commutative semigroup of completely positive, contractive, and weak*-continuous linear maps acting on a von Neumann algebra $N$. Assume there exists a semigroup $\{α_s\}_{s\in S}$ of weak*-continuous *-endomorphisms of some larger von Neumann algebra $M\supset N$ and a projection $p\in M$ with $N=pMp$ such that $α_s(1-p)\le 1-p$ for every $s\in S$ and $ϕ_s(y)=pα_s(y)p$ for all $y\in N$. If $\inf_{s\in S}α_s(1-p)=0$ then we show that the map $E:M\to N$ defined by $E(x)=pxp$ for $x\in M$ induces a complete isometry between the fixed point spaces of $\{α_s\}_{s\in S}$ …
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 review how some multianalytic inner functions of the Beurling type theorem are associated to row contractions following works of G.Popescu. Motivated by a result on weak Markov dilations, we define a notion of characteristic function for ergodic and coisometric row contractions with a one-dimensional invariant subspace for the adjoints. Our characteristic function is a complete unitary invariant for such tuples. Thereafter we extend the analysis of characteristic functions to contractive liftings of row contractions. We apply our theory to completely positive maps and explore applications t…
Let $ξ:C^*(E)\to C^*(F)$ be a unital $*$-homomorphism between simple purely infinite Cuntz-Krieger algebras of finite graphs. We prove that there exists a unital $*$-homomorphism $ϕ:L(E)\to L(F)$ between the corresponding Leavitt path-algebras such that $ξ$ is homotopic to the map $\hatϕ:C^*(E)\to C^*(F)$ induced by completion. We show moreover that $\hatϕ$ is a homotopy equivalence in the $C^*$-algebraic sense if and only if $ϕ$ is a homotopy equivalence in the algebraic, polynomial sense. We deduce, in particular, that any isomorphism between simple purely infinite Cuntz-Krieger algebras is …
Normal endomorphisms of von Neumann algebras need not be extendable to automorphisms of a larger von Neumann algebra, but they always have asymptotic lifts. We describe the structure of endomorphisms and their asymptotic lifts in some detail, and apply those results to complete the identification of asymptotic lifts of unital completely positive linear maps on von Neumann algebras in terms of their minimal dilations to endomorphisms.
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 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…
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.
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.
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
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.
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 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.
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 …
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 paper, we answer a question of Blecher-Muhly-Paulsen pertaining to identifying topological invariants for completely bounded Morita equivalences of holomorphic cross-section algebras. Given a certain natural subcontext of a strong Morita context of $n$-homogeneous $C^*$-algebras whose spectrum $T$ is an annulus, Blecher-Muhly-Paulsen are able to estimate the norm of a lifting of the identity of a holomorphic subalgebra by a conformal invariant of the annulus and a property of the associated matrix bundle. We give a generalization of the above example in which $T$ is a bordered Riemann …
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 …
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$ …
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 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.
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 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…
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 study factorization and dilation properties of Markov maps between von Neumann algebras equipped with normal faithful states, i.e., completely positive unital maps which preserve the given states and also intertwine their automorphism groups. The starting point for our investigation has been the question of existence of non-factorizable Markov maps, as formulated by C. Anantharaman-Delaroche. We provide simple examples of non-factorizable Markov maps on M_n(C) for all n\geq 3, as well as an example of a one-parameter semigroup (T(t))_{t\geq 0} of Markov maps on M_4(C) such that T(t) fails t…
It is a well-known result due to E. Størmer that every positive qubit map is decomposable into a sum of a completely positive map and a completely copositive map. Here, we generalize this result to tensor squares of qubit maps. Specifically, we show that any positive tensor product of a qubit map with itself is decomposable. This solves a recent conjecture by S. Fillipov and K. Magadov. We contrast this result with examples of non-decomposable positive maps arising as the tensor product of two distinct qubit maps or as the tensor square of a decomposable map from a qubit to a ququart. To show …
For many completely positive maps repeated compositions will eventually become entanglement breaking. To quantify this behaviour we develop a technique based on the Schmidt number: If a completely positive map breaks the entanglement with respect to any qubit ancilla, then applying it to part of a bipartite quantum state will result in a Schmidt number bounded away from the maximum possible value. Iterating this result puts a successively decreasing upper bound on the Schmidt number arising in this way from compositions of such a map. By applying this technique to completely positive maps in d…
