Related papers: Nonsurjective maps between rectangular matrix spac…

Let $\mathcal{A}$ and $\mathcal{B}$ be two alternative $W^{*}$-factors. In this paper, we proved that a bijective mapping $\Phi :\mathcal{A}\rightarrow \mathcal{B}$ satisfies $\Phi (ab+ba^{*})=\Phi (a)\Phi (b)+\Phi (b)\Phi (a)^{*}$ (resp.,…

Two vectors $x, y$ in a normed vector space are parallel if there is a scalar $\mu$ with $|\mu| = 1$ such that $\|x+\mu y\| = \|x\| + \|y\|$; they form a triangle equality attaining (TEA) pair if $\|x+y\| = \|x\| + \|y\|$. In this paper, we…

Let $A$, $B$ be algebras and $a\in A$, $b\in B$ a fixed pair of elements. We say that a map $\varphi:A\to B$ preserves products equal to $a$ and $b$ if for all $a_1,a_2\in A$ the equality $a_1a_2=a$ implies $\varphi(a_1)\varphi(a_2)=b$. In…

For a positive linear map F and a normal matrix N, we show that |F(N)| is bounded by some simple linear combinations in the unitary orbit of F(|N|). Several elegant sharp inequalities are derived, especially for the Schur product.

A linear map between real symmetric matrix spaces is positive if all positive semidefinite matrices are mapped to positive semidefinite ones. A real symmetric matrix is separable if it can be written as a summation of Kronecker products of…

Two plane drawings of graphs on the same set of points are called disjoint compatible if their union is plane and they do not have an edge in common. Let $S$ be a convex point set of $2n \geq 10$ points and let $\mathcal{H}$ be a family of…

Let $\{C_i\}_{i\in \Gamma_1},$ and $\{D_j\}_{j\in \Gamma_2},$ be two families of Cartan factors such that all of them have dimension at least $2$, and consider the atomic JBW$^*$-triples $A=\bigoplus\limits_{i\in \Gamma_1}^{\ell_{\infty}}…

In this article we show that positive surjective isometries between symmetric spaces associated with semi-finite von Neumann algebras are projection disjointness preserving if they are finiteness preserving. This is subsequently used to…

In this paper, we give some characterizations of orthogonality preserving mappings between inner product spaces. Furthermore, we study the linear mappings that preserve some angles. One of our main results states that if $\mathcal{X},…

Let $H$ be a complex separable Hilbert space of dimension $\geq 2$, ${\mathcal B}_s(H)$ the space of all self-adjoint operators on $H$. We give a complete classification of non-linear surjective maps on $\mathcal B_s(H)$ preserving…

Suppose a map $\phi$ on the set of positive definite matrices satisfies $\det(A+B)=\det(\phi(A)+\phi(B))$. Then we have $${\rm tr}(AB^{-1}) = {\rm tr}(\phi(A){\phi(B)}^{-1}).$$ Through this viewpoint, we show that $\phi$ is of the form…

Let $m,n\ge 2$ be positive integers, $M_m$ the set of $m\times m$ complex matrices and $M_n$ the set of $n\times n$ complex matrices. Regard $M_{mn}$ as the tensor space $M_m\otimes M_n$. Suppose $|\cdot|$ is the Ky Fan $k$-norm with $1 \le…

We characterize maps $\phi_i: \mathcal{S} \to \mathcal{S}$, $i=1, \ldots, m$ and $m\ge 1$, that have the multiplicative spectrum or trace preserving property: \begin{eqnarray*} \textrm{spec} (\phi_1(A_1)\cdots \phi_m(A_m)) &=& \textrm{spec}…

An element of the algebra $M_n(\mathbb{F})$ of $n \times n$ matrices over a field $\mathbb{F}$ is called an involution if its square equals the identity matrix. Gustafson, Halmos, and Radjavi proved that any product of involutions in…

Let ${\mathcal M}$ be a von Neumann algebra without central summands of type $I_1$. Assume that $\Phi:{\mathcal M}\rightarrow {\mathcal M}$ is a surjective map. It is shown that $\Phi$ is strong skew commutativity preserving (that is,…

Let $\mathcal {A}$ be a unital $\ast$-algebra. For $A, B\in\mathcal{A}$, define by $[A, B]_{*}=AB-BA^{\ast}$ and $A\bullet B=AB+BA^{\ast}$ the new products of $A$ and $B$. In this paper, under some mild conditions on $\mathcal {A}$, it is…

In this semi-expository paper, we first explain key notions from current quantum information theory and criteria for them in a coherent way. These include separability/entanglement, Schmidt numbers of bi-partite states and block-positivity,…

Denote by $M_n$ the set of $n\times n$ complex matrices. Let $f: M_n \rightarrow [0,\infty)$ be a continuous map such that $f(\mu UAU^*)= f(A)$ for any complex unit $\mu$, $A \in M_n$ and unitary $U \in M_n$, $f(X)=0$ if and only if $X=0$…

An additive map $T$ acting between spaces of vector-valued functions is said to be biseparating if $T$ is a bijection so that $f$ and $g$ are disjoint if and only if $Tf$ and $Tg$ are disjoint. Note that an additive bijection retains…

Let $S_{n}$ denote the space of all $n \times n$ real symmetric matrices. For n=2 or n>2 we characterize maps F from $S_{n}$ to $S_{m}$ which preserve adjacency, i.e. if rank(A-B)=1, then rank(F(A)-F(B))=1.