Removal Lemmas with Polynomial Bounds

TL;DR

This paper establishes new criteria for when graph properties admit removal lemmas with polynomial bounds, extending known results and confirming conjectures, especially for semi-algebraic graph properties.

Contribution

It provides simple combinatorial criteria that characterize properties with polynomial removal lemmas, unifying and extending prior results.

Findings

Almost all prior positive and negative results are implied by the new criteria.

Polynomial bounds are proven for many properties previously known only with tower-type bounds.

Semi-algebraic graph properties admit polynomial removal lemmas, confirming a conjecture of Alon.

Abstract

A common theme in many extremal problems in graph theory is the relation between local and global properties of graphs. One of the most celebrated results of this type is the Ruzsa-Szemer\'edi triangle removal lemma, which states that if a graph is $\varepsilon$-far from being triangle free, then most subsets of vertices of size $C(\varepsilon)$ are not triangle free. Unfortunately, the best known upper bound on $C(\varepsilon)$ is given by a tower-type function, and it is known that $C(\varepsilon)$ is not polynomial in $\varepsilon^{-1}$. The triangle removal lemma has been extended to many other graph properties, and for some of them the corresponding function $C(\varepsilon)$ is polynomial. This raised the natural question, posed by Goldreich in 2005 and more recently by Alon and Fox, of characterizing the properties for which one can prove removal lemmas with polynomial bounds. Our main results in this paper are new sufficient and necessary criteria for guaranteeing that a graph property admits a removal lemma with a polynomial bound. Although both are simple combinatorial criteria, they imply almost all prior positive and negative results of this type. Moreover, our new sufficient conditions allow us to obtain polynomially bounded removal lemmas for many properties for which the previously known bounds were of tower-type. In particular, we show that every {\em semi-algebraic} graph property admits a polynomially bounded removal lemma. This confirms a conjecture of Alon.