Pré-Publication, Document De Travail Année : 2025

A non-commutative algorithm for multiplying 4x4 matrices using 48 non-complex multiplications

Résumé

The quest for non-commutative matrix multiplication algorithms in small dimensions has seen a lot of recent improvements recently. In particular, the number of scalar multiplications required to multiply two $4\times4$ matrices was first reduced in \cite{Fawzi:2022aa} from 49 (two recursion levels of Strassen's algorithm) to 47 but only in characteristic 2 or more recently to 48 in \cite{alphaevolve} but over complex numbers.

We propose an algorithm in 48 multiplications with only rational coefficients, hence removing the complex number requirement. It was derived from the latter one, under the action of an isotropy which happen to project the algorithm on the field of rational numbers. We also produce a straight line program of this algorithm, reducing the leading constant in the complexity, as well as an alternative basis variant of it, leading to an algorithm running in $\frac{19}{16} n^{2+\frac{\log_2 3}{2}} +o\left(n^{2+\frac{log_2 3}{2}}\right)$ operations over any ring containing an inverse of 2.

Fichier principal
Vignette du fichier
RFC2506.pdf (226.84 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05112145 , version 1 (13-06-2025)
hal-05112145 , version 2 (17-06-2025)
hal-05112145 , version 3 (23-06-2025)
hal-05112145 , version 4 (24-06-2025)
hal-05112145 , version 5 (15-07-2025)
hal-05112145 , version 6 (26-11-2025)

Licence

Identifiants

Citer

Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic. A non-commutative algorithm for multiplying 4x4 matrices using 48 non-complex multiplications. 2025. ⟨hal-05112145v5⟩
1618 Consultations
949 Téléchargements

Altmetric

Partager

  • More