White's conjecture on equivalence of matroid basis sequences

Let MM be a matroid, and let

X=(X1,,Xm),Y=(Y1,,Ym)\mathcal{X}=(X_1,\dots,X_m),\qquad \mathcal{Y}=(Y_1,\dots,Y_m)

be sequences of bases of MM of the same length. Two basis sequences are equivalent if one can be obtained from the other by a composition of symmetric exchanges between two sequence positions. They are compatible if, for every ground-set element ss, it occurs equally many times in the two sequences:

{i:sXi, 1im}={i:sYi, 1im}.\left|\{i:s\in X_i,\ 1\leq i\leq m\}\right|=\left|\{i:s\in Y_i,\ 1\leq i\leq m\}\right|.

White's conjecture. The sequences X\mathcal{X} and Y\mathcal{Y} are equivalent if and only if they are compatible. Compatibility is evidently necessary, and the conjecture is connected with toric ideals, Gröbner bases, and the connectivity of basis-pair graphs. It remains open even for sequences of length two.

Sources & referencesView supporting material

Primary source

Kristóf Bérczi and Tamás Schwarcz, “Exchange distance of basis pairs in split matroids”, arXiv:2203.01779 (2022).

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.