arXiv++ Combinatorics

Classes of graphs excluding a path and a biclique as induced subgraphs are extensively studied in the literature. One of the key structural results for such graphs is a Ramsey-type result due to Galvin, Rival, and Sands (1982), establishing the existence of a function $f$ bounding the maximum length of a path in terms of clique number $ω$. We improve the best known bound on $f$ to a function that is a singly exponential in $ω^c$, for some constant $c$, which we show is best possible, up to optimizing $c$. Our approach also has consequences for treedepth. In particular, we show that, for graphs excluding a path and a biclique as induced subgraphs, treedepth is bounded by a polynomial function of clique number. In turn, this result implies that every hereditary graph class that admits a function bounding treedepth of graphs in the class in terms of clique number, admits a polynomial such function. This gives a treedepth analogue of a recent result on pathwidth due to Hajebi (2025).

An independent set in a graph $G$ is a set of pairwise non-adjacent vertices. A tree decomposition of $G$ is a pair $(T, χ)$ where $T$ is a tree and $χ: V(T) \rightarrow 2^{V(G)}$ is a function satisfying two axioms: for every edge $uv \in E(G)$ there is an $x \in V(T)$ such that $\{u,v\} \subseteq χ(x)$, and for every vertex $u \in V(G)$ the set $\{x \in V(T) | u \in χ(x)\}$ induces a non-empty and connected subtree of $T$. The sets $χ(x)$ for $x \in V(T)$ are called the bags of the tree decomposition. The tree-independence number of $G$ is the minimum taken over all tree decompositions of $G$ of the maximum size of an independent set of the graph induced by a bag of the decomposition. A graph $H$ is an induced minor of a graph $G$ if a graph isomorphic to $H$ can be obtained from $G$ by vertex deletions and edge contractions. We prove that for every $t\in\mathbb{N}$ there exists an $ε> 0$ such that every graph $G$ either contains the complete bipartite graph $K_{t,t}$ or the wall $W_{t\times t}$ as an induced minor, or has tree-independence at most $O(2^{O((\log n)^{1-ε})})$. This leads to algorithms with running time $2^{n^{o(1)}}$, for a wide range of problems on $\{K_{t,t}, W_{t\times t}\}$-induced minor free graphs. Our result is a substantial generalization of existing bounds for the tree-independence and tree-width on various graph classes, and a partial resolution of the conjecture of Chudnovsky, E S, and Lokshtanov [Arxiv, 2025] that $\{K_{t,t}, W_{t\times t}\}$-induced minor free graphs have poly-logarithmic tree independence number. The generality comes at the cost of a sub-polynomial, rather than poly-logarithmic upper bound. Our result leads to a complete classification of induced-minor closed classes into ones that have sub-polynomial tree-independence, tree-independence equal to $\tilde{O}(\sqrt{n})$, and linear tree-independence.

We prove that there exist functions $f:\mathbb N^2\to\mathbb N$ and $g:\mathbb N\to\mathbb N$ such that for all positive integers $k$, $d$, and $\ell\ge3$, every graph $G$ either contains $k$ cycles of length at least $\ell$ that are pairwise at distance greater than $d$, or admits a subset of vertices $X$ with $|X|\le f(k,\ell)$ such that $G-B_G(X,g(d))$ contains no cycle of length at least $\ell$, where $B_G(X,r)$ denotes the ball of radius $r$ around $X$. This generalizes a theorem of Dujmović, Joret, Micek, and Morin (2024), which established the $\ell=3$ case. Moreover, we prove that the theorem holds with $f(k,\ell)\in\mathcal{O}(\ell k\log k)$ and $g(d)\in\mathcal{O}(d)$. The linear bound on $g$ is best possible, while the bound on $f$ is optimal as a function of $k$ for every fixed $\ell$. In particular, for $\ell=3$ our result improves the previous bound of $\mathcal{O}(k^{18}\mathsf{polylog} k)$ by Dujmović et al.

The Erdős--Pósa theorem asserts that every graph $G$ with no $k$ disjoint cycles contains a set $X$ of $f(k)$ vertices such that $G\setminus X$ has no cycle. Robertson and Seymour showed that this Erdős--Pósa property also holds for $H$-minor models of any planar graph $H$. Equivalently, if $G$ has no $k$ minor models of $H$ pairwise at distance at least 1 (i.e. disjoint), then one can remove $f(k,H)$ balls of radius 0 (i.e. vertices) to make the graph $H$-minor free. We show that this coarse graph theory point of view generalizes to distance at least 2 versus radius 1 balls, yielding the induced Erdős--Pósa property for planar minors. Namely, every graph $G$ which does not contain $k$ pairwise non-adjacent minor models of a planar graph $H$ (we say that $G$ is $kH$-free) can be made $H$-minor free by removing $f(k,H)$ neighborhoods. The proof relies on the fact that sparse $kH$-free graphs have linearly many independent large protrusions. The same method gives that sparse $kH$-free graphs can be made $H$-minor free by deleting $O(\log n)$ vertices (and thus have logarithmic tree-width). This gives a quasi-polynomial algorithm for the Maximum Independent Set problem for $kH$-free graphs.

Resolving in a strong sense an old problem of Gyárfás from the 1980s on the union of two perfect graphs, we prove that for every pair of positive integers $d$ and $k$, there is a graph $G$ with clique number $k$ and chromatic number $k^d$ that is the union of $d$ comparability graphs.

We show that for every positive integer ${t \geq 2}$ there exists an integer $s$ such that every graph that contains no induced subgraph isomorphic to either the $6$-vertex path or the $(2,t)$-biclique, the complete bipartite graph $K_{2,t}$, has tree-independence number at most $s$. This result makes partial progress on a conjecture of Dallard, Krnc, Kwon, Milanič, Munaro, Štorgel, and Wiederrecht.

A digraph $H$ is a ``semi-strong minor'' of another, $G$, if a subdivision of $H$ can be obtained from a subdigraph of $G$ by contracting strongly-connected subdigraphs to single vertices. We will define a width measure of ``plane'' digraphs (that is, drawn in the plane) based on a kind of branch-composition, and show that for every plane digraph $H$, all plane digraphs not containing $H$ as a semi-strong minor have bounded width, while plane digraphs in general have unbounded width.

Let $G$ be a graph, $S \subseteq V(G)$ be a vertex set in $G$ and $r$ be a positive integer. The distance $r$-independence number of $S$ is the size of the largest subset $I \subseteq S$ such that no pair $u$, $v$ of vertices in $I$ have a path on at most $r$ edges between them in $G$. It has been conjectured [Chudnovsky et al., arXiv, 2025] that for every positive integer $t$ there exist positive integers $c$, $d$ such that every graph $G$ that excludes both the complete bipartite graph $K_{t,t}$ and the grid $\boxplus_t$ as an induced minor has a tree decomposition in which every bag has (distance $1$) independence number at most $c(\log n)^d$. We prove a weaker version of this conjecture where every bag of the tree decomposition has distance $16(\log n + 1)$-independence number at most $c(\log n)^d$. On the way we also prove a version of the conjecture where every bag of the decomposition has distance $8$-independence number at most $2^{c (\log n)^{1-(1/d)}}$.

Let $G$ be a graph and let $\mathrm{cl}(G)$ be the number of distinct induced cycle lengths in $G$. We show that for $c,t\in \mathbb N$, every graph $G$ that does not contain an induced subgraph isomorphic to $K_{t+1}$ or $K_{t,t}$ and satisfies $\mathrm{cl}(G) \le c$ has bounded treewidth. As a consequence, we obtain a polynomial-time algorithm for deciding whether a graph $G$ contains induced cycles of at least three distinct lengths.

We prove that for every fixed integer $s$ and every planar graph $H$, the class of $H$-induced-minor-free and $K_{1,s}$-induced-subgraph-free graphs has polylogarithmic tree-independence number. This is a weakening of a conjecture of Dallard, Krnc, Kwon, Milanič, Munaro, Štorgel, and Wiederrecht.

For a graph $H$, we say that $H$ has the Erdős-Pósa property for subdivisions with function $f$, if for every graph $G$, either $G$ contains (as a subgraph) $k+1$ pairwise disjoint subdivisions of $H$ or there exists a set $X\subseteq G$ such that $G\setminus X$ contains no $H$-subdivision and $|X|\leq f(k)$. We show that every $H$ that has the \EP property for subdivision also satisfies a localized version of the \EP property, as follows. Let $H$ be an $n$-vertex graph with $m\geq 1$ edges that has the Erdős-Pósa property for subdivisions with function $f$, and let $G$ be a graph that does not contain $k+1$ disjoint subdivisions of $H$. We demonstrate the existence of a set of at most $k$ vertex disjoint subdivisions of $H$ in $G$ such that in their union, we can find a set $X$ with the property that $G \setminus X$ contains no $H$-subdivision and $|X| \leq 2^{f(k)}mk +k(m-n)$.

Given a family $\mathcal{H}$ of graphs, we say that a graph $G$ is $\mathcal{H}$-induced-minor-free if no induced minor of $G$ is isomorphic to a member of $\mathcal{H}$, We denote by $W_{t\times t}$ the $t$-by-$t$ hexagonal grid, and by $K_{t,t}$ the complete bipartite graph with both sides of the bipartition of size $t$. We show that the class of $\{K_{t,t},W_{t\times t}\}$-induced minor-free graphs with bounded clique number has subpolynomial treewidth. Specifically, we prove that for every integer $t$ there exist $ε\in (0,1]$ and $c \in \mathbb{N}$ such that every $n$-vertex $\{K_{t,t},W_{t\times t}\}$-induced minor-free graph with no clique of size $t$ has treewidth at most $2^{c\log^{1-ε}n}$.

Gartland and Lokshtanov conjectured that every graph that excludes some planar graph as an induced minor has a balanced separator, that is, a separator whose deletion leaves every component with no more than half of the vertices of the graph, which is dominated by a bounded number of vertices. We confirm this conjecture for excluding any fixed wheel, that is, a cycle together with a universal vertex, as an induced minor.

An {\em independent set} in a graph $G$ is a set of pairwise non-adjacent vertices. A {\em tree decomposition} of $G$ is a pair $(T, χ)$ where $T$ is a tree and $χ: V(T) \rightarrow 2^{V(G)}$ is a function satisfying the following two axioms: for every edge $uv \in V(G)$ there is a $x \in V(T)$ such that $\{u,v\} \subseteq χ(x)$, and for every vertex $u \in V(G)$ the set $\{x \in V(T) ~:~ u \in χ(X)\}$ induces a non-empty and connected subtree of $T$. The sets $χ(x)$ for $x \in V(T)$ are called the {\em bags} of the tree decomposition. The {\em tree-independence} number of $G$ is the minimum taken over all tree decompositions of $G$ of the size of the maximum independent set of the graph induced by a bag of the tree decomposition. The study of graph classes with bounded tree-independence number has attracted much attention in recent years, in part due its improtant algorithmic implications. A conjecture of Dallard, Milanič and Storgel, connecting tree-independence number to the classical notion of treewidth, was one of the motivating problems in the area. This conjecture was recently disproved, but here we prove a slight variant of it, that retains much of the algorithmic significance. As part of the proof we introduce the notion of {\em independence-containers}, which can be viewed as a generalization of the set of all maximal cliques of a graph, and is of independent interest.

Given a family $\mathcal{H}$ of graphs, we say that a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. Let $W_{t\times t}$ be the $t$-by-$t$ hexagonal grid and let $\mathcal{L}_t$ be the family of all graphs $G$ such that $G$ is the line graph of some subdivision of $W_{t \times t}$. We denote by $ω(G)$ the size of the largest clique in $G$. We prove that for every integer $t$ there exist integers $c_1(t)$, $c_2(t)$ and $d(t)$ such that every (pyramid, theta, $\mathcal{L}_t$)-free graph $G$ satisfies: i) $G$ has a tree decomposition where every bag has size at most $ω(G)^{c_1(t)} \log (|V(G)|)$. ii) If $G$ has at least two vertices, then $G$ has a tree decomposition where every bag has independence number at most $\log^{c_2(t)} (|V(G)|)$. iii) For any weight function, $G$ has a balanced separator that is contained in the union of the neighborhoods of at most $d(t)$ vertices. These results qualitatively generalize the main theorems of Abrishami et al. (2022) and Chudnovsky et al. (2024). Additionally, we show that there exist integers $c_3(t), c_4(t)$ such that for every (theta, pyramid)-free graph $G$ and for every non-adjacent pair of vertices $a,b \in V(G)$, i) $a$ can be separated from $b$ by removing at most $w(G)^{c_3(t)}\log(|V(G)|)$ vertices. ii) $a$ can be separated from $b$ by removing a set of vertices with independence number at most $\log^{c_4(t)}(|V(G)|)$.

A string graph is the intersection graph of curves in the plane. Kratochvíl previously showed the existence of infinitely many obstacles: graphs that are not string graphs but for which any edge contraction or vertex deletion produces a string graph. Kratochvíl's obstacles contain arbitrarily large cliques, so they have girth three and unbounded degree. We extend this line of working by studying obstacles among graphs of restricted girth and/or degree. We construct an infinite family of obstacles of girth four; in addition, our construction is $K_{2,3}$-subgraph-free and near-planar (planar plus one edge). Furthermore, we prove that there is a subcubic obstacle of girth three, and that there are no subcubic obstacles of high girth. We characterize the subcubic string graphs as having a matching whose contraction yields a planar graph, and based on this characterization we find a linear-time algorithm for recognizing subcubic string graphs of bounded treewidth.

In recent years, there has been significant interest in characterizing the induced subgraph obstructions to bounded treewidth and pathwidth. While this has recently been resolved for pathwidth, the case of treewidth remains open, and prior work has reduced the problem to understanding the layered-wheel-like obstructions -- graphs that contain large complete minor models with each branching set inducing a path; exclude large walls as induced minors; exclude large complete bipartite graphs as induced minors; and exclude large complete subgraphs. There are various constructions of such graphs, but they are all rather involved. In this paper, we present a simple construction of layered-wheel-like graphs with arbitrarily large treewidth. Three notable features of our construction are: (a) the vertices of degree at least four can be made to be arbitrarily far apart; (b) the girth can be made to be arbitrarily large; and (c) every outerstring induced subgraph of the graphs from our construction has treewidth bounded by an absolute constant. In contrast, among several previously known constructions of layered wheels, none achieves (a); at most one satisfies either (b) or (c); and none satisfies both (b) and (c) simultaneously. In particular, this is related to a former conjecture of Trotignon, that every graph with large enough treewidth, excluding large walls and large complete bipartite graphs as induced minors, and large complete subgraphs, must contain an outerstring induced subgraph of large treewidth. Our construction provides the first counterexample to this conjecture that can also be made to have arbitrarily large girth.

Let $H$ be a graph and let $\mathcal{C}$ be a hereditary class of theta-free graphs such that $H\notin \mathcal{C}$. We prove that if (a) $H$ is a forest; and (b) $\mathcal{C}$ excludes the line graphs of all subdivisions of some wall, then the treewidth of every graph in $\mathcal{C}$ is at most a polynomial function of its clique number. This is best possible in that both (a) and (b) are necessary for the existence of $any$ function with the above property.

Let $\mathcal{F}$ be a set of subsets of a set $W$. When is there a tree $T$ with vertex set $W$ such that each member of $\mathcal{F}$ is the set of vertices of a subtree of $T$? It is necessary that $\mathcal{F}$ has the Helly property and the intersection graph of $\mathcal{F}$ is chordal. We will show that these two necessary conditions are together sufficient in the finite case, and more generally, they are sufficient if no element of $W$ belongs to infinitely many infinite sets in $\mathcal{F}$.

A classical result of Robertson and Seymour (1986) states that the treewidth of a graph is linearly tied to its separation number: the smallest integer $k$ such that, for every weighting of the vertices, the graph admits a balanced separator of size at most $k$. Motivated by recent progress on coarse treewidth, Abrishami, Czyżewska, Kluk, Pilipczuk, Pilipczuk, and Rzążewski (2025) conjectured a coarse analogue to this result: every graph that has a balanced separator consisting of a bounded number of balls of bounded radius is quasi-isometric to a graph with bounded treewidth. In this paper, we confirm their conjecture for $K_{t,t}$-induced-subgraph-free graphs when the separator consists of a bounded number of balls of radius $1$. In doing so, we bridge two important conjectures concerning the structure of graphs that exclude a planar graph as an induced minor.