arXiv++ Combinatorics

We obtain some $d\ge2$ such that every graph $G$ with no induced copy of the five-vertex path $P_5$ has chromatic number at most $ω(G)^d$, thereby resolving an open problem of Gyárfás from 1985. The proof consists of three main ingredients: $\bullet$ an analogue of Rödl's theorem for the chromatic number of $P_5$-free graphs, proved via the ``Gyárfás path'' argument; $\bullet$ a decomposition argument for $P_5$-free graphs that allows one to grow high-chromatic anticomplete pairs indefinitely or to capture a polynomially chromatic-dense induced subgraph; and $\bullet$ a ``chromatic density increment'' argument that uses the Erdős-Hajnal result for $P_5$ as a black box.