Abstract:Asymptotic tensor rank is notoriously difficult to determine. Indeed, determining its value for the $2\times 2$ matrix multiplication tensor would determine the matrix multiplication exponent, a long-standing open problem. On the other hand, Strassen's asymptotic rank conjecture makes the bold claim that asymptotic tensor rank equals the largest dimension of the tensor and is thus as easy to compute as matrix rank. Despite tremendous interest, much is still unknown about the structural and computational properties of asymptotic rank; for instance whether it is computable. We prove that asymptotic tensor rank is "computable from above", that is, for any real number $r$ there is an (efficient) algorithm that determines, given a tensor $T$, if the asymptotic tensor rank of $T$ is at most $r$. The algorithm has a simple structure; it consists of evaluating a finite list of polynomials on the tensor. Indeed, we prove that the sublevel sets of asymptotic rank are Zariski-closed (just like matrix rank). While we do not exhibit these polynomials explicitly, their mere existence has strong implications on the structure of asymptotic rank. As one such implication, we find that the values that asymptotic tensor rank takes, on all tensors, is a well-ordered set. In other words, any non-increasing sequence of asymptotic ranks stabilizes ("discreteness from above"). In particular, for the matrix multiplication exponent (which is an asymptotic rank) there is no sequence of exponents of bilinear maps that approximates it arbitrarily closely from above without being eventually constant. In other words, any upper bound on the matrix multiplication exponent that is close enough, will "snap" to it. Previously such discreteness results were only known for finite fields or for other tensor parameters (e.g., asymptotic slice rank). We obtain them for infinite fields like the complex numbers.

Chaining Multiplications in Finite Fields with Chudnovsky-type Algorithms and Tensor Rank of the k-multiplication

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

On the tensor rank of multiplication in finite extensions of finite fields

Dense families of modular curves, prime numbers and uniform symmetric tensor rank of multiplication in certain finite fields

Asymptotic Bound for Multiplication Complexity in the Extensions of Small Finite Fields

Canonical forms of Order-$k$ ($k = 2, 3, 4$) Symmetric Tensors of Format $3 \times \dots \times 3$ Over Prime Fields

Two improvements in Brauer's theorem on forms

Computing Krylov iterates in the time of matrix multiplication

K3 surfaces with real or complex multiplication

Asymptotic tensor rank is characterized by polynomials

Bilinear forms with Kloosterman and Gauss sums in function fields

Clifford algebras and Littlewood-Richardson coefficients

Twisted Exponential Sums

Imaginary quadratic fields k with Cl_2(k) = (2,2^m) and Rank Cl_2(k^1) = 2

Overcomplete Tensor Decomposition via Koszul-Young Flattenings

Freiman's $3k-4$ Theorem for Function Fields

Scalable Karatsuba multiplier over finite field GF (2m )

Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields

On K-2 Of Division Algebras

Multiplicity-free tensor products of irreducible modules over simple algebraic groups in positive characteristic