Related papers: Strong $k$-commutativity preserving maps on 2$\tim…

Following an idea of Lin, we prove that if $A$ and $B$ be two positive operators such that $0<mI\le A\le m'I\le M'I\le B\le MI$, then \begin{equation*} {{\Phi }^{2}}\left( \frac{A+B}{2} \right)\le \frac{{{K}^{2}}\left( h \right)}{{{\left(…

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…

Denote by $M_n(K)$ the algebra of $n$ by $n$ matrices with entries in the field $K$. A theorem of Albert and Muckenhoupt states that every trace zero matrix of $M_n(K)$ can be expressed as $AB-BA$ for some pair $(A,B)$ of matrices of…

In this paper first we give a partial answer to a question of L. Moln\'ar and W. Timmermann. Namely, we will describe those linear (not necessarily bijective) transformations on the set of self-adjoint matrices which preserve a unitarily…

Let $\mathcal H$ be a complex Hilbert space and $\mathcal F_s (\mathcal H)$ the real vector space of all self-adjoint finite rank bounded operators on $\mathcal H$. We generalize the famous Wigner's theorem by characterizing linear maps on…

Let $\mathbb{K}$ be a finite commutative ring, and let $\mathbb{L}$ be a commutative $\mathbb{K}$-algebra. Let $A$ and $B$ be two $n \times n$-matrices over $\mathbb{L}$ that have the same characteristic polynomial. The main result of this…

Let $\mathbf{O}(\mathbb{F})$ be the split octonion algebra over an algebraically closed field $\mathbb{F}$. For positive integers $k_1, k_2\geq 2$, we study surjectivity of the map $A_1(x^{k_1}) + A_2(y^{k_2}) \in…

This article studies the equation $[A,B]^k = {\rm Id}_n$ for matrices over $\mathbb{C}$, characterizing the pairs $(k,n)$ for which solutions exist via a classical result of Lam and Leung on sums of roots of unity. The problem is next…

The paper is devoted to the problem of classification of extremal positive maps acting between $B(K)$ and $B(H)$ where $K$ and $H$ are Hilbert spaces. It is shown that every positive map with the property that $\rank \phi(P)\leq 1$ for any…

Let F be a continuous injective map from an open subset of R^n to R^n. Assume that, for infinitely many k>1, F induces a bijection between the rational points of denominator k in the domain and those in the image (the denominator of…

A linear map $\Phi :\mathbb{M}_n \to \mathbb{M}_k$ is called completely copositive if the resulting matrix $[\Phi (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…

We show that each positive map from B(K) to B(H) with K and H finite dimensional Hilbert spaces is a scalar multiple of a map of the form $Tr - \psi$ with $\psi$ completely positive. This is used to give necessary and sufficient conditions…

Let $A$ be an algebra and let $f$ be a nonconstant noncommutative polynomial. In the first part of the paper, we consider the relationship between $[A,A]$, the linear span of commutators in $A$, and span$f(A)$, the linear span of the image…

Let phi: C^2 times C^2 -> C, phi((x_1,x_2),(y_1,y_2))=(x_1-y_1)^2+(x_2-y_2)^2. We say that f:C^2->C^2 preserves unit distance, if for each X,Y in C^2 phi(X,Y)=1 implies phi(f(X),f(Y))=1. We prove that each unit-distance preserving mapping…

Let $\mathbb F$ be a field and $P \in \mathbb F [x_1,\ldots, x_n]$ be a homogeneous polynomial such that $|\mathbb F| > \deg(P)$ and $\phi, \psi\colon \mathbb F^n \to \mathbb F^n$ be two maps such that $P(\mathbf{x} + \lambda\mathbf{y}) =…

Let F be a subfield of a commutative field extending R. Let phi_n:F^n \times F^n ->F, phi_n((x_1,...,x_n),(y_1,...,y_n))=(x_1-y_1)^2+...+(x_n-y_n)^2. We say that f:R^n->F^n preserves distance d>=0 if for each x,y \in R^n |x-y|=d implies…

This paper is the first in the series of papers devoted to the explicit description of linear maps preserving the Cullis' determinant of rectangular matrices with entries belonging to an arbitrary ground field which is large enough. The…

Let $\mathcal{A}_1$ and $\mathcal{A}_2$ be standard operator algebras on complex Banach spaces $X_1$ and $X_2$, respectively. For $k\geq2$, let $(i_1,...,i_m)$ be a sequence with terms chosen from $\{1,\ldots,k\}$, and assume that at least…

Let $\Phi$ be a trace-preserving, positivity-preserving (but not necessarily completely positive) linear map on the algebra of complex $2 \times 2$ matrices, and let $\Omega$ be any finite-dimensional completely positive map. For $p=2$ and…

For two positive maps $\phi_i:B(\mathcal{K}_i)\to B(\mathcal{H}_i)$, $i=1,2$, we construct a new linear map $\phi:B(\mathcal{H})\to B(\mathcal{K})$, where $\mathcal{K}=\mathcal{K}_1\oplus\mathcal{K}_2\oplus\mathbb{C}$,…