Linear transformations between multipartite quantum systems that map the set of tensor product of idempotent matrices into idempotent matrix set (Q362748)

Summary: Let \(H_n\) be the set of \(n \times n\) complex Hermitian matrices and \(\mathcal P_n\) (resp., \(\mathcal T_n\)) be the set of all idempotent (resp., tripotent) matrices in \(H_n\). In \(l\)-partite quantum system \(H_{m_{1}\cdots m_{l}} = \otimes^l_1 H_{m_i}\), \(\otimes^l_1 \mathcal P_{m_i}\) (resp., \(\otimes^l_1 \mathcal T_{m_i}\)) denotes the set of all decomposable elements \(\otimes^l_1 A_i\) such that \(A_i \in \mathcal P_{m_i}\) (resp., \(A_i \in \mathcal T_{m_i}\)). In this paper, linear maps \(\phi\) from \(H_{m_{1}\cdots m_{l}}\) to \(H_n\) with \(n \leq m_1 \cdots m_l\) such that \(\phi(\otimes^l_1 \mathcal P_{m_i}) \in \mathcal P_n\) are characterized. As its application, the structure of linear maps \(\phi\) from \(H_{m_{1}\cdots m_{l}}\) to \(H_n\) with \(n \leq m_1 \cdots m_l\) such that \(\phi(\otimes^l_1 \mathcal T_{m_i}) \in \mathcal T_n\) is also obtained.