Bad and good news for Strassen's laser method: Border rank of the 3x3 permanent and strict submultiplicativity

09/23/2020
by   Austin Conner, et al.
0

We determine the border ranks of tensors that could potentially advance the known upper bound for the exponent ω of matrix multiplication. The Kronecker square of the small q=2 Coppersmith-Winograd tensor equals the 3× 3 permanent, and could potentially be used to show ω=2. We prove the negative result for complexity theory that its border rank is 16, resolving a longstanding problem. Regarding its q=4 skew cousin in C^5⊗ C^5⊗ C^5, which could potentially be used to prove ω≤ 2.11, we show the border rank of its Kronecker square is at most 42, a remarkable sub-multiplicativity result, as the square of its border rank is 64. We also determine moduli spaces VSP for the small Coppersmith-Winograd tensors.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/10/2019

Kronecker powers of tensors and Strassen's laser method

We answer a question, posed implicitly by Coppersmith-Winogrand and Buer...
research
02/21/2020

Geometric rank of tensors and subrank of matrix multiplication

Motivated by problems in algebraic complexity theory (e.g., matrix multi...
research
04/03/2020

Tensor Rank and Complexity

These lecture notes are intended as an introduction to several notions o...
research
03/23/2021

Bounds on complexity of matrix multiplication away from CW tensors

We present three families of minimal border rank tensors: they come from...
research
10/04/2021

Irreversibility of Structure Tensors of Modules

Determining the matrix multiplication exponent ω is one of the greatest ...
research
11/13/2017

Grothendieck constant is norm of Strassen matrix multiplication tensor

We show that two important quantities from two disparate areas of comple...
research
04/22/2020

A Tensor Rank Theory, Full-Rank Tensors and Base Subtensors

A matrix always has a full-rank submatrix such that the rank of this mat...

Please sign up or login with your details

Forgot password? Click here to reset