English

Lower Bounds for Matrix Product

Computational Complexity 2007-05-23 v1

Abstract

We prove lower bounds on the number of product gates in bilinear and quadratic circuits that compute the product of two n\crossnn \cross n matrices over finite fields. In particular we obtain the following results: 1. We show that the number of product gates in any bilinear (or quadratic) circuit that computes the product of two n\crossnn \cross n matrices over F2F_2 is at least 3n2o(n2)3 n^2 - o(n^2). 2. We show that the number of product gates in any bilinear circuit that computes the product of two n\crossnn \cross n matrices over FpF_p is at least (2.5+1.5p31)n2o(n2)(2.5 + \frac{1.5}{p^3 -1})n^2 -o(n^2). These results improve the former results of Bshouty '89 and Blaser '99 who proved lower bounds of 2.5n2o(n2)2.5 n^2 - o(n^2).

Cite

@article{arxiv.cs/0201001,
  title  = {Lower Bounds for Matrix Product},
  author = {Amir Shpilka},
  journal= {arXiv preprint arXiv:cs/0201001},
  year   = {2007}
}

Comments

Published in the proceedings of the 42nd Annual Symposium on Foundations of Computer Science (FOCS) 2001