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

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 44 matrices was first reduced in Fawzi: 2022aa from 49 (two recursion levels of Strassen's algorithm) to 47 but only in characteristic 2 or more recently to 48 in 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 1916 n^2+₂ 3{2} +o (n^2+log₂ 3{2}) operations over any ring containing an inverse of 2.