Tensor polynomial identities (Q2143226): Difference between revisions

In [J. Math. Phys. 62, No. 2, 022203, 27 p. (2021; Zbl 1459.81023)], the first author proved that \[ \sum_{\sigma \in S_4} \epsilon_\sigma X_{\sigma(1)}X_{\sigma(2)} \otimes X_{\sigma(3)}X_{\sigma(4)}=0 \] for all \(2 \times 2 \) complex matrices \(X_1,X_2,X_3,X_4,\) where \( \epsilon_\sigma\) is the sign of the permutation \(\sigma \in S_n.\) The main results of the present paper generalize this equality for tensor polynomial identities. More precisely, the authors describe a method to characterize a certain class of tensor polynomial identities in terms of their associated Young diagrams. As a consequence they prove that \[ \sum_{\sigma \in S_n} \epsilon_\sigma X_{\sigma(1)}\cdots X_{\sigma(m)} \otimes \cdots \otimes X_{\sigma((n-1)m+1)}\cdots X_{\sigma(mn)} =0 \] for all \(d \times d \) complex matrices \(X_1,\dots,X_{mn},\) if and only if \(n>[d;m],\) where \(d,m\leq 2d\) are two integers and \[ [d;m]=\lfloor (2d-1)/m\rfloor + \lfloor (2d-3)/m\rfloor + \cdots + \lfloor 3/m\rfloor + \lfloor 1/m\rfloor. \]