New lower bounds for the rank of matrix multiplication
J. M. Landsberg
Introduction
If is a tensor of border rank , where the approximating curve of rank tensors limits in such a way that derivatives of the curve are used, then the rank of is at most , see [3, Prop. 15.26]. In they give explicit, but very large upper bounds on the order of approximation needed to write a tensor of border rank as lying in the -jet of a curve of tensors of rank .
The language of tensors will be used throughout. In §2 the language of tensors is introduced and previous work of Bläser and others is rephrased in a language suitable for generalizations. In §3 I describe the equations of and give a very easy proof of a slightly weaker result than Theorem 1.1. In §4 I express the equations in coordinates and prove Theorem 1.1. I work over the complex numbers throughout.
I thank the anonymous referee for useful suggestions and C. Ikenmeyer for help with the exposition.
Ranks and border ranks of tensors
The following proposition is a rephrasing of part of the proof in :
As stated, the proposition is useless, as the degrees of polynomials vanishing on on all tensors of border rank at most are greater than . (A general tensor of border rank also has rank .) However the conclusion still holds if one can find, for a given tensor , a polynomial, or collection of polynomials on smaller spaces, such that the nonvanishing of on is equivalent to the non-vanishing of the new polynomials. Then one substitutes the smaller degree into the statement to obtain the nontrivial lower bound.
To prove the Proposition, we need a standard Lemma, also used in , which appears in this form in [4, Lemma 11.5.0.2]:
The lemma follows by simply choosing a monomial that appears in , as it can involve at most basis vectors.
Let be given a basis. Given a homogeneous polynomial of degree on the Grassmannian , there exists at least basis vectors such that, denoting their (at most) -dimensional span by , restricted to is not identically zero.
Consider the map given by . Then is surjective. Take the polynomial and pull it back by . (The pullback is defined by .) The pullback is of degree in each copy of . (I.e., fixing parameters, it becomes a degree polynomial in the -th.) Now simply apply Lemma 2.2 times to see that the pulled back polynomial is not identically zero restricted to , and thus restricted to is not identically zero. ∎
Matrix multiplication and its rank
The equations of [5] in coordinates
so the corresponding matrix for is the block matrix
Now assume is invertible and change bases such that it is the identity matrix. Recall the formula for block matrices
I now phrase the equations of in coordinates. Let . Write . The expression of (1) in bases is as follows: write for , require that the first basis vectors have , that the second do not, and call these multi-indices and . Order the bases of such that the first multi-indices do not have , and the second do, and furthermore that the second set of indices is ordered the same way as , only we write since a zero index is included. Then the resulting matrix is of the form