arXiv++ Combinatorics

We prove Hadwiger's Conjecture for $\{\text{co-claw}, \text{co-gem}\}$-free graphs and $\{\text{fork}, \text{antifork}\}$-free graphs, where the co-claw is the disjoint union of a triangle and a vertex, the co-gem is the disjoint union of a 4-vertex path and a vertex, the fork is obtained from $K_{1,3}$ by subdividing one of the edges, and the antifork is the complement of the fork. The $\{\text{co-claw}, \text{co-gem}\}$-free graphs include the complements of line graphs of triangle-free multigraphs, and thus our results imply Hadwiger's Conjecture for these graphs. In fact, we prove a stronger result: every $\{\text{co-claw}, \text{co-gem}\}$-free graph $G$ has a $K_{χ(G)}$-model where each branch set has size at most 2, and every $\{\text{fork}, \text{antifork}\}$-free graph $G$ has a $K_{χ(G)}$-model where at most one branch set has size greater than 2.

A "dominating $K_t$-model" in a graph $G$ is a sequence $(T_1,\dots,T_t)$ of pairwise vertex-disjoint connected subgraphs of $G$, such that whenever $1\leq i<j\leq t$ every vertex in $T_j$ has a neighbour in $T_i$. Replacing "every vertex in $T_j$" by "some vertex in $T_j$" retrieves the standard definition of $K_t$-model, which is equivalent to a $K_t$-minor in $G$. We prove that every graph with no dominating $K_5$-model is $4$-colourable. This generalises and is significantly stronger than the 4-colour theorem for planar graphs or for graphs with no $K_5$-minor. It also makes progress towards Hajós' conjecture on $K_5$-subdivisions in $5$-chromatic graphs.

Hadwiger's Conjecture states that every graph with chromatic number $k$ contains a complete graph on $k$ vertices as a minor. This conjecture is a tremendous strengthening of the Four-Colour Theorem and is regarded as one of the most important open problems in graph theory. The case of Hadwiger's Conjecture for graphs with $α(G) = 2$ has garnered much attention. Seymour writes: ``My own belief is, if Hadwiger's Conjecture is true for graphs with stability number two then it is probably true in general, so it would be very nice to decide this case.'' This paper presents several tools useful for proving that a graph $G$ with $α(G) = 2$ satisfies Hadwiger's Conjecture. In doing so, we survey and generalise several classical results on the $α(G) = 2$ case of Hadwiger's Conjecture. Further, we apply these tools to prove variants of Hadwiger's Conjecture for several noteworthy classes of graphs with $α(G) = 2$. In particular, we prove Hadwiger's Conjecture for inflations of the complements of the following graphs: graphs with girth at least $5$, triangle-free Kneser graphs, and the Clebsch, Mesner, and Gewirtz graphs. This paper also highlights classes of graphs with $α(G) = 2$ where it is unknown if Hadwiger's Conjecture holds.

For a real number $c > 4$, we prove that every graph $G$ with $α(G) \leq 2$ and $|V(G)| \geq ct$ has a matching $M$ with $|M| = t$ such that the number of non-adjacent pairs of edges in $M$ is at most: \begin{equation*} \left( \frac{1}{c\left(c-1\right)^2} + O_c\left(t^{-1/3} \right) \right) \binom{t}{2}. \end{equation*} This is related to an open problem of Seymour (2016) about Hadwiger's Conjecture, who asked if there is a constant $\varepsilon > 0$ such that every graph $G$ with $α(G) \leq 2$ has $\text{had}(G) \geq (\frac{1}{3} + \varepsilon) |V(G)|$.

We study embeddings of graphs with bounded treewidth or bounded simple treewidth into the undirected graph underlying the directed product of two directed graphs. If the factors have bounded maximum indegrees, then the product graph has bounded maximum indegree and therefore is sparse. We prove that every graph of simple treewidth $k$ is contained in (ignoring edge directions) the directed product of directed graphs $\vec H_1$ and $\vec H_2$, with $Δ^-(\vec H_1), Δ^-(\vec H_2) \leq k-1 $ and $\text{tw}(H_1), \text{tw}(H_2) \leq k-1$. Further, we show that this treewidth bound is best possible. Several corollaries follow from our results: every outerplanar graph is contained in the directed product of trees with maximum indegree $1$, and every planar graph with treewidth $3$ is contained in a directed product of graphs with treewidth $2$ and maximum indegree $2$. However, for graphs of treewidth $k$, we prove a negative result: for any integers $s, t, k \geq 1$, there is a graph $G$ with treewidth $k$ not contained in the directed product of $\vec H_1$ and $\vec H_2$ for any directed graphs $\vec H_1$ and $\vec H_2$ with $Δ^-(\vec H_1) \leq s$, $Δ^-(\vec H_2) \leq t$, and $\text{tw}(H_1), \text{tw}(H_2) \leq k-1$. This result stands in stark contrast to the strong product case, where Liu, Norin and Wood [arXiv:2410.20333] proved that the optimal lower bound on the factors is about half the treewidth.

We prove that every planar graph is contained in $H_1\boxtimes H_2\boxtimes K_2$ for some graphs $H_1$ and $H_2$ both with treewidth 2. This resolves a question of Liu, Norin and Wood [arXiv:2410.20333]. We also show this result is best possible: for any $c \in \mathbb{N}$, there is a planar graph $G$ such that for any tree $T$ and graph $H$ with $\text{tw}(H) \leqslant 2$, $G$ is not contained in $H \boxtimes T \boxtimes K_c$.