Valiant's determinantal-complexity conjecture for the permanent
Valiant's determinantal-complexity conjecture for the permanent
For a polynomial , let denote the least size of a matrix of affine linear forms whose determinant equals . Let denote the permanent of an matrix. Valiant's conjecture. The determinantal complexity grows superpolynomially in .
This would separate the permanent from determinant computations and imply the conjectured separation between algebraic branching programs and . 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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.