A counterexample to sparse removal

Craig Timmons,Jacques Verstraete
DOI: https://doi.org/10.48550/arXiv.1312.2994
2013-12-11
Abstract:The Turán number of a graph $H$, denoted $\mbox{ex}(n,H)$, is the maximum number of edges in an $n$-vertex graph with no subgraph isomorphic to $H$. Solymosi conjectured that if $H$ is any graph and $\mbox{ex}(n,H) = O(n^{\alpha})$ where $\alpha > 1$, then any $n$-vertex graph with the property that each edge lies in exactly one copy of $H$ has $o(n^{\alpha})$ edges. This can be viewed as conjecturing a possible extension of the removal lemma to sparse graphs, and is well-known to be true when $H$ is a non-bipartite graph, in particular when $H$ is a triangle, due to Ruzsa and Szemerédi. Using Sidon sets we exhibit infinitely many bipartite graphs $H$ for which the conjecture is false.
Combinatorics
What problem does this paper attempt to address?