Table of Contents
Fetching ...

Recursive Koszul flattenings of determinant and permanent tensors

Jong In Han, Jeong-Hoon Ju, Yeongrak Kim

TL;DR

The paper develops and applies the recursive Koszul flattening technique to determinant and permanent tensors to obtain strong tensor-rank lower bounds. By leveraging $\operatorname{SL}_n$-representation theory, it proves a universal lower bound $\underline{\mathbf{R}}(\det_n) \ge \dfrac{n^{n-1}}{(n-1)!}$, which separates determinant from permanent since $\mathbf{R}(\operatorname{perm}_n) \le 2^{n-1}$. It also yields the exact tensor ranks for small cases, notably $\mathbf{R}(\det_4)=12$ and $\mathbf{R}(\operatorname{perm}_4)=8$ over fields with characteristic not equal to $2$, and provides computational lower bounds for $n\le 7$ in the permanent case. The results highlight a rapid growth gap for determinants versus permanents in tensor rank and showcase the utility of recursive Koszul flattenings for high-order tensors.

Abstract

We investigate new lower bounds on the tensor rank of the determinant and the permanent tensors via recursive usage of the Koszul flattening method introduced by Landsberg-Ottaviani and Hauenstein-Oeding-Ottaviani-Sommese. Our lower bounds on $\mathbf{R} (\det_n)$ completely separate the determinant and the permanent tensors by their tensor ranks. Furthermore, we determine the exact tensor ranks $\mathbf{R} (\det_4) = 12$ and $\mathbf{R} (\operatorname{perm}_4) = 8$ over arbitrary field of characteristic $\neq 2$.

Recursive Koszul flattenings of determinant and permanent tensors

TL;DR

The paper develops and applies the recursive Koszul flattening technique to determinant and permanent tensors to obtain strong tensor-rank lower bounds. By leveraging -representation theory, it proves a universal lower bound , which separates determinant from permanent since . It also yields the exact tensor ranks for small cases, notably and over fields with characteristic not equal to , and provides computational lower bounds for in the permanent case. The results highlight a rapid growth gap for determinants versus permanents in tensor rank and showcase the utility of recursive Koszul flattenings for high-order tensors.

Abstract

We investigate new lower bounds on the tensor rank of the determinant and the permanent tensors via recursive usage of the Koszul flattening method introduced by Landsberg-Ottaviani and Hauenstein-Oeding-Ottaviani-Sommese. Our lower bounds on completely separate the determinant and the permanent tensors by their tensor ranks. Furthermore, we determine the exact tensor ranks and over arbitrary field of characteristic .

Paper Structure

This paper contains 7 sections, 14 theorems, 33 equations, 1 figure, 2 tables.

Key Result

Lemma 2.6

If $V$ and $W$ are irreducible representations of $G$ and $\varphi:V \rightarrow W$ is a $G$-equivariant map, then $\varphi$ is either a zero map or an isomorphism.

Figures (1)

  • Figure :

Theorems & Definitions (34)

  • Definition 2.2: Tensor
  • Definition 2.3: Tensor rank
  • Definition 2.4: Border rank
  • Definition 2.5: $G$-equivariant map
  • Lemma 2.6: Schur's lemma
  • Definition 2.7: Young tableau
  • Definition 2.8: Schur's module
  • Example 2.9
  • Proposition 2.10: Pieri's formula
  • Proposition 3.1: Rank method
  • ...and 24 more