1: \begin{abstract}

2:     Consider a matroid $M$ whose ground set is equipped with a labeling to an abelian group.

3:     A basis of $M$ is called $F$-avoiding if the sum of the labels of its elements is not in a forbidden label set $F$.

4:     Hörsch, Imolay, Mizutani, Oki, and Schwarcz~(2024)

5:     conjectured that if an $F$-avoiding basis exists, then any basis can be transformed into an $F$-avoiding basis by exchanging at most $|F|$ elements.

6:     This \emph{proximity conjecture} is known to hold for certain specific groups; in the case where $|F| \le 2$; or when the matroid is subsequence-interchangeably base orderable (SIBO), which is a weakening of the so-called strongly base orderable (SBO) property.

7:     

8:     In this paper, we settle the proximity conjecture for sparse paving matroids or in the case where $|F| \le 4$.

9:     Related to the latter result, we present the first known example of a non-SIBO matroid.

10:     We further address the setting of multiple group-label constraints, showing proximity results for the cases of two labelings, SIBO matroids, matroids representable over a fixed, finite field, and sparse paving matroids.

11: 

12: \medskip

13: 

14: \noindent \textbf{Keywords:}

15:     sparse paving matroid, subsequence-interchangeable base orderability, congruency constraint, multiple labelings

16: 

17: \end{abstract}

18: