arXiv++ Combinatorics

Given graphs $X,Y$ on $n$ vertices, Defant and Kravitz defined the friends and strangers graph, denoted $\mathrm{FS}(X,Y)$. The vertices of $\mathrm{FS}(X,Y)$ are bijections $σ:V(X)\to V(Y)$, and two bijections $σ$ and $σ'$ are adjacent in $\mathrm{FS}(X,Y)$ if they differ by a transposition $(ab)$ such that $a$ and $b$ are adjacent in $X$ and $σ(a)$ and $σ(b)$ are adjacent in $Y$. Our main result resolves a conjecture of Bangachev that if $X,Y$ are connected graphs and $2\min\{δ(X),δ(Y)\}+3\max\{δ(X),δ(Y)\}\ge 3n$, then $\mathrm{FS}(X,Y)$ is connected. The main step in the proof is showing that there exists an absolute constant $C$ such that for any adjacent vertices $a,b\in V(X)$ and any vertex $σ\in V(\mathrm{FS}(X,Y))$, $a$ and $b$ can swap positions in at most $C$ moves. Furthermore, we prove that if $X,Y$ are connected graphs satisfying the above minimum degree condition, then the diameter of $\mathrm{FS}(X,Y)$ is $O(n^2/\min\{δ(X),δ(Y)\})$, and that this is sharp as a bound on the maximum diameter of $\mathrm{FS}(X,Y)$ in this regime. This work improves the diameter results of Akella and Li, and resolves many of their questions. Moreover, we show that even for disconnected graphs $X$ and $Y$, the same minimum degree condition implies that the diameter of any connected component of $\mathrm{FS}(X,Y)$ is $O(n^2)$.

A cycle system for a matroid $M$ is a collection of cycles (unions of circuits) whose intersection properties mimic the cut sets of a graph. Cycle systems were introduced by Corry, the first author, McClain, Perkinson, and Yi, who showed that the $h$-vector of any matroid that admits a cycle system is a pure $O$-sequence, confirming a conjecture of Stanley for this class. Those authors also conjectured that any matroid admitting a cycle system must be binary. Here we answer this conjecture in the affirmative, and prove the stronger result that any such matroid must in fact be regular (representable over any field). From this, we conclude that if $M$ is connected, every cycle system for $M$ is a basis for its circuit space of. We establish other properties of cycle systems along the way, which may be of independent interest.

We construct a statistic-swapping involution on the Cartesian product of the generalized symmetric group $S(k,n)$ with the symmetric group $S_{kn}$, which swaps the number of fixed points in the generalized symmetric group element with the number of $k$-cycles in the symmetric group element. This gives a combinatorial proof for a probabilistic observation: the distribution of fixed points on $S(k,n)$ matches the distribution of $k$-cycles on $S_{kn}$.