Every graph is eventually Turán-good and Turán-stable

Abstract

Let $T_r(n)$ denote the complete $r$-partite graph on $n$ vertices whose part sizes differ by at most one. A graph $H$ is called $K_{r+1}$-Turán-good if, for all sufficiently large $n$, the graph $T_r(n)$ contains the maximum number of copies of $H$ among all $n$-vertex $K_{r+1}$-free graphs. We say that $H$ is $K_{r+1}$-Turán-stable if, for every $\varepsilon>0$, there exist $δ>0$ and $n_0$ such that, whenever $n\ge n_0$ and an $n$-vertex $K_{r+1}$-free graph $G$ contains at least $\mathrm{ex}(n,H,K_{r+1})-δn^{v(H)}$ copies of $H$, the edit distance between $G$ and $T_r(n)$ is at most $\varepsilon n^2$, where $v(H)$ denotes the order of $H$. In this paper, we prove that every graph $H$ is both $K_{r+1}$-Turán-good and $K_{r+1}$-Turán-stable for $r\ge 4v(H)^3+11v(H)^2$. This strengthens results of Morrison, Nir, Norin, Rzążewski, and Wesolek~[J. Combin. Theory Ser. B, 2023] and Gerbner and Hama Karim~[J. Graph Theory, 2024], and gives a positive answer to a question of Morrison, Nir, Norin, Rzążewski, and Wesolek. We also prove that $\inj(H,G)\le \inj(H,T_r(n))$ for every $n$-vertex $K_{r+1}$-free graph $G$ and for $r\ge 40v(H)^3$, where $\inj(H,G)$ denotes the number of injective homomorphisms from $H$ to $G$. Finally, we give a negative answer to another question of Morrison, Nir, Norin, Rzążewski, and Wesolek.