Induced subgraphs and tree decompositions
XIII. Basic obstructions in $\mathcal{H}$ -free graphs for finite $\mathcal{H}$

Bogdan Alecu Supported by DMS-EPSRC Grant EP/V002813/1. Maria Chudnovsky Supported by NSF-EPSRC Grant DMS-2120644 and by AFOSR grant FA9550-22-1-0083. Sepehr Hajebi Sophie Spirkl We acknowledge the support of the Natural Sciences and Engineering Research Council of Canada (NSERC), [funding reference number RGPIN-2020-03912]. Cette recherche a été financée par le Conseil de recherches en sciences naturelles et en génie du Canada (CRSNG), [numéro de référence RGPIN-2020-03912]. This project was funded in part by the Government of Ontario. This research was conducted while Spirkl was an Alfred P. Sloan Fellow.

Abstract

Unlike minors, the induced subgraph obstructions to bounded treewidth come in a large variety, including, for every $t\in\mathbb{N}$ , the $t$ -basic obstructions: the graphs $K_{t+1}$ and $K_{t,t}$ , along with the subdivisions of the $t$ -by- $t$ wall and their line graphs. But this list is far from complete. The simplest example of a “non-basic” obstruction is due to Pohoata and Davies (independently). For every $n\in\mathbb{N}$ , they construct certain graphs of treewidth $n$ and with no $3$ -basic obstruction as an induced subgraph, which we call $n$ -arrays.

Let us say a graph class $\mathcal{G}$ is clean if the only obstructions to bounded treewidth in $\mathcal{G}$ are in fact the basic ones. It follows that a full description of the induced subgraph obstructions to bounded treewidth is equivalent to a characterization of all families $\mathcal{H}$ of graphs for which the class of all $\mathcal{H}$ -free graphs is clean (a graph $G$ is $\mathcal{H}$ -free if no induced subgraph of $G$ is isomorphic to any graph in $\mathcal{H}$ ).

This remains elusive, but there is an immediate necessary condition: if $\mathcal{H}$ -free graphs are clean, then there are only finitely many $n\in\mathbb{N}$ such that there is an $n$ -array which is $\mathcal{H}$ -free. The above necessary condition is not sufficient in general. However, the situation turns out to be different if $\mathcal{H}$ is finite: we prove that for every finite set $\mathcal{H}$ of graphs, the class of all $\mathcal{H}$ -free graphs is clean if and only if there is no $\mathcal{H}$ -free $n$ -array except possibly for finitely many values of $n$ .

\aicAUTHORdetails

title = Induced subgraphs and tree decompositions
XIII. Basic obstructions in $\mathcal{H}$ -free graphs for finite $\mathcal{H}$ , author = Bogdan Alecu, Maria Chudnovsky, Sepehr Hajebi, and Sophie Spirkl, plaintextauthor = Bogdan Alecu, Maria Chudnovsky, Sepehr Hajebi, Sophie Spirkl, plaintexttitle = Induced subgraphs and tree decompositions XIII. Basic obstructions in H-free graphs for finite H, runningtitle = Induced subgraphs and tree decompositions XIII., copyrightauthor = B. Alecu, M. Chudnovsky, S. Hajebi and S. Spirkl, keywords = Tree decompositions, Treewidth, Induced subgraphs, graph minors., \aicEDITORdetailsyear=2024, number=6, received=26 November 2023, published=29 November 2024, doi=10.19086/aic.2024.6, \DeclareMathOperator\twtw \DeclareMathOperator\ta\texttree-α

[classification=text]

1 Introduction

The set of all positive integers is denoted by $\mathbb{N}$ , and for every integer $n$ , we write $\mathbb{N}_{n}$ for the set of all positive integers less than or equal to $n$ (so $\mathbb{N}_{n}=\emptyset$ if $n\leq 0$ ). Graphs in this paper have finite vertex sets, no loops and no parallel edges. Let $G=(V(G),E(G))$ be a graph. An induced subgraph of $G$ is the graph $G\setminus X$ for some $X\subseteq V(G)$ , that is, the graph obtained from $G$ by removing the vertices in $X$ . For $X\subseteq V(G)$ , we use both $X$ and $G[X]$ to denote the subgraph of $G$ induced on $X$ , which is the same as $G\setminus(V(G)\setminus X)$ . We say $G$ contains a graph $H$ if $H$ is isomorphic to an induced subgraph of $G$ ; otherwise, we say $G$ is $H$ -free. We also say $G$ is $\mathcal{H}$ -free for a family $\mathcal{H}$ of graphs if $G$ is $H$ -free for all $H\in\mathcal{H}$ .

The treewidth of a graph $G$ (denoted by $\tw(G)$ ) is the smallest $w\in\mathbb{N}$ for which $G$ can be represented as (a subgraph of) an intersection graph of subtrees of a tree, such that each vertex of the underlying tree appears in at most $w+1$ subtrees. For instance, the “Helly property of subtrees” [8] implies that for every $t\in\mathbb{N}$ , the complete graph $K_{t+1}$ and the complete bipartite graph $K_{t,t}$ both have treewidth $t$ .

There are also sparse graphs with arbitrarily large treewidth, the most well-known example of which is the hexagonal grid (see Figure 1). For every $t\in\mathbb{N}$ , the $t$ -by- $t$ hexagonal grid, also called the $t$ -by- $t$ wall, denoted $W_{t\times t}$ , has treewidth $t$ [14], and the same remains true for all subdivisions of $W_{t\times t}$ , as well. Indeed, Robertson and Seymour proved in 1986 [14] that containing a hexagonal grid as a minor (or a subdivided one as a subgraph) is qualitatively the only reason why a graph may have large treewidth:

Refer to caption — Figure 1: The $5$ -by- $5$ hexagonal grid $W_{5\times 5}$ .

Theorem 1.1 (Robertson and Seymour [14])

For every $t\in\mathbb{N}$ , every graph of sufficiently large treewidth contains a subdivision of $W_{t\times t}$ as a subgraph.

For induced subgraphs, however, excluding just the walls is not enough to guarantee bounded treewidth: note that complete graphs, complete bipartite graphs and subdivided walls are three pairwise “independent” types of graphs with arbitrarily large treewidth, in the sense that no graph from one type contains an induced subgraph of another type with large treewidth. There is also a fourth example, namely the line-graphs of subdivided walls, where the line-graph $L(F)$ of a graph $F$ is the graph with vertex set $E(F)$ , such that two vertices of $L(F)$ are adjacent if the corresponding edges of $F$ share an end.

It is useful to group all these graphs together: given $t\in\mathbb{N}$ , we say a graph $H$ is a $t$ -basic obstruction if $G$ is isomorphic to one the following: the complete graph $K_{t+1}$ , the complete bipartite graph $K_{t,t}$ , a subdivision of $W_{t\times t}$ , or the line-graph of a subdivision of $W_{t\times t}$ (see Figure 2). For every $t\in\mathbb{N}$ , every $t$ -basic obstruction has treewidth $t$ , and each induced subgraph of large treewidth in a basic obstruction of a given type contains a basic obstruction of the same type and of (relatively) large treewidth. Let us say a graph $G$ is $t$ -clean if $G$ contains no $t$ -basic obstruction. It follows that every graph of treewidth less than $t$ is $t$ -clean.

One may hope for the basic obstructions to be the only induced subgraph obstructions to bounded treewidth. In other words, the neatest possible analog of Theorem 1.1 for induced subgraphs would be the following: for every $t\in\mathbb{N}$ , there is a constant $n=n(t)\in\mathbb{N}$ such that every $t$ -clean graph has treewidth less than $n$ . However, there are now several counterexamples to this statement [3, 6, 12, 17]. The simplest construction is due to Pohoata and Davies (independently) [6, 12], consisting of $3$ -clean graphs of arbitrarily large treewidth. We call these graphs arrays.

Specifically, for $n\in\mathbb{N}$ , an $n$ -array is a graph consisting of $n$ pairwise disjoint paths $L_{1},\ldots,L_{n}$ with no edges between them as well as $n$ pairwise non-adjacent vertices $x_{1},\ldots,x_{n}$ , such that for every $i\in\mathbb{N}_{n}$ :

•

each of $x_{1},\ldots,x_{n}$ has at least one neighbor in $L_{i}$ ; and
•

for every $j\in\mathbb{N}_{n-1}$ , all neighbors of $x_{j}$ in $L_{i}$ appear before all neighbors of $x_{j+1}$ in $L_{i}$ (in particular, each vertex of $L_{i}$ is adjacent to at most one of $x_{1},\dots,x_{n}$ ).

See Figure 3. As mentioned earlier, arrays are $3$ -clean graphs with unbounded treewidth:

Theorem 1.2 (Pohoata [12], Davies [6]; see also Theorem 3.1 in [2])

For every $n\in\mathbb{N}$ , every $n$ -array is a $3$ -clean graph of treewidth at least $n$ .

This motivates the following definition: A graph class $\mathcal{G}$ is said to be clean if the only induced subgraph obstructions to bounded treewidth in $\mathcal{G}$ are in fact the basic ones, that is, for every $t\in\mathbb{N}$ , there is a constant $n=n(t)\in\mathbb{N}$ such that every $t$ -clean graph in $\mathcal{G}$ has treewidth less than $n$ . An exact analog of Theorem 1.1 for induced subgraphs is therefore equivalent to a characterization of all families $\mathcal{H}$ of graphs for which the class of all $\mathcal{H}$ -free graphs is clean.

This appears to be out of reach of the current techniques, and even formulating a conjecture seems rather difficult. Nevertheless, the known “non-basic” obstructions may provide some insight into the structural properties of a family $\mathcal{H}$ with the above property. For example, from Theorem 1.2 combined with the definition of a clean class, we deduce that:

Observation 1.3

Let $\mathcal{H}$ be a family of graphs such that the class of $\mathcal{H}$ -free graphs is clean. Then there exists $n_{0}\in\mathbb{N}$ such that for every $n\geq n_{0}$ and every $n$ -array $A$ , there is a graph $H\in\mathcal{H}$ which is isomorphic to an induced subgraph of $A$ .

The converse to Observation 1.3 is not true in general; indeed, all other non-basic obstructions discovered so far [3, 17] are counterexamples to this converse:

•

Let $\mathcal{H}$ be the family of all graphs which are the disjoint unions of two cycles. Then every $n$ -array with $n\geq 4$ contains a graph in $\mathcal{H}$ , while it is proved in [3] that there are $3$ -clean $\mathcal{H}$ -free graphs of arbitrarily large treewidth.
•

Let $\mathcal{H}$ be the family of all subdivisions of $K_{2,3}$ , also known as the thetas. Then it is readily observed that every $n$ -array with $n\geq 3$ contains a theta, whereas it is proved in [17] that the class of theta-free graphs is not clean.

It turns out that what allows these counterexamples to occur is the fact that the corresponding family $\mathcal{H}$ of graphs that we are forbidding is infinite. Our main result in this paper shows for a finite set $\mathcal{H}$ of graphs, the necessary condition from Observation 1.3 is in fact sufficient:

Theorem 1.4

Let $\mathcal{H}$ be a finite set of graphs. Then the class of all $\mathcal{H}$ -free graphs is clean if and only if there are only finitely many $n\in\mathbb{N}$ for which there is an $\mathcal{H}$ -free $n$ -array.

This may also be regarded as a natural strengthening of the main result from [1], which handles the special case where $\mathcal{H}$ is a singleton:

Theorem 1.5 (Abrishami, Alecu, Chudnovsky, Hajebi and Spirkl [1])

Let $H$ be a graph. Then the class of all $H$ -free graphs is clean if and only if every component of $H$ is a subdivided star, that is, a tree with at most one vertex of degree more than two.

1.1 Tassels and tasselled families

Note that by Observation 1.3, we only need to prove the “if” implication of Theorem 1.4. To that end, we find it technically most convenient to reformulate the “if” implication in terms of “the columns of the arrays,” which we refer to as “tassels.”

Let us make this precise. A strand is a graph $F$ obtained from a path $P$ by adding a new vertex $x$ with at least one neighbor in $P$ , and we say $F$ is a $c$ -strand, for $c\in\mathbb{N}$ , if $x$ is not adjacent to the first and last $c$ vertices of $P$ . We call $x$ and $P$ the neck of $F$ and the path of $F$ , respectively. For $c\in\mathbb{N}$ , by a $c$ -tassel we mean a graph $T$ obtained from at least $c$ pairwise disjoint copies of a $c$ -strand $F$ by identifying their necks into a single vertex, called the neck of $T$ . We also refer to each copy of $F$ in $T$ as a strand of $T$ , and to the path of each copy of $F$ as a path of $T$ (see Figure 4).

We say that a family $\mathcal{H}$ of graphs is tasselled if there is a constant $c=c(\mathcal{H})\in\mathbb{N}$ with the property that for every $c$ -tassel $T$ there is $H\in\mathcal{H}$ such that $T$ contains each component of $H$ . Also, if $\mathcal{H}$ is finite, we define $||\mathcal{H}||=\sum_{H\in\mathcal{H}}|V(H)|$ . It follows that:

Theorem 1.6

Let $\mathcal{H}$ be a finite set of graphs such that there is no $\mathcal{H}$ -free $n$ -array except possibly for finitely many $n\in\mathbb{N}$ . Then $\mathcal{H}$ is tasselled.

Proof 1.7.

By the assumption, there exists $n_{0}\in\mathbb{N}$ such that there is no $\mathcal{H}$ -free $n$ -array for any $n\geq n_{0}$ . Let $c=\max\{n_{0},||\mathcal{H}||\}$ . In order to prove that $\mathcal{H}$ is tasselled, we show that for every $c$ -tassel $T$ , there is a graph $H\in\mathcal{H}$ such that $T$ contains each component of $H$ .

Let $d\geq c$ be the number of paths of $T$ . Construct an $d$ -array $A$ as follows. Start with $d$ pairwise disjoint copies $T_{1},\ldots,T_{d}$ of $T$ . For each $i\in\mathbb{N}_{d}$ , let $x_{i}$ be the neck of $T_{i}$ and fix an enumeration $P^{i}_{1},\ldots,P^{i}_{d}$ of the paths of $T_{i}$ . For every $i,j\in\mathbb{N}_{d}$ , fix a labelling $u^{i}_{j},v^{i}_{j}$ of the ends of $P^{i}_{j}$ . Then, for every $i\in\mathbb{N}_{d-1}$ and every $j\in\mathbb{N}_{d}$ , add an edge between $u^{i}_{j}$ and $v^{i+1}_{j}$ (see Figure 5).

Since $A$ is an $d$ -array with $d\geq c\geq n_{0}$ , it follows that $A$ is not $\mathcal{H}$ -free, and so we may choose a graph $H\in\mathcal{H}$ which is contained in $A$ .

Let $K$ be a component of $H$ . Our goal is to show that $K$ is contained in $T$ . This is immediate if $K$ is a path, because $|K|\leq||\mathcal{H}||\leq c$ and $T$ is a $c$ -tassel. Thus, we may assume that $K$ is not a path. Since $H$ is contained in $A$ , it follows that some induced subgraph $K^{\prime}$ of $A$ is isomorphic to $K$ . In particular, $K^{\prime}$ is a connected graph on at most $||\mathcal{H}||$ vertices which is not a path. Also, from the construction of $A$ , it is readily observed that the necks $x_{1},\ldots,x_{d}$ of $T_{1},\ldots,T_{d}$ are pairwise at distance at least $2c+3>||\mathcal{H}||\geq|K^{\prime}|$ in $G$ . Consequently, there exists exactly one $i\in\mathbb{N}_{d}$ for which $x_{i}$ belongs to $V(K^{\prime})$ .

Now, since $K^{\prime}$ is connected, it follows that for every component $P$ of $K^{\prime}\setminus\{x_{i}\}$ , we have $P\subseteq V(A)\setminus\{x_{1},\ldots,x_{d}\}$ and $x_{i}$ has a neighbor in $P$ . This, along with the fact that $P$ is connected and $|P|<||\mathcal{H}||\leq c$ , implies that $P\subseteq P^{i}_{j}\subseteq T_{i}\setminus\{x_{i}\}$ for some $j\in\mathbb{N}_{d}$ . In conclusion, we have shown that $K^{\prime}\setminus\{x_{i}\}\subseteq T_{i}\setminus\{x_{i}\}$ , and so $K^{\prime}\subseteq T_{i}$ . Hence, $K$ is contained in $T$ , as desired.

In view of Theorem 1.6, in order to prove Theorem 1.4, it suffices to show that:

Theorem 1.8.

Let $\mathcal{H}$ be a finite set of graphs which is tasselled. Then the class of $\mathcal{H}$ -free graphs is clean.

The rest of the paper is devoted to the proof of Theorem 1.8, which is completed in Section 7. Note also that Theorems 1.6 and 1.8 combined with Observation 1.3 imply the following (see also Figure 6).

Corollary 1.9.

The following are equivalent for every finite set $\mathcal{H}$ of graphs.

•

There is no $\mathcal{H}$ -free $n$ -array except possibly for finitely many $n\in\mathbb{N}$ .
•

$\mathcal{H}$ is tasselled.
•

The class of all $\mathcal{H}$ -free graphs is clean.

1.2 Outline

To prove the Theorem 1.8, we proceed as follows. First, in Section 2, we show that a finite family is tasselled if and only if it is “hassled,” which is described by containment not in a $c$ -tassel, but in a less restricted $c$ -hassle: while similar to a tassel, the paths are replaced by walks such that any short stretch is an induced path, the adjacency from the neck to the walks need not be the same, and we may have edges between walks.

Then, our goal is to show that $t$ -clean graphs of large treewidth contain $c$ -hassles. To do so, we start with some preliminary Ramsey-type results in Section 3. In Section 4, we show that in “blocks,” which are sets of vertices with pairwise many paths between them, we can arrange that those paths are long. This is useful for getting many long induced paths, which will form part of our $c$ -hassles.

In Section 5, we get a structure of large treewidth consisting of one of the following:

•

A large set of paths, and a large set of vertices, each with a neighbor in every path; or
•

Two large sets of paths such that each path in one set has an edge to each path in the other, but no vertex has neighbors in many paths.

In Section 6, we show how each of these configurations leads to a $c$ -hassle. In the former case, this is almost immediate, whereas the latter case is more involved: we find a block whose vertex set is contained in the union of the paths, and leverage the interaction between the two structures, along with the fact that blocks are long, to find our $c$ -hassle.

In Section 7, we put everything together and prove our main result.

2 Hassled families

In this section, we introduce the notion of a “hassled family” as a variant of tasselled families, and show that for finite families of graphs, these two properties are in fact equivalent. This in turn reduces Theorem 1.8 to: for every finite and hassled family $\mathcal{H}$ of graphs, the class of all $\mathcal{H}$ -free graphs is clean. The remainder of this paper is then occupied with a proof of the latter statement, which will appear as Theorem 7.1 in Section 7. In order to define hassled families, first we need another notion, that of a “ $c$ -hassle,” which is similar to a $c$ -tassel except its paths are replaced by walks that are “locally” isomorphic to a path, and, up to sparsity, there may be additional edges between these walks.

Let us define all this formally. Let $n\in\mathbb{N}$ and let $P$ be an $n$ -vertex path (as a graph). Then we write $P=p_{1}\hbox{-}\cdots\hbox{-}p_{n}$ to mean that $V(P)=\{p_{1},\dots,p_{n}\}$ and $p_{i}$ is adjacent to $p_{j}$ if and only if $|i-j|=1$ . We call the vertices $p_{1}$ and $p_{n}$ the ends of $P$ , and refer to $P\setminus\{p_{1},p_{n}\}$ as the interior of $P$ , denoted $P^{*}$ . For vertices $u,v\in V(P)$ , we denote by $u\hbox{-}P\hbox{-}v$ the subpath of $P$ from $u$ to $v$ . Recall that the length of a path is the number of edges in it.

Let $G$ be a graph. A path in $G$ is an induced subgraph of $G$ which is a path. For $X,Y\subseteq V(G)$ . We say $X$ is complete to $Y$ in $G$ if every vertex of $X$ is adjacent to every vertex in $Y$ , and we say $X$ and $Y$ are anticomplete in $G$ if there is no edge in $G$ with an end in $X$ and an end in $Y$ . If $x\in V(G)$ , we say $x$ is complete (anticomplete) to $Y$ if $\{x\}$ and $Y$ are complete (anticomplete) in $G$ .

For $n\in\mathbb{N}\cup\{0\}$ , by an $n$ -segment we mean a set $S$ of at most $n$ consecutive integers; in particular, $\mathbb{N}_{n}$ is an $n$ -segment. A graph $W$ is a walk if there is $n_{W}\in\mathbb{N}$ and a surjective map $\varphi_{W}:\mathbb{N}_{n_{W}}\rightarrow V(W)$ such that for every $i\in\mathbb{N}_{n_{W}-1}$ , we have $\varphi_{W}(i)\varphi_{W}(i+1)\in E(W)$ (one may in fact observe that a graph $W$ is a walk if and only if it is connected). Given a walk $W$ along with choices of $n_{W}$ and $\phi_{W}$ , for $c\in\mathbb{N}$ , we refer to $\varphi_{W}(\mathbb{N}_{c})$ and $\varphi_{W}(\mathbb{N}_{n_{W}}\setminus\mathbb{N}_{n_{W}-c})$ as the first $c$ vertices of $W$ and the last $c$ vertices of $W$ , respectively. We also say $W$ is $c$ -stretched if $\varphi_{W}(S)$ is a path in $W$ for every $c$ -segment $S\subseteq\mathbb{N}_{n_{W}}$ (see Figure 7 – intuitively, this means a snake of length $c-1$ traversing through $W$ can never see/hit itself).

We now define a $c$ -hassle, where $c\in\mathbb{N}$ , to be a graph $\Xi$ obtained from at least $c$ pairwise disjoint $c$ -stretched walks, called the walks of $\Xi$ , by adding edges arbitrarily between the walks, and then adding a vertex $x$ , called the neck of $\Xi$ , which has a neighbor in each walk and which is anticomplete to the first and last $c$ vertices of each walk (see Figure 8).

For a family $\mathcal{H}$ of graphs, we say $\mathcal{H}$ is hassled if for every $t\in\mathbb{N}$ , there is $c=c(\mathcal{H},t)\in\mathbb{N}$ with the property that for every $(K_{t+1},K_{t,t})$ -free $c$ -hassle $T$ there exists $H\in\mathcal{H}$ such that $T$ contains every component of $H$ . In particular, observe that every $c$ -tassel is a $(K_{4},K_{3,3})$ -free $c$ -hassle, and so every hassled family is tasselled. More importantly, for finite families, the converse is also true:

Theorem 2.1.

Let $\mathcal{H}$ be a finite set of graphs. Then $\mathcal{H}$ is tasselled if and only if $\mathcal{H}$ is hassled.

The goal of this section is to prove Theorem 2.1, beginning with two lemmas:

Lemma 2.2.

Let $b,c,k\in\mathbb{N}$ , let $\mathcal{T}$ be a family of $c$ -tassels, each with exactly $c$ paths, such that $|\mathcal{T}|\geq bkc^{k}$ . For each $T\in\mathcal{T}$ , let $x_{T}$ be the neck of $T$ and fix an enumeration $P^{T}_{1},\ldots,P^{T}_{c}$ of the paths of $T$ . Let $K$ be a connected graph on at most $k$ vertices which is not a path, and assume that for every $T\in\mathcal{T}$ , there is an isomorphism $f_{T}$ from $K$ to an induced subgraph of $T$ ; in particular, $T$ contains $K$ . Then there exist $x^{\prime}\in V(K)$ and $\mathcal{T}^{\prime}\subseteq\mathcal{T}$ with $|\mathcal{T}^{\prime}|=b$ for which the following hold.

(a)

For every $T\in\mathcal{T}^{\prime}$ , we have $f_{T}(x^{\prime})=x_{T}$ .
(b)

For every component $L$ of $K\setminus\{x^{\prime}\}$ , there exists $i(L)\in\{1,\ldots,c\}$ such that for every $T\in\mathcal{T}^{\prime}$ , we have $f_{T}(L)\subseteq P^{T}_{i(L)}$ .

Proof 2.3.

For each $T\in\mathcal{T}$ , since $K$ is not a path and $f_{T}$ is an isomorphism, it follows that there is a unique vertex $x^{\prime}_{T}\in V(K)$ such that $f_{T}(x^{\prime}_{T})=x_{T}$ . Also, since $K$ has at most $k$ vertices, it follows that:

(1) There exist $x^{\prime}\in V(K)$ and $\mathcal{T}_{1}\subseteq\mathcal{T}$ with $|\mathcal{T}_{1}|=bc^{k}$ such that for every $T\in\mathcal{T}_{1}$ , we have $f_{T}(x^{\prime})=x_{T}$ .

By \eqrefst:sameneck, for each $T\in\mathcal{T}_{1}$ and every component $L$ of $K\setminus\{x^{\prime}\}$ , we have $f_{T}(L)\subseteq T\setminus\{x_{T}\}$ , which in turn implies that there exists $i(L,T)\in\mathbb{N}_{c}$ for which we have $f_{T}(L)\subseteq P^{T}_{i(L,T)}$ . Now, since $K\setminus\{x^{\prime}\}$ has at most $k$ components and since $|\mathcal{T}_{1}|\geq bc^{k}$ , it follows that there exists $\mathcal{T}^{\prime}\subseteq\mathcal{T}_{1}\subseteq\mathcal{T}$ with $|\mathcal{T^{\prime}}|=b$ , as well as $i(L)\in\mathbb{N}_{c}$ for every component $L$ of $K\setminus\{x^{\prime}\}$ , such that for each $T\in\mathcal{T}^{\prime}$ , we have $i(L,T)=i(L)$ . Hence, $x^{\prime}$ and $\mathcal{T}^{\prime}$ satisfy 2.2 b. Moreover, from \eqrefst:sameneck, it follows that $x^{\prime}$ and $\mathcal{T}^{\prime}$ satisfy 2.2 a, as desired.

Lemma 2.4.

For every finite and tasselled set $\mathcal{H}$ of graphs, there is a constant $\xi=\xi(\mathcal{H})\in\mathbb{N}$ with the following property. For every $\xi$ -hassle $\Xi$ with neck $x$ , there is a graph $H\in\mathcal{H}$ such that for every component $K$ of $H$ , one of the following holds.

(a)

$K$ is a path.
(b)

There exists $x^{\prime}\in V(K)$ and a map $f:V(K)\rightarrow V(\Xi)$ with $f^{-1}(\{x\})=\{x^{\prime}\}$ , such that for every component $L$ of $K\setminus\{x^{\prime}\}$ , the restriction of $f$ to $\{x^{\prime}\}\cup L$ is an isomorphism from $K[\{x^{\prime}\}\cup L]$ to $\Xi[\{x\}\cup f(L)]$ .

Proof 2.5.

Since $\mathcal{H}$ is tasselled, it follows that there is a constant $c=c(\mathcal{H})\in\mathbb{N}$ with the property that for every $c$ -tassel $T$ there is $H\in\mathcal{H}$ such that $T$ contains every component of $H$ . We claim that

\xi=\xi(\mathcal{H})=||\mathcal{H}||^{2}c^{||\mathcal{H}||+1}

satisfies the lemma. To see this, let $\Xi$ be a $\xi$ -hassle with neck $x$ , and let $\mathcal{W}$ be the collection of all walks of $\Xi$ . Recall that each walk in $\Xi$ is $\xi$ -stretched.

For each $W\in\mathcal{W}$ , let $n_{W}$ and $\varphi_{W}$ be as in the definition of a walk, and construct a $c$ -tassel $T_{W}$ as follows. Let $P^{W}_{1},\ldots,P^{W}_{c}$ be $c$ pairwise disjoint and anticomplete paths, each on $n_{W}$ vertices, and for every $i\in\mathbb{N}_{c}$ , choose a bijection $g^{W}_{i}:V(P^{W}_{i})\rightarrow\mathbb{N}_{n_{W}}$ such that $p,p^{\prime}\in V(P^{W}_{i})$ are adjacent in $P^{W}_{i}$ if and only if $|g^{W}_{i}(p)-g^{W}_{i}(p^{\prime})|=1$ (note that there are only two such bijections). Let $T_{W}$ be the graph obtained from $P^{W}_{1},\ldots,P^{W}_{c}$ by adding a vertex $x_{W}$ such that for every $i\in\mathbb{N}_{c}$ and every $p\in V(P^{W}_{i})$ , the vertex $x_{W}$ is adjacent to $p$ in $T_{W}$ if and only if $x$ is adjacent to $\varphi_{W}(g^{W}_{i}(p))$ in $\Xi$ (see Figure 9).

Note that for every $W\in\mathcal{W}$ , in the graph $\Xi$ , the vertex $x$ has a neighbor in $W$ and no neighbor among the first and last $\xi$ vertices of $W$ . In particular, from the construction and the fact that $\xi\geq c$ , it follows that for every $i\in\mathbb{N}_{c}$ , $x$ has a neighbor in $P^{W}_{i}$ and no neighbor among the first and last $c$ vertices of $P^{W}_{i}$ . Thus, for every $W\in\mathcal{W}$ , the graph $T_{W}$ is a $c$ -tassel with neck $x_{W}$ and paths $P^{W}_{1},\ldots,P^{W}_{c}$ .

Also, since $\mathcal{H}$ is tasselled, it follows from the choice of $c$ that for every $W\in\mathcal{W}$ there exists $H\in\mathcal{H}$ such that the $c$ -tassel $T_{W}$ contains every component of $H$ . Consequently, since $|\mathcal{W}|\geq\xi$ and $|\mathcal{H}|\leq||\mathcal{H}||$ , it follows that there exists $H\in\mathcal{H}$ and $\mathcal{W}^{\prime}\subseteq\mathcal{W}$ with $|\mathcal{W}^{\prime}|=||\mathcal{H}||c^{||\mathcal{H}||+1}$ such that for every $W\in\mathcal{W}^{\prime}$ , the $c$ -tassel $T_{W}$ contains every component of $H$ .

We now prove that $H$ satisfies 2.4. Let $K$ be a component of $H$ which is not a path. We wish to show that $K$ satisfies 2.4 b. Note that for every $W\in\mathcal{W}^{\prime}$ , the $c$ -tassel $T_{W}$ contains $K$ , and so there is an isomorphism $f_{W}$ from $K$ to an induced subgraph of $T_{W}$ . This allows for an application of Lemma 2.2 to $\mathcal{T}=\{T_{W}:W\in\mathcal{W}^{\prime}\}$ and $K$ . Since $|V(K)|\leq|V(H)|\leq||\mathcal{H}||$ , we deduce that there exists $x^{\prime}\in V(K)$ as well as $W_{1},\ldots,W_{c}\in\mathcal{W}^{\prime}$ , such that $x^{\prime}$ and $\mathcal{T}^{\prime}=\{T_{W_{1}},\ldots,T_{W_{c}}\}$ satisfy Lemma 2.2 a and b.

Henceforth, for each $j\in\mathbb{N}_{c}$ , we write

T_{j}=T_{W_{j}};\quad x_{j}=x_{W_{j}};\quad f_{j}=f_{W_{j}};\quad n_{j}=n_{W_{j}};\quad\varphi_{j}=\varphi_{W_{j}}.

Also, for $i,j\in\mathbb{N}_{c}$ , we write

P_{i,j}=P^{W_{j}}_{i};\quad g_{i,j}=g^{W_{j}}_{i}.

The outcomes of Lemma 2.2 can now be rewritten as:

(2) The following hold.

•

For every $j\in\mathbb{N}_{c}$ , we have $f_{j}(x^{\prime})=x_{j}$ .
•

For every component $L$ of $K\setminus\{x^{\prime}\}$ , there exists $i(L)\in\{1,\ldots,c\}$ such that for every $j\in\mathbb{N}_{c}$ , we have $f_{j}(L)\subseteq P_{i(L),j}$ .

On the other hand, since $|K|\leq|H|\leq||\mathcal{H}||\leq\xi$ , it follows that every component of $K\setminus\{x^{\prime}\}$ is a path on less than $\xi$ vertices. This, combined with the second bullet of \eqrefst:lemtasselagain, yields the following:

(3) For every $j\in\mathbb{N}_{c}$ and every component $L$ of $K\setminus\{x^{\prime}\}$ , there exists a $\xi$ -segment $S_{j,L}\subseteq\mathbb{N}_{n_{j}}$ for which we have $f_{j}(L)=g_{i(L),j}^{-1}(S_{j,L})\subseteq P_{i(L),j}$ .

Let us now finish the proof. Define a map $f:V(K)\rightarrow V(\Xi)$ as follows. Let $f(x^{\prime})=x$ , and for every component $L$ of $K\setminus\{x^{\prime}\}$ and every $y\in L$ , let

f(y)=\varphi_{i(L)}(g_{i(L),i(L)}(f_{i(L)}(y))).

See Figure 10. We prove that $f$ satisfies Lemma 2.4 b. Let $L$ be a component of $K\setminus\{x^{\prime}\}$ . By \eqrefst:getsegment, we have $f(L)=\varphi_{i(L)}(S_{i(L),L})\subseteq W_{i(L)}\subseteq V(\Xi)\setminus\{x\}$ , and so we have $f^{-1}(\{x\})=\{x^{\prime}\}$ . This, along with the assumption that $W_{i(L)}$ is a $\xi$ -stretched walk, implies that $f(L)$ is a path in $W_{i(L)}$ . In particular, the restriction of $f$ to $L$ is an isomorphism from $K[L]$ to $\Xi[f(L)]$ .

It remains to show that for every $y\in L$ , the vertices $x^{\prime},y$ are adjacent in $K$ if and only if $x,f(y)$ are adjacent in $\Xi$ . To that end, note that since $f_{i(L)}$ is an isomorphism from $K$ to an induced subgraph of $T_{i(L)}$ , it follows from the first bullet of \eqrefst:lemtasselagain that $x^{\prime}$ is adjacent to $y$ in $K$ if and only if $f_{i(L)}(x^{\prime})=x_{i(L)}$ is adjacent to $f_{i(L)}(y)\in P_{i(L),i(L)}$ in $T_{i(L)}$ . In addition, from the definition of $T_{i}$ , it follows that $x_{i(L)}$ is adjacent to $f_{i(L)}(y)\in P_{i(L),i(L)}$ in $T_{i(L)}$ if and only if $x$ is adjacent to $\varphi_{i(L)}(g_{i(L),i(L)}(f_{i(L)}(y)))=f(y)$ in $\Xi$ . This completes the proof of Lemma 2.4.

We also need the following well-known result.

Lemma 2.6 (See Lemma 2 in [11]).

For all $q,r,t\in\mathbb{N}$ there is a constant $\Delta=\Delta(q,r,t)\in\mathbb{N}$ with the following property. Let $G$ be a $(K_{t+1},K_{t,t})$ -free graph. Let $\mathcal{X}$ be a collection of pairwise disjoint subsets of $V(G)$ , each of cardinality at most $r$ , with $|\mathcal{X}|\geq\Delta$ . Then there are $q$ distinct sets $X_{1},\ldots,X_{q}\in\mathcal{X}$ which are pairwise anticomplete in $G$ .

We can now prove Theorem 2.1, which we restate:

Theorem 2.1.

Let $\mathcal{H}$ be a finite set of graphs. Then $\mathcal{H}$ is tasselled if and only if $\mathcal{H}$ is hassled.

Proof 2.2.

The “if” implication is clear as discussed at the beginning of this section. To prove the “only if” implication, assume that $\mathcal{H}$ is a finite set of graphs which is tasselled. Let $\xi=\xi(\mathcal{H})\in\mathbb{N}$ be as in Lemma 2.4. For every $t\in\mathbb{N}$ , let $\Delta=\Delta(||\mathcal{H}||,||\mathcal{H}||,t)$ be as in Lemma 2.6, and let

c=c(\mathcal{H},t)=\xi\Delta||\mathcal{H}||^{2}.

We prove that for every $(K_{t+1},K_{t,t})$ -free $c$ -hassle $\Xi$ , there exists a graph $H\in\mathcal{H}$ such that $\Xi$ contains each component of $H$ . This will show that $\mathcal{H}$ is hassled.

Let $x$ be the neck of $\Xi$ . By the choice of $c$ , we may choose a set $\mathfrak{W}$ of $\Delta||\mathcal{H}||^{2}$ pairwise disjoint families of walks of $\Xi$ , each of cardinality $\xi$ . It follows that for every $\mathcal{W}\in\mathfrak{W}$ , the graph $\Xi_{\mathcal{W}}=\Xi[\{x\}\cup(\bigcup_{W\in\mathcal{W}}V(W))]$ is a $\xi$ -hassle with neck $x$ , and with $\mathcal{W}$ as its set of walks.

Since $\mathcal{H}$ is tasselled, and by the choice of $\xi$ , for each $\mathcal{W}\in\mathfrak{W}$ , we can apply Lemma 2.4 to $\mathcal{H}$ and $\Xi_{\mathcal{W}}$ , and obtain a graph $H_{\mathcal{W}}\in\mathcal{H}$ satisfying Lemma 2.4 a and b. Moreover, since $|\mathcal{H}|\leq||\mathcal{H}||$ and $|\mathfrak{W}|=\Delta||\mathcal{H}||^{2}$ , it follows that there exist $H\in\mathcal{H}$ and $\mathfrak{X}\subseteq\mathfrak{W}$ with $|\mathfrak{X}|=\Delta||\mathcal{H}||$ such that for every $\mathcal{W}\in\mathfrak{X}$ , we have $H_{\mathcal{W}}=H$ . More explicitly, for every component $K$ of $H$ , one of the following holds.

•

$K$ is a path.
•

For every $\mathcal{W}\in\mathfrak{X}$ , there exists $x^{\prime}_{\mathcal{W}}\in V(K)$ and an injective map $f_{\mathcal{W}}:V(K)\rightarrow V(\Xi_{\mathcal{W}})$ with $f^{-1}(\{x\})=\{x^{\prime}_{\mathcal{W}}\}$ , such that for every component $L$ of $K\setminus\{x^{\prime}_{\mathcal{W}}\}$ , the restriction of $f_{\mathcal{W}}$ to $\{x^{\prime}_{\mathcal{W}}\}\cup L$ is an isomorphism from $K[\{x^{\prime}_{\mathcal{W}}\}\cup L]$ to $\Xi[\{x\}\cup f_{\mathcal{W}}(L)]$ .

To conclude the proof, it suffices to show that $\Xi$ contains every component $K$ of $H$ . Assume that $K$ is a path. Since $\Xi$ is a $c$ -hassle, it follows that $\Xi$ contains a path on $c$ vertices. But now we are done because $|K|\leq||\mathcal{H}||\leq c$ . Consequently, we may assume that $K$ is not a path, and so the second bullet above holds for $K$ and every $\mathcal{W}\in\mathfrak{X}$ . In addition, from $|K|\leq||\mathcal{H}||$ and $|\mathfrak{X}|=\Delta||\mathcal{H}||$ , it follows that there exist $x^{\prime}\in V(K)$ and $\mathfrak{Y}\subseteq\mathfrak{X}$ with $|\mathfrak{Y}|=\Delta$ such that for every $\mathcal{W}\in\mathfrak{Y}$ , we have $x^{\prime}_{\mathcal{W}}=x^{\prime}$ .

On the other hand, $\{f_{\mathcal{W}}(K\setminus\{x^{\prime}\}):\mathcal{W}\in\mathfrak{Y}\}$ is a collection of $\Delta$ pairwise disjoint subsets of $\Xi\setminus\{x\}$ , each of cardinality less than $|K|\leq||\mathcal{H}||$ . This, along with the choice of $\Delta$ and the assumption that $\Xi$ is $(K_{t+1},K_{t,t})$ -free, allows for an application of Lemma 2.6. We deduce that:

(4) There exist $\mathcal{W}_{1},\ldots,\mathcal{W}_{||\mathcal{H}||}\in\mathfrak{Y}$ for which the sets $f_{\mathcal{W}_{1}}(K\setminus\{x^{\prime}\}),\ldots,f_{\mathcal{W}_{||\mathcal{H}||}}(K\setminus\{x^{\prime}\})\subseteq\Xi\setminus\{x\}$ are pairwise anticomplete in $\Xi$ .

Now, let $L_{1},\ldots,L_{k}$ be an enumeration of the components of $K\setminus\{x^{\prime}\}$ ; then we have $k<|K|\leq||\mathcal{H}||$ . Let $\mathcal{W}_{1},\ldots,\mathcal{W}_{k}\in\mathfrak{Y}$ be as in \eqrefst:anticomphassle. By the second bullet above, for each $i\in\mathbb{N}_{k}$ , the restriction of $f_{\mathcal{W}_{i}}$ to $\{x^{\prime}\}\cup L_{i}$ is an isomorphism from $K[\{x^{\prime}\}\cup L_{i}]$ and $\Xi[\{x\}\cup f_{\mathcal{W}_{i}}(L_{i})]$ with $f_{\mathcal{W}_{i}}^{-1}(\{x\})=\{x^{\prime}\}$ . Moreover, by \eqrefst:anticomphassle, the sets $\{f_{\mathcal{W}_{i}}(L_{i}):i\in\mathbb{N}_{k}\}$ are pairwise disjoint and anticomplete in $\Xi$ . Hence, $K$ is isomorphic to

\Xi\left[\{x\}\cup\left(\bigcup_{i=1}^{k}f_{\mathcal{W}_{i}}(L_{i})\right)\right].

This completes the proof of Theorem 2.1.

3 A lemma about pairs of sets of vertices

We now begin to make our way to the proof of Theorem 7.1. In particular, here we prove a Ramsey-type result that we will use several times later. We need the following product version of Ramsey’s Theorem.

Theorem 3.1 (Graham, Rothschild and Spencer [9]).

For all $n,q,r\in\mathbb{N}$ , there is a constant $\nu(n,q,r)\in\mathbb{N}$ with the following property. Let $U_{1},\ldots,U_{n}$ be $n$ sets, each of cardinality at least $\nu(n,q,r)$ and let $W$ be a non-empty set of cardinality at most $r$ . Let $\Phi$ be a map from the Cartesian product $U_{1}\times\cdots\times U_{n}$ to $W$ . Then there exist $i\in W$ and $Z_{j}\subseteq U_{j}$ with $|Z_{j}|=q$ for each $j\in\mathbb{N}_{n}$ , such that for every $z\in Z_{1}\times\cdots\times Z_{n}$ , we have $\Phi(z)=i$ .

For an induced subgraph $H$ of a graph $G$ and a vertex $x\in V(G)$ , we denote by $N_{H}(x)$ the set of all neighbors of $x$ in $H$ , and write $N_{H}[x]=N_{H}(x)\cup\{x\}$ . Let $U$ be a set and let $a\in\mathbb{N}\cup\{0\}$ . An $a$ -pair over $U$ is a pair $(A,B)$ of subsets of $U$ with $|A|\leq a$ . Two $a$ -pairs $(A,B),(A^{\prime},B^{\prime})$ are said to be disjoint if $B\cap B^{\prime}=\emptyset$ .

Lemma 3.2.

For all $a,b\in\mathbb{N}\cup\{0\}$ and $m\in\mathbb{N}$ , there is a constant $\Upsilon=\Upsilon(a,b,m)\in\mathbb{N}$ with the following property. Let $G$ be a graph. Let $\mathcal{B}_{1},\ldots,\mathcal{B}_{m}$ be collections of pairwise disjoint $a$ -pairs over $V(G)$ , each of cardinality at least $\Upsilon$ . Then for every $i\in\mathbb{N}_{m}$ , there exists $\mathcal{B}^{\prime}_{i}\subseteq\mathcal{B}_{i}$ with $|\mathcal{B}^{\prime}_{i}|\geq b$ such that for all distinct $i,j\in\mathbb{N}_{m}$ , the following hold.

(a)

We have $A_{i}\cap B_{j}=\emptyset$ for all $(A_{i},B_{i})\in\mathcal{B}^{\prime}_{i}$ and $(A_{j},B_{j})\in\mathcal{B}^{\prime}_{j}$ .
(b)

Either $A_{i}$ is anticomplete to $B_{j}$ in $G$ for all $(A_{i},B_{i})\in\mathcal{B}^{\prime}_{i}$ and $(A_{j},B_{j})\in\mathcal{B}^{\prime}_{j}$ , or for every $(A_{i},B_{i})\in\mathcal{B}^{\prime}_{i}$ , there exists $x_{i}\in A_{i}$ such that $x_{i}$ has a neighbor in $B_{j}$ for every $(A_{j},B_{j})\in\mathcal{B}^{\prime}_{j}$ .

Proof 3.3.

We prove that

\Upsilon(a,b,m)=\nu(m,\max\{b,2\},2^{2am^{2}});

satisfies the theorem, where $\nu(\cdot,\cdot,\cdot)$ is as in Theorem 3.1. Let $\mathcal{B}=\mathcal{B}_{1}\cup\cdots\cup\mathcal{B}_{m}$ . For every $a$ -pair $(A,B)\in\mathcal{B}$ , fix an enumeration $A=\{x^{i}_{A}:i\in\mathbb{N}_{|A|}\}$ of the elements of $A$ ; recall that $|A|\leq a$ . For every two $a$ -pairs $(A,B),(A^{\prime},B^{\prime})\in\mathcal{B}$ , let

I_{1}(A,B^{\prime})=\{i\in\mathbb{N}_{|A|}:x_{A}^{i}\in B^{\prime}\}\subseteq\mathbb{N}_{a};

I_{2}(A,B^{\prime})=\{i\in\mathbb{N}_{|A|}:N_{G}(x_{A}^{i})\cap B^{\prime}\neq\emptyset\}\subseteq\mathbb{N}_{a}.

Let $\mathds{M}$ be the set of all $m$ -by- $m$ matrices whose entries are subsets of $\mathbb{N}_{a}$ ; so we have $|\mathds{M}|=2^{am^{2}}$ . Consider the product $\Pi=\mathcal{B}_{1}\times\cdots\times\mathcal{B}_{m}$ . For every $z=((A_{1},B_{1}),\cdots,(A_{m},B_{m}))\in\Pi$ , define $M_{1}(z),M_{2}(z)\in\mathds{M}$ such that for all $i,j\in\mathbb{N}_{m}$ , we have

[M_{1}(z)]_{ij}=I_{1}(A_{i},B_{j});

[M_{2}(z)]_{ij}=I_{2}(A_{i},B_{j}).

It follows that for every $z\in\Pi$ , $M_{1}(z),M_{2}(z)$ are unique, and so the map $\Phi:\Pi\rightarrow\mathds{M}^{2}$ with $\Phi(z)=(M_{1}(z),M_{2}(z))$ is well-defined. This, along with the choice of $\Upsilon$ and Theorem 3.1, implies that there exists $\mathcal{B}^{\prime}_{i}\subseteq\mathcal{B}_{i}$ with $|\mathcal{B}_{i}|\geq\max\{b,2\}\geq 2$ for each $i\in\mathbb{N}_{m}$ , as well as $M_{1},M_{2}\in\mathds{M}$ , such that for every $z\in\mathcal{B}^{\prime}_{1}\times\cdots\times\mathcal{B}^{\prime}_{m}$ , we have $M_{1}(z)=M_{1}$ and $M_{2}(z)=M_{2}$ . Moreover, we deduce:

(5) Let $i,j\in\mathbb{N}_{m}$ be distinct. Then we have $A_{i}\cap B_{j}=\emptyset$ for all $(A_{i},B_{i})\in\mathcal{B}^{\prime}_{i}$ and $(A_{j},B_{j})\in\mathcal{B}^{\prime}_{j}$

Suppose for a contradiction that there are distinct $i,j\in\mathbb{N}_{m}$ such that for some $(A_{i},B_{i})\in\mathcal{B}^{\prime}_{i}$ and $(A_{j},B_{j})\in\mathcal{B}^{\prime}_{j}$ , we have $A_{i}\cap B_{j}\neq\emptyset$ . Then we have $I_{1}(A_{i},B_{j})\neq\emptyset$ . Also, since $|\mathcal{B}^{\prime}_{j}|\geq\max\{b,2\}\geq 2$ , we may choose $(A^{\prime}_{j},B^{\prime}_{j})\in\mathcal{B}^{\prime}_{j}\setminus\{(A_{j},B_{j})\}$ . It follows that $I_{1}(A_{i},B_{j})=[M_{1}]_{ij}=I_{1}(A_{i},B^{\prime}_{j})$ is non-empty. But then $B_{j}\cap B^{\prime}_{j}\neq\emptyset$ , a contradiction with the assumption that $(A_{j},B_{j}),(A^{\prime}_{j},B^{\prime}_{j})\in\mathcal{B}^{\prime}_{j}\subseteq\mathcal{B}_{j}$ are disjoint. This proves \eqrefst:disjointramsey.

(6) Let $i,j\in\mathbb{N}_{m}$ be distinct. Then either $A_{i}$ is anticomplete to $B_{j}$ in $G$ for all $(A_{i},B_{i})\in\mathcal{B}^{\prime}_{i}$ and $(A_{j},B_{j})\in\mathcal{B}^{\prime}_{j}$ , or for every $(A_{i},B_{i})\in\mathcal{B}^{\prime}_{i}$ , there exists $x_{i}\in A_{i}$ such that $x_{i}$ has a neighbor in $B_{j}$ for every $(A_{j},B_{j})\in\mathcal{B}^{\prime}_{j}$ .

Note that for all $(A_{i},B_{i})\in\mathcal{B}^{\prime}_{i}$ and $(A_{j},B_{j})\in\mathcal{B}^{\prime}_{j}$ , we have $I_{2}(A_{i},B_{j})=[M_{2}]_{ij}\subseteq\mathbb{N}_{a}$ . If $[M_{2}]_{ij}=\emptyset$ , then $A_{i}$ is anticomplete to $B_{j}$ in $G$ for all $(A_{i},B_{i})\in\mathcal{B}^{\prime}_{i}$ and $(A_{j},B_{j})\in\mathcal{B}^{\prime}_{j}$ . Otherwise, one may choose $k\in[M_{2}]_{ij}$ , and so for each $(A_{i},B_{i})\in\mathcal{B}^{\prime}_{i}$ , the vertex $x_{i}=x^{k}_{A_{i}}\in A_{i}$ has a neighbor in $B_{j}$ for every $(A_{j},B_{j})\in\mathcal{B}^{\prime}_{j}$ . This proves \eqrefst:antiornot.

Now the result follows from \eqrefst:disjointramsey and \eqrefst:antiornot. This completes the proof of Lemma 3.2.

4 Blocks

This section collects several results from the literature about “blocks” in $t$ -clean graphs of large treewidth. We begin with a couple of definitions. Given a set $X$ and $q\in\mathbb{N}\cup\{0\}$ , we denote by $2^{X}$ the power set of $X$ and by $\binom{X}{q}$ the set of all $q$ -subsets of $X$ . Let $G$ be a graph. For a collection $\mathcal{P}$ of paths in $G$ , we adopt the notation $V(\mathcal{P})=\bigcup_{P\in\mathcal{P}}V(P)$ and $\mathcal{P}^{*}=\bigcup_{P\in\mathcal{P}}P^{*}$ . Let $k\in\mathbb{N}$ . A $k$ -block in $G$ is a set $B$ of at least $k$ vertices in $G$ such that for every $2$ -subset $\{x,y\}$ of $B$ , there exists a collection $\mathcal{P}_{\{x,y\}}$ of $k$ pairwise internally disjoint paths in $G$ from $x$ to $y$ . In addition, we say $B$ is strong if the collections $\{\mathcal{P}_{\{x,y\}}:\{x,y\}\subseteq B\}$ can be chosen such that for all distinct $2$ -subsets $\{x,y\},\{x^{\prime},y^{\prime}\}$ of $B$ , we have $V(\mathcal{P}^{*}_{\{x,y\}})\cap V(\mathcal{P}_{\{x^{\prime},y^{\prime}\}})=\emptyset$ . In [1], with Abrishami we proved the following:

Theorem 4.1 (Abrishami, Alecu, Chudnovsky, Hajebi and Spirkl [1]).

For all $k,t\in\mathbb{N}$ , there is a constant $\kappa=\kappa(k,t)\in\mathbb{N}$ such that every $t$ -clean graph of treewidth more than $\kappa$ contains a strong $k$ -block.

Given a graph $G$ and $d,k\in\mathbb{N}$ , we say a (strong) $k$ -block $B$ in $G$ is $d$ -short if for every $2$ -subset $\{x,y\}\subseteq B$ of $G$ , every path $P\in\mathcal{P}_{\{x,y\}}$ is of length at most $d$ . The following shows that large enough short blocks contain strong (and short) “sub-blocks.”

Theorem 4.2.

For all $d,k\in\mathbb{N}$ , there is a constant $\upsilon=\upsilon(d,k)$ with the following property. Let $G$ be a graph and let $B$ be a $d$ -short $\upsilon$ -block in $G$ . Then every $k$ -subset $B^{\prime}$ of $B$ is a $d$ -short strong $k$ -block in $G$ .

Proof 4.3.

Let $\upsilon=\upsilon(d,k)=\Upsilon(d+1,k,\binom{k}{2})$ , where $\Upsilon(\cdot,\cdot,\cdot)$ is as in Lemma 3.2. Let $B_{0}$ be a $d$ -short $\upsilon$ -block in $G$ , and let $B\subseteq B_{0}$ with $|B|=k$ . It follows that for every $2$ -subset $\{x,y\}$ of $B$ , there is a collection $\mathcal{P}_{\{x,y\}}$ of $\upsilon$ pairwise internally disjoint paths in $G$ , each of length at most $d$ . Let $\mathcal{B}_{\{x,y\}}=\{(P,P^{*}):P\in\mathcal{P}_{\{x,y\}}\}$ . Then $\mathcal{B}_{\{x,y\}}$ is a collection of $\upsilon$ pairwise disjoint $(d+1)$ -pairs over $V(G)$ . Thus, the choice of $\upsilon$ allows for an application of Lemma 3.2 to the collections $\{\mathcal{B}_{\{x,y\}}:\{x,y\}\in\binom{B}{2}\}$ . We deduce that for every $\{x,y\}\in\binom{B}{2}$ , there exists $\mathcal{Q}_{\{x,y\}}\subseteq\mathcal{P}_{\{x,y\}}$ with $|\mathcal{Q}_{\{x,y\}}|\geq k$ , such that for all distinct $\{x,y\},\{x^{\prime},y^{\prime}\}\in\binom{B}{2}$ , the collections $\mathcal{B}^{\prime}_{\{x,y\}}=\{(P,P^{*}):P\in\mathcal{Q}_{\{x,y\}}\}\subseteq\mathcal{B}_{\{x,y\}}$ and $\mathcal{B}^{\prime}_{\{x^{\prime},y^{\prime}\}}=\{(P,P^{*}):P\in\mathcal{Q}_{\{x^{\prime},y^{\prime}\}}\}\subseteq\mathcal{B}_{\{x^{\prime},y^{\prime}\}}$ satisfy the outcomes of Lemma 3.2. In particular, for all distinct $\{x,y\},\{x^{\prime},y^{\prime}\}\in\binom{B}{2}$ , it follows from Lemma 3.2 a that for every $P\in\mathcal{Q}_{\{x,y\}}$ and every $P^{\prime}\in\mathcal{Q}_{\{x^{\prime},y^{\prime}\}}$ , we have $P^{*}\cap P^{\prime}=\emptyset$ . Equivalently, we have $V(\mathcal{Q}^{*}_{\{x,y\}})\cap V(\mathcal{Q}_{\{x^{\prime},y^{\prime}\}})=\emptyset$ . Hence, $B$ is a $d$ -short strong $k$ -block in $G$ with respect to $\{\mathcal{Q}_{\{x,y\}}:\{x,y\}\in\binom{B}{2}\}\}$ . This completes the proof of Theorem 4.2.

Recall that a subdivision of a graph $H$ is a graph $H^{\prime}$ obtained from $H$ by replacing the edges of $H$ with pairwise internally disjoint paths of non-zero lengths between the corresponding ends. Let $r\in\mathbb{N}\cup\{0\}$ . An $(\leq r)$ -subdivision of $H$ is a subdivision of $H$ in which the path replacing each edge has length at most $r+1$ . Also, a proper subdivision of $H$ is a subdivision of $H$ in which the path replacing each edge has length at least two. We need the following immediate corollary of a result of [7]:

Theorem 4.4 (Dvořák [7]).

For every graph $H$ and all $d\in\mathbb{N}\cup\{0\}$ and $t\in\mathbb{N}$ , there is a constant $m=m(H,d,t)\in\mathbb{N}$ with the following property. Let $G$ be a graph with no induced subgraph isomorphic to a subdivision of $H$ . Assume that $G$ contains a $(\leq d)$ -subdivision of $K_{m}$ as a subgraph. Then $G$ contains either $K_{t+1}$ or $K_{t,t}$ .

From Theorems 4.2 and 4.4 together, we deduce that:

Theorem 4.5.

For all $d,t\in\mathbb{N}$ , there is a constant $\eta=\eta(d,t)\in\mathbb{N}$ with the following property. Let $G$ be a $t$ -clean graph. Then there is no $d$ -short $\eta$ -block in $G$ .

Proof 4.6.

Let $m=m(W_{t\times t},d,t)\in\mathbb{N}$ be as in Theorem 4.4. We show that $\eta=\eta(d,t)=\max\{\upsilon(d,m),m\}$ satisfies the theorem, where $\upsilon(\cdot,\cdot)$ is as in Theorem 4.2. Let $G$ be a $t$ -clean graph; that is, $G$ has no induced subgraph isomorphic to a $t$ -basic obstruction, and in particular a subdivision of $W_{t\times t}$ . Suppose for a contradiction that there is a $d$ -short $\eta$ -block $B$ in $G$ . Since $|B|\geq m$ , we may choose $B^{\prime}\subseteq B$ with $|B^{\prime}|=m$ . It follows from Theorem 4.2 that $B^{\prime}$ is a $d$ -short strong $m$ -block in $G$ . For every $2$ -subset $\{x,y\}$ of $B^{\prime}$ , let $\mathcal{P}_{\{x,y\}}$ be a collection of $m\in\mathbb{N}$ pairwise internally disjoint paths in $G$ from $x$ to $y$ as in the definition of a strong $m$ -block, and fix a path $P_{\{x,y\}}\in\mathcal{P}_{\{x,y\}}$ . Now the union of the paths $P_{\{x,y\}}$ for all $\{x,y\}\in\binom{B^{\prime}}{2}$ forms a subgraph of $G$ isomorphic to a $(\leq d)$ -subdivision of $K_{m}$ . This, together with the choice of $m$ and the assumption that $G$ is $t$ -clean, violates Theorem 4.4. This contradiction completes the proof of Theorem 4.5.

5 Obtaining complete bipartite minor models

The main result of this section, Theorem 5.1, shows that $t$ -clean graphs of sufficiently large treewidth contain large complete bipartite minor models in which every “branch set” is a path, such that for every branch set $P$ on at least two vertices, each vertex in $P$ has neighbors in only a small number of branch sets in the “opposite side” of the bipartition. The exact statement of 5.1 is somewhat technical and involves a number of definitions which we give below.

Let $G$ be a graph. For $w\in\mathbb{N}$ , a $w$ -polypath in $G$ is a set $\mathcal{W}$ of $w$ pairwise disjoint paths in $G$ . Let $\mathcal{W}$ be a $w$ -polypath in $G$ . For $d\in\mathbb{N}$ , we say $\mathcal{W}$ is $d$ -loose if for every $W\in\mathcal{W}$ , each vertex $v\in W$ has neighbors (in $G$ ) in fewer than $d$ paths in $\mathcal{W}\setminus\{W\}$ (this is particular implies that a vertex of “large degree” has “most” of its neighbors on just one path; we will use this property extensively in Section 6). Also, for $w^{\prime}\in\mathbb{N}_{w}$ , we say $\mathcal{W}$ is $w^{\prime}$ -fancy if there exists $\mathcal{W}^{\prime}\subseteq\mathcal{W}$ with $|\mathcal{W}^{\prime}|=w^{\prime}$ such that for every $W^{\prime}\in\mathcal{W}^{\prime}$ and every $W\in\mathcal{W}\setminus\mathcal{W}^{\prime}$ , $W^{\prime}$ is not anticomplete to $W$ in $G$ . It follows that if $\mathcal{W}$ is a $w$ -polypath in $G$ which is $w^{\prime}$ -fancy, then $G[V(\mathcal{W})]$ has a $K_{w^{\prime},w-w^{\prime}}$ -minor (see Figure 11).

For $s,l\in\mathbb{N}$ , an $(s,l)$ -cluster in $G$ is a pair $(S,\mathcal{L})$ where $S\subseteq V(G)$ with $|S|=s$ and $\mathcal{L}$ is an $l$ -polypath in $G\setminus S$ , such that every vertex $x\in S$ has at least one neighbor in every path $L\in\mathcal{L}$ . If $l=1$ , say $\mathcal{L}=\{L\}$ , we also denote the $(s,1)$ -cluster $(S,\mathcal{L})$ by the pair $(S,L)$ . For $d\in\mathbb{N}$ , we say $(S,\mathcal{L})$ is $d$ -meager if every vertex in $V(\mathcal{L})$ has fewer than $d$ neighbors in $S$ . Again, it is easily seen that if $(S,\mathcal{L})$ is an $(s,l)$ -cluster in $G$ , then $G[S\cup V(\mathcal{L})]$ has a $K_{s,l}$ -minor (see Figure 11).

Our goal is to prove:

Theorem 5.1.

For all $c,l,s,t,w\in\mathbb{N}$ , there is a constant $\gamma=\gamma(c,l,s,t,w)\in\mathbb{N}$ with the following property. Let $G$ be a $t$ -clean graph of treewidth more than $\gamma$ . Then one of the following holds.

(a)

There exists a $t^{t}$ -meager $(s,l)$ -cluster in $G$ .
(b)

There exists a $2w$ -polypath in $G$ which is both $w$ -fancy and $(l+t^{t}s^{t^{t}})$ -loose.

The proof of Theorem 5.1 is split into a number of lemmas. To begin with, we need the following multicolor version of Ramsey’s Theorem for (uniform) hypergraphs.

Theorem 5.2 (Ramsey [13]).

For all $n,q,r\in\mathbb{N}$ , there is a constant $\rho(n,q,r)\in\mathbb{N}$ with the following property. Let $U$ be a set of cardinality at least $\rho(n,q,r)$ and let $W$ be a non-empty set of cardinality at most $r$ . Let $\Phi:\binom{U}{q}\rightarrow W$ be a map. Then there exist $i\in W$ and $Z\subseteq U$ with $|Z|=n$ such that for every $A\in\binom{Z}{q}$ , we have $\Phi(A)=i$ .

For graphs (and two colors), it is also convenient to use a quantified version of Ramsey’s classical result (recall that a stable set is a set of pairwise non-adjacent vertices).

Theorem 5.3 (Ramsey [13]).

For all $c,s\in\mathbb{N}$ , every graph $G$ on at least $s^{c}$ vertices contains either a clique of cardinality $c+1$ or a stable set of cardinality $s$ .

From Theorem 5.2, we deduce:

Lemma 5.4.

For all $l,q,s\in\mathbb{N}$ , there is a constant $\sigma=\sigma(l,q,s)\in\mathbb{N}$ with the following property. Let $G$ be a graph and let $\mathcal{P}$ be a $\sigma$ -polypath in $G$ . Then one of the following holds.

(a)

There exists an $(s,l)$ -cluster $(S,\mathcal{L})$ in $G$ such that $S\subseteq V(\mathcal{P})$ and $\mathcal{L}\subseteq\mathcal{P}$ .
(b)

There exists an $l$ -loose $q$ -polypath $\mathcal{Q}$ in $G$ with $\mathcal{Q}\subseteq\mathcal{P}$ .

Proof 5.5.

We claim that

\sigma=\sigma(l,q,s)=\rho(\max\{l+s,q\},l+1,2^{l+1})

satisfies the lemma, where $\rho(\cdot,\cdot,\cdot)$ comes from Theorem 5.2.

Assume that 5.4 a does not hold. Fix an enumeration $\mathcal{P}=\{P_{1},\ldots,P_{\sigma}\}$ of the elements of $\mathcal{P}$ . For every $(l+1)$ -subset $T=\{t_{1},\ldots,t_{l+1}\}$ of $\mathbb{N}_{\sigma}$ with $t_{1}<\cdots<t_{l+1}$ , let $\Phi(T)\subseteq\mathbb{N}_{l+1}$ be the set of all $i\in\mathbb{N}_{l+1}$ for which there exists a vertex $x_{t_{i}}\in P_{t_{i}}$ that has a neighbor in $P_{t_{j}}$ for every $j\in\mathbb{N}_{l+1}\setminus\{i\}$ . It follows that the map $\Phi:\binom{\mathbb{N}_{\sigma}}{l+1}\rightarrow 2^{\mathbb{N}_{l+1}}$ is well-defined. Therefore, by the choice of $\sigma$ , we can apply Theorem 5.2 and obtain $Z\subseteq\mathbb{N}_{\sigma}$ with $|Z|=\max\{l+s,q\}$ as well as $F\subseteq\mathbb{N}_{l+1}$ such that for every $I\in\binom{Z}{l+1}$ , we have $\Phi(I)=F$ . Now we claim that:

(7) $F$ is empty.

Suppose not. Then we may choose $f\in F\subseteq\mathbb{N}_{l+1}$ . Since $|Z|\geq l+s$ , it follows that there exist $I,J,K\subseteq Z$ with $|I|=f-1$ , $|J|=s$ and $|K|=l-f+1$ , such that $\max I<\min J$ and $\max J<\min K$ . For every $j\in J$ , define $T_{j}=I\cup\{j\}\cup K$ ; it follows that $T_{j}\in\binom{Z}{l+1}$ and $j$ is the $f^{\text{th}}$ smallest element of $T_{j}$ . In particular, for every $j\in J$ , we have $\Phi(T_{j})=F$ and so $f\in\Phi(T_{j})$ , which in turn implies that there is a vertex $x_{j}\in P_{j}$ that has a neighbor in $P_{t}$ for every $t\in T_{j}\setminus\{j\}=I\cup K$ . Let $S=\{x_{j}:j\in J\}$ and let $\mathcal{L}=\{P_{t}:t\in I\cup K\}$ . Then $|S|=s$ , $\mathcal{L}$ is an $l$ -polypath in $G\setminus S$ , and every vertex in $S$ has a neighbor in every path in $\mathcal{L}$ . But now $(S,\mathcal{L})$ is an $(s,l)$ -cluster in $G$ satisfying 5.4 a, a contradiction. This proves \eqrefst:Fisempty.

Since $|Z|\geq q$ , we may choose $Q\subseteq Z$ with $|Q|=q$ . Let $\mathcal{Q}=\{P_{i}:i\in Q\}$ . Then $\mathcal{Q}$ is a $q$ -polypath in $G$ with $\mathcal{Q}\subseteq\mathcal{P}$ , and by \eqrefst:Fisempty, $\mathcal{Q}$ is $l$ -loose. Hence, $\mathcal{Q}$ satisfies 5.4 b. This completes the proof of Lemma 5.4.

The following two lemmas have similar proofs:

Lemma 5.6.

Let $l,s,t\in\mathbb{N}$ , let $G$ be a graph and let $(S,\mathcal{L}_{0})$ be an $(s,l+t^{t}s^{t^{t}})$ -cluster in $G$ . Then one of the following holds.

(a)

$G$ contains $K_{t+1}$ or $K_{t,t}$ .
(b)

There exists $\mathcal{L}\subseteq\mathcal{L}_{0}$ with $|\mathcal{L}|=l$ such that $(S,\mathcal{L})$ is a $t^{t}$ -meager $(s,l)$ -cluster in $G$ .

Proof 5.7.

Suppose that 5.6 a does not hold. For every $L\in\mathcal{L}_{0}$ , let $t_{L}$ be the largest integer in $\mathbb{N}_{s}$ for which there exists a vertex $u_{L}\in L$ with at least $t_{L}$ neighbors in $S$ . It follows that:

(8) We have $|\{L\in\mathcal{L}_{0}:t_{L}\geq t^{t}\}|<t^{t}s^{t^{t}}$ .

Suppose not. Let $\mathcal{S}\subseteq\{L\in\mathcal{L}_{0}:t_{L}\geq t^{t}\}$ with $|\mathcal{S}|=t^{t}s^{t^{t}}$ . Then for every $L\in\mathcal{S}$ , we may choose $u_{L}\in L$ and $T_{L}\subseteq S$ such that $|T_{L}|=t^{t}$ and $u_{L}$ is complete to $T_{L}$ in $G$ . Since $|S|=s$ , it follows that there exist $T\subseteq S$ and $\mathcal{T}\subseteq\mathcal{S}$ such that $|T|=|\mathcal{T}|=t^{t}$ , and for every $L\in\mathcal{T}$ , we have $T_{L}=T$ . Let $U=\{u_{L}:L\in\mathcal{T}\}$ . Then $T$ is disjoint from and complete to $U$ in $G$ . Also, since $G$ is $K_{t+1}$ -free and $|T|=|U|=t^{t}$ , it follows from Theorem 5.3 that there are two stable sets $T^{\prime}\subseteq T$ and $U^{\prime}\subseteq U$ in $G$ with $|T^{\prime}|=|U^{\prime}|=t$ . But then $G[T^{\prime}\cup U^{\prime}]$ is isomorphic to $K_{t,t}$ , a contradiction. This proves \eqrefst:fewtL.

Now the result is immediate from \eqrefst:fewtL and the fact that $|\mathcal{L}_{0}|=l+t^{t}s^{t^{t}}$ . This completes the proof of Lemma 5.6.

Lemma 5.8.

Let $l,s,w\in\mathbb{N}$ , let $G$ be a graph and let $\mathcal{Q},\mathcal{Q}^{\prime}$ be $((s+1)^{l+1}w^{l^{2}})$ -polypaths in $G$ with $V(\mathcal{Q})\cap V(\mathcal{Q}^{\prime})=\emptyset$ . Then one of the following holds.

(a)

There exists an $(s,l)$ -cluster $(S,\mathcal{L})$ in $G$ such that either $S\subseteq V(\mathcal{Q})$ and $\mathcal{L}\subseteq\mathcal{Q}^{\prime}$ , or $S\subseteq V(\mathcal{Q}^{\prime})$ and $\mathcal{L}\subseteq\mathcal{Q}$ .
(b)

There exist $\mathcal{W}\subseteq\mathcal{Q}$ and $\mathcal{W}^{\prime}\subseteq\mathcal{Q}^{\prime}$ with $|\mathcal{W}|=|\mathcal{W}^{\prime}|=w$ such that every vertex in $V(\mathcal{W})$ has neighbors in fewer than $l$ paths in $\mathcal{W}^{\prime}$ , and every vertex in $V(\mathcal{W}^{\prime})$ has neighbors in fewer than $l$ paths in $\mathcal{W}$ .

Proof 5.9.

Suppose 5.8 a does not hold. Let $r=sw^{l}+w$ . Then we have

(s+1)^{l+1}w^{l^{2}}=(s+1)((s+1)w^{l})^{l}=s(sw^{l}+w^{l})^{l}+(s+1)^{l}w^{l^{2}}\geq sr^{l}+w\geq r.

In particular, one may choose $\mathcal{R}^{\prime}\subseteq\mathcal{Q}^{\prime}$ with $|\mathcal{R}^{\prime}|=r$ . For every $Q\in\mathcal{Q}$ , let $r_{Q}$ be the largest integer in $\mathbb{N}_{r}$ for which there exists a vertex $p_{Q}\in Q$ which has neighbors in at least $r_{Q}$ paths in $\mathcal{R}^{\prime}$ . It follows that:

(9) We have $|\{Q\in\mathcal{Q}:r_{Q}\geq l\}|<sr^{l}$ .

Suppose not. Let $\mathcal{P}\subseteq\{Q\in\mathcal{Q}:r_{Q}\geq l\}$ with $|\mathcal{P}|=sr^{l}$ . Then for every $Q\in\mathcal{P}$ , we may choose $p_{Q}\in Q$ and $\mathcal{L}_{Q}\subseteq\mathcal{R}^{\prime}$ such that $|\mathcal{L}_{Q}|=l$ and $p_{Q}$ has a neighbor in every path in $\mathcal{L}_{Q}$ . Since $|\mathcal{R}^{\prime}|=r$ , it follows that there exist $\mathcal{L}\subseteq\mathcal{R}^{\prime}$ and $\mathcal{S}\subseteq\mathcal{P}$ such that $|\mathcal{L}|=l$ , $|\mathcal{S}|=s$ , and for every $Q\in\mathcal{S}$ , we have $\mathcal{L}_{Q}=\mathcal{L}$ . Let $S=\{p_{Q}:Q\in\mathcal{S}\}$ ; so we have $|S|=s$ . But now $(S,\mathcal{L})$ is an $(s,l)$ -cluster in $G$ with $S\subseteq V(\mathcal{S})\subseteq V(\mathcal{P})\subseteq V(\mathcal{Q})$ and $\mathcal{L}\subseteq\mathcal{R}^{\prime}\subseteq\mathcal{Q}^{\prime}$ , contrary to the assumption that 5.8 a does not hold. This proves \eqrefst:polybipround1.

By \eqrefst:polybipround1 and since $|\mathcal{Q}|\geq sr^{l}+w$ , we may choose $\mathcal{W}\subseteq\mathcal{Q}$ with $|\mathcal{W}|=w$ such that every vertex in $V(\mathcal{W})$ has neighbors in fewer than $l$ paths in $\mathcal{R}^{\prime}$ .

Next, for every $R\in\mathcal{R}^{\prime}$ , let $w_{R}$ be the largest integer in $\mathbb{N}_{w}$ for which there exists a vertex $q_{R}\in R$ which has neighbors in at least $w_{R}$ paths in $\mathcal{W}$ .

(10) We have $|\{R\in\mathcal{R}^{\prime}:w_{R}\geq l\}|<sw^{l}$ .

Suppose not. Let $\mathcal{P}\subseteq\{R\in\mathcal{R}^{\prime}:w_{R}\geq l\}$ with $|\mathcal{P}|=sw^{l}$ . Then for every $R\in\mathcal{P}$ , we may choose $p_{R}\in R$ and $\mathcal{L}_{R}\subseteq\mathcal{W}$ such that $|\mathcal{L}_{R}|=l$ and $p_{R}$ has a neighbor in every path in $\mathcal{L}_{R}$ . Since $|\mathcal{W}|=w$ , it follows that there exist $\mathcal{L}\subseteq\mathcal{W}$ and $\mathcal{S}\subseteq\mathcal{P}$ such that $|\mathcal{L}|=l$ , $|\mathcal{S}|=s$ , and for every $R\in\mathcal{S}$ , we have $\mathcal{L}_{R}=\mathcal{L}$ . Let $S=\{q_{R}:R\in\mathcal{S}\}$ ; so we have $|S|=s$ . But then $(S,\mathcal{L})$ is an $(s,l)$ -cluster in $G$ with $S\subseteq V(\mathcal{S})\subseteq V(\mathcal{P})\subseteq V(\mathcal{R}^{\prime})\subseteq V(\mathcal{Q}^{\prime})$ and $\mathcal{L}\subseteq\mathcal{W}\subseteq\mathcal{Q}$ , contrary to the assumption that 5.8 a does not hold. This proves \eqrefst:polybipround2.

In view of \eqrefst:polybipround2 and since $|\mathcal{R}^{\prime}|=r=sw^{l}+w$ , we may choose $\mathcal{W}^{\prime}\subseteq\mathcal{R}^{\prime}\subseteq\mathcal{Q}^{\prime}$ with $|\mathcal{W}^{\prime}|=w$ such that every vertex in $V(\mathcal{W}^{\prime})$ has neighbors in fewer than $l$ paths in $\mathcal{W}$ . Now $\mathcal{W},\mathcal{W}^{\prime}$ satisfy 5.8 b. This completes the proof of Lemma 5.8.

The last tool we need is a recent result from [10], the statement of which requires another definition. Let $G$ be a graph and let $w\in\mathbb{N}$ . By a $w$ -web in $G$ we mean a pair $(W,\Lambda)$ where

(W1)

$W$ is a $w$ -subset of $V(G)$ ;
(W2)

$\Lambda:\binom{W}{2}\rightarrow 2^{V(G)}$ is a map such that for every $2$ -subset $\{x,y\}$ of $W$ , $\Lambda(\{x,y\})=\Lambda_{\{x,y\}}$ is a path in $G$ with ends $x,y$ ; and
(W3)

for all distinct $2$ -subsets $\{x,y\},\{x^{\prime},y^{\prime}\}$ of $W$ , we have $\Lambda_{\{x,y\}}\cap\Lambda_{\{x^{\prime},y^{\prime}\}}=\{x,y\}\cap\{x^{\prime},y^{\prime}\}$ .

It follows that $G$ has a subgraph isomorphic to a subdivision of $K_{w}$ if and only if there is a $w$ -web in $G$ . It is proved in [10] that:

Theorem 5.10 (Hajebi [10]).

For all $a,b,c,s\in\mathbb{N}$ , there is a constant $\theta=\theta(a,b,c,s)\in\mathbb{N}$ with the following property. Let $G$ be a graph and let $(W,\Lambda)$ be a $\theta$ -web in $G$ . Then one of the following holds.

(a)

There exists $A\subseteq W$ with $|A|=a$ and a collection $\mathcal{B}$ of pairwise disjoint $2$ -subsets of $W\setminus A$ with $|\mathcal{B}|=b$ such that for every $x\in A$ and every $\{y,z\}\in\mathcal{B}$ , $x$ has a neighbor in $\Lambda_{y,z}$ .
(b)

There are disjoint subsets $\mathcal{C}$ and $\mathcal{C}^{\prime}$ of $\binom{W}{2}$ with $|\mathcal{C}|=|\mathcal{C}^{\prime}|=c$ such that for every $\{x,y\}\in\mathcal{C}$ and every $\{x^{\prime},y^{\prime}\}\in\mathcal{C}^{\prime}$ , $\Lambda_{\{x,y\}}^{*}$ is not anticomplete to $\Lambda_{\{x^{\prime},y^{\prime}\}}^{*}$ in $G$ .
(c)
There exists $S\subseteq W$ with $|S|=s$ such that:
- -
  
  $S$ is a stable set in $G$ ;
- -
  
  for any three vertices $x,y,z\in S$ , $x$ is anticomplete to $\Lambda^{*}_{y,z}$ ; and
- -
  
  for all distinct $2$ -subsets $\{x,y\},\{x^{\prime},y^{\prime}\}$ of $S$ , $\Lambda^{*}_{\{x,y\}}$ is anticomplete to $\Lambda^{*}_{\{x^{\prime},y^{\prime}\}}$ .

We are now in a position to prove our main result in this section, which we restate:

Theorem 5.1.

(a)

There exists a $t^{t}$ -meager $(s,l)$ -cluster in $G$ .
(b)

There exists a $2w$ -polypath in $G$ which is both $w$ -fancy and $(l+t^{t}s^{t^{t}})$ -loose.

Proof 5.2.

Let $b=l+t^{t}s^{t^{t}}$ , let $\sigma=\sigma(b,(s+1)^{b+1}w^{b^{2}},s)$ be as in Lemma 5.4 and let $\theta=\theta(s,b,\sigma,2t^{2})$ be as in Theorem 5.10. We claim that

\gamma=\gamma(c,l,s,t,w)=\kappa(\theta,t)

satisfies the theorem, where $\kappa(\cdot,\cdot)$ is as in Theorem 4.1.

Let $G$ be a $t$ -clean graph of treewidth more than $\gamma$ . Suppose 5.1 a does not hold. This, along with the choice of $b$ , the assumption that $G$ is $t$ -clean, and Lemma 5.6, implies that:

(11) There is no $(s,b)$ -cluster in $G$ .

From the choice of $\gamma$ and Theorem 4.1, we obtain a strong $\theta$ -block $B$ in $G$ . In particular, for every $2$ -subset $\{x,y\}$ of $B$ , we may choose a path $\Lambda_{\{x,y\}}$ in $G$ from $x$ to $y$ , such that for all distinct $2$ -subsets $\{x,y\},\{x^{\prime},y^{\prime}\}$ of $B$ , we have $\Lambda_{\{x,y\}}\cap\Lambda_{\{x^{\prime},y^{\prime}\}}=\{x,y\}\cap\{x^{\prime},y^{\prime}\}$ . It follows that $(B,\Lambda)$ is a $\theta$ -web in $G$ , and so we can apply Theorem 5.10 to $(B,\Lambda)$ . Note that Theorem 5.10 a yields an $(s,b)$ -cluster in $G$ , which violates \eqrefst:nobigcluster. Also, Theorem 5.10 c implies that $G$ contains a proper subdivision of $K_{2t^{2}}$ (as an induced subgraph), which in turn contains a proper subdivision of every graph on $2t^{2}$ vertices. But this violates the assumption that $G$ is $t$ -clean because $|V(W_{t\times t})|\leq 2t^{2}$ .

We conclude that Theorem 5.10 b holds. In particular, there are two $\sigma$ -polypaths $\mathcal{C},\mathcal{C}^{\prime}$ in $G$ such that for every $L\in\mathcal{C}$ and every $L^{\prime}\in\mathcal{C}^{\prime}$ , $L$ is not anticomplete to $L^{\prime}$ in $G$ . Now, from \eqrefst:nobigcluster, the choice of $\sigma$ and Lemma 5.4, it follows that there are two $b$ -loose $((s+1)^{b+1}w^{b^{2}})$ -polypaths $\mathcal{Q}\subseteq\mathcal{C}$ and $\mathcal{Q}^{\prime}\subseteq\mathcal{C}^{\prime}$ in $G$ . Furthermore, from \eqrefst:nobigcluster and Lemma 5.8, it follows that there exist $\mathcal{W}\subseteq Q$ and $\mathcal{W}^{\prime}\subseteq Q^{\prime}$ with $|\mathcal{W}|=|\mathcal{W}^{\prime}|=w$ such that every vertex in $V(\mathcal{W})$ has neighbors in fewer than $b$ paths in $\mathcal{W}^{\prime}$ , and every vertex in $V(\mathcal{W}^{\prime})$ has neighbors in fewer than $b$ paths in $\mathcal{W}$ . But now $\mathcal{W}\cup\mathcal{W}^{\prime}$ is a $2w$ -polypath in $G$ which is both $w$ -fancy and $b$ -loose, and so 5.1 b holds. This completes the proof of Theorem 5.1.

6 Dealing with complete bipartite minor models

Here we take the penultimate step of our proof by showing that:

Theorem 6.1.

For all $c,t\in\mathbb{N}$ , there is a constant $\Gamma=\Gamma(c,t)$ such that every $t$ -clean graph $G$ of treewidth more than $\Gamma$ contains a $c$ -hassle.

From Theorem 5.1, we know that every $t$ -clean graph of sufficiently large treewidth contains, omitting the corresponding parameters, either a meager cluster or a polypath which is both loose and fancy. So it suffices to prove Theorem 6.1 separately in each of these two cases. First, we show:

Theorem 6.2.

Let $c,d\in\mathbb{N}$ and let $G$ be a graph. Assume that there is a $d$ -meager $(2cd,2c^{2}d)$ -cluster in $G$ . Then $G$ contains a $c$ -hassle.

Proof 6.3.

Let $(S,\mathcal{L})$ be a $d$ -meager $(2cd,2c^{2}d)$ -cluster in $G$ . For every path $P$ in $G[V(\mathcal{L})]$ , let $S_{P}$ be the set of all vertices in $S$ with a neighbor in $P$ . For every $L\in\mathcal{L}$ and each end $u$ of $L$ , let $L_{u}$ be the longest path in $L$ containing $u$ such that $|S_{L_{u}}|<cd$ ; then $u$ is an end of $L_{u}$ . It follows that:

(12) For every $L\in\mathcal{L}$ and every end $u$ of $L$ , we have $|L_{u}|\geq c$ .

Suppose for a contradiction that $|L_{u}|\leq c-1$ . Then since $(S,\mathcal{L})$ is $d$ -meager, it follows that $|S_{L_{u}}|<(c-1)d<|S|$ . Let $v$ be the end of $L_{u}$ other than $u$ . Since $|S_{L_{u}}|<|S|$ and every vertex in $S$ has a neighbor in $L$ , it follows that $L\setminus L_{u}\neq\emptyset$ . Let $v^{\prime}$ be the unique neighbor of $v$ in $L\setminus L_{u}$ , and let $P=u\hbox{-}L_{u}v\hbox{-}v^{\prime}$ . Then $|P|\leq c$ , and since $(S,\mathcal{L})$ is $d$ -meager, it follows that $|S_{P}|<cd$ . This violates the choice of $L_{u}$ , and proves \eqrefst:Tsmall.

From \eqrefst:Tsmall, it follows that for every $L\in\mathcal{L}$ , there are fewer than $2cd$ vertices in $S$ with a neighbor among the first or last $c$ vertices of $L$ . This, along with $|S|=2cd$ and the fact that every vertex in $S$ has a neighbor in every path in $\mathcal{L}$ , implies that for every $L\in\mathcal{L}$ , there is a vertex $x_{L}\in S$ with a neighbor in $L$ and no neighbor among the first and last $c$ vertices of $L$ . On the other hand, we have $|\mathcal{L}|=c|S|$ . Thus, there exist $x\in S$ and $\mathcal{W}\subseteq\mathcal{L}$ with $|\mathcal{W}|=c$ such that for every $L\in\mathcal{W}$ , the vertex $x$ has a neighbor in $L$ and no neighbor among the first and last $c$ vertices of $L$ . But now $\Xi=G[\{x\}\cup V(\mathcal{W})]$ is a $c$ -hassle in $G$ with neck $x$ and with $\mathcal{W}$ as its set of walks (each of which is a path in $\Xi$ ). This completes the proof of Theorem 6.2.

Handling the second outcome of Theorem 5.1 is more demanding. We prove:

Theorem 6.4.

For all $c,d,t\in\mathbb{N}$ , there is a constant $\Omega=\Omega(c,d,t)\in\mathbb{N}$ with the following property. Let $G$ be a $t$ -clean graph. Assume that there exists a $2\Omega$ -polypath in $G$ which is both $\Omega$ -fancy and $d$ -loose. Then $G$ contains a $c$ -hassle.

We need to prepare for the proof of Theorem 6.3. Let $G$ be a graph, let $x,y\in V(G)$ be distinct and non-adjacent, and let $\mathcal{P}$ be a collection of pairwise internally disjoint paths in $G$ from $x$ to $y$ . An $x$ -slash for $\mathcal{P}$ in $G$ is a path $W$ in $G\setminus\{x,y\}$ such that for every $P\in\mathcal{P}$ , the unique neighbor of $x$ in $P$ belongs to $W$ . Our first lemma says that:

Lemma 6.5.

Let $c,p,q\in\mathbb{N}$ . Let $G$ be a graph, let $x,y\in V(G)$ be distinct and non-adjacent, and let $\mathcal{P}_{0}$ be a collection of $c(p+1)q$ pairwise internally disjoint paths in $G$ from $x$ to $y$ . Let $W_{0}$ be an $x$ -slash for $\mathcal{P}_{0}$ in $G$ . Then one of the following holds.

(a)
There exists $\mathcal{P}\subseteq\mathcal{P}_{0}$ with $|\mathcal{P}|=p$ and a path $W\subseteq W_{0}$ , such that:
- •
  
  $W$ is an $x$ -slash for $\mathcal{P}$ in $G$ ; and
- •
  
  there is no path $Q$ of length at most $c+1$ in $V(\mathcal{P})\cup W$ from $x$ to $y$ .
(b)

There exists a collection $\mathcal{Q}$ of $q$ pairwise internally disjoint paths in $G$ from $x$ to $y$ , each of length at most $c+1$ .

Proof 6.6.

Let $\mathcal{C}$ be a maximal set of pairwise internally disjoint paths in $G$ from $x$ to $y$ , each of length at most $c+1$ . In particular, for every $Q\in\mathcal{C}$ , $Q^{*}$ is a path in $G$ on at most $c$ vertices.

Note that if $|\mathcal{C}|\geq q$ , then 6.5 b holds, as required. Thus, we may assume that $|\mathcal{C}|<q$ , and so $|V(\mathcal{C}^{*})|<cq$ . In particular, $W_{0}\setminus\mathcal{C}^{*}$ has at most $cq$ components, and since the paths in $\mathcal{P}_{0}$ are pairwise internally disjoint, it follows that there are at most $|V(\mathcal{C}^{*})|<cq$ paths $P$ in $\mathcal{P}_{0}$ for which $P\cap\mathcal{C}^{*}\neq\emptyset$ . This, along with the assumption that $|\mathcal{P}_{0}|=c(p+1)q$ and $W_{0}$ is an $x$ -slash for $\mathcal{P}_{0}$ in $G$ , implies that there exist $\mathcal{P}\subseteq\mathcal{P}_{0}$ with $|\mathcal{P}|=p$ and $V(\mathcal{P})\cap\mathcal{C}^{*}=\emptyset$ , as well as a component $W$ of $W_{0}\setminus\mathcal{C}^{*}\subseteq G\setminus\{x,y\}$ , such that for every $P\in\mathcal{P}$ , the unique neighbor of $x$ in $P$ belongs to $W$ . In other words, $W$ is an $x$ -slash for $\mathcal{P}$ . Moreover, we have $(V(\mathcal{P})\cup W)\cap\mathcal{C}^{*}=\emptyset$ , and so by the maximality of $\mathcal{C}$ , there is no path $Q$ of length at most $c+1$ in $V(\mathcal{P})\cup W$ from $x$ to $y$ . Now $\mathcal{P}$ and $W$ satisfy 6.5 a, as desired.

The next lemma is the main step in the proof of Theorem 6.3.

Lemma 6.7.

For all $c,q,t\in\mathbb{N}$ , there is a constant $\mu=\mu(c,q,t)\in\mathbb{N}$ with the following property. Let $G$ be a graph, let $x,y\in V(G)$ be distinct and non-adjacent, and let $\mathcal{P}_{0}$ be a collection of $\mu$ pairwise internally disjoint paths in $G$ from $x$ to $y$ . Assume that there is an $x$ -slash for $\mathcal{P}_{0}$ in $G$ . Then one of the following holds.

(a)

$G$ contains $K_{t+1}$ or $K_{t,t}$ .
(b)

$G$ contains a $c$ -hassle.
(c)

There is a collection $\mathcal{Q}$ of $q$ pairwise internally disjoint paths in $G$ from $x$ to $y$ , each of length at most $c+1$ .

Proof 6.8.

Let $b=b(c,t)=t^{t}(2c^{2}+(2ct^{t})^{t^{t}})$ . Let $\Upsilon(\cdot,\cdot,\cdot)$ be as in Lemma 3.2, and let

\Upsilon_{1}=\Upsilon(2c+2,1,c);

m=c\Upsilon_{1};

\Upsilon_{2}=\Upsilon(c,b,3);

be as in Lemma 3.2. We will show that

\mu=\mu(c,q,t)=c((c+2)m\Upsilon_{2}+1)q

satisfies the lemma. Let $G$ be a graph, let $x,y\in V(G)$ be distinct and non-adjacent, let $\mathcal{P}_{0}$ be a collection of $\mu$ pairwise internally disjoint paths in $G$ from $x$ to $y$ , and let $W_{0}$ be an $x$ -slash for $\mathcal{P}_{0}$ in $G$ .

Assume that none of the three outcomes of 6.7 hold. We apply Lemma 6.5 to $x,y,\mathcal{P}_{0}$ and $W_{0}$ . In particular, since 6.7 c is equivalent to Lemma 6.5 b, it follows from the choice of $\mu$ that:

(13) There exists $\mathcal{P}\subseteq\mathcal{P}_{0}$ with $|\mathcal{P}|=(c+2)m\Upsilon_{2}$ and a path $W\subseteq W_{0}$ such that:

•

$W$ is an $x$ -slash for $\mathcal{P}$ in $G$ ; and
•

there is no path $Q$ of length at most $c+1$ in $V(\mathcal{P})\cup W$ from $x$ to $y$ .

From now on, let $\mathcal{P}$ and $W$ be as in \eqrefst:getP&W. For every vertex $v\in N_{V(\mathcal{P})}(x)$ , we denote by $P_{v}$ the unique path in $\mathcal{P}$ for which $v$ is the unique neighbor of $x$ in $P_{v}$ . Since $W$ is an $x$ -slash for $\mathcal{P}$ , it follows that $N_{V(\mathcal{P})}(x)\subseteq W$ . Let $w_{1}$ and $w_{2}$ be the ends of $W$ . Since $|\mathcal{P}|=cm\Upsilon_{2}+2m\Upsilon_{2}$ , it follows that one may choose $3m$ pairwise disjoint $\Upsilon_{2}$ -subsets $\{U_{1,i},V_{i},U_{2,i}:i\in\mathbb{N}_{m}\}$ of $N_{V(\mathcal{P})}(x)\subseteq W$ , such that the following hold.

•
For each $i\in\mathbb{N}_{m}$ , there are $\Upsilon_{2}$ pairwise disjoint paths $\{A_{v}:v\in V_{i}\}$ in $W$ , each on $c$ vertices, such that for every $v\in V_{i}$ :
- –
  
  $A_{v}$ contains $v$ ; and
- –
  
  Traversing $W$ from $w_{1}$ to $w_{2}$ , every vertex in $U_{1,i}$ appears before every vertex in $A_{v}$ , and every vertex in $A_{v}$ appears before every vertex in $U_{2,i}$ .
In particular, traversing $W$ from $w_{1}$ to $w_{2}$ , every vertex in $U_{1,i}$ appears before every vertex in $V_{i}$ , and every vertex in $V_{i}$ appears before every vertex in $U_{2,i}$ (see Figure 12).
•

For every $i\in\mathbb{N}_{m-1}$ , traversing $W$ from $w_{1}$ to $w_{2}$ , every vertex in $U_{2,i}$ appears before every vertex in $U_{1,i+1}$ (see Figure 13).

We deduce that:

(14) For every $i\in\mathbb{N}_{m}$ , there exist $u_{1,i}\in U_{1,i}$ , $v_{i}\in V_{i}$ and $u_{2,i}\in U_{2,i}$ , for which $A_{v_{i}}$ is disjoint from $P_{u_{1,i}}\cup P_{u_{2,i}}$ and anticomplete to $(P_{u_{1,i}}\cup P_{u_{2,i}})\setminus\{x\}$ .

To see this, let

\mathcal{A}_{i}=\{(A_{v},\emptyset):v\in V_{i}\};

\mathcal{B}_{1,i}=\{(\emptyset,P_{u}^{*}):u\in U_{1,i}\};

\mathcal{B}_{2,i}=\{(\emptyset,P_{u}^{*}):u\in U_{2,i}\}.

Then $\mathcal{A}_{i},\mathcal{B}_{1,i},\mathcal{B}_{2,i}$ are three collections of pairwise disjoint $c$ -pairs over $V(G)$ , each of cardinality $\Upsilon_{2}$ . By the choice of $\Upsilon_{2}$ , we can apply Lemma 3.2 to $\mathcal{A}_{i},\mathcal{B}_{1,i},\mathcal{B}_{2,i}$ . It follows that there exist $U^{\prime}_{1,i}\subseteq U_{1,i}$ , $V^{\prime}_{i}\subseteq V_{i}$ and $U^{\prime}_{2,i}\subseteq U_{2,i}$ with $|U^{\prime}_{1,i}|=|V^{\prime}_{i}|=|U^{\prime}_{2,i}|=b$ such that the collections $\mathcal{A}^{\prime}_{i}=\{(A_{v},\emptyset):v\in V^{\prime}_{i}\}$ , $\mathcal{B}^{\prime}_{1,i}=\{(\emptyset,P_{u}^{*}):u\in U^{\prime}_{1,i}\}$ and $\mathcal{B}^{\prime}_{2,i}=\{(\emptyset,P_{u}^{*}):u\in U^{\prime}_{2,i}\}$ satisfy Lemma 3.2 a and 3.2 b. In fact, Lemma 3.2 a along with the assumption that $x,y\notin W$ , implies that for every $u_{1}\in U^{\prime}_{1,i}$ , every $v\in V^{\prime}_{i}$ and every $u_{2}\in U^{\prime}_{2,i}$ , we have $A_{v}\cap(P_{u_{1}}\cup P_{u_{2}})=\emptyset$ . It remains to show that there exist $u_{1,i}\in U^{\prime}_{1,i}$ , $v_{i}\in V^{\prime}_{i}$ and $u_{2,i}\in U^{\prime}_{2,i}$ , for which $A_{v_{i}}$ is anticomplete to $(P_{u_{1,i}}\cup P_{u_{2,i}})\setminus\{x\}$ . Suppose not. Note that for every $v\in V^{\prime}_{i}$ , since $v\in A_{v}$ is a neighbor of $x$ , it follows from the second bullet of \eqrefst:getP&W that $y$ is anticomplete to $A_{v}$ . Consequently, by Lemma 3.2 b, there exists $j\in\{1,2\}$ such that for every $v\in V_{i}$ , there exists a vertex $x_{v}\in A_{v}$ which has a neighbor in $P^{*}_{u}$ for every $u\in U^{\prime}_{j,i}$ . On the other hand, since $b\geq 2ct^{t}$ , it follows that there exists $V\subseteq V^{\prime}_{i}$ with $|V|=2ct^{t}$ . Now, let $S=\{x_{v}:v\in V\}$ and let $\mathcal{L}=\{P_{u}^{*}:u\in U^{\prime}_{j,i}\}$ . Then $(S,\mathcal{L})$ is a $(2ct^{t},b)$ -cluster in $G$ . This, combined with the choice of $b$ , Lemma 5.6, and the assumption that $G$ is $(K_{t+1},K_{t,t})$ -free, implies that there exists a $t^{t}$ -meager $(2ct^{t},2c^{2}t^{t})$ -cluster in $G$ . But then by Theorem 6.2, $G$ contains a $c$ -hassle. This violates the assumption that 6.7 b does not hold, and so proves \eqrefst:disjointantislash.

Henceforth, for each $i\in\mathbb{N}_{m}$ , let $u_{1,i}\in U_{1,i}$ , $v_{i}\in V_{i}$ and $u_{2,i}\in U_{2,i}$ be as in \eqrefst:disjointantislash. We write $A_{i}=A_{v_{i}}$ , $P_{1,i}=P_{u_{1,i}}$ and $P_{2,i}=P_{u_{2,i}}$ . Also, we denote by $a_{1,i},a_{2,i}$ the ends of $A_{i}$ , such that $W$ traverses the vertices $w_{1},a_{1,i},a_{2,i},w_{2}$ in this order. It follows that $W$ traverses the vertices $w_{1},u_{1,i},a_{1,i},a_{2,i},u_{2,i},w_{2}$ in this order, and $a_{1,i},a_{2,i}$ are the only vertices among $u_{1,i},a_{1,i},a_{2,i},u_{2,i}$ which can be the same (only if $c=1$ ).

Let $i\in\mathbb{N}_{m}$ be fixed. For each $j\in\{1,2\}$ , traversing $a_{j,i}\hbox{-}W\hbox{-}u_{j,i}$ starting at $a_{j,i}$ , let $w^{\prime}_{j,i}$ be the first vertex in $a_{j,i}\hbox{-}W\hbox{-}u_{j,i}$ with a neighbor in $P_{j,i}\setminus\{x\}$ (note that $w^{\prime}_{j,i}$ exists because $u_{j,i}$ has a neighbor in $P_{j,i}\setminus\{x\}$ ). From \eqrefst:disjointantislash, we know that $A_{i}$ is disjoint from and anticomplete to $(P_{1,i}\cup P_{2,i})\setminus\{x\}$ ; in particular, for every $j\in\{1,2\}$ , $u_{j,i}\in P_{j,i}\setminus\{x\}$ has a neighbor in the interior of $a_{j,i}\hbox{-}W\hbox{-}u_{j,i}$ . It follows that for every $j\in\{1,2\}$ , the vertex $w^{\prime}_{j,i}$ belongs to the interior of $a_{j,i}\hbox{-}W\hbox{-}u_{j,i}$ , and there is a path $R_{j,i}$ in $G$ from $w^{\prime}_{j,i}$ to $y$ whose interior is contained in $P_{j,i}^{*}$ .

For every $i\in\mathbb{N}_{m}$ and each $j\in\{1,2\}$ , let $R^{\prime}_{j,i}$ be the longest path of length at most $c+1$ in $R_{j,i}\setminus\{y\}$ containing $w^{\prime}_{j,i}$ . It follows that:

(15) For every $i\in\mathbb{N}_{m}$ and each $j\in\{1,2\}$ , we have $R^{\prime}_{j,i}\setminus\{w^{\prime}_{j,i}\}\subseteq P^{*}_{j,i}$ . Consequently, the sets $\{R^{\prime}_{1,i}\cup R^{\prime}_{2,i}:i\in\mathbb{N}_{m}\}$ are pairwise disjoint in $G$ .

Observe that by the choice of $R^{\prime}_{j,i}$ , either $R^{\prime}_{j,i}=R_{j,i}\setminus\{y\}$ , in which case \eqrefst:pathininterior follows immediately from the fact that $R_{j,i}^{*}\subseteq P_{j,i}^{*}$ , or $R^{\prime}_{j,i}$ is a path on $c+2$ vertices with $R^{\prime}_{j,i}\setminus\{w^{\prime}_{j,i}\}\subseteq P^{*}_{j,i}$ . This proves \eqrefst:pathininterior.

Now, for each $i\in\mathbb{N}_{m}$ , let $W^{\prime}_{i}=w^{\prime}_{1,i}\hbox{-}W\hbox{-}w^{\prime}_{2,i}$ , and let $W_{i}=G[R^{\prime}_{1,i}\cup W^{\prime}_{i}\cup R^{\prime}_{2,i}]$ be the walk such that traversing $W_{i}$ from $\varphi_{W_{i}}(1)$ to $\varphi_{W_{i}}(n_{W_{i}})$ , we first traverse the path $R^{\prime}_{1,i}$ starting at the end distinct from $w^{\prime}_{1,i}$ and stopping at $w^{\prime}_{1,i}$ , then we traverse the path $W^{\prime}_{i}$ from $w^{\prime}_{1,i}$ to $w^{\prime}_{2,i}$ , and then we traverse $R^{\prime}_{2,i}$ starting at $w^{\prime}_{2,i}$ (so we have $n_{W_{i}}=|R^{\prime}_{1,i}|+|W^{\prime}_{i}|+|R^{\prime}_{2,i}|-2$ ). In particular, we have $W_{i}\subseteq V(\mathcal{P}^{*})\cup W$ . We claim that:

(16) The following hold.

•

For all $i\in\mathbb{N}_{m}$ , the walk $W_{i}$ is $c$ -stretched and $x$ has a neighbor in $W_{i}$ .
•

For all $i\in\mathbb{N}_{m}$ , the vertex $x$ has no neighbors among the first and last $c$ vertices of $W_{i}$ .
•

The paths $\{W^{\prime}_{i}:i\in\mathbb{N}_{m}\}$ are pairwise disjoint.
•

The sets $\{W_{i}\setminus W^{\prime}_{i}:i\in\mathbb{N}_{m}\}$ are pairwise disjoint.

The first bullet is immediate from $|A_{i}|=c$ and the observation that both $R_{1,i}^{\prime}\hbox{-}w^{\prime}_{1,i}\hbox{-}W\hbox{-}a_{2,i}$ and $R^{\prime}_{2,i}\hbox{-}w^{\prime}_{1,i}\hbox{-}W\hbox{-}a_{1,i}$ are paths in $G$ containing $A_{i}$ . Also, the third bullet is trivial, and the fourth is immediate from \eqrefst:pathininterior. It remains to prove the second bullet. Note that by the definition of $R^{\prime}_{1,i}$ and $R^{\prime}_{2,i}$ , either $y$ has a neighbor among the first or the last $c$ vertices of $W_{i}$ , or the first $c+1$ vertices of $W_{i}$ are contained in $P^{*}_{1,i}$ , and the last $c+1$ vertices of $W_{i}$ are contained in $P^{*}_{2,i}$ . In the former case, the result follows directly from the second bullet of \eqrefst:getP&W, and in the latter case, the result follows from the fact that $x$ has exactly one neighbor in $P^{*}_{1,i}$ and exactly one neighbor in $P^{*}_{2,i}$ . This proves \eqrefst:Wi’s.

We can now finish the proof. For every $k\in\mathbb{N}_{c}$ , let

I_{k}=\{i\in\mathbb{N}_{m}:i=k\textrm{ (mod }c)\};

\mathcal{B}_{k}=\{(W_{i}\setminus W^{\prime}_{i},W^{\prime}_{i}):i\in I_{k}\}.

From the choice of $m$ and the third bullet of \eqrefst:Wi’s, it follows that $\mathcal{B}_{1},\ldots,\mathcal{B}_{c}$ are collections of pairwise disjoint $(2c+2)$ -pairs over $V(G)$ , each of cardinality $\Upsilon_{1}$ . The choice of $\Upsilon_{1}$ in turn allows for an application of Lemma 3.2 to $\mathcal{B}_{1},\ldots,\mathcal{B}_{c}$ . In particular, Lemma 3.2 a implies that for every $k\in\mathbb{N}_{c}$ , there exists $i_{k}\in I_{k}$ such that $W_{i_{k}}\setminus W^{\prime}_{i_{k}}$ and $W_{i_{l}}$ are disjoint for all distinct $k,l\in\mathbb{N}_{c}$ . This, combined with the third and the fourth bullet of \eqrefst:Wi’s, implies that $W_{i_{1}},\ldots,W_{i_{c}}$ are pairwise disjoint. But now by the first two bullets of \eqrefst:Wi’s, the subgraph of $G$ induced on $\{x\}\cup W_{i_{1}}\cup\cdots\cup W_{i_{c}}$ is a $c$ -hassle with neck $x$ and walks $W_{i_{1}},\ldots,W_{i_{c}}$ , contradicting the assumption that 6.7 b does not hold. This completes the proof of Lemma 6.7.

From Lemma 6.7, we deduce the following:

Lemma 6.9.

For all $c,d,q,t\in\mathbb{N}$ , there is a constant $\zeta=\zeta(c,d,q,t)\in\mathbb{N}$ with the following property. Let $G$ be a graph and let $\mathcal{W}$ be a $d$ -loose polypath in $G$ . Let $x,y\in V(\mathcal{W})$ be distinct and non-adjacent, and let $\mathcal{P}$ be a collection of $\zeta$ pairwise internally disjoint paths in $G$ from $x$ to $y$ with $V(\mathcal{P})\subseteq V(\mathcal{W})$ . Then one of the following holds.

(a)

$G$ contains $K_{t+1}$ or $K_{t,t}$ .
(b)

$G$ contains a $c$ -hassle.
(c)

There exists a collection $\mathcal{Q}$ of $q$ pairwise internally disjoint paths in $G$ from $x$ to $y$ , each of length at most $c+1$ .

Proof 6.10.

Let $\mu=\mu(c,q,t)\in\mathbb{N}$ be as in Lemma 6.7. We show that

\zeta(c,d,q,t)=2d\mu

satisfies the lemma. Let $W\in\mathcal{W}$ such that $x\in W$ . Then $x$ has at most two neighbors in $W$ . Also, since $\mathcal{W}$ is $d$ -loose, it follows that $x$ has neighbors in at most $d-1$ paths in $\mathcal{W}\setminus\{W\}$ . This, along with the fact that $|\mathcal{P}|=\zeta\geq 2(d-1)\mu+2$ , implies that there exists $\mathcal{P}_{1}\subseteq\mathcal{P}$ with $|\mathcal{P}_{1}|=2\mu$ and a path $W_{1}\in\mathcal{W}\setminus\{W\}$ , such that for every $P\in\mathcal{P}_{1}$ , the unique neighbor of $x$ in $P$ belongs to $W_{1}$ . In particular, we have $x\notin W_{1}$ because $W,W_{1}\in\mathcal{W}$ are distinct (hence disjoint) and $x\in W$ . Since $W_{1}\setminus\{y\}$ has one or two components (depending on whether $y\in W^{*}_{1}$ or not), it follows that there exist $\mathcal{P}_{0}\subseteq\mathcal{P}_{1}$ with $|\mathcal{P}_{0}|=\mu$ as well as a component $W_{0}$ of $W_{1}\setminus\{y\}$ , such that for every $P\in\mathcal{P}_{0}$ , the unique neighbor of $x$ in $P$ belongs to $W_{0}$ . Therefore, $\mathcal{P}_{0}$ is a collection of $\mu$ pairwise internally disjoint paths in $G$ from $x$ to $y$ , and $W_{0}$ is an $x$ -slash for $\mathcal{P}_{0}$ in $G$ . Now the result follows from Lemma 6.7 applied to $\mathcal{P}_{0}$ .

We can now restate and prove Theorem 6.3:

Theorem 6.3.

Proof 6.4.

Let $\eta=\eta(c+1,t)$ be as in Theorem 4.5. Let $\zeta=\zeta(c,d,\eta,t)$ be as in Lemma 6.9. We define

\Omega=\Omega(c,d,t)=\kappa(\max\{t^{\eta},\zeta\},t)+1,

where $\kappa(\cdot,\cdot)$ is as in Theorem 4.1. Let $G$ be a $t$ -clean graph and let $\mathcal{W}$ be a $2\Omega$ -polypath in $G$ which is both $\Omega$ -fancy and $d$ -loose. Suppose for a contradiction that $G$ does not contain a $c$ -hassle.

Let $H=G[V(\mathcal{W})]$ . Then $H$ is a $t$ -clean graph which has a $K_{\Omega,\Omega}$ -minor. It follows that $H$ has treewidth at least $\Omega$ , which along with Theorem 4.1 implies that there is a strong $\max\{t^{\eta},\zeta\}$ -block in $G$ . In particular, we may choose a $t^{\eta}$ -subset $B$ of $V(H)$ such that for every $2$ -subset $\{x,y\}$ of $B$ , there exists a collection $\mathcal{P}_{\{x,y\}}$ of $\zeta$ pairwise internally disjoint paths in $H$ from $x$ to $y$ . Since $|B|=t^{\eta}$ and since $G$ is $K_{t+1}$ -free, it follows from Theorem 5.3 that there exists a stable set $A\subseteq B$ in $H$ of cardinality $\eta$ .

Now, fix a $2$ -subset $\{x,y\}$ of $A$ . Then $x,y$ are non-adjacent in $G$ , and so by the choice of $\zeta$ , we can apply Lemma 6.9 to $\mathcal{W}$ and $\mathcal{P}_{\{x,y\}}$ . Note that Lemma 6.9 a violates the assumption that $G$ is $t$ -clean, and Lemma 6.9 b violates the assumption that $G$ contains no $c$ -hassle. Thus, Lemma 6.9 c holds, that is, there exists a collection $\mathcal{Q}_{\{x,y\}}$ of $\eta$ pairwise internally disjoint paths in $G$ from $x$ to $y$ , each of length at most $c+1$ . But now $A$ is a $(c+1)$ -short (not necessarily strong) $\eta$ -block in $G$ . Combined with the choice of $\eta$ and Theorem 4.5, this violates the assumption that $G$ is $t$ -clean, hence completing the proof of Theorem 6.3.

Combining Theorem 5.1, 6.2 and 6.3, we deduce Theorem 6.1, restated below.

Theorem 6.1.

For all $c,t\in\mathbb{N}$ , there is a constant $\Gamma=\Gamma(c,t)$ such that every $t$ -clean graph $G$ of treewidth more than $\Gamma$ contains a $c$ -hassle.

Proof 6.2.

Let $l=2c^{2}t^{t}$ and let $s=2ct^{t}$ . Let $\Omega=\Omega(c,l+t^{t}s^{t^{t}},t)$ be as in Theorem 6.3. Let

\Gamma=\Gamma(c,t)=\gamma(c,l,s,t,\Omega);

where $\gamma(\cdot,\cdot,\cdot,\cdot,\cdot)$ is as in Theorem 5.1. Let $G$ be a $t$ -clean graph of treewidth more than $\Gamma$ . It follows from Theorem 5.1 that either there exists a $t^{t}$ -meager $(s,l)$ -cluster in $G$ , or there is $2\Omega$ -polypath in $G$ which is both $\Omega$ -fancy and $(l+t^{t}s^{t^{t}})$ -loose. In the former case, by Theorem 6.2, $G$ contains a $c$ -hassle. Also, in the latter case, the choice of $\Omega$ along with Theorem 6.3 implies that $G$ contains a $c$ -hassle. This completes the proof of Theorem 6.1.

7 Part assembly

Finally, let us bring everything together and prove Theorem 1.8. First, from Theorem 6.1, we deduce that:

Theorem 7.1.

Let $\mathcal{H}$ be a finite set of graphs which is hassled. Then the class of all $\mathcal{H}$ -free graphs is clean.

Proof 7.2.

Let $\mathcal{H}$ be a finite set of graphs which is hassled. In order to show that the class of all $\mathcal{H}$ -free graphs is clean, it is enough to prove, for every $t\in\mathbb{N}$ , that there is a constant $\ell=\ell(t,\mathcal{H})\in\mathbb{N}$ such that every $t$ -clean graph of treewidth more that $\ell$ contains some graph $H\in\mathcal{H}$ .

We begin with setting the value of $\ell$ . Since $\mathcal{H}$ is hassled, it follows that for every $t\in\mathbb{N}$ , there is a constant $c=c(t,\mathcal{H})\in\mathbb{N}$ such that every $(K_{t+1},K_{t,t})$ -free $c$ -hassle contains all components of some graph in $\mathcal{H}$ . Let $\Gamma=\Gamma(c,t)$ be as in Theorem 6.1, and let $\Delta=\Delta(||\mathcal{H}||,||\mathcal{H}||,t)$ be as in Lemma 2.6. Define

\ell=\ell(t,\mathcal{H})=||\mathcal{H}||^{2}\Delta+\Gamma.

Let $G$ be a $t$ -clean graph of treewidth more than $\ell$ . Since $\ell\geq\Gamma$ , by Theorem 6.1, there is an induced subgraph $\Xi$ of $G$ which is a $c$ -hassle. This, combined with the assumption that $\mathcal{H}$ is hassled and $G$ is $(K_{t+1},K_{t,t})$ -free, implies that there exists $W\subseteq V(\Xi)\subseteq V(G)$ with $|W|\leq||\mathcal{H}||$ such that $G[W]$ contains all components of some graph in $\mathcal{H}$ .

Let $m\in\mathbb{N}$ be maximum such that there are $m$ pairwise disjoint subsets $W_{1},\ldots,W_{m}$ of $V(G)$ , each of cardinality at most $||\mathcal{H}||$ , such that for every $i\in\mathbb{N}_{m}$ there exists $H\in\mathcal{H}$ such that $W_{i}$ contains every component of $H$ . We claim that:

(17) $m\geq||\mathcal{H}||\Delta$ .

Suppose not. Let $G^{\prime}=G\setminus(W_{1}\cup\cdots\cup W_{m})$ . Then we have $\tw(G^{\prime})\geq\tw(G)-m||\mathcal{H}||>\tw(G)-||\mathcal{H}||^{2}\Delta>\Gamma$ . Thus, by Theorem 6.1, there is an induced subgraph $\Xi^{\prime}$ of $G^{\prime}$ which is a $c$ -hassle. Since $\mathcal{H}$ is hassled and $G$ is $(K_{t},K_{t,t})$ -free, it follows that there exists $W^{\prime}\subseteq V(\Xi^{\prime})\subseteq V(G^{\prime})$ with $|W^{\prime}|\leq||\mathcal{H}||$ and $H\in\mathcal{H}$ such that $W^{\prime}$ contains every component of $H$ . But this violates the maximality of $m$ , and so proves \eqrefst:manycopies.

By \eqrefst:manycopies, we can choose pairwise disjoint subsets $W_{1},\ldots,W_{||\mathcal{H}||\Delta}$ of $V(G)$ , each of cardinality at most $||\mathcal{H}||$ , such that for every $i\in\mathbb{N}_{||\mathcal{H}||\Delta}$ , there exists $H_{i}\in\mathcal{H}$ such that $W_{i}$ contains every component of $H_{i}$ . Since $|\mathcal{H}|\leq||\mathcal{H}||$ , it follows that there exists a graph $H\in\mathcal{H}$ , as well as $I\subseteq\mathbb{N}_{||\mathcal{H}||\Delta}$ with $|I|=\Delta$ , such that for every $i\in I$ , we have $H_{i}=H$ . Also, since $G$ is $(K_{t},K_{t,t})$ -free, from the choice of $\Delta$ , it follows that there exist $i_{1},\ldots,i_{||\mathcal{H}||}\in I$ such that $W_{i_{1}},\ldots,W_{i_{||\mathcal{H}||}}$ are pairwise anticomplete in $G$ .

Let $K_{1},\ldots,K_{h}$ be the components of $H$ . Then $h\leq||\mathcal{H}||$ , and for every $j\in\mathbb{N}_{h}$ , there exists $X_{j}\subseteq W_{i_{j}}$ such that $G[X_{j}]$ is isomorphic to $K_{j}$ . Now $G[X_{1}\cup\cdots\cup X_{h}]$ is isomorphic to $H$ , as desired.

Now Theorem 1.8 is immediate from Theorems 2.1 and 7.1.

8 Connection to unavoidable binary strings

We conclude the paper with a brief discussion around explicit constructions of tasselled families. There is one particularly nice example of a tasselled family, described in the following corollary of Theorem 1.6 (we omit the proof as it is straightforward).

Corollary 8.1.

Given $a,b\in\mathbb{N}$ , let $\mathcal{H}_{a,b}$ be the set of all strands $F$ such that the path of $F$ has vertices $v_{1},\dots,v_{a+b+1}$ in this order, and the neck $x$ of $F$ is non-adjacent to $v_{1},\dots,v_{a}$ and adjacent to $v_{a+1}$ . (Thus, $\mathcal{H}_{a,b}$ contains $2^{b}$ distinct graphs, corresponding to all possible ways for $x$ to be adjacent to $v_{a+2},\dots,v_{a+b+1}$ .) Then $\mathcal{H}_{a,b}$ is tasselled.

While a full description of all tasselled families remains unknown, a promising approach is to attempt to model the “tasselled” property word-combinatorially, and then use results from the literature on formal languages in order to gain insight into the graph problem.

One way to view a strand $F$ is as a binary string denoting neighbors of the neck in the path. More explicitly, for a strand $F$ with neck $v$ and path $P$ , if $p_{1},\ldots,p_{t}$ are the vertices of $P$ in order, then we can define the binary string $S_{P,v}=b_{1}\dots b_{t}$ where $b_{i}=1$ if $p_{i}\in N(v)$ , and $b_{i}=0$ otherwise (note that the string $S_{P,v}$ is uniquely defined up to reversal). Moreover, every strand $F$ of a $c$ -tassel with neck $v$ corresponds to a binary string (again, unique up to reversal) which starts and ends with at least $c$ zeroes, but which is not an all-zero string; let us say such a string is $c$ -padded.

For a graph $K$ , we say a vertex $v\in V(K)$ is a neck for $K$ if every component of $K\setminus\{v\}$ is a path, and we denote by $\mathcal{S}_{K,v}$ the set of all strings $S_{P,v}$ where $P$ is a component of $K\setminus\{v\}$ . It is easy to see that:

Theorem 8.2.

Let $\mathcal{H}$ be a set of graphs. Then $\mathcal{H}$ is tasselled if and only if there exists $c$ such that, for every $c$ -padded string $S$ , there is a graph $H\in\mathcal{H}$ with the following property. For every component $K$ of $H$ , one may choose a neck $v$ of $K$ such that for every string $S^{\prime}\in\mathcal{S}_{K,v}$ , the string $S$ contains either $S^{\prime}$ or its reverse as a consecutive substring.

There is an interesting special case of this where every graph in $\mathcal{H}$ is a $c^{\prime}$ -tassel for some $c^{\prime}\in\mathbb{N}$ . Note that in this case, every $H\in\mathcal{H}$ is connected and the set $\mathcal{S}_{H,v}$ has cardinality one for each neck $v$ of $H$ . So the question of whether $\mathcal{H}$ is tasselled translates into:

Question 8.3.

For which sets $\mathcal{S}$ of strings is it true that there is a constant $c=c(\mathcal{S})\in\mathbb{N}$ such that every $c$ -padded string $S$ contains either a string in $\mathcal{S}$ or the reverse of a string in $\mathcal{S}$ as a consecutive substring?

If the above holds for some fixed $c$ , let us call such a set $\mathcal{S}$ a $c$ -unavoidable language. In view of our aim, it is of particular interest to identify the minimal $c$ -unavoidable languages (with respect to the inclusion). In particular, the only sets of cardinality one which are $c$ -unavoidable for some $c\in\mathbb{N}$ are of the form $\mathcal{S}=\{0\cdots 01\}$ (up to reversal) and $\mathcal{S}=\{0\cdots 0\}$ , and one may observe that this matches the outcome of Theorem 1.5. However, in general, larger $c$ -unavoidable languages seem harder to describe; for example, the following is $3$ -unavoidable:

\{00011,0001000,1010,010010,111,110011,11011,110010011,00010011001000\}.

On the other hand, for a finite set $\mathcal{S}$ of strings, it is finitely testable if $\mathcal{S}$ is $c$ -unavoidable for some $c\in\mathbb{N}$ . To see this, note that if there is a $c$ -padded string $S$ which does not contain any string in $\mathcal{S}$ nor the reversal of a string in $\mathcal{S}$ , then, assuming $s$ to be the length of the longest string in $\mathcal{S}$ , one may choose $S$ such that $c\leq s$ and $S$ has length at most $(s+2)2^{s}$ (which follows by noticing that a repetition of a consecutive substring of length $s$ in $S$ not containing the first or last $c$ bits can be used to shorten $S$ ).

The following, closely related question, has been studied before:

Question 8.4.

For which sets $\mathcal{S}$ of strings is it true that every sufficiently long string contains a string in $\mathcal{S}$ as a consecutive substring?

These sets $\mathcal{S}$ are called unavoidable languages (see, for example [15, 16]). In particular, in [4, 5] it is shown that every minimal unavoidable language is finite. This is not the case for $c$ -unavoidable languages; for example, $\mathcal{S}=\{01^{k}0:k\in\mathbb{N}\}$ is $1$ -unavoidable. However, if we omit the string $01^{k}0$ for some $k\in\mathbb{N}$ , then $0\dots 01^{k}0\dots 0$ avoids $\mathcal{S}$ . It would be interesting to consider which results on unavoidable languages generalize to $c$ -unavoidable languages.

References

[1] Tara Abrishami, Bogdan Alecu, Maria Chudnovsky, Sepehr Hajebi, and Sophie Spirkl. Induced subgraphs and tree decompositions VII. Basic obstructions in $H$ -free graphs. J. Combin. Theory Ser. B, 164:443–472, 2024.
[2] Bogdan Alecu, Maria Chudnovsky, Sepehr Hajebi, and Sophie Spirkl. Induced subgraphs and tree decompositions XII. Grid theorem for pinched graphs. arXiv:2309.12227, 2023.
[3] Marthe Bonamy, Édouard Bonnet, Hugues Déprés, Louis Esperet, Colin Geniet, Claire Hilaire, Stéphan Thomassé, and Alexandra Wesolek. Sparse graphs with bounded induced cycle packing number have logarithmic treewidth. J. Combin. Theory Ser. B, 167:215–249, 2024.
[4] W. Bucher, A. Ehrenfeucht, and D. Haussler. On total regulators generated by derivation relations. Theoret. Comput. Sci., 40(2-3):131–148, 1985.
[5] Christian Choffrut and Karel Culik, II. On extendibility of unavoidable sets. In STACS 84 (Paris, 1984), volume 166 of Lecture Notes in Comput. Sci., pages 326–338. Springer, Berlin, 1984.
[6] James Davies. Appeared in an Oberwolfach technical report, DOI:10.4171/OWR/2022/1.
[7] Zdeněk Dvořák. Induced subdivisions and bounded expansion. European J. Combin., 69:143–148, 2018.
[8] Martin Charles Golumbic. Algorithmic graph theory and perfect graphs, volume 57 of Annals of Discrete Mathematics. Elsevier Science B.V., Amsterdam, second edition, 2004. With a foreword by Claude Berge.
[9] Ronald L. Graham, Bruce L. Rothschild, and Joel H. Spencer. Ramsey theory. Wiley Series in Discrete Mathematics and Optimization. John Wiley & Sons, Inc., Hoboken, NJ, paperback edition, 2013.
[10] Sepehr Hajebi. Induced subdivisions with pinned branch vertices. European J. Combin., 124:Paper No. 104072, 2025.
[11] Vadim Lozin and Igor Razgon. Tree-width dichotomy. European J. Combin., 103:Paper No. 103517, 8, 2022.
[12] Andrei Cosmin Pohoata. Unavoidable induced subgraphs of large graphs. Senior thesis, Princeton University, 2014.
[13] F. P. Ramsey. On a Problem of Formal Logic. Proc. London Math. Soc. (2), 30(4):264–286, 1929.
[14] Neil Robertson and Paul Seymour. Graph minors. V. Excluding a planar graph. J. Combin. Theory Ser. B , 41(1):92–114, 1986.
[15] L. Rosaz. Unavoidable languages, cuts and innocent sets of words. RAIRO Inform. Théor. Appl., 29(5):339–382, 1995.
[16] Laurent Rosaz. Inventories of unavoidable languages and the word-extension conjecture. Theoret. Comput. Sci., 201(1-2):151–170, 1998.
[17] Ni Luh Dewi Sintiari and Nicolas Trotignon. (Theta, triangle)-free and (even hole, $K_{4}$ )-free graphs—part 1: Layered wheels. J. Graph Theory, 97(4):475–509, 2021.

{aicauthors}{authorinfo}

[balec] Bogdan Alecu
School of Computing, University of Leeds
Leeds, UK {authorinfo}[mchud] Maria Chudnovsky
Princeton University
Princeton, New Jersey, USA {authorinfo}[laci] Sepehr Hajebi
Department of Combinatorics and Optimization, University of Waterloo
Waterloo, Ontario, Canada {authorinfo}[andy] Sophie Spirkl
Department of Combinatorics and Optimization, University of Waterloo
Waterloo, Ontario, Canada

Induced subgraphs and tree decompositions XIII. Basic obstructions in ℋ\mathcal{H}-free graphs for finite ℋ\mathcal{H}

Abstract

1 Introduction

Theorem 1.1 (Robertson and Seymour [14])

Theorem 1.2 (Pohoata [12], Davies [6]; see also Theorem 3.1 in [2])

Observation 1.3

Theorem 1.4

Theorem 1.5 (Abrishami, Alecu, Chudnovsky, Hajebi and Spirkl [1])

1.1 Tassels and tasselled families

Theorem 1.6

Proof 1.7.

Theorem 1.8.

Corollary 1.9.

1.2 Outline

2 Hassled families

Theorem 2.1.

Lemma 2.2.

Proof 2.3.

Lemma 2.4.

Proof 2.5.

Lemma 2.6 (See Lemma 2 in [11]).

Theorem 2.1.

Proof 2.2.

3 A lemma about pairs of sets of vertices

Theorem 3.1 (Graham, Rothschild and Spencer [9]).

Lemma 3.2.

Proof 3.3.

4 Blocks

Theorem 4.1 (Abrishami, Alecu, Chudnovsky, Hajebi and Spirkl [1]).

Theorem 4.2.

Proof 4.3.

Theorem 4.4 (Dvořák [7]).

Theorem 4.5.

Proof 4.6.

5 Obtaining complete bipartite minor models

Theorem 5.1.

Theorem 5.2 (Ramsey [13]).

Theorem 5.3 (Ramsey [13]).

Lemma 5.4.

Proof 5.5.

Lemma 5.6.

Proof 5.7.

Lemma 5.8.

Proof 5.9.

Theorem 5.10 (Hajebi [10]).

Theorem 5.1.

Proof 5.2.

6 Dealing with complete bipartite minor models

Theorem 6.1.

Theorem 6.2.

Proof 6.3.

Theorem 6.4.

Lemma 6.5.

Proof 6.6.

Lemma 6.7.

Proof 6.8.

Lemma 6.9.

Proof 6.10.

Theorem 6.3.

Proof 6.4.

Theorem 6.1.

Proof 6.2.

7 Part assembly

Theorem 7.1.

Proof 7.2.

8 Connection to unavoidable binary strings

Corollary 8.1.

Theorem 8.2.

Question 8.3.

Question 8.4.

References

Induced subgraphs and tree decompositions
XIII. Basic obstructions in $\mathcal{H}$ -free graphs for finite $\mathcal{H}$