arXiv++ Combinatorics

The well-known Erdős-Hajnal conjecture states that for any graph $H$, there is a constant $c=c(H)>0$ such that every $n$-vertex graph $G$ with no induced copies of $H$ contains a clique or an independent set of size at least $n^{c}$. In a recent breakthrough, Nguyen, Scott and Seymour proved that Erdős-Hajnal conjecture holds for the five-vertex path (Proceedings of London Mathematical Society 2026), which implies that Erdős-Hajnal conjecture holds for every five-vertex graph. In this paper, we prove that Erdős-Hajnal conjecture holds for graphs with no induced copies of $E$-graph, where $E$-graph is the graph obtained from the five-vertex path $P_5$ by adding a pendent edge to the middle vertex of the $P_5$. Our result generalizes the result of Nguyen, Scott and Seymour on five-vertex path. The proof uses the iterative sparsification framework proposed by Nguyen, Scott and Seymour in their series work on Erdős-Hajnal conjecture with our generalization. We first reduce Erdős-Hajnal conjecture to a property called generlaized nice, which is a generalization of the ``nice'' property used in [T.~Nguyen, A.~Scott, and P.~Seymour. Induced subgraph density. VII. The five-vertex path. {\em Proceedings of the London Mathematical Society}, 132(3):e70133, 2026]. We then reduce the generalized nice property to a new property related to a structure called comb, where comb was first used in [M.~Chudnovsky, A.~Scott, P.~Seymour, and S.~Spirkl. Erdős-Hajnal for graphs with no 5-hole. {\em Proceedings of the London Mathematical Society}, 126(3): 997-1014, 2023]. Finally, we show that $E$-graph satisfies the desired property via a careful structural analysis imposed by the forbidden induced subgraph. One key step in the proof is to prove, via defining appropriate equivalence relations, that certain auxiliary graph satisfies the Erdős-Hajnal conjecture.

In this paper, we are interested in $4$-colouring algorithms for graphs that do not contain an induced path on $6$ vertices nor an induced bull, i.e., the graph with vertex set $\{v_1,v_2,v_3,v_4,v_5\}$ and edge set $\{v_1v_2,v_2v_3,v_3v_4,v_2v_5,v_3v_5\}$. Such graphs are referred to as $(P_6,\text{bull})$-free graphs. A graph $G$ is \emph{$k$-vertex-critical} if $χ(G)=k$, and every proper induced subgraph $H$ of $G$ has $χ(H)<k$. In the current paper, we investigate the structure of $5$-vertex-critical $(P_6,\text{bull})$-free graphs and show that there are only finitely many such graphs, thereby answering a question of Maffray and Pastor. A direct corollary of this is that there exists a polynomial-time algorithm to decide if a $(P_6,\text{bull})$-free graph is $4$-colourable such that this algorithm can also provide a certificate that can be verified in polynomial time and serves as a proof of 4-colourability or non-4-colourability.

In this paper, we initiate a systematic study on a new notion called near optimal colourability which is closely related to perfect graphs and the Lov{á}sz theta function. A graph family $\mathcal{G}$ is {\em near optimal colourable} if there is a constant number $c$ such that every graph $G\in\mathcal{G}$ satisfies $χ(G)\leq\max\{c, ω(G)\}$, where $χ(G)$ and $ω(G)$ are the chromatic number and clique number of $G$, respectively. The near optimal colourable graph families together with the Lov{á}sz theta function are useful for the study of the chromatic number problems for hereditary graph families. We investigate the near optimal colourability for ($H_1,H_2$)-free graphs. Our main result is an almost complete characterization for the near optimal colourability for ($H_1,H_2$)-free graphs with two exceptional cases, one of which is the celebrated Gy{á}rf{á}s conjecture. As an application of our results, we show that the chromatic number problem for ($2K_2,P_4\vee K_n$)-free graphs is polynomial time solvable, which solves an open problem in [K.~K.~Dabrowski and D.~Paulusma. On colouring ($2P_2$, $H$)-free and ($P_5$, $H$)-free graphs. Information Processing Letters, 134:35-41, 2018].

Let $P_n$ and $K_n$ denote the induced path and complete graph on $n$ vertices, respectively. The {\em kite} is the graph obtained from a $P_4$ by adding a vertex and making it adjacent to all vertices in the $P_4$ except one vertex with degree 1. A graph is ($P_5$, kite)-free if it has no induced subgraph isomorphic to a $P_5$ or a kite. For a graph $G$, the chromatic number of $G$ (denoted by $χ(G)$) is the minimum number of colors needed to color the vertices of $G$ such that no two adjacent vertices receive the same color, and the clique number of $G$ is the size of a largest clique in $G$. Here, we are interested in the class of ($P_5$, kite)-free graphs with small clique number. It is known that every ($P_5$,~kite, $K_3$)-free graph $G$ satisfies $χ(G)\leq 3$, every ($P_5$,~kite, $K_4$)-free graph $G$ satisfies $χ(G)\leq 4$, and that every ($P_5$,~kite, $K_5$)-free graph $G$ satisfies $χ(G)\leq 6$. In this paper, we showed the following: $\bullet$ Every ($P_5$, kite, $K_6$)-free graph $G$ satisfies $χ(G)\leq 7$. $\bullet$ Every ($P_5$, kite, $K_7$)-free graph $G$ satisfies $χ(G)\leq 9$. We also give examples to show that the above bounds are tight.

The diamond is the graph obtained by removing an edge from the complete graph on 4 vertices. A graph is ($P_6$, diamond)-free if it contains no induced subgraph isomorphic to a six-vertex path or a diamond. In this paper we show that the chromatic number of a ($P_6$, diamond)-free graph $G$ is no larger than the maximum of 6 and the clique number of $G$. We do this by reducing the problem to imperfect ($P_6$, diamond)-free graphs via the Strong Perfect Graph Theorem, dividing the imperfect graphs into several cases, and giving a proper colouring for each case. We also show that there is exactly one 6-vertex-critical ($P_6$, diamond, $K_6$)-free graph. Together with the Lovász theta function, this gives a polynomial time algorithm to compute the chromatic number of ($P_6$, diamond)-free graphs.