Upper tail bounds for cycles

Abstract

This paper examines bounds on upper tails for cycle counts in $G_{n,p}$. For a fixed graph $H$ define ${\xi }_H={\xi }_H^{n,p}$ to be the number of copies of $H$ in $G_{n,p}$. It is a much studied and surprisingly difficult problem to understand the upper tail of the distribution of ${\xi }_H$, for example, to estimate \begin{equation*} \mathbb{P}(ξ_H > 2 \mathbb{E}ξ_H). \end{equation*} The best known result for general $H$ and $p$ is due to Janson, Oleszkiewicz, and Ruciński, who, in 2004, proved \begin{align}\label{a:JOR} \exp[-O_{H, η}(M_H(n,p) \ln(1/p))]&<\mathbb{P}(ξ_H > (1+η)\mathbb{E} ξ_H)\\&<\exp[-Ω_{H, η}(M_{H}(n,p))].\nonumber \end{align} Thus they determined the upper tail up to a factor of $\ln (1/p)$ in the exponent. There has since been substantial work to improve these bounds for particular $H$ and $p$. We close the $\ln (1/p)$ gap for cycles, up to a constant in the exponent. Here the lower bound given by JOR is the truth for $l$-cycles when $p>\frac{{\ln }^{1/(l-2)}n}{n}$.