Linear maps preserving Ky Fan norms and Schatten norms of tensor products of matrices

Ajda Fosner,Zejun Huang,Chi-Kwong Li,Nung-Sing Sze
DOI: https://doi.org/10.48550/arXiv.1211.0396
2013-04-10
Abstract: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$ are positive integers. It is shown that a linear map $\phi: M_{mn} \rightarrow M_{mn}$ satisfying $$\|A\otimes B\| = \|\phi(A\otimes B)\| \quad \hbox{for all} A \in M_m \hbox{and} B \in M_n$$ if and only if there are unitary $U, V \in M_{mn}$ such that $\phi$ has the form $A\otimes B \mapsto U(\varphi_1(A) \otimes \varphi_2(B))V$, where $\varphi_s(X)$ is either the identity map $X \mapsto X$ or the transposition map $X \mapsto X^t$. The results are extended to tensor space $M_{n_1} \otimes \cdots \otimes M_{n_m}$ of higher level. The connection of the problem to quantum information science is mentioned.
Functional Analysis,Quantum Physics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the structure of linear mappings that keep specific norms (such as Ky Fan k - norm and Schatten p - norm) invariant in the matrix tensor product space. Specifically, the author studies the form of the linear mapping \(\phi: M_{mn}\to M_{mn}\) when it satisfies the following condition under the given norm conditions: \[ \|\phi(A\otimes B)\|=\|A\otimes B\|\quad\text{for all }A\in M_m\text{ and }B\in M_n, \] where \(\|\cdot\|\) represents the Ky Fan k - norm or Schatten p - norm. The main goal of the paper is to determine the specific form of such a linear mapping \(\phi\) and prove that these mappings can be represented as certain specific unitary matrix transformations. ### Main contributions of the paper 1. **Structure of linear mappings**: - For the Ky Fan k - norm and Schatten p - norm (\(p\neq2\)), the author proves that if a linear mapping \(\phi\) keeps these norms invariant, then \(\phi\) can be represented as: \[ \phi(A\otimes B)=U(\phi_1(A)\otimes\phi_2(B))V, \] where \(U\) and \(V\) are unitary matrices, and \(\phi_1\) and \(\phi_2\) are the identity mapping or the transpose mapping respectively. 2. **Generalization to multi - part systems**: - The author further generalizes the results to multi - part systems \(M_{n_1}\otimes\cdots\otimes M_{n_m}\) and proves similar conclusions. 3. **Applications in quantum information science**: - The author discusses the applications of these results in quantum information science, especially in detecting the separability of quantum states and characterizing k - positive linear mappings. ### Main technical means - **Utilization of norm properties**: The author utilizes the properties of the Ky Fan k - norm and Schatten p - norm, especially their relationships with singular values. - **Proof of orthogonality**: Through a series of lemmas and theorems, the author proves the orthogonality between certain matrices under specific conditions. - **Induction method**: For multi - part systems, the author uses the induction method to prove the results step by step. ### Conclusion This paper, through rigorous mathematical proofs, reveals the structure of linear mappings that keep specific norms invariant and generalizes its results to multi - part systems. These results are not only of great significance in pure mathematics but also have potential application values in fields such as quantum information science.