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).

A Remark on the Second Neighborhood Problem

A contribution to the second neighborhood problem

About the second neighborhood conjecture for tournaments missing two stars or disjoint paths

About The Second Neighborhood Problem in Tournaments Missing Disjoint Stars

Extending some results on the second neighborhood conjecture

A note on the second neighborhood problem for $k$-anti-transitive and $m$-free digraphs

Vertices with the Second Neighborhood Property in Eulerian Digraphs

Seymour's second neighbourhood conjecture: random graphs and reductions

On Seymour's and Sullivan's Second Neighbourhood Conjectures

The Second Neighborhood Conjecture for Oriented Graphs Missing $\{C_{4}, \overline{C_{4}}, S_{3},$ chair and co-chair$\}$-Free Graph

Bounding the chromatic number of dense digraphs by arc neighborhoods

Towards a Complete Local-Global Principle

Neighborhoods are good communities

Proper Z4 x Z2-colorings: structural characterization with application to some snarks

Trees with many leaves in tournaments

A family of symmetric graphs in relation to 2-point-transitive linear spaces

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

Degenerate Turán Densities of Sparse Hypergraphs II: A Solution to the Brown-Erdős-Sós Problem for Every Uniformity

Two constructions relating to conjectures of Beck on positional games

New Invariants for Partitioning a Graph into 2-connected Subgraphs

On conjectures concerning the graph grabbing game