Logo image
Back
Matrix Multiplication via Matrix Groups
Conference proceeding

Matrix Multiplication via Matrix Groups

Jonah Blasiak, Henry Cohn, Joshua A. Grochow, Kevin Pratt and Chris Umans
Leibniz International Proceedings in Informatics, LIPIcs, v 251, 19
07 Apr 2022
DOI: https://doi.org/10.4230/lipics.itcs.2023.19
url
https://drops.dagstuhl.de/storage/00lipics/lipics-vol251-itcs2023/LIPIcs.ITCS.2023.19/LIPIcs.ITCS.2023.19.pdfView
Open

Abstract

matrix groups Fast matrix multiplication Computer Science - Data Structures and Algorithms representation theory Mathematics - Group Theory Mathematics - Combinatorics Theory of computation → Algebraic complexity theory
In 2003, Cohn and Umans proposed a group-theoretic approach to bounding the exponent of matrix multiplication. Previous work within this approach ruled out certain families of groups as a route to obtaining $\omega = 2$, while other families of groups remain potentially viable. In this paper we turn our attention to matrix groups, whose usefulness within this framework was relatively unexplored. We first show that groups of Lie type cannot prove $\omega=2$ within the group-theoretic approach. This is based on a representation-theoretic argument that identifies the second-smallest dimension of an irreducible representation of a group as a key parameter that determines its viability in this framework. Our proof builds on Gowers' result concerning product-free sets in quasirandom groups. We then give another barrier that rules out certain natural matrix group constructions that make use of subgroups that are far from being self-normalizing. Our barrier results leave open several natural paths to obtain $\omega = 2$ via matrix groups. To explore these routes we propose working in the continuous setting of Lie groups, in which we develop an analogous theory. Obtaining the analogue of $\omega=2$ in this potentially easier setting is a key challenge that represents an intermediate goal short of actually proving $\omega = 2$. We give two constructions in the continuous setting, each of which evades one of our two barriers. Comment: 15 pages

Metrics

12 Record Views
3 citations in Scopus

Details

Logo image