Counting odd cycles in locally dense graphs

Abstract

We prove that for any given $\varepsilon>0$ and $d\in [0,1]$, every sufficiently large $(\varepsilon, d)$-dense graph $G$ contains for each odd integer $r$ at least $(d^r-\varepsilon)|V(G)|^r$ cycles of length $r$. Here, $G$ being $(\varepsilon, d)$-dense means that every set $X$ containing at least~$\varepsilon\,|V(G)|$ vertices spans at least $\tfrac d2\, |X|^2$ edges, and what we really count is the number of homomorphisms from an $r$-cycle into $G$. The result adresses a question of Y. Kohayakawa, B. Nagle, V. R\"odl, and M. Schacht.