Long Cycles in Percolated Expanders

Abstract

Given a graph $G$ and probability $p$, we form the random subgraph $G_p$ by retaining each edge of $G$ independently with probability $p$. Given $d\in\mathbb{N}$, constants $0<c<1, \varepsilon>0$, and $p=\frac{1+\varepsilon}{d}$, we show that if every subset $S\subseteq V(G)$ of size exactly $\frac{c|V(G)|}{d}$ satisfies $|N(S)|\ge d|S|$, then the probability that $G_p$ does not contain a cycle of length $\Omega(\varepsilon^2c^2|V(G)|)$ is exponentially small in $|V(G)|$. As an intermediate step, we also show that given $k,d\in \mathbb{N}$, a constant $\varepsilon>0$, and $p=\frac{1+\varepsilon}{d}$, if every subset $S\subseteq V(G)$ of size exactly $k$ satisfies $|N(S)|\ge kd$, then the probability that $G_p$ does not contain a path of length $\Omega(\varepsilon^2 kd)$ is exponentially small. We further discuss applications of these results to $K_{s,t}$-free graphs of maximal density.