arXiv++ Combinatorics

A proper colouring of a graph $G$ is $β$-frugal if every colour appears at most $β$ times in the neighbourhood of each vertex. Let $χ_β(G)$ denote the minimum number of colours required for a $β$-frugal colouring of $G$. For a fixed frugality $β$, Hind et al. showed that $χ_β(G) = \mathcal{O}(Δ(G)^{1 + 1/β})$, and a bipartite construction of Alon certifies the tightness of this upper bound up to a constant factor. Using a sparse hypergraph colouring theorem of Li and Postle, we show that for all fixed $β\ge 2$ and $t\ge 2$, if $G$ excludes either $C_{2t}$ or $K_{β,t}$ as a subgraph, then $χ_β(G) = \mathcal{O}(Δ(G)^{1 + 1/β} / (\logΔ(G))^{1/β})$. Furthermore, we show that these upper bounds are tight up to a constant factor due to the existence of graphs $G$ with arbitrarily large maximum degree $Δ$ and girth such that $χ_β(G) = Ω(Δ^{1 + 1/β} / (\logΔ)^{1/β})$. Finally, we show that excluding an arbitrary bipartite subgraph does not necessarily reduce the order of growth of $χ_β$, as there exist $K_{4^{β+1},4^{β+1}}$-free graphs $G$ with arbitrarily large maximum degree $Δ$ such that $χ_β(G) = Ω(Δ^{1 + 1/β})$.