arXiv preprint ·
A 51-Addition Alternative-Basis Kernel for Rank-23 $3\times3$ Matrix Multiplication
- Published
- Source
- arXiv preprint, posted before peer review
- Original
- Read it at arXiv
- Topics
Abstract
We give a rank-23 algorithm for $3\times3$ matrix multiplication using 51 additions and subtractions in alternative bases. The input and output conversions require five further additions, giving 56 additions in ordinary coordinates. The construction combines linear-program reduction with a search over sparse basis changes, and the resulting programs are distributed as a machine-checkable certificate. We verify correctness by exact coefficient expansion and distinguish the kernel cost from the cost of a complete multiplication.
The authors’ abstract, as arXiv lists it. arXiv’s listings, abstracts included, are free for anyone to reuse.
Read it on ReadSearch
Each opens after you create an account, and brings you back to this paper.
More in Data Structures & Algorithms
LieDiscover: Adaptive Symbolic Library Construction for Explicit Open-form Symmetry Discovery
Order-Invariant Answers, Order-Sensitive Representations in Mathematical Reasoning
Semi-automated Verification of Symbolic Invariants In Extended Symmetric Nets
Proceedings Tenth Symposium on Working Formal Methods
SRHarness: A Harness for Agentic Symbolic Regression
Get the few papers worth your time in Data Structures & Algorithms every morning.
ReadSearch reads the new papers in your field each day and brings you the few worth reading, each with its key finding in a sentence.