Mulmuley–Sohoni padded-permanent border determinantal complexity conjecture

For n>mn>m, let X11nmpermX_{11}^{n-m}\mathrm{per}_m be the padded permanent, viewed as an element of SymnCn2\mathsf{Sym}^n\mathbb{C}^{n^2}, and let Detn{{\mathcal{D}}et}_n be the Euclidean (equivalently, Zariski) closure of the GLn2\mathrm{GL}_{n^2}-orbit of detn\mathrm{det}_n. Mulmuley–Sohoni's border determinantal complexity conjecture. For every cN1c\in\mathbb{N}_{\ge 1}, one has

X11mcmpermDetmcX_{11}^{m^c-m}\mathrm{per}_m\notin{{\mathcal{D}}et}_{m^c}

for infinitely many mm. 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.

Sources & referencesView supporting material

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

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.