Linear k-power preservers and trace of power-product preservers

2022/01/24 by Huajun Huang, Huang, Huajun, Ming-Cheng Tsai +1
Mathematics · Computer Science · #Advanced Topics in Algebra #Matrix Theory and Algorithms #Advanced Algebra and Logic

paper · pdf · doi:10.48550/arxiv.2201.09513

Abstract

Let V be the set of n× n complex or real general matrices, Hermitian matrices, symmetric matrices, positive definite (resp. semi-definite) matrices, diagonal matrices, or upper triangular matrices. Fix k∈ ℤ∖ \0, 1\. We characterize linear maps ψ:V→ V that satisfy ψ(A^k)=ψ(A)^k on an open neighborhood S of I_n in V. The k-power preservers are necessarily k-potent preservers, and the case k=2 corresponds to Jordan homomorphisms. Applying the results, we characterize maps ϕ,ψ:V→ V that satisfy " tr(ϕ(A)ψ(B)^k)=tr(AB^k) for all A∈ V, B∈ S, and ψ is linear" or " tr(ϕ(A)ψ(B)^k)=tr(AB^k) for all A, B∈ S and both ϕ and ψ are linear." The characterizations systematically extend existing results in literature, and they have many applications in areas like quantum information theory. Some structural theorems and power series over matrices are widely used in our characterizations.

Related

• Linear preservers and quantum information science
• The structure of k-potents and mixed Jordan-power preservers on matrix algebras
• (Real)linear preservers of multiples of unitaries and matrix pairs with some extremal norm properties
• Characterization of Matrix K-Positivity Preserver for K=ℝⁿ and for Compact Sets K⊆ℝⁿ
• Maps preserving trace of products of matrices