Abstract:We show that for every two cycles $C,D$, there exists $c>0$ such that if $G$ is both $C$-free and $\overline{D}$-free then $G$ has a clique or stable set of size at least $|G|^c$. ("$H$-free" means with no induced subgraph isomorphic to $H$, and $\overline{D}$ denotes the complement graph of $D$.) Since the five-vertex cycle $C_5$ is isomorphic to its complement, this extends the earlier result that $C_5$ satisfies the Erdős-Hajnal conjecture. It also unifies and strengthens several other results. The results for cycles are special cases of results for subdivisions, as follows. Let $H,J$ be obtained from smaller graphs by subdividing every edge exactly twice. We will prove that there exists $c>0$ such that if $G$ is both $H$-free and $\overline{J}$-free then $G$ has a clique or stable set of size at least $|G|^c$. And the same holds if $H$ and/or $J$ is obtained from a graph bychoosing a forest $F$ and subdividing every edge not in $F$ at least five times. Our proof uses the framework of iterative sparsification developed in other papers of this series. Along the way, we will also give a short and simple proof of a celebrated result of Fox and Sudakov, that says that for all $H$, every $H$-free graph contains either a large stable set or a large complete bipartite subgraph.

Subdivisions of Oriented Cycles in Digraphs with Hamiltonian directed path

Cycle Partitions in Dense Regular Digraphs and Oriented Graphs

Hamilton Cycles in Dense Regular Digraphs and Oriented Graphs

On oriented cycles in randomly perturbed digraphs

The generalizations of Hamiltonian in oriented graphs

Hamiltonian Claw-Free Graphs Involving Induced Cycles

A generalization of the Hamiltonian cycle in dense digraphs

Induced subgraph density. III. Cycles and subdivisions

Subdivisions in dicritical digraphs with large order or digirth

Oriented Hamiltonian Cycles in Tournaments: a Proof of Rosenfeld's Conjecture

Partition of a Subset into Two Directed Cycles with Partial Degrees

Hamiltonian Claw-Free Graphs and O -Heavy Graphs Involving Induced Cycles

Spanning $H$-subdivisions and perfect $H$-subdivision tilings in dense digraphs

Oriented Trees in Digraphs without Oriented $4$-cycles

A Note on Hamiltonian Cycles in Digraphs with Large Degrees

Long antipaths and anticycles in oriented graphs

Oriented trees and paths in digraphs

Oriented paths in n-chromatic digraphs

Arbitrary $H$-linked oriented graphs

Covering Random Digraphs with Hamilton Cycles

An oriented discrepancy version of Dirac's theorem