Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2410.14905 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909742294630400 |
|---|---|
| author | Blasiak, Jonah Cohn, Henry Grochow, Joshua A. Pratt, Kevin Umans, Chris |
| author_facet | Blasiak, Jonah Cohn, Henry Grochow, Joshua A. Pratt, Kevin Umans, Chris |
| contents | The Cohn-Umans (FOCS '03) group-theoretic framework for matrix multiplication produces fast matrix multiplication algorithms from three subsets of a finite group $G$ satisfying a simple combinatorial condition (the Triple Product Property). The complexity of such an algorithm then depends on the representation theory of $G$. In this paper we extend the group-theoretic framework to the setting of infinite groups. In particular, this allows us to obtain constructions in Lie groups, with favorable parameters, that are provably impossible in finite groups of Lie type (Blasiak, Cohn, Grochow, Pratt, and Umans, ITCS '23). Previously the Lie group setting was investigated purely as an analogue of the finite group case; a key contribution in this paper is a fully developed framework for obtaining bona fide matrix multiplication algorithms directly from Lie group constructions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_14905 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Finite matrix multiplication algorithms from infinite groups Blasiak, Jonah Cohn, Henry Grochow, Joshua A. Pratt, Kevin Umans, Chris Group Theory Data Structures and Algorithms The Cohn-Umans (FOCS '03) group-theoretic framework for matrix multiplication produces fast matrix multiplication algorithms from three subsets of a finite group $G$ satisfying a simple combinatorial condition (the Triple Product Property). The complexity of such an algorithm then depends on the representation theory of $G$. In this paper we extend the group-theoretic framework to the setting of infinite groups. In particular, this allows us to obtain constructions in Lie groups, with favorable parameters, that are provably impossible in finite groups of Lie type (Blasiak, Cohn, Grochow, Pratt, and Umans, ITCS '23). Previously the Lie group setting was investigated purely as an analogue of the finite group case; a key contribution in this paper is a fully developed framework for obtaining bona fide matrix multiplication algorithms directly from Lie group constructions. |
| title | Finite matrix multiplication algorithms from infinite groups |
| topic | Group Theory Data Structures and Algorithms |
| url | https://arxiv.org/abs/2410.14905 |