Valiant's determinantal-complexity conjecture for the permanent

For a polynomial ff, let dc(f)\mathrm{dc}(f) denote the least size of a matrix of affine linear forms whose determinant equals ff. Let perm\mathrm{per}_m denote the permanent of an m×mm\times m matrix. Valiant's conjecture. The determinantal complexity dc(perm)\mathrm{dc}(\mathrm{per}_m) grows superpolynomially in mm.

This would separate the permanent from determinant computations and imply the conjectured separation between algebraic branching programs and VNP\mathrm{VNP}. The source gives no resolution.

Sources & referencesView supporting material

Primary source

Greta Panova, “Computational Complexity in Algebraic Combinatorics”, arXiv:2306.17511 (2023).

Additional references

6 papers in this index state this conjecture (2009–2023). The statement above is taken from the most recent of them; the others are arXiv:1611.00827, arXiv:1604.06431, arXiv:1512.03798, arXiv:1511.02927, arXiv:0910.2443.

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.