MathSciDoc: An Archive for Mathematician ∫

Denote by Mnthe set of n ×ncomplex matrices. Let f:Mn→[0, ∞)be a continuous map such that f(μUAU∗) =f(A)for any complex unit μ, A ∈Mnand unitary U∈Mn, f(X) =0if and only if X=0and the induced map t →f(tX)is monotonically increasing on [0, ∞)for any rank onenilpotent X∈Mn. Characterization is given for surjective maps φon Mnsatisfying f(AB−BA) =f(φ(A)φ(B) −φ(B)φ(A)). The general theorem isthen used to deduce results on special cases when the function is the pseudo spectrum and the pseudo spectral radius.

It is known that every complex square matrix with nonnega-tive determinant is the product of positive semi-definite matrices. There are characterizations of matrices that require two or five positive semi-definite matrices in the product. However, the characterizations of matrices that require three or four positive semi-definite matrices in the product are lacking. In this paper, we give a complete characterization of these two types of matrices. With these results, we give an algorithm to determine whether a square matrix can be expressed as the product of kpositive semi-definite matrices but not fewer, for k=1, 2, 3, 4, 5.

The entanglement quantification and classification of multipartite quantum states is an important research area in quantum information. In this paper, in terms of the reduced density matrices corresponding to all possible partitions of the entire system, a bounded entanglement measure is constructed for arbitrary-dimensional multipartite quantum states. In particular, for three-qubit quantum systems, we prove that our entanglement measure satisfies the relation of monogamy. Furthermore, we present a necessary condition for characterizing maximally entangled states using our entanglement measure.