Related papers: Linear preservers and quantum information science

We analyze positivity of a tensor product of two linear qubit maps, $\Phi_1 \otimes \Phi_2$. Positivity of maps $\Phi_1$ and $\Phi_2$ is a necessary but not a sufficient condition for positivity of $\Phi_1 \otimes \Phi_2$. We find a…

Linear preserver problems have been a central focus of research in matrix theory and operator theory for more than a century, beginning with Frobenius' 1897 characterization of determinant preserving linear maps on the space of complex…

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…

Linear maps preserving pure states of a quantum system of any dimension are characterized. This is then used to establish a structure theorem for linear maps that preserve separable pure states in multipartite systems. As an application, a…

Two (real or complex) $m\times n$ matrices $A$ and $B$ are said to be parallel (resp. triangle equality attaining, or TEA in short) with respect to the spectral norm $\|\cdot\|$ if $\|A+ \mu B\| = \|A\| + \|B\|$ for some scalar $\mu$ with…

We study the problem of characterizing linear preserver subgroups of algebraic varieties, with a particular emphasis on secant varieties and other varieties of tensors. We introduce a number of techniques built on different geometric…

We characterize real and complex functions which, when applied entrywise to square matrices, yield a positive definite matrix if and only if the original matrix is positive definite. We refer to these transformations as sign preservers.…

Let $M_n(\mathbb{F})$ denote the algebra of $n \times n$ matrices over an algebraically closed field $\mathbb{F}$ of characteristic different from $2$. For $n \ge 2$, we classify all maps $\phi : M_n(\mathbb{F}) \to M_n(\mathbb{F})$…

This work characterizes the general form of a bijective linear map $\Psi:\mathscr{M}_n(\mathbb{C}) \to \mathscr{M}_n(\mathbb{C})$ such that $[\Psi(A_1),~\Psi(A_2)]=D_2$ whenever $[A_1,~A_2]=D_1$ where $D_1~\text{and}~D_2$ are fixed…

Identification of the optimal quantum metrological protocols in realistic many particle quantum models is in general a challenge that cannot be efficiently addressed by the state-of-the-art numerical and analytical methods. Here we provide…

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…

We determine the structure of linear maps on the tensor product of matrices which preserve the numerical range or numerical radius.

We study lightlikeness preserving mappings from the $4$-dimensional Minkowski spacetime $\mathcal{M}_4$ to itself under no additional regularity assumptions like continuity, surjectivity, or injectivity. We prove that such a mapping $\phi$…

Let ${\bf M}_n(\mathbb{F})$ be the algebra of $n\times n$ matrices over an arbitrary field $\mathbb{F}$. We consider linear maps $\Phi: {\bf M}_n(\mathbb{F}) \rightarrow {\bf M}_r(\mathbb{F})$ preserving matrices annihilated by a fixed…

This article provides sufficient conditions for positive maps on the Schatten classes $\mathcal J_{p}, 1\le p<\infty$ of bounded operators on a separable Hilbert space such that a corresponding Perron-Frobenius theorem holds. With…

Let $\mathcal{S}_n$ be the set of all $n$-by-$n$ symmetric real matrices, and let $\mathcal{C}_n$ be the copositive cone, that is, the set of all matrices $a\in\mathcal{S}_n$ that fulfill the condition $u^\top a u\geqslant0$ for all…

In real Lie theory, matrices that admit a real logarithm reside in the identity component $\mathrm{GL}_n(\mathbb{R})_+$ of the general linear group $\mathrm{GL}_n(\mathbb{R})$, with logarithms in the Lie algebra…

We introduce a property of a matrix-valued linear map $\Phi$ that we call its "non-m-positive dimension" (or "non-mP dimension" for short), which measures how large a subspace can be if every quantum state supported on the subspace is…

Let V be a linear subspace of M_n(C) which contains the identity matrix and is stable under the formation of Hermitian adjoints. We prove that if n is sufficiently large then there exists a rank k orthogonal projection P such that dim(PVP)…

For quantum systems described by finite matrices, linear and affine maps of matrices are shown to provide equivalent descriptions of evolution of density matrices for a subsystem caused by unitary Hamiltonian evolution in a larger system;…