Beyond the Alder-Strassen bound

  • Authors:
  • Markus Bläser

  • Affiliations:
  • Instuit für Theoretische Informatik, ETH Zurich, 8092 Zurich, Switzerland and Instuit für Theoretische Informatik, Universität zu Lübeck, Wallstr. 40, 23560 Lübeck, German ...

  • Venue:
  • Theoretical Computer Science - Automata, languages and programming
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

We prove a lower bound of 5/2n2 - 3n for the multiplicative complexity of n × n-matrix multiplication over arbitrary fields. More general, we show that for any finite dimensional semisimple algebra A with unity, the multiplicative complexity C (A) of the multiplication in A is bounded from below by 5/2 dim A - 3(n1 +...+ nt) if the decomposition of A ≃ A1 × ... × At into simple algebras Aτ ≃ Dτnτ×nτ contains only noncommutative factors, that is, the division algebra Dτ is noncommutative or nτ≥2.We also deal with the complexity of multiplication in algebras with nonzero radical. We present an example that shows that our methods in the semisimple case cannot be applied directly to this problem. We exhibit lower bound techniques for C(A) that yield bounds still significantly above the Alder-Strassen bound. The main application is the lower bound C (Tn(k)) ≥ (21/8-o(1)) dim Tn(k) for the multiplicative complexity of multiplication in the algebra Tn(k) of upper triangular n × n-matrices.