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

On the prime graph question for integral group rings of Conway simple groups

On prime Cayley graphs

Prime order element graph of a group

Classifying prime graphs of finite groups -- a methodical approach

Finite Groups Whose Prime Graphs Do Not Contain Triangles. III

On the automorphism group of a putative Conway 99-graph

A curious congruence modulo prime powers

Classification of the Prime Graphs of $\operatorname{Sz}(8)$-, $\operatorname{Sz}(32)$-, and $\operatorname{PSL}(2, 2^5)$-Solvable Groups

On combinatorial properties of Gruenberg--Kegel graphs of finite groups

Generalized non-coprime graphs of groups

On certain properties of the $p$-unitary Cayley graph over a finite ring

Some Primitive Linear Groups of Prime Degree

On Symmetric bi-Cayley Graphs of Prime Valency on Nonabelian Simple Groups

Determination of the prime bound of a graph

Some Simple Groups Which are Determined by Their Orders and Degree-Patterns

Cliques of Orders Three and Four in the Paley-Type Graphs

Cayley graphs on $p$-solvable groups generated by $p$-singular elements

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

Groups satisfying the two-prime hypothesis with a composition factor isomorphic to ${\rm PSL}_2(q)$ for $q\geq 7$

More on Landau's theorem and Conjugacy Classes

Trivial Intersection of Blocks and Nilpotent Subgroups