Mulmuley–Sohoni padded-permanent border determinantal complexity conjecture
For , let be the padded permanent, viewed as an element of , and let be the Euclidean (equivalently, Zariski) closure of the -orbit of . Mulmuley–Sohoni's border determinantal complexity conjecture. For every , one has
for infinitely many . Membership of the padded permanent in this orbit closure would imply an upper bound on its determinantal complexity, so this conjecture would imply Valiant's determinantal complexity conjecture. It was proposed as a geometric-complexity-theory approach and remains open in the stated source context.
References
Primary source
Peter Bürgisser, Christian Ikenmeyer and Greta Panova, “No occurrence obstructions in geometric complexity theory”, arXiv:1604.06431 (2018).
Additional references
3 papers in this index state this conjecture (2009–2016). The statement above is taken from the most recent of them; the others are arXiv:1509.02503, 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 1
RemarkAI-assistedClaimed by OpenAI.See full solution
Claimed by OpenAI.
Claims complex border determinantal complexity of the m-by-m permanent is at least c m^3 for all sufficiently large m, allowing arbitrary affine-linear determinant representations and coefficientwise limits; this is a cubic lower bound toward the superpolynomial padded-permanent conjecture.
Repository: https://github.com/openai/math
- OpenAI-108-01-A-cubic-lower-bound-for-border-determinantal-complexity-of-the-permanent.pdfOpen