Six-element-minor characterization of pure oriented matroids

Let M{\mathcal{M}} be an oriented matroid, and let M1M2{\mathcal{M}}_1\leadsto {\mathcal{M}}_2 denote a rank-preserving weak map. The graphical oriented matroids associated with the directed graphs K4K_4 and K2,3K_{2,3} are denoted by MK4{\mathcal{M}}_{\vec K_4} and MK2,3{\mathcal{M}}_{\vec K_{2,3}}.

Six-element-minor conjecture. The oriented matroid M{\mathcal{M}} is pure if and only if all of its six-element minors are pure. Equivalently, M{\mathcal{M}} is pure if and only if neither MK4{\mathcal{M}}_{\vec K_4} nor MK2,3{\mathcal{M}}_{\vec K_{2,3}} can be obtained from M{\mathcal{M}} by taking minors and rank-preserving weak maps. In particular, if M1M2{\mathcal{M}}_1\leadsto {\mathcal{M}}_2 is a rank-preserving weak map and M1{\mathcal{M}}_1 is pure, then M2{\mathcal{M}}_2 is pure as well.

This conjecture proposes a finite-obstruction characterization of purity and predicts that purity is preserved under rank-preserving weak maps. The source provides no resolution of the conjecture.

Sources & referencesView supporting material

Primary source

Pavel Galashin and Alexander Postnikov, “Purity and separation for oriented matroids”, arXiv:1708.01329 (2021).

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.