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.

Cycles Of Length 1 Modulo 3 In Graph

Tight Gaps in the Cycle Spectrum of 3-Connected Planar Graphs

On Path Lengths Modulo Three

On two cycles of consecutive even lengths

Erdős-Gyárfás conjecture on graphs without long induced paths

On cyclically 4-connected cubic graphs

The 1/3-conjectures for domination in cubic graphs

Large Degree Vertices in Longest Cycles of Graphs, II

Longest Cycle above Erdős–Gallai Bound

Minimum degree conditions for the existence of a sequence of cycles whose lengths differ by one or two

On Tutte cycles containing three prescribed edges

On graphs without cycles of length 0 modulo 4

Cycle Isolation of Graphs with Small Girth

Induced subgraph density. III. Cycles and subdivisions

Towards a conjecture of Birmelé-Bondy-Reed on the Erdős-Pósa property of long cycles

Codiameters of 3-Connected 3-Domination Critical Graphs.

A Note on 3‐partite Graphs Without 4‐Cycles

Proof of a conjecture of Plummer and Zha

Relative Length of Longest Paths and Cycles in Graphs

An El-Zahar Type Theorem in $3$-graphs under Codegree Condition

Bound vertices of longest paths between two vertices in cubic graphs