Typical and Extremal Aspects of Friends-and-Strangers Graphs

TL;DR

This paper studies the connectivity of friends-and-strangers graphs, showing that for random graphs the threshold is around p=n^{-1/2}, and for extremal graphs, the minimum degree needed is between 3n/5 and 9n/14, with special bipartite cases analyzed.

Contribution

It provides new probabilistic thresholds for connectivity in friends-and-strangers graphs of Erdős-Rényi models and establishes extremal degree conditions for guaranteed connectivity.

Findings

Connectivity threshold for random graphs is p=n^{-1/2+o(1)}.

Minimum degree bounds for extremal graphs are between 3n/5 and 9n/14.

Bipartite graphs exhibit a parity obstruction leading to exactly two components.

Abstract

Given graphs $X$ and $Y$ with vertex sets $V(X)$ and $V(Y)$ of the same cardinality, the friends-and-strangers graph $\mathsf{FS}(X,Y)$ is the graph whose vertex set consists of all bijections $\sigma:V(X)\to V(Y)$, where two bijections $\sigma$ and $\sigma'$ are adjacent if they agree everywhere except for two adjacent vertices $a,b \in V(X)$ such that $\sigma(a)$ and $\sigma(b)$ are adjacent in $Y$. The most fundamental question that one can ask about these friends-and-strangers graphs is whether or not they are connected; we address this problem from two different perspectives. First, we address the case of "typical" $X$ and $Y$ by proving that if $X$ and $Y$ are independent Erd\H{o}s-R\'enyi random graphs with $n$ vertices and edge probability $p$, then the threshold probability guaranteeing the connectedness of $\mathsf{FS}(X,Y)$ with high probability is $p=n^{-1/2+o(1)}$. Second, we address the case of "extremal" $X$ and $Y$ by proving that the smallest minimum degree of the $n$-vertex graphs $X$ and $Y$ that guarantees the connectedness of $\mathsf{FS}(X,Y)$ is between $3n/5+O(1)$ and $9n/14+O(1)$. When $X$ and $Y$ are bipartite, a parity obstruction forces $\mathsf{FS}(X,Y)$ to be disconnected. In this bipartite setting, we prove analogous "typical" and "extremal" results concerning when $\mathsf{FS}(X,Y)$ has exactly $2$ connected components; for the extremal question, we obtain a nearly exact result.