Abstract:A well-known theorem of Rödl says that for every graph $H$, and every $\epsilon>0$, there exists $\delta>0$ such that if $G$ does not contain an induced copy of $H$, then there exists $X\subseteq V(G)$ with $|X|\ge\delta|G|$ such that one of $G[X],\overline{G}[X]$ has edge-density at most $\epsilon$. But how does $\delta$ depend on $\epsilon$? Fox and Sudakov conjectured that the dependence can be taken to be polynomial: for all $H$ there exists $c>0$ such that for all $\epsilon\in(0,1/2)$, Rödl's theorem holds with $\delta=\epsilon^c$. This conjecture implies the Erdős-Hajnal conjecture, and until now it had not been verified for any non-trivial graphs $H$. Our first result shows that it is true when $H=P_4$ (indeed, we can take $\delta=\epsilon$, and insist that one of $G[X],\overline{G}[X]$ has maximum degree at most $\epsilon^2|G|$).) We will generalize this, and to do so, we need to work with an even stronger property. Let us say $H$ is {\em viral} if there exists $c>0$ such that for all $\epsilon\in(0,1/2)$, if $G$ contains at most $\epsilon^c|G|^{|H|}$ induced copies of $H$, then there exists $X\subseteq V(G)$ with $|X|\ge \epsilon^c|G|$ such that one of $G[X],\overline{G}[X]$ has density at most $\epsilon$. We will show that $P_4$ is viral, using a ``polynomial $P_4$-removal lemma'' of Alon and Fox. We will also show that viral graphs are closed under vertex-substitution, and so all graphs that can be obtained by substitution from copies of $P_4$ are viral. (In a subsequent paper, it will be shown that all graphs currently known to satisfy the Erdős-Hajnal conjecture are in fact viral.) Finally, we give a different strengthening of Rödl's theorem: we show that if $G$ does not contain an induced copy of $P_4$, then its vertices can be partitioned into at most $480\epsilon^{-4}$ subsets $X$ such that one of $G[X],\overline{G}[X]$ has density at most $\epsilon$.

Perfect graphs of fixed density: counting and homogenous sets

Induced subgraphs density. IV. New graphs with the Erdős-Hajnal property

Induced subgraph density. II. Sparse and dense sets in cographs

Distinct degrees and homogeneous sets II

Graph with any rational density and no rich subsets of linear size

Random Perfect Graphs

The completion numbers of Hamiltonicity and pancyclicity in random graphs

The complexity of counting homomorphisms to cactus graphs modulo 2

Ordered and colored subgraph density problems

Induced subgraph density. III. Cycles and subdivisions

The Turán Density of 4-Uniform Tight Cycles

On the Number of Graphs with a Given Histogram

Off-Diagonal Commonality of Graphs via Entropy

Simple Graph Density Inequalities with no Sum of Squares Proofs

Hypergraphs with uniform Turán density equal to 8/27

Hypergraphs with arbitrarily small codegree Turán density

The binomial random graph is a bad inducer

On the number of H-free hypergraphs

Universality for graphs with bounded density

$C_{10}$ has positive Turán density in the hypercube

On graphs embeddable in a layer of a hypercube and their extremal numbers