Related papers: A Continuity Theorem for Stinespring's Dilation

We give a short proof of an improved version of the Effros Open Mapping Principle via a shift-compactness theorem (also with a short proof), involving `sequential analysis' rather than separability, deducing it from the Baire property in a…

We investigate linear maps between matrix algebras that remain positive under tensor powers, i.e., under tensoring with $n$ copies of themselves. Completely positive and completely co-positive maps are trivial examples of this kind. We show…

Let $A$, $A'$ be separable $C^*$-algebras, $B$ a stable $\sigma$-unital $C^*$-algebra. Our main result is the construction of the pairing $[[A',A]]\times\operatorname{Ext}^{-1/2}(A,B)\to\operatorname{Ext}^{-1/2}(A',B)$, where $[[A',A]]$…

We prove that the topology on the density space with respect to a unital C*-algebra and a faithful induced by the C*-norm is finer than the Bures metric topology. We also provide an example when this containment is strict. Next, we provide…

In this article, we study the permanence of topological and algebraic dimension type properties of simple unital $C\sp*$-algebras. When a pair of unital $C\sp*$-algebras $(A, B)$ is associated by a $*$-homomorphism $\phi: A\to B$ which is…

We prove that every biorthogonality preserving linear surjection between two dual or compact C$^*$-algebras or between two von Neumann algebras is automatically continuous.

A completely positive linear map $\varphi$ from a C*-algebra $A$ into $B(H)$ has a Stinespring representation as $\varphi(a) = X^*\pi(a)X,$ where $\pi$ is a *-representation of $A$ on a Hilbert space $K$ and $X$ is a bounded operator from…

We prove that the Christensen distance (resp., the Kadison-Kastler distance) between two $C^*$-subalgebras $\mathcal{A}$ and $\mathcal{B}$ of a $C^*$-algebra $\mathcal{C}$ is equal to that between their enveloping von Neumann algebras…

We find first structural background information about the reasons that for any C*-algebra $A$ and any two Hilbert $A$-modules $M \subseteq N$ with $M^\perp=\{0\}$, every bounded $A$-linear map $N \to A$ (or $N \to N)$ vanishing on $M$ might…

Dilations of completely positive semigroups to endomorphism semigroups have been studied by numerous authors. Most existing dilation theorems involve a non-unital embedding, corresponding to the embedding of $B(H)$ as a corner of $B(K)$ for…

A well-known theorem of Blackadar and Handelman states that every unital stably finite C*-algebra has a bounded quasitrace. Rather strong generalizations of stable finiteness to the non-unital case can be obtained by either requiring the…

We prove a criterion for continuity of bilinear maps on countable direct sums of topological vector spaces. As a first application, we get a new proof for the fact (due to Hirai et al. 2001) that the map taking a pair of test functions on…

We study some general properties of tracial C*-algebras. In the first part, we consider Dixmier type approximation theorem and characterize symmetric amenability for C*-algebras. In the second part, we consider continuous bundles of tracial…

We study $C^*$-algebras arising from $C^*$-correspondences, which was introduced by the author. We prove the gauge-invariant uniqueness theorem, and obtain conditions for our $C^*$-algebras to be nuclear, exact, or satisfy the Universal…

Garret Birkhoff's HSP theorem characterizes the classes of models of algebraic theories as those being closed with respect to homomorphic images, subalgebras, and products. In particular, it implies that an algebra $\mathbf{B}$ satisfies…

We give a comprehensive introduction to a general modular frame construction in Hilbert C*-modules and to related modular operators on them. The Hilbert space situation appears as a special case. The reported investigations rely on the idea…

The measurable Riemann mapping theorem proved by Morrey and in some particular cases by Ahlfors, Lavrentiev and Vekua, says that any measurable almost complex structure on $\rd$ ($S^2$) with bounded dilatation is integrable: there is a…

We study new classes of linear preservers between C$^*$-algebras and JB$^*$-triples. Let $E$ and $F$ be JB$^*$-triples with $\partial_{e} (E_1)$. We prove that every linear map $T:E\to F$ strongly preserving Brown-Pedersen quasi-invertible…

For a given set of input-output pairs of quantum states or observables, we ask the question whether there exists a physically implementable transformation that maps each of the inputs to the corresponding output. The physical maps on…

By Bartle-Graves theorem every surjective map between C*-algebras has a continuous section, and Loring proved that that there exists a continuous section of norm arbitrary close to 1. Here we prove that there exists a continuous section of…