Frugal colourings of graphs via sparse hypergraph colouring

Abstract

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 needed for a $β$-frugal colouring of $G$. For a fixed value of $β$, Hind et al. showed that $χ_β(G) = \mathcal{O}(Δ(G)^{1 + 1/β})$, and a construction of Alon certifies the tightness of this upper bound up to a constant factor. We show that, for all fixed $β\ge 2$ and $t\ge 2$, if $G$ does not contain $C_{2t}$ as a subgraph, or if $G$ does not contain $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 a constant factor due to the existence of graphs $G$ with arbitrarily large maximum degree $Δ$ and girth such that $χ_β(G) = Ω(Δ^{1 + 1/β} / (\logΔ)^{1/β})$. The upper bounds are obtained via a sparse hypergraph colouring theorem of Li and Postle.

Theorems & Definitions (29)

• Theorem 1: Molloy, 2019
• Theorem 2: Bollobás, 1981
• Theorem 3: Alon, Krivelevich, Sudakov, 1999
• Conjecture 4: Alon, Krivelevich, Sudakov, 1999
• Theorem 5: Hind, Molloy, Reed, 1997
• Theorem 6: Alon, Mohar, 2002
• Theorem 7
• Theorem 8
• Theorem 9
• Corollary 10