Finding and using expanders in locally sparse graphs

We show that every locally sparse graph contains a linearly sized expanding subgraph. For constants c1 > c2 > 1, 0 < α < 1, a graph G on n vertices is called a (c1, c2, α)-graph if it has at least c1n edges, but every vertex subset W ⊂ V (G) of size |W| ≤ αn spans less than c2|W| edges. We prove that every (c1, c2, α)-graph with bounded degrees contains an induced expander on linearly many vertices. The proof can be made algorithmic. We then discuss several applications of our main result to random graphs, to problems about embedding graph minors, and to positional games.