Gabow's symmetric exchange conjecture

Prove that, for every rank-r matroid with two disjoint bases A and B, the pair (A,B) can be transformed into (B,A) by exactly r symmetric exchanges.

Background

A symmetric exchange simultaneously replaces an element e of A\B with an element f of B\A in the first basis and replaces f with e in the second basis, with both resulting sets required to remain bases.

The paper identifies Gabow's conjecture as a long-standing unresolved problem concerning exchange sequences between pairs of bases in unoriented matroids. It is presented as a related problem motivating comparison with the oriented-matroid conjecture.

References

Gabow conjectured that for a rank-$r$ matroid $M$ with two disjoint bases $A$ and $B$, it is always possible to transform the pair $(A,B)$ into $(B,A)$ by a sequence of exactly $r$ symmetric exchanges.

A note on embracing exchange sequences in oriented matroids  (2511.14526 - Bérczi et al., 18 Nov 2025) in Section 3 (Matroid exchange analogues)