English

Non-existence of a short algorithm for multiplication of $3\times3$ matrices with group $S_4\times S_3$

Computational Complexity 2022-11-08 v1

Abstract

One of prospective ways to find new fast algorithms of matrix multiplication is to study algorithms admitting nontrivial symmetries. In the work possible algorithms for multiplication of 3×33\times3 matrices, admitting a certain group GG isomorphic to S4×S3S_4\times S_3, are investigated. It is shown that there exist no such algorithms of length 23\leq23. In the first part of the work, which is the content of the present article, we describe all orbits of length 23\leq23 of GG on the set of decomposable tensors in the space MMMM\otimes M\otimes M, where M=M3(C)M=M_3({\mathbb C}) is the space of complex 3×33\times3 matrices. In the second part of the work this description will be used to prove that a short algorithm with the above-mentioned group does not exist.

Keywords

Cite

@article{arxiv.2211.03404,
  title  = {Non-existence of a short algorithm for multiplication of $3\times3$ matrices with group $S_4\times S_3$},
  author = {Vladimir P. Burichenko},
  journal= {arXiv preprint arXiv:2211.03404},
  year   = {2022}
}

Comments

19 pp. Accepted for publication in Proceedings of the Institute of mathematics (of Academy of Sciences of Belarus)