One-component conjecture for minimal non-Euclidean matroids

Prove or disprove that every minimal non-Euclidean oriented matroid has only one very strongly connected component in its cocircuit graph.

Background

For uniform minimal non-Euclidean oriented matroid programs, the paper characterizes properties shared by every very strongly connected component, including the involvement of every ground-set element. It then proposes the stronger unresolved claim that there is only one such component.

References

We conjecture here that minimal Non-Euclidean oriented matroids have only one very-strong component in their cocircuit graphs, but we were not able to prove it.

Mutations and (Non-)Euclideaness in oriented matroids  (2501.12951 - Wilhelmi, 22 Jan 2025) in Section Non-Euclidean Oriented Matroids