Math 2.0

Computer science Algorithms as mathematical objects Problem

Matrix multiplication exponent

Builds on Matrix multiplicationBig O notationTensor rankStrassen algorithm

Problem

Fix a field FF. Consider the real numbers τ\tau such that an algebraic algorithm multiplies two n×nn \times n matrices over FF with O(nτ)O(n^\tau) operations in FF (see big O notation). The matrix multiplication exponent ω\omega is the infimum of these τ\tau. Determine the value of ω\omega; in particular, decide whether ω=2\omega = 2.

Remarks

The bound ω≥2\omega \ge 2 holds because the output has n2n^2 entries, and the schoolbook matrix multiplication gives ω≤3\omega \le 3. The Strassen algorithm gave ω≤log⁡27≈2.807\omega \le \log_2 7 \approx 2.807 in 1969. Coppersmith and Winograd obtained ω<2.376\omega < 2.376 in 1990. Refinements of their method by several groups since 2010 have brought the upper bound below 2.3722.372. The problem is open: no lower bound better than 22 is known. Strassen showed that ω\omega can be read off from the tensor rank of the matrix multiplication tensor ⟨n,n,n⟩\langle n, n, n \rangle. It is the infimum of the τ\tau such that this rank is O(nτ)O(n^\tau). Many other problems of linear algebra, such as inverting a matrix or computing a determinant, can be solved with O(nω+ε)O(n^{\omega + \varepsilon}) operations for every ε>0\varepsilon > 0.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Big O notation concept
  2. Matrix multiplication concept
  3. Strassen algorithm concept
  4. Tensor rank concept
  5. Matrix multiplication exponent problem

Further reading

  1. Web https://en.wikipedia.org/wiki/Computational_complexity_of_matrix_multiplication
About this page
TagX0G02CGQ5J
URIm2://X0G02CGQ5J
Kindproblem
WritingW0 stub
MSC68Q25, 65Y20, 15A69
StatusThis copy of the site has no build data. Run m2 status X0G02CGQ5J.
AboutMatrix multiplication
UsesMatrix multiplication, Big O notation, Tensor rank, Strassen algorithm
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.