Related papers: Linear preservers and quantum information science

For a positive integer $n$, let $M_n$ be the set of $n\times n$ complex matrices. Suppose $\|\cdot\|$ is the Ky Fan $k$-norm with $1 \le k \le mn$ or the Schatten $p$-norm with $1 \le p \le \infty$ ($p\ne 2$) on $M_{mn}$, where $m,n\ge 2$…

Let $m,n\ge 2$ be integers. Denote by $M_n$ the set of $n\times n$ complex matrices. Let $\|\cdot\|_{(p,k)}$ be the $(p,k)$ norm on $M_{mn}$ with $1\leq k\leq mn$ and $2<p<\infty$. We show that a linear map $\phi:M_{mn}\rightarrow M_{mn}$…

Let $n_1,\ldots,n_k $ be integers larger than or equal to 2. We characterize linear maps $\phi: M_{n_1\cdots n_k}\rightarrow M_{n_1\cdots n_k}$ such that $${\mathrm rank}\,(\phi(A_1\otimes \cdots \otimes…

For positive integers $1 \leq k \leq n$ let $M_n$ be the algebra of all $n \times n$ complex matrices and $M_n^{\le k}$ its subset consisting of all matrices of rank at most $k$. We first show that whenever $k>\frac{n}{2}$, any continuous…

For a positive integer $n$ let $\mathcal{X}_n$ be either the algebra $M_n$ of $n \times n$ complex matrices, the set $N_n$ of all $n \times n$ normal matrices, or any of the matrix Lie groups $\mathrm{GL}(n)$, $\mathrm{SL}(n)$ and…

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$…

Let $V$ be the set of $n\times n$ complex or real general matrices, Hermitian matrices, symmetric matrices, positive definite (resp. semi-definite) matrices, diagonal matrices, or upper triangular matrices. Fix $k\in \mathbb{Z}\setminus…

In this paper a complete description of the linear maps $\phi:W_{n}\rightarrow W_{n}$ that preserve the Lorentz spectrum is given when $n=2$ and $W_{n}$ is the space $M_{n}$ of $n\times n$ real matrices or the subspace $S_{n}$ of $M_{n}$…

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}…

We determine the structure of linear maps on complex (real) square matrices sending unitary (orthogonal) matrices to multiples of unitary (orthogonal) matrices. The result is used to determine the linear preservers of matrix pairs…

Let ${\mathcal M}_2(\mathbb F)$ be the algebra of 2$\times$2 matrices over the real or complex field $\mathbb F$. For a given positive integer $k\geq 1$, the $k$-commutator of $A$ and $B$ is defined by $[A,B]_k=[[A,B]_{k-1},B]$ with…

Let K be an arbitrary (commutative) field, and V be a linear subspace of M_n(K) such that codim V<n-1. Using a recent generalization of a theorem of Atkinson and Lloyd, we show that every linear embedding of V into M_n(K) which strongly…

We denote by $M^n$ the set of $n$ by $n$ complex matrices. Given a fixed density matrix $\beta:\mathbb{C}^n \to \mathbb{C}^n$ and a fixed unitary operator $U : \mathbb{C}^n \otimes \mathbb{C}^n \to \mathbb{C}^n \otimes \mathbb{C}^n$, the…

We consider the tensorial Schur product $R \circ^\otimes S = [r_{ij} \otimes s_{ij}]$ for $R \in M_n(\mathcal{A}), S\in M_n(\mathcal{B}),$ with $\mathcal{A}, \mathcal{B}$ unital $C^*$-algebras, verify that such a `tensorial Schur product'…

We prove the linearity and injectivity of two maps $\phi_1$ and $\phi_2$ on certain subsets of $M_n$ that satisfy $\operatorname{tr}(\phi_1(A)\phi_2(B))=\operatorname{tr}(AB)$. We apply it to characterize maps $\phi_i:\mathcal{S}\to…

Let $M_{m,n}$ be the space of $m\times n$ real or complex rectangular matrices. Two matrices $A, B \in M_{m,n}$ are disjoint if $A^*B = 0_n$ and $AB^* = 0_m$. In this paper, a characterization is given for linear maps $\Phi: M_{m,n}…

We present some generalizations of quantum information inequalities involving tracial positive linear maps between $C^*$-algebras. Among several results, we establish a noncommutative Heisenberg uncertainty relation. More precisely, we show…

Given proper cones $K_1$ and $K_2$ in $\mathbb{R}^n$ and $\mathbb{R}^m$, respectively, an $m \times n$ matrix $A$ with real entries is said to be semipositive if there exists a $x \in K_1^{\circ}$ such that $Ax \in K_2^{\circ}$, where…

In this work, we adapt Sinkhorn-Knopp theorem for rectangular positive maps $(T:M_k\rightarrow M_m)$. We extend their concepts of support and total support to these maps. We show that a positive map $T:M_k\rightarrow M_m$ is equivalent to a…

Given a linear map $\Phi : M_n \rightarrow M_m$, its multiplicity maps are defined as the family of linear maps $\Phi \otimes \text{id}_k : M_n \otimes M_k \rightarrow M_m \otimes M_k$, where $\text{id}_k$ denotes the identity on $M_k$. Let…