Two classes of minimal generic fundamental invariants for tensors

Abstract

Motivated by the problems raised by Bürgisser and Ikenmeyer, we discuss two classes of minimal generic fundamental invariants for tensors of order 3. The first one is defined on ${\otimes }^3{\mathbb{C}}^m$, where $m=n^2-1$. We study its construction by obstruction design introduced by Bürgisser and Ikenmeyer, which partially answers one problem raised by them. The second one is defined on ${\mathbb{C}}^{\ell m}\otimes {\mathbb{C}}^{mn}\otimes {\mathbb{C}}^{n\ell }$. We study its evaluation on the matrix multiplication tensor $⟨\ell ,m,n⟩$ and unit tensor $⟨n^2⟩$ when $\ell =m=n$. The evaluation on the unit tensor leads to the definition of Latin cube and 3-dimensional Alon-Tarsi problem. We generalize some results on Latin square to Latin cube, which enrich the understanding of 3-dimensional Alon-Tarsi problem. It is also natural to generalize the constructions to tensors of other orders. We illustrate the distinction between even and odd dimensional generalizations by concrete examples. Finally, some open problems in related fields are raised.

arXiv commentSome typos were corrected. To appear in Linear Algebra and Its Applications