Related papers: Bures Distance For Completely Positive Maps
Consider a countably generated Hilbert $C^*$-module $\mathcal M$ over a $C^*$-algebra $\mathcal A$. There is a measure of noncompactness $\lambda$ defined, roughly as the distance from finitely generated projective submodules, which is…
In this paper we give a method to associate a graph with an arbitrary density matrix referred to a standard orthonormal basis in the Hilbert space of a finite dimensional quantum system. We study the related issues like classification of…
Considering the deeper reasons of the appearance of a remarkable counterexample by J.~Kaad and M.~Skeide [17] we consider situations in which two Hilbert C*-modules $M \subset N$ with $M^\bot = \{ 0 \}$ over a fixed C*-algebra $A$ of…
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…
Given a quadratic module, we construct its universal C*-algebra, and then use methods and notions from the theory of C*-algebras to study the quadratic module. We define residually finite-dimensional quadratic modules, and characterize them…
The concept of the {\em half density matrix} is proposed. It unifies the quantum states which are described by density matrices and physical processes which are described by completely positive maps. With the help of the half-density-matrix…
Let $a,b$ be elements in a unital C$^*$-algebra with $0\leq a,b\leq 1$. The element $a$ is absolutely compatible with $b$ if $$\vert a - b \vert + \vert 1 - a - b \vert = 1.$$ In this note we find some technical characterizations of…
Magnitude is a numerical invariant of finite metric spaces, recently introduced by T. Leinster, which is analogous in precise senses to the cardinality of finite sets or the Euler characteristic of topological spaces. It has been extended…
According to J. Feldman and C. Moore's well-known theorem on Cartan subalgebras, a variant of the group measure space construction gives an equivalence of categories between twisted countable standard measured equivalence relations and…
We determine when a quasi-isometry between discrete spaces is at bounded distance from a bilipschitz map. From this we prove a geometric version of the Von Neumann conjecture on amenability. We also get some examples in geometric groups…
We prove that for a bijective, unital, linear map between absolute order unit spaces is an isometry if, and only if, it is absolute value preserving. We deduce that, on (unital) $JB$-algebras, such maps are precisely Jordan isomorphisms.…
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,…
We establish a structure theorem for rational maps $f:\overline{\mathbb{C}}\to\overline{\mathbb{C}}$: the pullback metric $f^{*}{\rm d}s_{0}^{2}$ of the standard metric ${\rm d}s_{0}^{2}$ admits a canonical decomposition into finitely many…
It is well-known that if T is a D_m-D_n bimodule map on the m by n complex matrices, then T is a Schur multiplier and $\|T\|_{cb}=\|T\|$. If n=2 and T is merely assumed to be a right D_2-module map, then we show that $\|T\|_{cb}=\|T\|$.…
Let $\tau$ be a linear map from a unital $C^*$-algebra $\CMcal A$ to a von Neumann algebra $\mathematical B$ and let $\CMcal C$ be a unital $C^*$-algebra. A map $T$ from a Hilbert $\CMcal A$-module $E$ to a von Neumann $\CMcal C$-$\CMcal B$…
We determine the homeomorphism type of the space of smooth complete nonnegatively curved metrics on surfaces of positive Euler characteristic equipped with the topology of $C^\gamma$ uniform convergence on compact sets, when $\gamma$ is…
We analyse certain Haar systems associated to groupoids obtained by certain natural equivalence relations of dynamical nature on sets like $\{1,2,...,d\}^\mathbb{Z}$, $\{1,2,...,d\}^\mathbb{N}$, $S^1\times S^1$, or $(S^1)^\mathbb{N}$, where…
Let $\mathscr{A}$ be a unital $C^*$-algebra and let $\Phi: \mathscr{A} \to {\mathbb B}({\mathscr H})$ be a unital $n$-positive linear map between $C^*$-algebras for some $n \geq 3$. We show that $$\|\Phi(AB)-\Phi(A)\Phi(B)\| \leq…
Motivated by quantum thermodynamics we first investigate the notion of strict positivity, that is, linear maps which map positive definite states to something positive definite again. We show that strict positivity is decided by the action…
A topological group $G$ is called extremely amenable if every continuous action of $G$ on a compact space has a fixed point. This concept is linked with geometry of high dimensions (concentration of measure). We show that a von Neumann…