Abstract:Tensor parameters that are amortized or regularized over large tensor powers, often called "asymptotic" tensor parameters, play a central role in several areas including algebraic complexity theory (constructing fast matrix multiplication algorithms), quantum information (entanglement cost and distillable entanglement), and additive combinatorics (bounds on cap sets, sunflower-free sets, etc.). Examples are the asymptotic tensor rank, asymptotic slice rank and asymptotic subrank. Recent works (Costa-Dalai, Blatter-Draisma-Rupniewski, Christandl-Gesmundo-Zuiddam) have investigated notions of discreteness (no accumulation points) or "gaps" in the values of such tensor parameters. We prove a general discreteness theorem for asymptotic tensor parameters of order-three tensors and use this to prove that (1) over any finite field (and in fact any finite set of coefficients in any field), the asymptotic subrank and the asymptotic slice rank have no accumulation points, and (2) over the complex numbers, the asymptotic slice rank has no accumulation points. Central to our approach are two new general lower bounds on the asymptotic subrank of tensors, which measures how much a tensor can be diagonalized. The first lower bound says that the asymptotic subrank of any concise three-tensor is at least the cube-root of the smallest dimension. The second lower bound says that any concise three-tensor that is "narrow enough" (has one dimension much smaller than the other two) has maximal asymptotic subrank. Our proofs rely on new lower bounds on the maximum rank in matrix subspaces that are obtained by slicing a three-tensor in the three different directions. We prove that for any concise tensor, the product of any two such maximum ranks must be large, and as a consequence there are always two distinct directions with large max-rank.

Maximal Rank of ${m}\times{n}\times 2$ Tensors over Arbitrary Fields

MAXIMAL RANK OF m x n x 2 TENSORS OVER ARBITRARY FIELDS

A Note on the Ranks of 2 X 2 X 2 and 2 X 2 X 2 X 2 Tensors

The Symmetric Rank of 2 × 2 × ⋯ × 2 Symmetric Tensors over an Arbitrary Field

Rank Decomposition and Symmetric Rank Decomposition over Arbitrary Fields

The Symmetric Rank and Decomposition of M-Order N-Dimensional (n = 2,3,4) Symmetric Tensors over the Binary Field

On Comon's Conjecture over Arbitrary Fields

Geometric rank of tensors and subrank of matrix multiplication

Notions of Tensor Rank

Tensor Representation of Rank-Metric Codes

The Complexity of Tensor Rank

Subrank and optimal reduction of scalar multiplications to generic tensors

On tensors of border rank $l$ in $\C^{m\times n\times l}$

Maximal border subrank tensors

Partition and Analytic Rank are Equivalent over Large Fields

On the tensor rank of multiplication in any extension of $\F_2$

Canonical Forms of $2 \times 2 \times 2$ and $2 \times 2 \times 2 \times 2$ Symmetric Tensors over Prime Fields

Discreteness of asymptotic tensor ranks

On the cardinality of matrices with prescribed rank and partial trace over a finite field

The number of singular vector tuples and uniqueness of best rank one approximation of tensors

Low-Rank Tensor Decomposition over Finite Fields