# A Lower Bound of 21 for $3\times3$ Matrix Multiplication over $\mathbb{F}_2$

Preprint · Chengu Wang

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

## Abstract

We prove that $3\\times3$ matrix multiplication over $\\mathbb{F}\_2$ has bilinear complexity at least $21$, improving the previous lower bound of $20$. Lower bounds for restrictions of the first input constrain how many first factors of a decomposition can lie in each subspace. For a hypothetical $20$-term decomposition, the strengthened restriction bounds force all first factors of matrix rank at least two into a single coset of a three-dimensional rank-one subspace. An exhaustive computation finds no admissible first-factor profile with $20$ terms. We also prove that $2\\times3$ by $3\\times3$ matrix multiplication over $\\mathbb{F}\_3$ has rank exactly $15$: three profiles with $14$ terms survive the corresponding computation up to symmetry, and short restriction arguments exclude them. We combine Wang's automated framework for tensor-rank lower bounds with D'Ambrosio's capacity-and-profile strategy. Our computational contributions are rank-one-span searches that strengthen the subspace lower-bound table and a direct, symmetry-reduced profile enumerator that enforces all subspace capacities simultaneously.

_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.