Simon's conjecture on extendable shellability of uniform matroid independence complexes

For integers 1<kn1<k\le n, let Un,kU_{n,k} be the uniform matroid and let its independence complex be the simplicial complex whose facets are the bases of Un,kU_{n,k}. A partial shelling is an ordering B1<<BsB_1<\dots<B_s of bases that shells the subcomplex generated by those bases. Simon's conjecture. For every 1<kn1<k\le n, every such partial shelling can be extended: if B1<<BsB_1<\dots<B_s shells B1,,Bs\langle B_1,\dots,B_s\rangle, then the remaining bases can be ordered as B1<<BtB'_1<\dots<B'_t so that

B1<<Bs<B1<<BtB_1<\dots<B_s<B'_1<\dots<B'_t

is a shelling order of the independence complex of Un,kU_{n,k}. The source explains that this conjecture is widely believed to be false, notes counterexamples to extendable shellability for other matroid independence complexes, and says that proving or disproving it appears to require a genuinely novel idea.

Sources & referencesView supporting material

Primary source

Alexander Heaton and Jose Alejandro Samper, “Dual matroid polytopes and internal activity of independence complexes”, arXiv:2005.04252 (2020).

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.