# A lower bound for $\langle 3,2,m \rangle$ matrix multiplication

Preprint · Askar Tsyganov, Uliana Parkina, Sergey Samsonov, Maxim Rakhuba

- Archive id: arxiv:2609.22054
- Published: 2026-09-18
- arXiv: https://arxiv.org/abs/2609.22054
- Source URL: https://arxiv.org/abs/2609.22054
- PDF: https://arxiv.org/pdf/2609.22054
- Provenance: arxiv

## Abstract

We prove that, over any field, the bilinear complexity of multiplying a $3\\times 2$ matrix by a $2\\times m$ matrix is strictly greater than $24m/5$. In particular, every exact bilinear algorithm for multiplying a $3\\times 2$ matrix by a $2\\times 5$ matrix requires at least $25$ multiplications. Together with the Hopcroft-Kerr upper bound, this proves that the $\\langle 3,2,5\\rangle$ matrix multiplication tensor has rank exactly $25$. The proof has been formally verified in Lean 4, with the formalization available at https://github.com/fallnlove/mm325\_proof.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.