Strassen's direct sum conjecture for tensor rank

Let A1,B1,C1,A2,B2,C2A_1,B_1,C_1,A_2,B_2,C_2 be finite-dimensional vector spaces over a field K\mathbb{K}, and let T1A1B1C1T_1\in A_1\otimes B_1\otimes C_1 and T2A2B2C2T_2\in A_2\otimes B_2\otimes C_2. Their direct sum is the tensor T=T1T2T=T_1\oplus T_2 in

(A1A2)(B1B2)(C1C2).(A_1\oplus A_2)\otimes(B_1\oplus B_2)\otimes(C_1\oplus C_2).

For a tensor SS, write R(S)\mathbf{R}(S) for its tensor rank, the minimum number of simple tensors whose linear combination equals SS. Strassen's direct sum conjecture. The rank of the direct sum is the sum of the individual ranks:

R(T)=R(T1)+R(T2).\mathbf{R}(T)=\mathbf{R}(T_1)+\mathbf{R}(T_2).

The conjecture asserts rank additivity for independent tensors and, in particular, would identify the number of scalar multiplications needed for simultaneous matrix multiplication with the sum of the numbers needed for the two separate matrix multiplications. The source introduces this as a conjecture formulated by Volker Strassen in 1973; its resolution status is not established by the supplied text.

Sources & referencesView supporting material

Primary source

Viktoriia Borovik, Cosimo Flavi, Paweł Pielasa, Anatoli Shatsila and Jeyoung Song, “On the construction of a counterexample to Strassen's rank additivity conjecture”, arXiv:2507.17890 (2025).

Additional references

2 papers in this index state this conjecture (2017–2025). The statement above is taken from the most recent of them; the others are arXiv:1712.08660.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.