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

Some progress on the Aharoni–Korman conjecture

The Aharoni--Korman conjecture for posets whose incomparability graph is locally finite

A resolution of the Aharoni-Korman conjecture

On a Proof of the Labastida-Marino-Ooguri-Vafa Conjecture

Polyunsaturated Posets and Graphs and the Greene-Kleitman Theorem

On minimal prime graphs and posets

The chain algebra of a pure poset

Two classes of posets with real-rooted chain polynomials

Distinguishing colorings, proper colorings, and covering properties without the Axiom of Choice

Lattices, injective metrics and the $K(π,1)$ conjecture

On Rödl's Theorem for Cographs

Strong almost finiteness

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

Borodin–Kostochka's Conjecture on -Free Graphs

Quantum properties of $\mathcal F$-cographs

A Note Related to Graph Theory

The ant on loops: Alexander-Orbach conjecture for the critical level set of the Gaussian free field

Vertex-critical graphs in co-gem-free graphs

Poset Ramsey number $R(P,Q_n)$. III. Chain Compositions and Antichains

First-order model theory and Kaplansky's stable finiteness conjecture