Slice rank of block tensors and irreversibility of structure tensors of algebras

Markus Bläser, Vladimir Lysikov

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

4 Citations (Scopus)
74 Downloads (Pure)

Abstract

Determining the exponent of matrix multiplication ω is one of the central open problems in algebraic complexity theory. All approaches to design fast matrix multiplication algorithms follow the following general pattern: We start with one “efficient” tensor T of fixed size and then we use a way to get a large matrix multiplication out of a large tensor power of T. In the recent years, several so-called barrier results have been established. A barrier result shows a lower bound on the best upper bound for the exponent of matrix multiplication that can be obtained by a certain restriction starting with a certain tensor. We prove the following barrier over C: Starting with a tensor of minimal border rank satisfying a certain genericity condition, except for the diagonal tensor, it is impossible to prove ω = 2 using arbitrary restrictions. This is astonishing since the tensors of minimal border rank look like the most natural candidates for designing fast matrix multiplication algorithms. We prove this by showing that all of these tensors are irreversible, using a structural characterisation of these tensors. To obtain our result, we relate irreversibility to asymptotic slice rank and instability of tensors and prove that the instability of block tensors can often be decided by looking only on the sizes of nonzero blocks.

Original languageEnglish
Title of host publication45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020
EditorsJavier Esparza, Daniel Kral�, Daniel Kral�
Number of pages15
PublisherSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Publication date2020
Article number17
ISBN (Electronic)9783959771597
DOIs
Publication statusPublished - 2020
Event45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020 - Prague, Czech Republic
Duration: 25 Aug 202026 Aug 2020

Conference

Conference45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020
Country/TerritoryCzech Republic
CityPrague
Period25/08/202026/08/2020
SeriesLeibniz International Proceedings in Informatics, LIPIcs
Volume170
ISSN1868-8969

Keywords

  • Barriers
  • GIT stability
  • Matrix multiplication
  • Slice rank
  • Tensors

Cite this