Induced operators on symmetry classes of tensors (Q5890384)

The vector space \(V^{m}_{\chi}(H)=S(\bigotimes^mV)\), called the symmetry class of tensors over \(V\) associated with \(H\) and \(\chi\), is a subspace of the tensor space \(\bigotimes^mV\), where \(H\) is a subgroup of the symmetric group of degree \(m\), \(\chi\) is a character of degree \(1\) on \(H\) and \(S(v_1 \otimes\dots \otimes v_m)\) is the symmetrizer of \(\bigotimes^mV\). The elements in \(V^{m}_{\chi}(H)=S(\bigotimes^mV)\) of the form \(S(v_1 \otimes\dots \otimes v_m)\) are denoted by \(v_1*\dots *v_m\) and called decomposable tensors. The study of symmetry classes of tensors is motivated by combinatorial theory, matrix theory, operator theory, group representation theory and other parts of mathematics. For any linear operator \(T\) acting on \(V\) there is a unique induced operator \(K(T)\) acting on \(V^{m}_{\chi}(H)\) satisfying \(K(T)v_1*\dots *v_m=Tv_1*\dots *Tv_m\). NEWLINENEWLINENEWLINEIt is known that if \(T\) is normal, unitary, positive definite and (skew) Hermitian, then \(K(T)\) has the corresponding property. Also, if \(T_1=\xi T_2\) for some \(\xi \in \mathbf {C}\) with \(\xi^m=1\) then \(K(T_1)=K(T_2)\). In general, the converses of these statements are not valid. Therefore, the necessary and sufficient conditions on \(\chi\) and operators \(T,T_1,T_2\) ensuring the validity of these statements in opposite direction are given. In further sections the relations between geometric properties of the decomposable numerical range of \(T\) and algebraic properties of \(T\) are used and matrix inequalities involving the decomposable numerical radius \(r_{\chi}(T)\), the spectral norm \(\|K(T) \|\) and the spectral radius \(\rho(K(T))\) are investigated. NEWLINENEWLINENEWLINESome invariance problems also known as the linear preserver or transformer problems of functions \(F(T)\) related to the induced operators \(T\), such as \(F(T)=\|K(T) \|\), \(\rho(K(T))\), \(r_{\chi}(T)\) and the decomposable numerical range of \(T\) are studied. Results of the paper settle a number of open problems and extend many previous results.