Last night, a paper appeared on the arXiv titled A time matrix multiplication algorithm.

At first look the paper seemed to score zero on Scott Aaronson’s list of Ten Signs a Claimed Mathematical Breakthrough is Wrong, and it came from a researcher who has worked extensively on the related problem of all-pairs shortest path, so it looked exciting. Unfortunately, it actually scores one on Scott’s list: it contradicts known impossibility results. (Thanks to Yuval Filmus for the references.)

The first step in the algorithm is to show how to compute the inner product of two -dimensional vectors using multiplication. This contradicts a lower bound due to Pan (see here the proof of a more general result) that computing the inner product of two N-dimensional vectors require at least N multiplications.

In addition, Raz has proved an lower bound for matrix multiplication arithmetic circuits, and, to the best of my understanding, the paper’s claims imply an size arithmetic circuit. (Raz’s lower bound assumes that the circuit is not given access to large constants; as far as I can see, the formulas in Han’s paper do not require large constants.)

### Like this:

Like Loading...

*Related*

In the last paragraph, there is a typo: a square is missing (to actually get the contradiction), the lower bound is $\Omega(n^2\log n)$.

I also took the paper seriously at first. The problem I found is that it claims to reduce multiplying two $n \times n$ matrices to multiplying a $n \times c$ matrix with a $c \times n$ matrix with $c \ll n$ and, importantly, the reduction is applied independently to the two matrices. But this would imply that the product must have rank $\leq c$, which is impossible if both of the original matrices have full rank and $c<n$.

I would argue that it does score higher on Scott's test.

Thanks, Clément!

@tas: good point, I should have said that it scored

at leastone1) Has the author retracted?

2) Is there something of interest anyway? An improvement on the known MM?

Babai’s recent results-retraction ended up with still having a result of interest.

Alas, this is rare- most proofs that P=NP or P\ne NP have nothing of merit in them.

Since the MM “result” is a more reasonable thing to have partial results on– are there any?

Did you have a look at the new updated version? The proof looks more plausible now.