Abstract:Erdős and Hajnal conjectured that for every graph $H$, there exists $c>0$ such that every $H$-free graph $G$ has a clique or a stable set of size at least $|G|^c$ (a graph is $H$-free if it has no induced subgraph isomorphic to $H$). Alon, Pach, and Solymosi reduced the Erdős-Hajnal conjecture to the case when $H$ is {\em prime} (that is, $H$ cannot be obtained by vertex-substitution from smaller graphs); but until now, it was not shown for any prime graph with more than five vertices. We will provide infinitely many prime graphs that satisfy the conjecture. Let $H$ be a graph with the property that for every prime induced subgraph $G'$ with $|G'|\ge 3$, $G'$ has a vertex of degree one and a vertex of degree $|G'|-2$. We will prove that every graph $H$ with this property satisfies the Erdős-Hajnal conjecture, and infinitely many graphs with this property are prime. More generally, say a graph is {\em buildable} if every prime induced subgraph with at least three vertices has a vertex of degree one. We prove that if $H_1$ and $\overline{H_2}$ are buildable, there exists $c>0$ such that every graph $G$ that is both $H_1$-free and $H_2$-free has a clique or a stable set of size at least $|G|^c$. Our proof uses a new technique of ``iterative sparsification'', where we pass to a sequence of successively more restricted induced subgraphs. This approach also extends to ordered graphs and to tournaments. For ordered graphs, we obtain a theorem which significantly extends a recent result of Pach and Tomon about excluding monotone paths; and for tournaments, we obtain infinitely many new prime tournaments that satisfy the Erdős-Hajnal conjecture (in tournament form).

Typical Structure of Hereditary Graph Families. II. Exotic Examples

Typical Structure of Hereditary Graph Families. I. Apex‐free Families

On the typical structure of graphs not containing a fixed vertex‐critical subgraph

The Feasibility Problem -- the family ${\cal F}$$(G)$ of all induced $G$-free graphs

Induced subgraphs and tree decompositions XIII. Basic obstructions in $\mathcal{H}$-free graphs for finite $\mathcal{H}$

Kővári-Sós-Turán theorem for hereditary families

Some Results on Critical ($P_5,H$)-free Graphs

Describing hereditary properties by forbidden circular orderings

Hereditary Nordhaus-Gaddum Graphs

Near optimal colourability on hereditary graph families

Structure and coloring of a family of ($P_7, C_5$)-free graphs

Forbidden subgraphs generating a finite set of graphs with minimum degree three and large girth

A tamed family of triangle-free graphs with unbounded chromatic number

Counting Small Induced Subgraphs with Hereditary Properties

On the number of H-free hypergraphs

Complexity Framework for Forbidden Subgraphs II: Edge Subdivision and the "H"-graphs

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

Minimum degree stability of C 2 k + 1 ‐free graphs

A Stability Result for [math]-Free Graphs

On maximum spectral radius of $\{H(3,3),~H(4,3)\}$-free graphs

Infinite families of $k$-vertex-critical ($P_5$, $C_5$)-free graphs