References & Citations
Mathematics > Combinatorics
Title: On the Diameters of Friends-and-Strangers Graphs
(Submitted on 3 Jan 2022 (v1), last revised 14 Dec 2023 (this version, v6))
Abstract: Given simple graphs $X$ and $Y$ on the same number of vertices, the friends-and-strangers graph $\mathsf{FS}(X, Y)$ has as its vertices all bijections from $V(X)$ to $V(Y)$, where two bijections are adjacent if and only if they differ on two adjacent elements of $V(X)$ with images adjacent in $Y$. We study the diameters of connected components of friends-and-strangers graphs: the diameter of a component of $\mathsf{FS}(X,Y)$ corresponds to the largest number of swaps necessary to go from one configuration in the component to another. We show that any component of $\mathsf{FS}(\mathsf{Path}_n, Y)$ has $O(n^2)$ diameter and that any component of $\mathsf{FS}(\mathsf{Cycle}_n, Y)$ has $O(n^4)$ diameter, improvable to $O(n^3)$ whenever $\mathsf{FS}(\mathsf{Cycle}_n, Y)$ is connected. These results address an open problem posed by Defant and Kravitz. Using an explicit construction, we show that there exist $n$-vertex graphs $X$ and $Y$ such that $\mathsf{FS}(X,Y)$ has a component with $e^{\Omega(n)}$ diameter. This answers a question raised by Alon, Defant, and Kravitz in the negative. As a corollary, we observe that for such $X$ and $Y$, the lazy random walk on this component of $\mathsf{FS}(X,Y)$ has $e^{\Omega(n)}$ mixing time. This result deviates from related classical theorems regarding rapidly mixing Markov chains and makes progress on another open problem of Alon, Defant, and Kravitz. We conclude with several suggestions for future research.
Submission history
From: Ryan Jeong [view email][v1] Mon, 3 Jan 2022 13:58:39 GMT (1935kb,D)
[v2] Sun, 9 Jan 2022 02:07:34 GMT (3664kb,D)
[v3] Tue, 18 Jan 2022 07:03:33 GMT (3664kb,D)
[v4] Tue, 20 Jun 2023 06:01:33 GMT (3891kb,D)
[v5] Mon, 6 Nov 2023 14:40:02 GMT (3968kb,D)
[v6] Thu, 14 Dec 2023 06:51:32 GMT (3990kb,D)
Link back to: arXiv, form interface, contact.