Valiant's conjecture for iterated matrix multiplication

Let RR be a field and let A=SA=\mathscr S. For the iterated matrix multiplication polynomial hΞn,d\textup{\textsf{h}}{\Xi}_{n,d}, let w(f){w}(f) denote its width and let poly(n,d)\textup{\textsf{poly}}(n,d) denote polynomially bounded functions in nn and dd.

Valiant's conjecture. Valiant's conjecture for RR is

w(hΞn,d)poly(n,d).{w}(\textup{\textsf{h}}{\Xi}_{n,d})\notin\textup{\textsf{poly}}(n,d).

This is presented as an equivalent formulation of Valiant's original conjecture VBPVNP\mathrm{VBP}\neq\mathrm{VNP}, or, over characteristic different from 22, the determinant-versus-permanent conjecture. Its resolution is not supplied here.

Sources & referencesView supporting material

Primary source

Christian Ikenmeyer, “Kronecker products and iterated matrix multiplication”, arXiv:2606.08363 (2026).

Additional references

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

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.