Sharp Bounds on Lengths of Linear Recolouring Sequences

TL;DR

This paper precisely determines the diameter of the recolouring graph for complete bipartite graphs and improves bounds for the general case, advancing understanding of the complexity of graph recolouring sequences.

Contribution

It provides exact diameter values for $K_{p,q}$ graphs and refines a key recolouring lemma, enhancing prior bounds and understanding of linear recolouring sequences.

Findings

Exact diameter of $ extrm{diam}~ ext{Recolouring}(K_{p,q})$ determined

Sharpened recolouring lemma with optimal bounds

Improved constants in previous diameter bounds

Abstract

A recolouring sequence, between $k$-colourings $\alpha$ and $\beta$ of a graph $G$, transforms $\alpha$ into $\beta$ by recolouring one vertex at a time, such that after each recolouring step we again have a proper $k$-colouring of $G$. The diameter of the $k$-recolouring graph, $\textrm{diam}~\mathcal{C}_k(G)$, is the maximum over all pairs $\alpha$ and $\beta$ of the minimum length of a recolouring sequence from $\alpha$ to $\beta$. Much previous work has focused on determining the asymptotics of $\textrm{diam}~\mathcal{C}_k(G)$: Is it $\Theta(|G|)$? Is it $\Theta(|G|^2)$? Or even larger? Here we focus on graphs for which $\textrm{diam}~\mathcal{C}_k(G)=\Theta(|G|)$, and seek to determine more precisely the multiplicative constant implicit in the $\Theta()$. In particular, for each $k\ge 3$, for all positive integers $p$ and $q$ we exactly determine $\textrm{diam}~\mathcal{C}_k(K_{p,q})$, up to a small additive constant. We also sharpen a recolouring lemma that has been used in multiple papers, proving an optimal version. This improves the multiplicative constant in various prior results. Finally, we investigate plausible relationships between similar reconfiguration graphs.