Treewidth versus clique number. IV. Tree-independence number of graphs excluding an induced star

Clément Dallard Department of Informatics, University of Fribourg, Switzerland Matjaž Krnc FAMNIT and IAM, University of Primorska, Koper, Slovenia Faculty of Information Studies, Novo mesto, Slovenia O-joung Kwon Department of Mathematics, Hanyang University, Seoul, South Korea Discrete Mathematics Group, Institute for Basic Science, Daejeon, South Korea Martin Milanič FAMNIT and IAM, University of Primorska, Koper, Slovenia Andrea Munaro Department of Mathematical, Physical and Computer Sciences, University of Parma, Italy Kenny Štorgel FAMNIT and IAM, University of Primorska, Koper, Slovenia Faculty of Information Studies, Novo mesto, Slovenia Sebastian Wiederrecht Discrete Mathematics Group, Institute for Basic Science, Daejeon, South Korea

Abstract

Many recent works address the question of characterizing induced obstructions to bounded treewidth. In 2022, Lozin and Razgon completely answered this question for graph classes defined by finitely many forbidden induced subgraphs. Their result also implies a characterization of graph classes defined by finitely many forbidden induced subgraphs that are $(\mathsf{tw},\omega)$ -bounded, that is, treewidth can only be large due to the presence of a large clique. This condition is known to be satisfied for any graph class with bounded tree-independence number, a graph parameter introduced independently by Yolov in 2018 and by Dallard, Milanič, and Štorgel in 2024. Dallard et al. conjectured that $(\mathsf{tw},\omega)$ -boundedness is actually equivalent to bounded tree-independence number. We address this conjecture in the context of graph classes defined by finitely many forbidden induced subgraphs and prove it for the case of graph classes excluding an induced star. We also prove it for subclasses of the class of line graphs, determine the exact values of the tree-independence numbers of line graphs of complete graphs and line graphs of complete bipartite graphs, and characterize the tree-independence number of $P_{4}$ -free graphs, which implies a linear-time algorithm for its computation. Applying the algorithmic framework provided in a previous paper of the series leads to polynomial-time algorithms for the Maximum Weight Independent Set problem in an infinite family of graph classes.

Keywords: tree-independence number, tree decomposition, treewidth, hereditary graph class, line graph, $P_{4}$ -free graph, cograph

MSC Classes (2020): 05C75, 05C76, 05C85

⁰⁰footnotetext: Emails: [email protected], [email protected], [email protected], [email protected], [email protected], [email protected], [email protected].

1 Introduction

1.1 Background

Treewidth is a well-studied and important graph parameter. Besides playing a crucial role in Graph Minor Theory by Robertson and Seymour (see, e.g., [51]), it is also of significant algorithmic importance. In particular, Courcelle’s theorem [33] asserts that in any class of graphs with bounded treewidth, any decision problem expressible in $\mathsf{MSO}_{2}$ logic can be solved in linear time.¹¹1The result assumes that the graph is equipped with a tree decomposition of bounded width. As shown by Bodlaender [20], such a tree decomposition can be computed in linear time. An extension of this result to optimization problems was given by Arnborg, Lagergren, and Seese [14]. While these metatheorems are very general with respect to the problem space, their applicability with respect to graph classes is limited to classes of graphs that are sparse, in the sense that they can only have a linear number of edges. For example, while complete graphs have arguably a very simple structure, they have unbounded treewidth, hence, they are not captured by Courcelle’s theorem.

There have been several ways to address this issue in the literature. Numerous graph width parameters generalizing treewidth were proposed that can also capture dense graph classes. This includes clique-width [35] (and closely related parameters rank-width [64] and Boolean-width [28, 29]), mim-width [69], sim-width [47], and twin-width [24]. Each of these width parameters has some useful algorithmic features, which in some cases include metatheorems for problems expressible in certain logics weaker than $\mathsf{MSO}_{2}$ (see [17, 24, 16, 29, 34]). A different approach, inherently related to treewidth, was recently proposed by Dallard, Milanič, and Štorgel [38] who initiated a systematic study of $(\mathsf{tw},\omega)$ -bounded graph classes, that is, graph classes in which the treewidth can only be large due to the presence of a large clique. More precisely, a graph class is said to be $(\mathsf{tw},\omega)$ -bounded if it admits a $(\mathsf{tw},\omega)$ -binding function, that is, a function $f$ such that for every graph $G$ in the class and every induced subgraph $H$ of $G$ , the treewidth of $H$ is at most $f(\omega(H))$ , where $\omega(H)$ denotes the clique number of $H$ . Interestingly, this purely structural restriction, even when imposed only on the graphs in the class (and not necessarily for their induced subgraphs), already implies some good algorithmic properties, such as linear-time fixed-parameter tractable algorithms for the $k$ -Clique and List $k$ -Coloring problems (see [30]), as long as the function $f$ is computable; in some cases, it also leads to improved approximations for the Maximum Clique problem (see [38]).

The full extent of algorithmic potential of $(\mathsf{tw},\omega)$ -boundedness is not yet understood. Yolov [70] and Dallard et al. [39] independently introduced a graph width parameter that, when bounded, implies $(\mathsf{tw},\omega)$ -boundedness as well as polynomial-time solvability of several problems related to independent sets. This parameter is called tree-independence number and is denoted by $\mathsf{tree}\textnormal{-}\alpha(G)$ .²²2Yolov called it $\alpha$ -treewidth in [70]. It is defined similarly as treewidth, via tree decompositions, except that the measure of quality of a tree decomposition is changed; instead of measuring the maximum cardinality of a bag, what matters is the independence number of the decomposition, defined as the maximum cardinality of an independent set contained in a bag. For problems related to independent sets, this measure allows for the development of polynomial-time dynamic programming algorithms (see [70, 39]). If, for a fixed $k$ , a graph $G$ with $\mathsf{tree}\textnormal{-}\alpha(G)\leq k$ is given without a corresponding tree decomposition, then one can compute in polynomial time a tree decomposition of $G$ with independence number at most $8k$ (see [36]). A metatheorem due to Milanič and Rzążewski [58] shows that, for any class of graphs with bounded tree-independence number and any fixed $\mathsf{CMSO}_{2}$ property, the problem of finding a maximum-weight induced subgraph with bounded chromatic number and satisfying the property is solvable in polynomial time. Besides Maximum Weight Independent Set, this framework also captures the problems of computing a maximum-weight induced matching, a maximum-weight induced forest, a maximum-weight planar induced subgraph, and many others.

In summary, boundedness of tree-independence number gives a sufficient condition for Maximum Independent Set and many other problems to be solvable in polynomial time in a $(\mathsf{tw},\omega)$ -bounded graph class. It is not yet known how restrictive boundedness of tree-independence number is compared to $(\mathsf{tw},\omega)$ -boundedness. In fact, Dallard et al. conjectured that bounded tree-independence number is not only sufficient for $(\mathsf{tw},\omega)$ -boundedness but also necessary.

Conjecture 1.1 (Dallard et al. [37]).

Let $\mathcal{G}$ be a hereditary graph class. Then $\mathcal{G}$ is $(\mathsf{tw},\omega)$ -bounded if and only if $\mathcal{G}$ has bounded tree-independence number.

While the conjecture is still open, the following partial results are known.

•

The conjecture holds for graph classes closed under the subgraph, topological minor, or minor relation. Indeed, it follows from Robertson and Seymour’s Grid-Minor Theorem (see [66]) that in any subgraph-closed graph class, the properties of $(\mathsf{tw},\omega)$ -boundedness, bounded tree-independence number, and bounded treewidth are equivalent (see [37, Remark 7.2]).
•

In [37], the equivalence between $(\mathsf{tw},\omega)$ -boundedness and bounded tree-independence number was established for graph classes excluding a single graph as an induced subgraph, induced topological minor, or induced minor.
•

Over a series of papers, Abrishami et al. recently studied induced obstructions to bounded treewidth (see [7, 8, 9, 5, 10, 12, 3, 2]). In particular, they showed that the class of (even hole, diamond, pyramid)-free graphs is $(\mathsf{tw},\omega)$ -bounded (see [9]). In line with the conjecture, Abrishami et al. showed in a follow-up work (see [4]) that the class of (even hole, diamond, pyramid)-free graphs has bounded tree-independence number.
•

As shown by Brettell et al. [27], the conjecture holds for classes of bounded mim-width. This follows from the fact that every $(\mathsf{tw},\omega)$ -bounded graph class is $K_{d,d}$ -free, for some $d\in\mathbb{N}$ , and that $K_{d,d}$ -free graphs of bounded mim-width have bounded tree-independence number.

1.2 Our focus

In [37] the authors asked whether Conjecture 1.1 holds when restricted to graph classes defined by finitely many forbidden induced subgraphs. This interesting variant of the conjecture can be stated rather explicitly using a result of Lozin and Razgon [54] characterizing bounded treewidth within such graph classes. The result states that a graph class defined by finitely many forbidden induced subgraphs has bounded treewidth if and only if it excludes at least one graph from each of the following four families: complete graphs, complete bipartite graphs, $\mathcal{S}$ , and $L(\mathcal{S})$ , where $\mathcal{S}$ is the family of graphs every component of which is a tree with at most three leaves, and $L(\mathcal{S})$ is the family of all line graphs of graphs in $\mathcal{S}$ .

This result immediately implies that a graph class defined by finitely many forbidden induced subgraphs is $(\mathsf{tw},\omega)$ -bounded if and only if it excludes at least one graph from each of the following three families: complete bipartite graphs, $\mathcal{S}$ , and $L(\mathcal{S})$ . Thus, when restricted to graph classes defined by finitely many forbidden induced subgraphs, Conjecture 1.1 is equivalent to the following.

Conjecture 1.2.

For any positive integer $d$ and any two graphs $S\in\mathcal{S}$ and $T\in L(\mathcal{S})$ , the class of $\{K_{d,d},S,T\}$ -free graphs has bounded tree-independence number.

The result of Lozin and Razgon implies Conjecture 1.2 when restricted to classes of graphs with bounded maximum degree. Another way to see this is to apply a result of Korhonen [48] who proved a conjecture of Aboulker, Adler, Kim, Sintiari, and Trotignon [1] (which was also explicitly mentioned in [5, 10, 9]) stating that any graph with sufficiently large treewidth and bounded maximum degree contains a large wall or the line graph of a large wall as an induced subgraph. Moreover, a proof of some special cases of Conjecture 1.2 can be obtained by combining the aforementioned result of Brettell et al. [27, Theorem 6] with [26, Theorem 30], which provides several pairs of graphs $S\in\mathcal{S}$ and $T\in L(\mathcal{S})$ such that the mim-width of $\{S,T\}$ -free graphs is bounded.

Note that for any positive integer $s$ , the $s$ -vertex path $P_{s}$ belongs both to $\mathcal{S}$ as well as to $L(\mathcal{S})$ . The following special case of Conjecture 1.2 is already of interest.

Conjecture 1.3.

For any two positive integers $d$ and $s$ , the class of $\{K_{d,d},P_{s}\}$ -free graphs has bounded tree-independence number.

Combining known results from the literature implies the validity of Conjecture 1.3 for the case $s=4$ , with a bound that is exponential in $d$ . This is a consequence of the following four results from the literature: first, every $P_{4}$ -free graph is distance-hereditary (see Bandelt and Mulder [15]); second, the rank-width of distance-hereditary graphs is at most $1$ (see Oum [63]); third, the mim-width of a graph is at most its rank-width (see Vatshelle [69]); and fourth, the tree-independence number of a $K_{d,d}$ -free graph $G$ with mim-width less than $k$ is less than $6(2^{d+k-1}+dk^{d+1})$ (see Brettell et al. [27, Theorem 6]). Hence, if $d$ is a positive integer and $G$ is a $\{K_{d,d},P_{4}\}$ -free graph, then $\mathsf{tree}\textnormal{-}\alpha(G)<6(d+1)2^{d+1}$ .

1.3 Our results

The aim of this paper is to provide further partial support for Conjectures 1.1, 1.2 and 1.3. In particular, we consider Conjecture 1.2 and show that the assumption of bounded maximum degree can be relaxed to excluding a fixed induced star, that is, a complete bipartite graph $K_{1,d}$ , where $d$ is a fixed positive integer. In other words, we prove the following weakening of Conjecture 1.2.

Theorem 1.4.

For any positive integer $d$ and any two graphs $S\in\mathcal{S}$ and $T\in L(\mathcal{S})$ , the class of $\{K_{1,d},S,T\}$ -free graphs has bounded tree-independence number.

Theorem 1.4 shows that Conjecture 1.1 holds for graph classes defined by a set $\mathcal{F}$ of finitely many forbidden induced subgraphs, as long as $\mathcal{F}$ contains some star. Our constructive proof gives an explicit upper bound on the tree-independence number that is polynomial in $d$ , $|V(S)|$ , and $|V(T)|$ (in fact, linear in each of $|V(S)|$ and $|V(T)|$ ; we refer to Corollary 4.10 for the exact statement).

The first step in our proof of Theorem 1.4 is the following weakening of Conjecture 1.3, which we state with an explicit bound.

Theorem 1.5.

Let $d\geq 2$ and $s\geq 3$ be integers and let $G$ be a $\{K_{1,d},P_{s}\}$ -free graph. Then

\mathsf{tree}\textnormal{-}\alpha(G)\leq(d-1)(s-2)\,.

Theorem 1.5 can be derived from known results in the literature regarding tree decompositions of graphs excluding all sufficiently long induced cycles. Bodlaender and Thilikos proved in [23] that in the absence of long induced cycles, bounded degree implies bounded treewidth. They gave an upper bound of $\Delta(\Delta-1)^{s-3}$ on the treewidth of any graph with maximum degree at most $\Delta$ and no induced cycles of length more than $s$ , where $s\geq 3$ is a fixed constant. This bound was improved to $\mathcal{O}(\Delta s)$ by Kosowski, Li, Nisse, and Suchan [49], who gave an $\mathcal{O}(|E(G)|^{2})$ algorithm that computes, given a graph $G$ with no induced cycles of length more than $s$ , a tree decomposition of $G$ in which the subgraph induced by each bag has a dominating path with at most $s-1$ vertices. This result was further improved by Seymour [68], who showed the existence of a tree decomposition in which the subgraph induced by each bag has a dominating path with at most $s-2$ vertices. Since in a $K_{1,d}$ -free graph, the closed neighborhood of any vertex induces a subgraph with independence number at most $d-1$ , this implies Theorem 1.5.

We give an alternative short proof of Theorem 1.5 yielding the same bound, by adapting Gyárfás’s proof of the result that any class of graphs excluding a fixed path as an induced subgraph is $\chi$ -bounded [44].

For general graph classes excluding an induced star, Conjecture 1.1 remains open, even in the case of graph classes excluding the claw (the star $K_{1,3}$ ). As our next result, we show that Conjecture 1.1 holds for subclasses of the class of line graphs (which are all known to exclude the claw).

Theorem 1.6.

Let $\mathcal{G}$ be a class of graphs and let $L(\mathcal{G})$ be the class of line graphs of graphs in $\mathcal{G}$ . Then, the following statements are equivalent.

1.

The class $L(\mathcal{G})$ is $(\mathsf{tw},\omega)$ -bounded.
2.

The class $L(\mathcal{G})$ has bounded tree-independence number.
3.

The class $\mathcal{G}$ has bounded treewidth.

Theorem 1.6 complements the result of Brettell et al. [27] showing that on any class of line graphs $L(\mathcal{G})$ , tree-independence number, clique-width, mim-width, and sim-width are in fact all equivalent, in the sense that each of these parameters is bounded if and only if all the others are. Indeed, we prove a stronger version of Theorem 1.6 as follows. For a graph class $\mathcal{G}$ , we denote by $I(\mathcal{G})$ the class of all intersection graphs of collections of connected subgraphs of some member of $\mathcal{G}$ . We show that the conclusion of Theorem 1.6 holds for $I(\mathcal{G})$ for any graph class $\mathcal{G}$ .

We also determine the exact values of the tree-independence number of line graphs of complete graphs and line graphs of complete bipartite graphs. These results complement similar results for treewidth and sim-width (denoted by $\mathsf{tw}$ and $\mathsf{simw}$ , respectively; see [56, 46, 45, 27]) and are interesting in view of the inequalities $\mathsf{simw}(G)\leq\mathsf{tree}\textnormal{-}\alpha(G)\leq\mathsf{tw}(G)+1$ valid for any graph $G$ . For the first inequality, see [60, Lemma 5] or [18, Theorem 2 or Theorem 15]; the second one follows immediately from the definitions.

Finally, regarding Conjecture 1.3 “in the other direction”, kee** the assumption that a complete bipartite graph is excluded, but limiting the length of the excluded path, we improve the known result about the first nontrivial case of the conjecture in this regard, that is, the case $s=4$ . For this case we improve the aforementioned exponential upper bound for the tree-independence number to the following sharp upper bound.

Theorem 1.7.

Let $G$ be a $\{K_{d,d},P_{4}\}$ -free graph, where $d\geq 2$ is an integer. Then $\mathsf{tree}\textnormal{-}\alpha(G)\leq d-1$ .

The proof of Theorem 1.7 is constructive and leads to a linear-time algorithm for determining the tree-independence number of a given $P_{4}$ -free graph.

1.4 Algorithmic implications

Theorem 1.4 together with known results on tree-independence number (see [70, 36, 39]) imply that all the good algorithmic properties of graphs with bounded tree-independence number (see [70, 39, 58]) hold for any class of graphs excluding a star, a graph from $\mathcal{S}$ , and a line graph of a graph from $\mathcal{S}$ ; in particular, on such graph classes a number of NP-hard problems can be solved in polynomial time. We only state and explicitly discuss the corresponding result for the most well-known and studied of these problems, namely Maximum Weight Independent Set: Given a graph $G$ and a vertex weight function $w:V(G)\to\mathbb{Q}_{+}$ , compute an independent set $I$ in $G$ maximizing its weight $\sum_{x\in I}w(x)$ .

Corollary 1.8.

For any positive integer $d$ and any two graphs $S\in\mathcal{S}$ and $T\in L(\mathcal{S})$ , Maximum Weight Independent Set is solvable in polynomial time in the class of $\{K_{1,d},S,T\}$ -free graphs.

This result is interesting in view of the state-of-the-art regarding the complexity of the problem in classes of graphs excluding finitely many forbidden induced subgraphs. For any finite set $\mathcal{F}$ of graphs, Alekseev proved in [13] that the Maximum Independent Set is NP-hard in the class of $\mathcal{F}$ -free graphs, unless $\mathcal{F}$ contains a member of $\mathcal{S}$ . On the other hand, Lozin conjectured that the problem is solvable in polynomial time if $\mathcal{F}$ contains a member of $\mathcal{S}$ (see [52]). While the conjecture is still widely open, even in the case of excluding a path (see, e.g., [42, 65, 43]), although a subexponential algorithm was given by Majewski et al. [57]. Furthermore, the conjecture was confirmed for the case of graphs with bounded maximum degree by Abrishami, Chudnovsky, Dibek, and Rzążewski (see [6]). A shorter proof was given recently by Abrishami, Chudnovsky, Pilipczuk, and Rzążewski [11], who also generalized the bounded degree assumption to the assumption that some complete bipartite graph is excluded as a subgraph. Corollary 1.8 shows that, if in addition to a graph from $\mathcal{S}$ the line graph of such a graph is also excluded, then the maximum degree assumption can be relaxed to the assumption of excluding an induced star.

Let us remark that in the special case of excluding a claw, that is, the graph $K_{1,3}$ , the Maximum Weight Independent Set problem is known to be solvable in polynomial time without any additional assumptions (see [59, 61, 67], as well as [55, 25] for generalizations). On the other hand, for $d>3$ , the Maximum Weight Independent Set is NP-hard in the class of $K_{1,d}$ -free graphs, but admits a polynomial-time $(d/2)$ -approximation algorithm (see [19, 62]).

1.5 Structure of the paper

Section 2 introduces the notations and observations that we use throughout the paper. In Section 3 we discuss the special case of Conjecture 1.1 restricted to $\{K_{1,d},P_{s}\}$ -free graphs. Section 4 deals with our main technical result, where we settle the case of $\{K_{1,d},S,T\}$ -free graphs, for any $S\in\mathcal{S}$ and $T\in L(\mathcal{S})$ , which proves Theorem 1.4. In Section 5 we establish the validity of Conjecture 1.1 for subclasses of the class of line graphs and determine the exact values of tree-independence number of line graphs of complete graphs and complete bipartite graphs. In Section 6 we develop a linear-time algorithm for computing the tree-independence number of a $P_{4}$ -free graph. We conclude the paper with some open questions and insights for future research in Section 7.

2 Preliminaries

Given two integers $a,b\in\mathbb{Z}$ , we denote by $[a,b]$ the set $\{x\in\mathbb{Z}\mid a\leq x\leq b\}$ . Notice that $[a,b]$ is empty in the case $b<a$ . Moreover, for a single integer $k\in\mathbb{Z}$ , we denote by $[k]$ the set $[1,k]$ .

Concerning graph notation we follow mostly the conventions from [40]. The graphs considered in this paper are finite and simple, that is, they do not contain loops or parallel edges. For a graph $G$ and a set $S\subseteq V(G)$ , we write $G-S$ to denote the graph obtained from $G$ by deleting the vertices in $S$ (and the edges incident to those vertices). In the case when $S$ consists of a single vertex $v$ , we write $G-v$ for $G-S$ . A graph class is hereditary if it is closed under vertex deletion. We denote by $G_{1}+G_{2}$ the disjoint union of two graphs $G_{1}$ and $G_{2}$ , and by $G_{1}\ast G_{2}$ their join, that is, the graph obtained from the disjoint union of $G_{1}$ and $G_{2}$ by adding all edges joining a vertex of $G_{1}$ with a vertex of $G_{2}$ .

For a graph $G$ the operation of subdividing the edge $e=uv\in E(G)$ is the deletion of $e$ and the introduction of a vertex $w$ adjacent exactly to the vertices $u$ and $v$ . A graph $G$ is a subdivision of a graph $H$ if it can be obtained from $H$ by a sequence of edge subdivisions.

A path is a graph $P$ with vertex set $\{v_{1},\dots,v_{\ell}\}$ such that $v_{i}v_{i+1}$ is an edge for every $i\in[\ell-1]$ , and there are no other edges. We say that $v_{1}$ and $v_{\ell}$ are the endpoints of $P$ , all other vertices of $P$ are internal, and the length of $P$ is $\ell-1$ . For a graph $G$ and vertex sets $X,Y\subseteq V(G)$ , an $(X,Y)$ -path is a path in $G$ with one endpoint in $X$ , the other endpoint in $Y$ , and no internal vertex in $X\cup Y$ . In the case any of $X$ and $Y$ consists of a single vertex, we may write the vertex instead of the set. Given a path $P$ and two vertices $u,v\in V(P)$ we denote by $uPv$ the unique $(u,v)$ -path in $P$ (writing also $uv$ in the case $uPv$ has length one). Moreover, given two paths $P$ and $Q$ , a vertex $x\in V(P)$ , a vertex $y\in V(P)\cap V(Q)$ , and a vertex $z\in V(Q)$ , we write $xPyQz$ for the union of the paths $xPy$ and $yQz$ .

An independent set in a graph $G$ is a set of pairwise non-adjacent vertices, and a clique in $G$ is a set of pairwise adjacent vertices. The independence number of a graph $G$ , denoted by $\alpha(G)$ , is the maximum size of an independent set in $G$ . The clique number of a graph $G$ , denoted by $\omega(G)$ , is the maximum size of a clique in $G$ . Given two positive integers $a$ and $b$ , the complete bipartite graph $K_{a,b}$ is a graph whose vertex set admits a partition into two independent sets $A$ and $B$ such that $|A|=a$ , $|B|=b$ , and every vertex in $A$ is adjacent to every vertex in $B$ .

Given a graph $G$ , a tree decomposition of $G$ is a pair $\mathcal{T}=(T,\beta)$ of a tree $T$ and a function $\beta\colon V(T)\to 2^{V(G)}$ whose images are called the bags of $\mathcal{T}$ such that every vertex belongs to some bag, for every $e\in E(G)$ there exists some $t\in V(T)$ with $e\subseteq\beta(t)$ , and for every vertex $v\in V(G)$ the set $\{t\in V(T)\mid v\in\beta(t)\}$ induces a subtree of $T$ . We refer to the vertices of $T$ as the nodes of the tree decomposition $\mathcal{T}$ . If $T$ is a path, then we call $\mathcal{T}$ a path decomposition of $G$ . The width of $\mathcal{T}$ equals $\max_{t\in V(T)}|\beta(t)|-1$ , and the treewidth of a graph $G$ , denoted by $\mathsf{tw}(G)$ , is the minimum possible width of a tree decomposition of $G$ . The independence number of $\mathcal{T}$ , denoted by $\alpha(\mathcal{T})$ , is defined as

\alpha(\mathcal{T})=\max_{t\in V(T)}\alpha(G[\beta(t)]).

The tree-independence number of a graph $G$ , denoted by $\mathsf{tree}\textnormal{-}\alpha(G)$ , is the minimum independence number among all possible tree decompositions of $G$ . Observe that every graph $G$ satisfies $\mathsf{tree}\textnormal{-}\alpha(G)\leq\alpha(G)$ . The tree-independence number of a graph is bounded from below by its sim-width, a parameter introduced in 2017 by Kang, Kwon, Strømme, and Telle [47]. Since we will not need the precise definition of sim-width in this paper, we refer the reader to [47] for the definition.

The following monotonicity of treewidth is well known. Given two graphs $G$ and $H$ , we say that $H$ is a minor of $G$ if $H$ can be obtained from a subgraph of $G$ by a sequence of edge contractions.

Proposition 2.1 (folklore).

Let $G$ be a graph and $H$ a minor of $G$ . Then $\mathsf{tw}(H)\leq\mathsf{tw}(G)$ .

A graph is said to be chordal if it does not contain any induced cycles of length at least four. Treewidth can be defined in many equivalent ways. One of the characterizations is as follows (see, e.g., [21]).

Theorem 2.2.

Let $G$ be a graph. Then, the treewidth of $G$ equals the minimum value of $\omega(G^{\prime})-1$ such that $G$ is a subgraph of $G^{\prime}$ and $G^{\prime}$ is chordal.

We will need the following results on tree decompositions and tree-independence number from Dallard et al. [39].

Lemma 2.3.

Let $G$ be a graph and let $\mathcal{T}=(T,\beta)$ be a tree decomposition of $G$ . Then there exists a vertex $v\in V(G)$ and a node $t\in V(T)$ such that $N[v]\subseteq\beta(t)$ .

Given two graphs $G$ and $H$ , we say that $H$ is an induced minor of $G$ if $H$ can be obtained from $G$ by a sequence of vertex deletions and edge contractions.

Proposition 2.4.

Let $G$ be a graph and $H$ an induced minor of $G$ . Then $\mathsf{tree}\textnormal{-}\alpha(H)\leq\mathsf{tree}\textnormal{-}\alpha(G)$ .

Proposition 2.5.

For every positive integer $n$ , we have $\mathsf{tree}\textnormal{-}\alpha(K_{n,n})=n$ .

3 Tree-independence number of $\{K_{1,d},P_{s}\}$ -free graphs

This section contains the following important preliminary result. See 1.5 We will utilize this result in the proof of our main theorem in the next section.

Lemma 3.1.

For every graph $G$ and a set $S\subseteq V(G)$ , we have

\mathsf{tree}\textnormal{-}\alpha(G)\leq\mathsf{tree}\textnormal{-}\alpha(G-S)% +\alpha(G[S])\,.

Proof.

Let $G^{\prime}=G-S$ and $\mathcal{T}^{\prime}=(T,\beta^{\prime})$ be a tree decomposition of $G^{\prime}$ with minimum independence number. We construct a tree decomposition $\mathcal{T}=(T,\beta)$ of $G$ from $\mathcal{T}^{\prime}$ by setting $\beta(t)\coloneqq\beta^{\prime}(t)\cup S$ for every $t\in V(T)$ . Clearly, for every bag $\beta(t)$ , $t\in V(T)$ , we have $\alpha(G[\beta(t)])\leq\alpha(G[\beta^{\prime}(t)])+\alpha(G[S])$ . Hence, we obtain that $\mathsf{tree}\textnormal{-}\alpha(G)\leq\alpha(\mathcal{T})\leq\alpha(\mathcal% {T}^{\prime})+\alpha(G[S])=\mathsf{tree}\textnormal{-}\alpha(G-S)+\alpha(G[S])$ , as claimed. ∎

We show Theorem 1.5 by adapting Gyárfás’s proof of $\chi$ -boundedness of any class of graphs excluding a fixed path as an induced subgraph [44].

Proof of Theorem 1.5.

Let $G$ be a $K_{1,d}$ -free graph. Assume that $\mathsf{tree}\textnormal{-}\alpha(G)\geq(d-1)(s-2)+1$ . We show that $G$ contains an induced $P_{s}$ . To this end, we construct a sequence of connected induced subgraphs $G_{1},\ldots,G_{s}$ of $G$ and an induced $P_{s}$ in $G$ with vertex set $\{v_{1},\ldots,v_{s}\}$ such that for all $i\in[s]$ , the following properties hold:

(i)

$v_{i}\in V(G_{i})$ and if $i<s$ , then $v_{i}$ has a neighbor in $G_{i}$ .
(ii)

For all $j\in[i-1]$ and all $v\in V(G_{i})$ , the vertices $v$ and $v_{j}$ are adjacent in $G$ if and only if $j=i-1$ and $v=v_{i}$ .
(iii)

$\mathsf{tree}\textnormal{-}\alpha(G_{i})\geq(d-1)(s-i-1)+1$ .

Note that property (ii) for $i=s$ implies that the subgraph of $G$ induced by $\{v_{1},\ldots,v_{s}\}$ is indeed isomorphic to $P_{s}$ .

Let $G_{1}$ be a connected component of $G$ such that $\mathsf{tree}\textnormal{-}\alpha(G_{1})\geq(d-1)(s-2)+1$ and let $v_{1}$ be an arbitrary vertex in $G_{1}$ . Note that $v_{1}$ has a neighbor in $G_{1}$ since $\mathsf{tree}\textnormal{-}\alpha(G_{1})\geq s-1\geq 2$ .

Suppose that $i\in[s-1]$ and that we have already defined the graphs $G_{1},\ldots,G_{i}$ and the vertices $v_{1},\ldots,v_{i}$ such that the properties (i)–(iii) hold. We show how to define $G_{i+1}$ and $v_{i+1}$ . We consider two cases depending on the value of $i$ .

Consider first the case when $i\leq s-2$ . Let $A$ be the set of vertices of $G_{i}$ adjacent to $v_{i}$ and let $B=V(G_{i})\setminus(A\cup\{v_{i}\})$ . Since $G$ is $K_{1,d}$ -free and $G_{i}$ is an induced subgraph of $G$ , the subgraph of $G_{i}$ induced by $A\cup\{v_{i}\}$ has independence number at most $d-1$ . Lemma 3.1 implies that $\mathsf{tree}\textnormal{-}\alpha(G_{i})\leq\mathsf{tree}\textnormal{-}\alpha(% G_{i}[B])+d-1$ and hence

	$\displaystyle\mathsf{tree}\textnormal{-}\alpha(G_{i}[B])$	$\displaystyle\geq\mathsf{tree}\textnormal{-}\alpha(G_{i})-(d-1)$
		$\displaystyle\geq(d-1)(s-i-1)+1-(d-1)$
		$\displaystyle\geq(d-1)(s-i-2)+1\,.$

Note that $(d-1)(s-i-2)+1\geq 1$ since $i\leq s-2$ . Thus, $B\neq\emptyset$ and there exists a connected component $H$ of the subgraph of $G_{i}$ induced by $B$ such that

\displaystyle\mathsf{tree}\textnormal{-}\alpha(H)\geq(d-1)(s-i-2)+1\,.

(1)

Since $G_{i}$ is connected, there exists a vertex in $A$ having a neighbor in $H$ . We define $v_{i+1}$ to be any such vertex and $G_{i+1}$ to be the subgraph of $G_{i}$ induced by $V(H)\cup\{v_{i+1}\}$ . By construction, the graph $G_{i+1}$ is a connected induced subgraph of $G$ . Let us verify that the properties (i)–(iii) hold for $i+1$ . For property (i), we have $v_{i+1}\in V(G_{i+1})$ and $v_{i+1}$ has a neighbor in $V(H)\subseteq V(G_{i+1})$ . For property (ii), consider an arbitrary $j\in\{1,\ldots,i\}$ and a vertex $v\in V(G_{i+1})$ . By the definition of $v_{i+1}$ , the vertices $v_{i}$ and $v_{i+1}$ are adjacent in $G$ . Furthermore, since $v\in V(G_{i+1})=V(H)\cup\{v_{i+1}\}\subseteq A\cup B\subseteq V(G_{i})$ , property (ii) for $i$ implies that $v$ is not adjacent to $v_{j}$ if $j<i$ . Moreover, if $v\in V(G_{i+1})\setminus\{v_{i+1}\}$ , then $v\in V(H)\subseteq B$ and consequently $v$ is not adjacent to $v_{i}$ in $G$ . This establishes property (ii) for $i+1$ . Property (iii) for $i+1$ follows from the fact that $H$ is an induced subgraph of $G_{i+1}$ and hence we have $\mathsf{tree}\textnormal{-}\alpha(G_{i+1})\geq\mathsf{tree}\textnormal{-}% \alpha(H)\geq(s-i-2)(d-1)+1$ , where the second inequality follows from Eq. 1.

To complete the proof, consider the case when $i=s-1$ . By property (i), vertex $v_{s-1}$ has a neighbor in $G_{s-1}$ . Let $v_{s}$ be any such neighbor and let $G_{s}$ be the one-vertex subgraph of $G$ induced by $v_{s}$ . We need to verify properties (i)–(iii) for $i=s$ . Property (i) holds trivially. For property (ii), consider an arbitrary $j\in[s-1]$ and a vertex $v\in V(G_{s})$ . Then $v=v_{s}$ . By the definition of $v_{s}$ , the vertices $v_{s-1}$ and $v_{s}$ are adjacent in $G$ . Furthermore, property (ii) for $i=s-1$ implies that $v_{s}$ is not adjacent to $v_{j}$ if $j<s-1$ . This establishes property (ii) for $i=s$ . Property (iii) for $i=s$ simplifies to $\mathsf{tree}\textnormal{-}\alpha(G_{s})\geq 2-d$ , which is clearly true. ∎

4 Tree-independence number of $\{K_{1,d},S,T\}$ -free graphs

Recall that we denote by $\mathcal{S}$ the family of graphs every component of which is a tree with at most three leaves, and by $L(\mathcal{S})$ the family of all line graphs of graphs in $\mathcal{S}$ . In this section we prove our main result, Theorem 1.4, which we restate here for convenience.

See 1.4

We first consider the case when $S$ and $T$ are connected. For $p,q,r\geq 1$ , let $S_{p,q,r}$ be the graph obtained from the claw by subdividing one edge $p-1$ times, another $q-1$ times, and the last one $r-1$ times. By $T_{p,q,r}$ we denote the line graph of $S_{p,q,r}$ . Note that any connected graph $S\in\mathcal{S}$ is either a path or isomorphic to $S_{p,q,r}$ for some $p,q,r\geq 1$ . Similarly, any connected graph $T\in L(\mathcal{S})$ is either a path or isomorphic to $T_{p,q,r}$ for some $p,q,r\geq 1$ . For convenience we will write $T_{p}$ and $S_{p}$ as shorthands for $T_{p,p,p}$ and $S_{p,p,p}$ , respectively.

In the following we aim to prove that any $K_{1,d}$ -free graph $G$ which also excludes both $S_{p}$ and $T_{p}$ as induced subgraphs has bounded tree independence number. Our approach is inspired by Lozin and Rautenbach [53].

The core of our proof of Theorem 1.4 is to show it for the case where both $S$ and $T$ are connected. We sketch the proof for this case. We may assume that $G$ contains a long induced path $P$ since, otherwise, Theorem 1.5 would yield a bound on the tree-independence number immediately. Note that here we do not necessarily take a longest induced path because we also want to bound the independence number of $G[N[V(P)]]$ .

We next show that no component $D$ of $G-N[V(P)]$ contains a long induced cycle. This is because if $D$ has a long induced cycle, then by taking a shortest path from $P$ in $G$ , we can find an induced $S_{p}$ or $T_{p}$ . Now, if each component $D$ has bounded tree-independence number, then we can merge tree decompositions of components by adding a new bag consisting of $N[V(P)]$ and adding $N[V(P)]$ to all bags of previous decompositions. This will show that $G$ has bounded tree-independence number. Therefore, we may assume by Theorem 1.5 that there is a component $D$ of $G-N[V(P)]$ having a long induced path. We take a longest induced path $Q$ in $D$ .

Then, we prove two main lemmas. First, we show that $D[N_{D}[V(Q)]]$ admits a path decomposition of bounded independence number. Second, we show that for every component $H$ of $D-N_{D}[V(Q)]$ , there is a bag of the path decomposition containing all the neighbors of $H$ in $D$ . The absence of long induced cycles in $D$ is used to show this second lemma. Because of the maximality of $Q$ , we can show that no component $H$ can have a long induced path, and thus it has bounded tree-independence number. Using the two lemmas, we finally derive that $D$ has bounded tree-independence number. This completes the proof sketch for the case when $S$ and $T$ are connected.

Let $G$ be a graph, $P$ be an induced path in $G$ , and $v\in V(G)\setminus V(P)$ be a vertex with at least one neighbor on $P$ . A segment of $P$ with respect to $v$ is a maximal subpath $P^{\prime}$ of $P$ whose interior is disjoint from $N(v)$ . Note that the edge set of $P$ is partitioned into the edge sets of its segments with respect to $v$ . Similarly, for an induced cycle $C$ in $G$ and $v\in V(G)\setminus V(C)$ having at least two neighbors in $C$ , a segment of $C$ with respect to $v$ is a maximal subpath $P^{\prime}$ of $C$ whose interior is disjoint from $N(v)$ .

Lemma 4.1.

Let $d$ be a positive integer, let $G$ be a $K_{1,d}$ -free graph, let $P$ be an induced path in $G$ , and $v\in V(G)\setminus V(P)$ . Then $v$ has at most $2(d-1)$ neighbors on $P$ .

Proof.

Let $X\subseteq V(P)$ be any set of vertices of size at least $2d-1$ . As $P$ is an induced bipartite subgraph of $G$ , at least $d$ vertices from $X$ belong to the same color class of $P$ and therefore form an independent set in $G$ . Hence $N(v)\cap V(P)$ cannot be larger than $2(d-1)$ . ∎

Lemma 4.2.

Let $d$ and $p$ be positive integers, let $G$ be a $K_{1,d}$ -free graph, let $P$ be an induced path in $G$ , and $v\in V(G)\setminus V(P)$ . If $P$ has at least $dp$ vertices, then there is a segment of $P$ with respect to $v$ that has at least $p-1$ vertices that are not adjacent to $v$ .

Proof.

Let $P=v_{1}\dots v_{n}$ where $n\geq dp$ . For each $i\in[d]$ , let $Q_{i}=v_{(i-1)p+1}Pv_{ip-1}$ . Observe that there are no edges between $Q_{i_{1}}$ and $Q_{i_{2}}$ for distinct $i_{1},i_{2}\in[d]$ . If $v$ has a neighbor in $Q_{i}$ for each $i\in[d]$ , then $G$ contains $K_{1,d}$ as an induced subgraph. Therefore, there is a $j\in[d]$ such that $v$ has no neighbor in $Q_{j}$ . Then, the segment of $P$ containing $Q_{j}$ has at least $p-1$ vertices that are not adjacent to $v$ . ∎

We next show that a connected $\{K_{1,d},S_{p},T_{p}\}$ -free graph cannot have an induced subgraph that is a disjoint union of a long path and a long cycle.

Lemma 4.3.

Let $d$ and $p$ be positive integers, let $G$ be a connected $\{K_{1,d},S_{p},T_{p}\}$ -free graph, and let $P$ be an induced path in $G$ on at least $dp$ vertices. Then $G-N[V(P)]$ does not contain an induced cycle of length at least $d(2p+2)$ .

Proof.

Towards a contradiction, assume that there exists an induced cycle $C=w_{0}w_{1}\dots w_{\ell-1}w_{0}$ in $G-N[V(P)]$ where $\ell\geq d(2p+2)$ . Let $Q=z_{0}z_{1}\dots z_{r}$ be a shortest $(V(P),V(C))$ -path in $G$ ; in particular, $z_{0}\in V(P)$ and $z_{r}\in V(C)$ . Notice that $z_{1}\notin V(P)\cup V(C)$ . Observe that $C-z_{r}$ is an induced path on $\ell-1$ vertices.

Since $P$ has at least $dp$ vertices, by Lemma 4.2, there is a segment $P^{\prime}$ of $P$ with respect to $z_{1}$ that has at least $p-1$ vertices that are not adjacent to $z_{1}$ .

Assume first that $z_{r-1}$ has a unique neighbor on $C$ , that is, $N(z_{r-1})\cap V(C)=\{z_{r}\}$ . In this case, let $j\in[\ell]$ such that $z_{r}=w_{j}$ and let $R$ be the subpath of $C$ of length $2p$ with $R=w_{j-p}w_{j-p+1}\dots w_{j-1}w_{j}w_{j+1}\dots w_{j+p}$ (indices modulo $\ell$ ). Then, observe that the graph $G[V(P^{\prime})\cup(V(Q)\setminus\{z_{0}\})\cup V(R)]$ contains $S_{p}$ as an induced subgraph, which is a contradiction.

Assume now that $z_{r-1}$ has at least two neighbors on $C$ . For each $i\in[d]$ , let $D_{i}$ be the subpath of $C$ from $w_{(i-1)(2p+2)+1}$ to $w_{i(2p+2)-1}$ that does not contain $w_{i(2p+2)}$ (indices modulo $\ell$ ). Observe that there are no edges between $D_{i_{1}}$ and $D_{i_{2}}$ for distinct $i_{1},i_{2}\in[d]$ . If $z_{r-1}$ has a neighbor in each $D_{i}$ , then $G$ contains $K_{1,d}$ as an induced subgraph. Therefore, there is $j\in[d]$ such that $z_{r-1}$ has no neighbor in $D_{j}$ . This implies that there is a segment $R$ of $C$ with respect to $z_{r-1}$ that has at least $2p+1$ vertices that are not adjacent to $z_{r-1}$ . Let $R=w_{j}w_{j+1}\dots w_{j+s}$ (indices modulo $\ell$ ) be such a segment. Note that $N(z_{r-1})\cap V(R)=\{w_{j},w_{j+s}\}$ . If $w_{j}$ and $w_{j+s}$ are adjacent in $G$ (that is, if $s=\ell-1$ ), then the graph $G[V(P^{\prime})\cup(V(Q)\setminus\{z_{0},z_{r}\})\cup V(R)]$ contains $T_{p}$ as an induced subgraph, which is a contradiction. Therefore, $w_{j}$ and $w_{j+s}$ are nonadjacent. But then $G[V(P^{\prime})\cup(V(Q)\setminus\{z_{0},z_{r}\})\cup V(R)]$ contains $S_{p}$ as an induced subgraph, again a contradiction. ∎

We next show that, whenever we have a bound on the number of vertices of an induced path $P$ in a $K_{1,d}$ -free graph, we also obtain a bound on the independence number of the closed neighborhood of $P$ .

Lemma 4.4.

Let $d\geq 1$ and $q\geq 2$ be integers, $G$ be a connected $K_{1,d}$ -free graph, and let $P$ be an induced path in $G$ on $q$ vertices. Then $\alpha(G[N[V(P)]])\leq(d-1)q$ .

Proof.

First notice that we may assume $d\geq 2$ since otherwise no $P_{2}$ could exist in $G$ . Let $I$ be a maximum independent set of $G[N[V(P)]]$ . Then, for every $v\in V(P)$ , $I$ either contains $v$ or at most $d-1$ vertices of $N(v)$ . As $P$ has $q$ vertices, the claim follows immediately. ∎

We have seen in Lemma 4.3 that removing the closed neighborhood of an induced path on a specific number of vertices (which is a set of small independence number by Lemma 4.4) leaves a graph without long induced cycles. This implies a powerful separation property for the closed neighborhoods of short subpaths of long induced paths within the remaining graph. This is expressed in the following two lemmas.

Lemma 4.5.

Let $d\geq 1$ and $q\geq 3$ be integers, let $G$ be a connected $K_{1,d}$ -free graph without induced cycles of length at least $q$ , let $P$ be an induced path in $G$ , and let $v\in V(G)\setminus V(P)$ . Then there exists a path $P_{v}\subseteq P$ with at most $2(d-1)(q-2)$ vertices such that $N(v)\cap V(P)\subseteq V(P_{v})$ and each endpoint of $P_{v}$ is adjacent to $v$ .

Proof.

Notice that if $d=1$ , then $G$ is edgeless and thus we can select $P_{v}$ to be the empty path. Hence, we assume that $d\geq 2$ . By Lemma 4.1, $v$ has at most $2(d-1)$ neighbors on $P$ . Let $P_{v}$ be the shortest subpath of $P$ containing all neighbors of $v$ on $P$ . By the minimality of $P_{v}$ , each endpoint of $P_{v}$ is adjacent to $v$ .

If $v$ has only one neighbor in $P$ , then $P_{v}$ has only one vertex and we are done. So we may assume that $v$ has at least two neighbors on $P$ . Suppose there are $u,w\in V(P_{v})\cap N(v)$ such that $Q\coloneqq uP_{v}w$ has at least $q-1$ vertices and no internal vertex of $Q$ is a neighbor of $v$ . Then $vuQwv$ is an induced cycle of length at least $q$ in $G$ , which is a contradiction. Hence, $P_{v}$ consists of at most $2d-3$ segments of length at most $q-3$ each, where no internal vertex is adjacent to $v$ . It follows that $P_{v}$ has at most $(2d-3)(q-3)+1\leq 2(d-1)(q-2)$ vertices. ∎

In the next step we show that the observation from Lemma 4.5 may be extended to entire components of $G-N[V(P)]$ if $G$ does not contain long induced cycles.

Lemma 4.6.

Let $d\geq 1$ and $q\geq 3$ be integers, let $G$ be a connected $K_{1,d}$ -free graph without induced cycles of length at least $q$ , and let $P$ be an induced path in $G$ . Let $H$ be a component of $G-N[V(P)]$ and let $v\in N(V(H))\cap N(V(P))$ . Then there exists a path $P_{H}\subseteq P$ on at most $2(d-1)(q-2)+2q$ vertices such that $N(V(H))\subseteq N(V(P_{H}))$ .

Proof.

By Lemma 4.5, there exists a nonempty path $P_{v}\subseteq P$ on at most $2(d-1)(q-2)$ vertices such that $N(v)\cap V(P)\subseteq V(P_{v})$ and each endpoint of $P_{v}$ is adjacent to $v$ . Let $p_{1}$ and $p_{2}$ be the two endpoints of $P_{v}$ (possibly $p_{1}=p_{2})$ and let $P_{1}^{\prime}$ and $P_{2}^{\prime}$ be two subpaths of $P$ such that the paths $P_{1}^{\prime}$ , $P_{v}$ , $P_{2}^{\prime}$ are pairwise edge-disjoint and with union $P$ , and $p_{i}\in V(P_{i}^{\prime})$ for $i\in\{1,2\}$ .

For each $i\in[2]$ , if $P_{i}^{\prime}$ has at most $q$ vertices let $P^{i}\coloneqq P_{i}^{\prime}$ , otherwise let $P^{i}$ be the subpath of $P_{i}^{\prime}$ on $q+1$ vertices that contains $p_{i}$ . Let $P_{H}\coloneqq P^{1}p_{1}P_{v}p_{2}P^{2}$ . Notice that $P_{H}$ has at most $2(d-1)(q-2)+2q$ vertices.

It remains to show that $N(V(H))\subseteq N(V(P_{H}))$ . Suppose, for a contradiction, that there exists a vertex $u\in N(V(H))\setminus N(V(P_{H}))$ . Note that the vertex $u$ , having a neighbor in $H$ , cannot belong to $P_{H}$ , hence $u\in N(V(H))\setminus N[V(P_{H})]$ . Furthermore, since $H$ is a component of $G-N[V(P)]$ and $G$ is connected, $N(V(H))\subseteq N(V(P))$ and hence $u$ has a neighbor on $P$ . Since $u$ has no neighbors on $P_{H}$ , we may assume without loss of generality that $u$ has a neighbor on $P_{1}^{\prime}$ . Let $w$ be the neighbor of $u$ on $P_{1}^{\prime}$ closest to $p_{1}$ along $P$ . The path $P^{1}$ consists of $q+1$ vertices, exactly one of which, namely $p_{1}$ , is adjacent to $v$ . Let $R$ be a shortest $(u,v)$ -path in $G[V(H)\cup\{u,v\}]$ . Then $vRuwP_{1}^{\prime}p_{1}v$ is an induced cycle in $G$ that contains $P^{1}$ and thus has at least $q$ vertices, a contradiction. ∎

The previous results imply that, in the absence of long induced cycles, if a long induced path $P$ exists within $G$ , then $G$ may be decomposed in a path-like fashion following the structure induced by the separator properties of the closed neighborhoods of the subpaths of $P$ . The next step is to start formalizing this intuition by building a path decomposition of $G[N[V(P)]]$ with bounded independence number, given some induced path $P$ as input. The following two lemmas provide the last remaining tools to prove the key result of this section.

Let $G$ be a graph, $h\geq 1$ be an integer, and $P=v_{1}\dots v_{\ell}$ be an induced path on $\ell\geq h$ vertices in $G$ . Let $n\coloneqq\ell-h+1$ and let $B=b_{1}b_{2}\dots b_{n}$ be a path on $n$ vertices. For each $i\in[n]$ let $P^{i}\coloneqq v_{i}v_{i+1}\dots v_{i+h-1}$ and set $\beta(b_{i})\coloneqq N_{G}[V(P^{i})]$ . We call the pair $(B,\beta)$ the $h$ -backbone structure of $P$ in $G$ .

Lemma 4.7.

Let $d\geq 2$ and $q\geq 3$ be integers. Let $G$ be a connected $K_{1,d}$ -free graph without induced cycles of length at least $q$ . Moreover, let $h\geq q-1$ be an integer, let $P$ be an induced path on at least $h$ vertices in $G$ , and let $(B,\beta)$ be the $h$ -backbone structure of $P$ in $G$ . Then $(B,\beta)$ is a path decomposition of $G[N[V(P)]]$ with independence number at most $(d-1)h$ .

Proof.

Let $P=v_{1}\dots v_{\ell}$ and $B=b_{1}\dots b_{n}$ . For each $i\in[n]$ , let $P^{i}$ be the subpath of $P$ from the construction of $(B,\beta)$ . We begin by showing that $(B,\beta)$ is indeed a path decomposition of $G^{\prime}\coloneqq G[N[V(P)]]$ .

To see this, first observe that for every $i\in[n]$ we have $v_{i}\in\beta(b_{i})$ and for every $i\in[\ell]\setminus[n]$ we have $v_{i}\in\beta(b_{n})$ . Moreover, if $v_{i}\in\beta(b_{j})$ , then $N(v_{i})\subseteq\beta(b_{j})$ as well. Hence $\bigcup_{j\in[n]}\beta(b_{j})=N[V(P)]$ .

Next let $v_{i}v_{i+1}\in E(P)$ . Then $v_{i},v_{i+1}\in\beta(b_{i})$ if $i\in[n]$ and $v_{i},v_{i+1}\in\beta(b_{n})$ otherwise. A similar observation can be made for edges of the form $v_{i}u$ where $u\in N(V(P))$ . Now, let $u,w$ be two adjacent vertices from $N(V(P))$ . Then we may consider the subpaths $P_{u}$ and $P_{w}$ of $P$ from Lemma 4.5 together with the shortest $(V(P_{u}),V(P_{w}))$ -subpath $Q$ of $P$ . In the case $Q$ contains at least $q-2$ vertices, $uQwu$ is an induced cycle of length at least $q$ in $G$ , which is impossible. Hence, $Q$ has at most $q-3$ vertices. Let $v_{i}$ be the vertex of $Q$ minimizing $i$ . Then, as $h\geq q-1$ , it holds that $V(Q)\subseteq\beta(b_{\min\{i,n\}})$ . Consequently $u,w\in\beta(b_{\min\{i,n\}})$ as well, and thus every edge of $G^{\prime}$ is contained in some bag of $(B,\beta)$ .

Finally, suppose for a contradiction that there exists a vertex $u\in N[V(P)]$ together with $1\leq i<j<k\leq n$ such that $u\in(\beta(b_{i})\cap\beta(b_{k}))\setminus\beta(b_{j})$ . Assume that $i$ and $k$ are chosen so that $k-i$ is minimal. Notice that $u\in N(V(P))$ since the above situation is impossible for the vertices of $P$ . Let $p_{i}$ be the vertex of $P^{i}$ that is adjacent to $u$ and closest to $P^{k}$ on $P$ . Similarly, let $p_{k}$ be the vertex of $P^{k}$ that is adjacent to $u$ and closest to $P^{i}$ along $P$ . Clearly, $\{p_{i},p_{k}\}\cap V(P^{j})=\emptyset$ and thus the path $R\coloneqq p_{i}Pp_{k}$ , which contains $P_{j}$ , has at least $h+2\geq q+1$ vertices. Since $u$ has no neighbors in the interior of $R$ , it follows that $up_{i}Pp_{k}u$ is an induced cycle of length at least $q$ . This contradicts the assumption that $G$ has no induced cycle of length at least $q$ . Hence, $(B,\beta)$ is indeed a path decomposition of $G^{\prime}$ .

For every $b\in V(B)$ , the fact that $\alpha(G^{\prime}[\beta(b)])\leq(d-1)h$ follows immediately from Lemma 4.4, and thus our proof is complete. ∎

Lemma 4.8.

Let $d\geq 1$ and $q\geq 3$ be integers. Let $G$ be a connected $K_{1,d}$ -free graph without induced cycles of length at least $q$ . Moreover, let $h\geq 2(d-1)(q-2)+2q$ be an integer, let $P$ be an induced path on at least $h$ vertices in $G$ , and let $(B,\beta)$ be the $h$ -backbone structure of $P$ in $G$ . Then, for every component $H$ of $G-N[V(P)]$ there exists some $b_{H}\in V(B)$ such that $N(V(H))\subseteq\beta(b_{H})$ .

Proof.

Let $B=b_{1}b_{2}\dots b_{n}$ . By Lemma 4.6 there exists a path $P_{H}\subseteq P$ on at most $2(d-1)(q-2)+2q$ vertices such that $N(V(H))\subseteq N(V(P_{H}))$ . Moreover, since $h\geq 2(d-1)(q-2)+2q$ , there exists some $i\in[n]$ such that the path $P^{i}$ used for the construction of $(B,\beta)$ contains $P_{H}$ as a subgraph. Hence, $N(V(H))\subseteq\beta(b_{i})$ and we can take $b_{H}=b_{i}$ . ∎

We are now ready to prove the special case of Theorem 1.4 where $S$ and $T$ are connected.

Theorem 4.9.

Let $d\geq 2$ and $p\geq 1$ be integers and let $G$ be a $\{K_{1,d},S_{p},T_{p}\}$ -free graph. Then $\mathsf{tree}\text{-}\alpha(G)\leq 20(d-1)^{4}(p+1)$ .

Proof.

First assume $d=2$ . Then $G$ is $P_{3}$ -free and thus $G$ is a disjoint union of complete graphs, which implies that $\mathsf{tree}\text{-}\alpha(G)\leq 1$ . Hence, from now on we assume that $d\geq 3$ . We may also assume that $G$ is connected.

Let $q\coloneqq 2d(p+1)$ and $r\coloneqq 2(d-1)(q-2)$ . Notice that, in the case $G_{0}\coloneqq G$ does not contain an induced $P_{dp}$ , we are done by Theorem 1.5. Hence, there exists an induced path $P^{0}$ of $G_{0}$ on $dp$ vertices. Let $X_{0}\coloneqq N_{G_{0}}[V(P^{0})]$ .

By Lemma 4.3, it follows that $G_{1}\coloneqq G_{0}-X_{0}$ does not have induced cycles of length at least $q$ . Moreover, by Lemma 4.4, we know that $\alpha(G_{0}[X_{0}])\leq(d-1)dp$ . Our goal is to construct a tree decomposition of $G$ with independence number at most $20(d-1)^{4}(p+1)$ . It suffices to do this for the case when $G_{1}$ is connected. In the case $G_{1}$ is not connected, the following arguments can be applied to each component of $G_{1}$ individually and the tree decompositions obtained may be joined by introducing an additional node $t$ whose bag consists exactly of the set $X_{0}$ and which is joined to exactly one node of each of the trees for the tree decompositions of the components.

In the case $G_{1}$ does not contain an induced $P_{6dq}$ we may, again, call upon Theorem 1.5 to obtain a bound on $\mathsf{tree}\textnormal{-}\alpha(G_{1})$ . By adding the vertices in $X_{0}$ to every bag of a tree decomposition of $G_{1}$ with minimum independence number (cf. Lemma 3.1), we obtain a tree decomposition of $G$ with independence number at most

	$\displaystyle\phantom{=~{}}6(d-1)dq+(d-1)dp$
	$\displaystyle=12(d-1)d^{2}(p+1)+(d-1)dp$
	$\displaystyle\leq(d-1)(p+1)\cdot d\cdot(12d+1)$
	$\displaystyle\leq(d-1)(p+1)\cdot 2(d-1)\cdot 10(d-1)^{2}=20(d-1)^{4}(p+1),$

for $G_{0}$ and are done. So we may take $P^{1}=s_{1}\dots s_{m}$ to be a longest induced path in $G_{1}$ and assume $m\geq 6dq$ .

Let $H$ be some component of $G_{1}-N_{G_{1}}[V(P^{1})]$ . We claim that $H$ does not contain an induced path on $d(r+p-1)$ vertices. Towards a contradiction let $F$ be an induced path on $d(r+p-1)$ vertices in $H$ . Moreover, let $Q=w_{0}w_{1}\dots w_{\ell}$ be a shortest $(V(P^{1}),V(F))$ -path in $G_{1}$ with $w_{0}\in V(P^{1})$ . Notice that $w_{1}\notin V(P^{1})\cup V(F)$ . By Lemma 4.5 applied to $G_{1}$ , $P^{1}$ , and $w_{1}$ , there exists a path $P_{w_{1}}\subseteq P^{1}$ with at most $r$ vertices such that $N_{G_{1}}(w_{1})\cap V(P^{1})\subseteq V(P_{w_{1}})$ and each endpoint of $P_{w_{1}}$ is adjacent to $w_{1}$ . Let $u$ be the neighbor of $w_{1}$ on $P^{1}$ that minimizes the distance to $s_{1}$ on $P^{1}$ , and let $z$ be the neighbor of $w_{1}$ on $P^{1}$ that minimizes the distance to $s_{m}$ on $P^{1}$ . See Fig. 1 for an illustration.

Figure 1: The paths

P^{1}

F

, and

Q

in Theorem 4.9.

Since $F$ has at least $d(r+p-1)$ vertices, by Lemma 4.2, there is a segment of $F$ with respect to $w_{\ell-1}$ that has at least $r+p-2$ vertices that are not adjacent to $w_{\ell-1}$ . Thus, there exists an induced path $J$ on $r+p$ vertices in the graph $G_{1}[V(F)\cup V(Q)]-w_{0}$ that has $w_{1}$ as one endpoint and does not contain any other neighbor of $P^{1}$ . We distinguish two cases depending on neighbors of $w_{1}$ on $P^{1}$ .

Case 1: $w_{1}$ has a neighbor in $s_{r+p+1}P^{1}s_{m-r-p}$ .

Since $P_{w_{1}}$ has at most $r$ vertices, $P^{1}-V(P_{w_{1}})$ has two components, each with at least $p$ vertices.

Let $L$ be the subpath of $s_{1}P^{1}u$ on $p+1$ vertices that contains $u$ , and let $R$ be the subpath of $zP^{1}s_{m}$ on $p+1$ vertices that contains $z$ . In the case $L$ and $R$ are not adjacent, or share an endpoint (which may happen if $|V(P_{w_{1}})|=1$ ), the graph $G_{1}[V(L)\cup V(R)\cup V(J)]$ contains an induced $S_{p}$ . If they are adjacent, then there is exactly one edge between them and this edge joins their respective neighbors of $w_{1}$ . Hence, in this case $G_{1}[V(L)\cup V(R)\cup V(J)]$ contains an induced $T_{p}$ . In both cases, we obtain a contradiction.

Case 2: All neighbors of $w_{1}$ on $P^{1}$ belong either to $s_{1}P^{1}s_{r+p}$ or to $s_{m-r-p+1}P^{1}s_{m}$ .

Without loss of generality, we may assume that $w_{1}$ has a neighbor in $s_{1}P^{1}s_{r+p}$ . Note that $2(r+p)+r-2=3r+2p-2<6dq$ . Since $P_{w_{1}}$ has at most $r$ vertices and $P^{1}$ has at least $6dq$ vertices, no vertex of $s_{m-r-p+1}P^{1}s_{m}$ is adjacent to $w_{1}$ .

Note that the path $zP^{1}s_{m}$ contains exactly one neighbor of $w_{1}$ and has at least $m-r-p+1$ vertices. Let $y$ be the endpoint of $J$ other than $w_{1}$ . Observe that $J$ has exactly one neighbor on $zP^{1}s_{m}$ and this vertex, namely $z$ , is adjacent to exactly $w_{1}$ on $J$ . Hence, $yJw_{1}zP^{1}s_{m}$ is an induced path on at least $(m-r-p+1)+(r+p)>m$ vertices. This is a contradiction to our assumption that $P^{1}$ is a longest induced path in $G_{1}$ .

Hence, our claim follows, that is, $H$ does not contain an induced path on $d(r+p-1)$ vertices.

Now let $h\coloneqq 2dq$ and let $(B,\beta^{\prime\prime})$ be the $h$ -backbone structure of $P^{1}$ in $G_{1}$ , where $B=b_{1}b_{2}\dots b_{n}$ . Since $h=2dq\geq q-1$ and $G_{1}$ has no induced cycles of length at least $q$ , Lemma 4.7 implies that $(B,\beta^{\prime\prime})$ is a path decomposition of $G_{1}[N_{G_{1}}[V(P^{1})]]$ with independence number at most $(d-1)h=2(d-1)dq$ .

Let $H$ be some component of $G_{1}-N_{G_{1}}[V(P^{1})]$ . Since $h=2dq\geq 2(d-1)(q-2)+2q$ , by Lemma 4.8 there exists a smallest $i_{H}\in[n]$ such that $N_{G_{1}}(V(H))\subseteq\beta^{\prime\prime}(b_{i_{H}})$ .

It follows from the discussion above that $H$ excludes the path on $d(r+p-1)$ vertices as an induced subgraph. Hence, by applying Theorem 1.5 to each $H$ , we may obtain a tree decomposition $(T_{H},\beta_{H})$ for $H$ with independence number at most $(d-1)d(r+p-3)$ . We combine these decompositions with $(B,\beta^{\prime\prime})$ to form a tree decomposition $(T,\beta^{\prime})$ of $G_{1}$ as follows. For every $b\in V(B)$ set $\beta^{\prime}(b)\coloneqq\beta^{\prime\prime}(b)$ . For every $H$ and $t\in V(T_{H})$ set $\beta^{\prime}(t)\coloneqq\beta_{H}(t)\cup\beta^{\prime\prime}(b_{i_{H}})$ . Then let $T$ be the tree obtained from the disjoint union of $B$ and all of the trees $T_{H}$ by joining, for every $H$ , a single node of $T_{H}$ to the node $b_{i_{H}}$ . Observe that the resulting tuple $(T,\beta^{\prime})$ is indeed a tree decomposition of $G_{1}$ . Moreover, for all $t\in V(T)$ we have

	$\displaystyle\alpha(G_{1}[\beta^{\prime}(t)])$	$\displaystyle\leq(d-1)d(r+p-3)+2(d-1)dq$
		$\displaystyle=(d-1)d(2(d-1)(q-2)+p-3+2q)$
		$\displaystyle\leq(d-1)d(2dq+p).$

Finally, to obtain a tree decomposition of $G$ , we set $\beta(t)\coloneqq\beta^{\prime}(t)\cup X_{0}$ for all $t\in V(T)$ . The resulting tree decomposition $(T,\beta)$ is now a tree decomposition of $G$ with independence number at most

	$\displaystyle\phantom{=~{}}(d-1)d(2dq+p)+(d-1)dp$
	$\displaystyle=2(d-1)d(dq+p)$
	$\displaystyle\leq 2(d-1)(p+1)\cdot d\cdot(2d^{2}+1)$
	$\displaystyle\leq 2(d-1)(p+1)\cdot 2(d-1)\cdot 5(d-1)^{2}=20(d-1)^{4}(p+1),$

as claimed. ∎

The general case, where $S$ and $T$ are not necessarily connected, follows from Theorem 4.9 via a straightforward induction. More precisely, to prove Theorem 1.4 it suffices to observe the following.

Corollary 4.10.

Let $d$ , $k$ , and $p$ be positive integers and let $G$ be a $\{K_{1,d},kS_{p},kT_{p}\}$ -free graph. Then $\mathsf{tree}\textnormal{-}\alpha(G)<6dk(p+1)+20d^{4}(p+1)$ .

Proof.

If $d=1$ , then $G$ is edgeless and $\mathsf{tree}\textnormal{-}\alpha(G)\leq 1$ , hence, the inequality holds. So we may assume that $d\geq 2$ .

We proceed by proving the following inequality by induction on $k$ :

\displaystyle\mathsf{tree}\textnormal{-}\alpha(G)\leq 6(d-1)(k-1)(p+1)+20(d-1)% ^{4}(p+1)

Notice that, since $6(d-1)(k-1)(p+1)+20(d-1)^{4}(p+1)<6dk(p+1)+20d^{4}(p+1)$ , this will imply the assertion. The case $k=1$ is handled by Theorem 4.9, so we may immediately proceed with the inductive step for $k\geq 2$ .

If $G$ contains an induced $S_{p}$ , then let $X_{0}$ be the vertex set of an arbitrary induced $S_{p}$ in $G$ and $X$ be the closed neighborhood of $X_{0}$ in $G$ . If no induced $S_{p}$ exists in $G$ , then let $X\coloneqq\emptyset$ . Notice that $\alpha(G[X])\leq|V(S_{p})|(d-1)\leq 3(d-1)(p+1)$ .

Similarly, if $G$ contains an induced $T_{p}$ , we select a set $Y\subseteq V(G)$ such that $Y$ is the closed neighborhood of some induced $T_{p}$ in $G$ . Otherwise we set $Y\coloneqq\emptyset$ . As before we have $\alpha(G[Y])\leq|V(T_{p})|(d-1)\leq 3(d-1)(p+1)$ .

Now we may observe two things. First, $\alpha(G[X\cup Y])\leq 6(d-1)(p+1)$ . Second, if the graph $G-(X\cup Y)$ contains an induced $(k-1)S_{p}$ or an induced $(k-1)T_{p}$ , then $G$ contains an induced $kS_{p}$ or an induced $kT_{p}$ , respectively, a contradiction. Thus, $G-(X\cup Y)$ is $\{K_{1,d},(k-1)S_{p},(k-1)T_{p}\}$ -free. By our induction hypothesis, it follows that $\mathsf{tree}\textnormal{-}\alpha(G-(X\cup Y))\leq 6(d-1)(k-2)(p+1)+20(d-1)^{4% }(p+1)$ . With the bound the independence number of $G[X\cup Y]$ and Lemma 3.1 we obtain

	$\displaystyle\mathsf{tree}\textnormal{-}\alpha(G)$	$\displaystyle\leq\alpha(G[X\cup Y])+\mathsf{tree}\textnormal{-}\alpha(G-(X\cup Y))$
		$\displaystyle\leq 6(d-1)(p+1)+6(d-1)(k-2)(p+1)+20(d-1)^{4}(p+1)$
		$\displaystyle\leq 6(d-1)(k-1)(p+1)+20(d-1)^{4}(p+1)\,,$

as desired. ∎

5 Tree-independence number of line graphs

In this section, we show that Conjecture 1.1 holds for subclasses of the class of line graphs and determine the exact values of tree-independence number of line graphs of complete graphs and complete bipartite graphs.

5.1 Conjecture 1.1 for subclasses of the class of line graphs

We start by recalling a result of Bodlaender, Gustedt, and Telle [22]. The clique cover number of a graph $G$ is the minimum number of cliques with union $V(G)$ . The proof of [22, Lemma 2.4] shows the following.

Theorem 5.1.

Let $H$ be a graph, let $\{H_{j}\}_{j\in J}$ be a family of connected subgraphs of $H$ , and let $G$ be the graph with vertex set $J$ in which two distinct vertices $i$ and $j$ are adjacent if and only if $H_{i}$ and $H_{j}$ have a vertex in common. Then $G$ has a tree decomposition $\mathcal{T}=(T,\beta)$ such that for each $t\in V(T)$ , the induced subgraph $G[\beta(t)]$ has clique cover number at most $\mathsf{tw}(H)+1$ .

Since the independence number of any graph $G$ is a lower bound on its clique cover number, Theorem 5.1 implies the following.

Corollary 5.2.

Let $H$ be a graph, let $\{H_{j}\}_{j\in J}$ be a family of connected subgraphs of $H$ , and let $G$ be the graph with vertex set $J$ in which two distinct vertices $i$ and $j$ are adjacent if and only if $H_{i}$ and $H_{j}$ have a vertex in common. Then $\mathsf{tree}\textnormal{-}\alpha(G)\leq\mathsf{tw}(H)+1$ .

Corollary 5.2 implies the following inequality relating the treewidth of a graph and the tree-independence number of its line graph.

Theorem 5.3.

For every graph $G$ , it holds that $\mathsf{tree}\textnormal{-}\alpha(L(G))\leq\mathsf{tw}(G)+1$ . Moreover, the bound is sharp: for every integer $n\geq 3$ , there exists a graph $G$ such that $\mathsf{tw}(G)=n$ and $\mathsf{tree}\textnormal{-}\alpha(L(G))=n+1$ .

Proof.

For any graph $G$ , applying Corollary 5.2 to the case when $J=E(G)$ and for each edge $e\in E(G)$ , the graph $H_{e}$ is the subgraph of $G$ induced by the endpoints of $e$ , implies that $\mathsf{tree}\textnormal{-}\alpha(L(G))\leq\mathsf{tw}(G)+1$ .

We show that the bound is sharp with the following construction. For an integer $n\geq 3$ , let $G_{n}$ be the graph obtained from a complete graph of order $n$ by replacing each of its edges with two paths of length two joining the endpoints of the edge. Thus, $G_{n}$ has $n+2{n\choose 2}$ vertices. See Fig. 2 for an illustration of $G_{3}$ and the remaining steps of this proof. Let us denote by $V_{n}$ the set of $n$ vertices of the initial complete graph. We fix an edge-coloring for $G_{n}$ with the colors red and blue such that for any two distinct vertices $u,v\in V_{n}$ the $4$ -cycle composed by the two paths of length $2$ between $u$ and $v$ is properly edge-colored. Note that every vertex of $V_{n}$ is incident with precisely $n-1$ red edges and $n-1$ blue edges.

Now let $H_{n}$ be the line graph of $G_{n}$ . For each vertex $v_{i}\in V_{n}$ , the set of edges incident with $v_{i}$ correspond to a clique $C_{i}$ in $H_{n}$ with cardinality $2(n-1)$ . Because of the above red-blue edge colorings, each of these cliques $C_{i}$ is partitioned into a “red” clique $R_{i}$ and a “blue” clique $B_{i}$ , each with cardinality $n-1$ .

Figure 2: An illustration for the proof of Theorem 5.3: (a) shows the graph

G_{3}

together with the edge coloring, (b) is the line graph

H_{3}

G_{3}

with the vertex coloring induced by the edge coloring of

G_{3}

, and (c) shows the resulting

K_{3,3}

after contracting the dashed edges in (b).

Note that if $i\neq j$ , then there is no edge in $H_{n}$ between $R_{i}$ and $R_{j}$ and also no edge between $B_{i}$ and $B_{j}$ . Furthermore, for any $i,j$ , there is an edge between $B_{i}$ and $R_{j}$ . Thus, contracting the edges within each of the monochromatic cliques $R_{i}$ and $B_{i}$ yields a complete bipartite graph $K_{n,n}$ . Hence, $H_{n}$ contains $K_{n,n}$ as an induced minor. By Propositions 2.4 and 2.5, we infer that $\mathsf{tree}\textnormal{-}\alpha(H_{n})\geq n$ .

For $n\geq 3$ , turning $V_{n}$ into a clique transforms $G_{n}$ into a chordal graph with clique number $n$ . Hence, $\mathsf{tw}(G_{n})\leq n-1$ by Theorem 2.2.

We conclude that $n\leq\mathsf{tree}\textnormal{-}\alpha(L(G_{n}))\leq\mathsf{tw}(G_{n})+1\leq n$ and hence, equalities hold. ∎

We remark that the statement of Theorem 5.3 is similar to the following.

Theorem 5.4 (Dallard et al., Theorem 3.8 in [39]).

For every graph $G$ , it holds that $\mathsf{tree}\textnormal{-}\alpha(G)\leq\mathsf{tw}(G)+1$ , and this bound is sharp: for every integer $n\geq 2$ , there exists a graph $G$ such that $\mathsf{tw}(G)=n$ and $\mathsf{tree}\textnormal{-}\alpha(G)=n+1$ .

Moreover, we are not aware of any graph $G$ with at least one edge such that $\mathsf{tree}\textnormal{-}\alpha(L(G))<\mathsf{tree}\textnormal{-}\alpha(G)$ . Note that if the inequality $\mathsf{tree}\textnormal{-}\alpha(G)\leq\mathsf{tree}\textnormal{-}\alpha(L(G))$ holds for all graphs with at least one edge, then this would relate the inequalities from Theorems 5.3 and 5.4 in a stronger sense: the former would imply the latter.

An $(n\times m)$ -grid is the graph with vertex set ${[n]\times[m]}$ and edge set

{\{\{(i,j),(i,j+1)\}\mid i\in[n],j\in[m-1]\}\cup\{\{(i,j),(i+1,j)\}\mid i\in[n% -1],j\in[m]\}}.

The elementary $k$ -wall for ${k\geq 3}$ , is obtained from the ${(k\times 2k)}$ -grid $G_{k,2k}$ by deleting every odd edge in every odd column and every even edge in every even column, and then deleting all degree-one vertices. See Fig. 3 for an example.

Figure 3: The elementary

4

-wall.

As mentioned in the introduction, Theorem 1.6, which we restate here for convenience, establishes Conjecture 1.1 for subclasses of the class of line graphs.

See 1.6

Proof.

As remarked earlier, the implication $2\Rightarrow 1$ follows from [39]. The implication $3\Rightarrow 2$ follows from Theorem 5.3. Finally, consider $1\Rightarrow 3$ . Let $\mathcal{G}$ be a class of graphs such that $L(\mathcal{G})$ is $(\mathsf{tw},\omega)$ -bounded. Suppose, to the contrary, that $\mathcal{G}$ has unbounded treewidth. By the Grid-Minor Theorem [66], there exists a function $f\colon\mathbb{N}\rightarrow\mathbb{N}$ such that, for each $k\in\mathbb{N}$ , every graph of treewidth at least $f(k)$ contains a subdivision of the elementary $k$ -wall as a subgraph. Let $G_{f(k)}\in\mathcal{G}$ be a graph of treewidth at least $f(k)$ . Then, $G_{f(k)}$ contains a subdivision $W_{k}^{*}$ of the elementary $k$ -wall $W_{k}$ as a subgraph. This implies that $L(G_{f(k)})$ contains $L(W_{k}^{*})$ as an induced subgraph. Note that $L(W_{k})$ is a minor of $L(W_{k}^{*})$ and hence $\mathsf{tw}(L(W_{k}^{*}))\geq\mathsf{tw}(L(W_{k}))$ by Proposition 2.1. Hence, $\mathsf{tw}(L(W_{k}^{*}))\geq\mathsf{tw}(L(W_{k}))\geq(\mathsf{tw}(W_{k})+1)/2% -1\geq k/2-1$ , where the second inequality follows from [46]. However, since $\omega(L(W_{k}^{*}))\leq 3$ , we obtain a contradiction with the fact that $L(\mathcal{G})$ is $(\mathsf{tw},\omega)$ -bounded. ∎

A similar statement holds for the intersection graphs of connected subgraphs in some graphs. For a class $\mathcal{G}$ of graphs, let $I(\mathcal{G})$ be the class of region intersection graphs $G$ that can be obtained as follows. For $H\in\mathcal{G}$ and a family $\{H_{j}\}_{j\in J}$ of connected subgraphs of $H$ , let $G$ be the graph with vertex set $J$ in which two distinct vertices $i$ and $j$ are adjacent if and only if $H_{i}$ and $H_{j}$ have a vertex in common.

We remark that $L(\mathcal{G})$ is a subclass of $I(\mathcal{G})$ because to obtain the line graph of a graph, we can take $\{H_{j}\}_{j\in J}$ as the collection of all connected subgraphs with single edges. Region intersection graphs have been studied as a common generalization of many classes of geometric intersection graphs (see [50]).

Theorem 5.5.

Let $\mathcal{G}$ be a class of graphs. Then, the following statements are equivalent.

1.

The class $I(\mathcal{G})$ is $(\mathsf{tw},\omega)$ -bounded.
2.

The class $I(\mathcal{G})$ has bounded tree-independence number.
3.

The class $\mathcal{G}$ has bounded treewidth.

Proof.

The implication $2\Rightarrow 1$ follows from [39] and $3\Rightarrow 2$ follows from Corollary 5.2. To show $1\Rightarrow 3$ , suppose that $\mathcal{G}$ has unbounded treewidth. Then by Theorem 1.6, the class $L(\mathcal{G})$ of line graphs of graphs in $\mathcal{G}$ is not $(\mathsf{tw},\omega)$ -bounded. Since $L(\mathcal{G})\subseteq I(\mathcal{G})$ , the class $I(\mathcal{G})$ is also not $(\mathsf{tw},\omega)$ -bounded. ∎

5.2 Tree-independence number of $L(K_{n,n})$ and $L(K_{n})$

We now determine the exact values of the tree-independence number of line graphs of complete graphs and line graphs of complete bipartite graphs. To put these results in perspective, recall that either exact or approximate values of sim-width and treewidth of these graphs are known and that any graph $G$ satisfies $\mathsf{simw}(G)\leq\mathsf{tree}\textnormal{-}\alpha(G)\leq\mathsf{tw}(G)+1$ .

For treewidth, the exact values for $L(K_{n})$ and $L(K_{n,n})$ (with $n\geq 3$ ) were settled by Harvey and Wood [45] and Lucena [56], respectively:

\mathsf{tw}(L(K_{n}))=\left\lceil\frac{n^{2}}{4}+\frac{n}{2}-2\right\rceil,% \qquad\mathsf{tw}(L(K_{n,n}))=\frac{n^{2}}{2}+\frac{n}{2}-1\,.

The latter result was extended by Harvey and Wood [46], who showed that $\mathsf{tw}(L(K_{m,n}))$ has order $mn$ .

For sim-width, Brettell et al. [27] showed that $\mathsf{simw}(L(K_{m,n}))=\lceil m/3\rceil$ , for any two integers $m$ and $n$ such that $6<m\leq n$ , and used this result to show that for all $n>12$ ,

\left\lceil\frac{n}{6}\right\rceil\leq\mathsf{simw}(L(K_{n}))\leq\left\lceil% \frac{2n}{3}\right\rceil\,.

In the next two results, we show that for line graphs of complete graphs and line graphs of complete bipartite graphs the upper bound on the tree-independence number given by the independence number is achieved with equality.

Proposition 5.6.

For any two positive integers $m\leq n$ , $\mathsf{tree}\textnormal{-}\alpha(L(K_{m,n}))=\alpha(L(K_{m,m}))=m$ .

Proof.

Let $G=L(K_{m,n})$ for some positive integers $m\leq n$ . More precisely, let $V(G)=\{v_{i,j}\mid 1\leq i\leq m,1\leq j\leq n\}$ , and $E(G)=\{v_{i,j}v_{k,\ell}\mid(i=k\text{ and }j\neq\ell)\text{ or }(i\neq k\text% { and }j=\ell)\}$ . Note that $\alpha(G)=m$ , since every independent set in $G$ corresponds to a matching in $K_{m,n}$ and the maximum number of edges in a matching in $K_{m,n}$ is $m$ . Consequently, $\mathsf{tree}\textnormal{-}\alpha(G)\leq\alpha(G)=m$ .

We show that $\mathsf{tree}\textnormal{-}\alpha(G)\geq m$ by induction on $m$ . If $m=1$ , the statement holds trivially. Suppose that $m\geq 2$ . Let $H$ be an induced subgraph of $G$ isomorphic to $L(K_{m,m})$ . Let $\mathcal{T}=(T,\beta)$ be an arbitrary tree decomposition of $H$ . Our goal is to show that $\alpha(\mathcal{T})\geq m$ , which by Proposition 2.4 would imply that $\mathsf{tree}\textnormal{-}\alpha(G)\geq\mathsf{tree}\textnormal{-}\alpha(H)\geq m$ .

By Lemma 2.3, there is a vertex $v\in V(H)$ and a node $t\in V(T)$ such that $N[v]\subseteq\beta(t)$ . By symmetry, we may assume without loss of generality that $v=v_{m,m}$ . Note that $H-N[v]$ is isomorphic to $L(K_{m-1,m-1})$ . By the induction hypothesis, we get that $\mathsf{tree}\textnormal{-}\alpha(H-N[v])=\mathsf{tree}\textnormal{-}\alpha(L(% K_{m-1,m-1}))\geq m-1$ . This implies that $\mathcal{T}$ has a bag containing $m-1$ pairwise nonadjacent vertices from $H-N[v]$ . Let $t^{\prime}\in V(T)$ be the node of $T$ that is closest to $t$ among all the nodes whose bag contains a set $Z$ of $m-1$ pairwise nonadjacent vertices in $H-N[v]$ . By the symmetry properties of $L(K_{m-1,m-1})$ , we may assume without loss of generality that $Z=\{v_{i,i}\mid 1\leq i\leq m-1\}$ . Assume that $v_{i,m},v_{m,i}\in\beta(t^{\prime})$ for some $i\in\{1,\dots,m-1\}$ . Then the set $Z^{\prime}=(Z\setminus\{v_{i,i}\})\cup\{v_{i,m},v_{m,i}\}$ forms an independent set of size $m$ in $H$ such that $Z^{\prime}\subseteq\beta(t^{\prime})$ , and hence $\alpha(\mathcal{T})\geq m$ . Similarly, if $v_{m,m}\in\beta(t^{\prime})$ , then the set $Z^{\prime}=Z\cup\{v_{m,m}\}$ is an independent set of size $m$ in $H$ such that $Z^{\prime}\subseteq\beta(t^{\prime})$ , and hence $\alpha(\mathcal{T})\geq m$ . We may thus assume that for each $i\in\{1,\dots,m\}$ , at least one of $v_{i,m}$ and $v_{m,i}$ does not belong to $\beta(t^{\prime})$ . In particular, $t^{\prime}\neq t$ .

Let $t^{\prime\prime}$ be the neighbor of $t^{\prime}$ on the unique $(t^{\prime},t)$ -path in $T$ (possibly $t^{\prime\prime}=t$ ). The definition of $t^{\prime}$ implies that $Z\not\subseteq\beta(t^{\prime\prime})$ , that is, there exists some $i\in\{1,\ldots,m-1\}$ such that $v_{i,i}\not\in\beta(t^{\prime\prime})$ . We already know that at least one of $v_{i,m}$ and $v_{m,i}$ does not belong to $\beta(t^{\prime})$ . We may assume by symmetry that $v_{i,m}\not\in\beta(t^{\prime})$ . Since $v_{i,i}v_{i,m}\in E(H)$ , there exists a bag of $\mathcal{T}$ that contains this edge. As $v_{i,m}\in N_{H}[v_{m,m}]\subseteq\beta(t)$ but $v_{i,m}\not\in\beta(t^{\prime})$ , the vertex $v_{i,m}$ cannot belong to any bag corresponding to a node of the subtree of $T-t^{\prime}t^{\prime\prime}$ containing $t^{\prime}$ . Consequently, every bag of $\mathcal{T}$ that contains the edge $v_{i,i}v_{i,m}$ corresponds to a node of the subtree of $T-t^{\prime}t^{\prime\prime}$ containing $t^{\prime\prime}$ . But since $v_{i,i}\in\beta(t^{\prime})\setminus\beta(t^{\prime\prime})$ , this contradicts the fact that bags of $\mathcal{T}$ containing the vertex $v_{i,i}$ form a connected subtree of $T$ . It follows that this last case is not possible and we conclude that $\alpha(\mathcal{T})\geq m$ and consequently that $\mathsf{tree}\textnormal{-}\alpha(G)\geq\mathsf{tree}\textnormal{-}\alpha(H)\geq m$ . ∎

Proposition 5.7.

For every positive integer $n$ , $\mathsf{tree}\textnormal{-}\alpha(L(K_{n}))=\alpha(L(K_{n}))=\lfloor\frac{n}{2}\rfloor$ .

Proof.

To prove that $\mathsf{tree}\textnormal{-}\alpha(L(K_{n}))\geq\lfloor\frac{n}{2}\rfloor$ , it is enough to see that since $K_{n}$ contains $K_{\lfloor\frac{n}{2}\rfloor,\lfloor\frac{n}{2}\rfloor}$ as a subgraph, $L(K_{n})$ contains $L(K_{\lfloor\frac{n}{2}\rfloor,\lfloor\frac{n}{2}\rfloor})$ as an induced subgraph. By Proposition 5.6, the inequality follows. To prove that $\mathsf{tree}\textnormal{-}\alpha(L(K_{n}))\leq\lfloor\frac{n}{2}\rfloor$ , we use the fact that every independent set in $L(K_{n})$ corresponds exactly to a matching of $K_{n}$ . Since the largest size of a matching in $K_{n}$ is $\lfloor\frac{n}{2}\rfloor$ and the independence number of any graph is an upper bound on its tree-independence number, the result follows. ∎

Since sim-width of any graph is bounded from above by its tree-independence number, Proposition 5.7 leads to the following improvement of the aforementioned inequality $\mathsf{simw}(L(K_{n}))\leq\left\lceil\frac{2n}{3}\right\rceil$ due to Brettell et al. [27].

Corollary 5.8.

For every positive integer $n$ , $\mathsf{simw}(L(K_{n}))\leq\lfloor\frac{n}{2}\rfloor$ .

6 Tree-independence number of $P_{4}$ -free graphs

In this section, we discuss the special case of $P_{4}$ -free graphs. These graphs have been widely studied for their rich algorithmic properties. This is mostly due to the fact that a graph is $P_{4}$ -free if and only if it is a cograph (see, e.g., [31]), where the class of cographs is defined as the smallest class of graphs containing the one-vertex graph that is closed under the disjoint union and join operations. Furthermore, cographs are exactly the graphs of modular width two [32, 41]. We show here that, while their tree independence number is unbounded, it equals the size of a largest induced $K_{d,d}$ -subgraph for cographs, a number that can be computed in linear time. See 1.7

We begin with the following simple observation.

Observation 6.1.

Let $G$ be the disjoint union of graphs $G_{1}$ and $G_{2}$ . Then $\mathsf{tree}\textnormal{-}\alpha(G)=\max\{\mathsf{tree}\textnormal{-}\alpha(G% _{1}),\mathsf{tree}\textnormal{-}\alpha(G_{2})\}$ .

Given a graph $G$ , we denote by $\mathsf{ibn}(G)$ the induced biclique number of $G$ , that is, the largest nonnegative integer $n$ such that $G$ contains an induced subgraph isomorphic to $K_{n,n}$ .

Lemma 6.2.

The induced biclique number of a graph is a lower bound on its tree-independence number. More precisely, every non-null graph $G$ satisfies $\mathsf{tree}\textnormal{-}\alpha(G)\geq\max\{\mathsf{ibn}(G),1\}$ .

Proof.

This follows immediately from the fact that the tree-independence number cannot increase upon vertex deletion and that $\mathsf{tree}\textnormal{-}\alpha(K_{n,n})=n$ (see Propositions 2.4 and 2.5). ∎

The next result characterizes the tree-independence number of $P_{4}$ -free graphs.

Proposition 6.3.

Let $G$ be a $P_{4}$ -free graph. Then $\mathsf{tree}\textnormal{-}\alpha(G)=\max\{\mathsf{ibn}(G),1\}$ .

Proof.

By Lemma 6.2, it suffices to show that every $P_{4}$ -free graph $G$ satisfies $\mathsf{tree}\textnormal{-}\alpha(G)\leq\max\{\mathsf{ibn}(G),1\}$ . We show this using strong induction on $n=|V(G)|$ .

The case $n=1$ is trivial: a tree decomposition with a single bag containing the unique vertex has tree-independence number $1$ .

Let $G$ be a $P_{4}$ -free graph with $n>1$ vertices and assume that, for every $P_{4}$ -free graph $G^{\prime}$ with fewer than $n$ vertices, it holds that $\mathsf{tree}\textnormal{-}\alpha(G^{\prime})\leq\max\{\mathsf{ibn}(G^{\prime}% ),1\}$ . Since $G$ has $n>1$ vertices, there exist two $P_{4}$ -free graphs $G_{1}$ and $G_{2}$ such that $G$ can be obtained either from the disjoint union of $G_{1}$ and $G_{2}$ , or from the join of $G_{1}$ and $G_{2}$ . Assume first that $G$ is the disjoint union of $G_{1}$ and $G_{2}$ . In particular, $G$ is disconnected. By the induction hypothesis, we have $\mathsf{tree}\textnormal{-}\alpha(G_{i})\leq\max\{\mathsf{ibn}(G_{i}),1\}$ for $i=1,2$ . By 6.1, we have $\mathsf{tree}\textnormal{-}\alpha(G)=\max\{\mathsf{tree}\textnormal{-}\alpha(G% _{1}),\mathsf{tree}\textnormal{-}\alpha(G_{2})\}$ . Since also $\mathsf{ibn}(G)=\max\{\mathsf{ibn}(G_{1}),\mathsf{ibn}(G_{2})\}$ , we obtain

	$\displaystyle\mathsf{tree}\textnormal{-}\alpha(G)=$	$\displaystyle\max\{\mathsf{tree}\textnormal{-}\alpha(G_{1}),\mathsf{tree}% \textnormal{-}\alpha(G_{2})\}$
	$\displaystyle\leq$	$\displaystyle\max\{\max\{\mathsf{ibn}(G_{1}),1\},\max\{\mathsf{ibn}(G_{2}),1\}\}$
	$\displaystyle=$	$\displaystyle\max\{\mathsf{ibn}(G_{1}),\mathsf{ibn}(G_{2}),1\}=\max\{\mathsf{% ibn}(G),1\}\,,$

as desired.

Assume now that $G$ is the join of $G_{1}$ and $G_{2}$ . Since $G$ contains an induced subgraph isomorphic to $K_{1,1}$ , we have $\max\{\mathsf{ibn}(G),1\}=\mathsf{ibn}(G)$ . By the induction hypothesis, we have $\mathsf{tree}\textnormal{-}\alpha(G_{i})\leq\max\{\mathsf{ibn}(G_{i}),1\}$ for $i=1,2$ . Every induced subgraph of $G$ isomorphic to some $K_{p,p}$ for $p\geq 1$ is either fully contained in $G_{i}$ for some $i\in\{1,2\}$ or has one set of the bipartition in $G_{1}$ and the other one in $G_{2}$ . The former ones show that $\mathsf{ibn}(G)\geq\mathsf{ibn}(G_{i})$ for $i\in\{1,2\}$ , and the latter ones that $\mathsf{ibn}(G)\geq\min\{\alpha(G_{1}),\alpha(G_{2})\}$ . More precisely, we have

\mathsf{ibn}(G)=\max\{\mathsf{ibn}(G_{1}),\mathsf{ibn}(G_{2}),\min\{\alpha(G_{% 1}),\alpha(G_{2})\}\}\,.

By symmetry, we may assume without loss of generality that $\alpha(G_{1})\leq\alpha(G_{2})$ . By the induction hypothesis, we have $\mathsf{tree}\textnormal{-}\alpha(G_{2})\leq\max\{\mathsf{ibn}(G_{2}),1\}$ , and hence there exists a tree decomposition of $G_{2}$ with independence number at most $\max\{\mathsf{ibn}(G_{2}),1\}$ . Adding the vertices of $G_{1}$ to each bag of such a tree decomposition results in a tree decomposition of $G$ with independence number at most $\max\{\alpha(G_{1}),\max\{\mathsf{ibn}(G_{2}),1\}\}=\max\{\alpha(G_{1}),% \mathsf{ibn}(G_{2})\}$ . Therefore,

\mathsf{tree}\textnormal{-}\alpha(G)\leq\max\{\alpha(G_{1}),\mathsf{ibn}(G_{2}% )\}\leq\max\{\mathsf{ibn}(G_{1}),\mathsf{ibn}(G_{2}),\alpha(G_{1})\}=\mathsf{% ibn}(G)\,,

which completes the proof. ∎

The recursive decomposition of a $P_{4}$ -free graph into components of the graph or its complement all the way down to the copies of the one-vertex graph can be described using a decomposition tree called a cotree and can be computed in linear time using modular decomposition, as shown by Corneil et al. [32]. Following the cotree from the leaves to the root yields a linear-time algorithm to compute the independence number of a $P_{4}$ -free graph, using the recurrence relations $\alpha(G_{1}+G_{2})=\alpha(G_{1})+\alpha(G_{2})$ , $\alpha(G_{1}\ast G_{2})=\max\{\alpha(G_{1}),\alpha(G_{2})\}$ (or, more precisely, their obvious generalizations to the disjoint unions and joins of any number of graphs) and the initial condition $\alpha(K_{1})=1$ . Consequently, the induced biclique number of a $P_{4}$ -free graph can also be computed in linear time using the relations

	$\displaystyle\mathsf{ibn}(G_{1}+G_{2})=\max\{\mathsf{ibn}(G_{1}),\mathsf{ibn}(% G_{2})\}$
	$\displaystyle\mathsf{ibn}(G_{1}\ast G_{2})=\max\{\mathsf{ibn}(G_{1}),\mathsf{% ibn}(G_{2}),\min\{\alpha(G_{1}),\alpha(G_{2})\}\}$

(or, more precisely, their generalizations to the disjoint unions and joins of any number $k\geq 2$ of graphs) and the initial condition $\mathsf{ibn}(K_{1})=0$ . Thus, Proposition 6.3 has the following consequence.

Corollary 6.4.

The tree-independence number of a $P_{4}$ -free graph can be computed in linear time.

7 Conclusion

Towards a possible resolution of Conjecture 1.1 for hereditary graph classes defined by a finite set of forbidden induced subgraphs, it suffices to prove Conjecture 1.2. In this paper we have made a first step towards Conjecture 1.2 by proving that the conjecture holds in the case where we replace $K_{d,d}$ with $K_{1,d}$ . This setting seems natural as it can be seen as an “induced” generalization of graphs of bounded maximum degree.

Korhonen showed in [48] that, for graphs with bounded maximum degree, an induced variant of the Grid-Minor Theorem [66] holds for treewidth.

Theorem 7.1.

There exists a function $f\colon\mathbb{N}^{2}\to\mathbb{N}$ such that for every positive integer $k$ and every graph $G$ , if $\mathsf{tw}(G)>f(\Delta(G),k)$ , then $G$ contains the $(k\times k)$ -grid as an induced minor.

Graphs with bounded degree have bounded clique number, which implies that, in this setting, bounded treewidth, $(\mathsf{tw},\omega)$ -boundedness, and bounded tree-independence number are equivalent to each other. Hence, in the context of tree-independence number, it seems natural to conjecture a generalization of the induced variant of the Grid-Minor Theorem for graphs with bounded degree to hereditary graph classes excluding some $K_{1,d}$ . Given a hereditary graph class $\mathcal{C}$ , we call the class $\widehat{\mathcal{C}}\coloneqq\{H\mid H\text{ is an induced minor of some }G% \in\mathcal{C}\}$ the induced minor closure of $\mathcal{C}$ .

Conjecture 7.2.

Let $d$ be a positive integer and $\mathcal{C}$ be a hereditary graph class excluding $K_{1,d}$ . Then $\mathcal{C}$ has bounded tree-independence number if and only if $\widehat{\mathcal{C}}$ does not contain all planar graphs.

It is a well known fact that every planar graph is a minor of a large enough wall [66]. Moreover, for any graph $G$ it holds that if $G$ has a graph $H$ as a minor, then the graph obtained from $G$ by subdividing every edge once contains $H$ as an induced minor [50]. This implies that Conjecture 7.2 may be stated equivalently in terms of induced subgraphs.

Conjecture 7.3.

Let $d$ be a positive integer and $\mathcal{C}$ be a hereditary graph class excluding $K_{1,d}$ . Then $\mathcal{C}$ has bounded tree-independence number if and only if there exists a positive integer $k$ such that $\mathcal{C}$ excludes all subdivisions of the elementary $k$ -wall and their line graphs.

Returning to our discussion about hereditary graph classes defined by excluding a finite set of forbidden graphs, recall that a special case of Conjecture 1.2 is Conjecture 1.3, stating that for any two positive integers $d$ and $s$ , the class of $\{K_{d,d},P_{s}\}$ -free graphs has bounded tree-independence number. We observed that Conjecture 1.3 holds for every $d$ when excluding $K_{d,d}$ and $P_{4}$ , and improved an exponential upper bound on the tree-independence number of $\{K_{d,d},P_{4}\}$ -free graphs that follows from results in the literature to a sharp linear upper bound, obtaining along the way a linear-time algorithm to compute the tree-independence number of a $P_{4}$ -free graph. In addition, Theorem 1.5 proves Conjecture 1.3 for every $d$ and $s$ when excluding $K_{1,d}$ and $P_{s}$ . A natural next step would be to approach the following further weakening of Conjecture 1.3.

Conjecture 7.4.

For any two positive integers $d$ and $s$ , the class of $\{K_{2,d},P_{s}\}$ -free graphs has bounded tree-independence number.

Theorem 1.7 implies that Conjecture 7.4 holds for $d=1$ or $s\leq 4$ . It also holds for $d=2$ and $s=5$ . In this case we are dealing with $\{P_{5},C_{4}\}$ -free graphs and it can be shown that every such graph $G$ has tree-independence number at most $2$ . Indeed, if $G$ is not chordal, then $G$ contains an induced $5$ -cycle, and analyzing the possible ways in which the neighbors of a fixed $5$ -cycle connect to the cycle, a structural characterization of $\{P_{5},C_{4}\}$ -free graphs can be obtained, which implies the existence of a tree decomposition with independence number $2$ .

Finally, recall that we established the validity of Conjecture 1.1 for subclasses of the class of line graphs. The inequalities relating the treewidth of a graph with the tree-independence number of either the graph or its line graph (cf. Theorems 5.3 and 5.4) motivate the question of whether the tree-independence cannot decrease when taking the line graph.

Question 7.5.

Is $\mathsf{tree}\textnormal{-}\alpha(L(G))\geq\mathsf{tree}\textnormal{-}\alpha(G)$ if $G$ is not edgeless?

Acknowledgements.

This work is supported in part by the Slovenian Research and Innovation Agency (I0-0035, research programs P1-0285 and P1-0383, research projects J1-3001, J1-3002, J1-3003, J1-4008, J1-4084, and N1-0102), and by the research program CogniCom (0013103) at the University of Primorska, by the National Research Foundation of Korea (NRF) grant funded by the Ministry of Science and ICT (No. NRF-2021K2A9A2A11101617 and RS-2023-00211670), and the Institute for Basic Science (IBS-R029-C1).

References

[1] P. Aboulker, I. Adler, E. J. Kim, N. L. D. Sintiari, and N. Trotignon. On the tree-width of even-hole-free graphs. European J. Combin., 98:Paper No. 103394, 21, 2021.
[2] T. Abrishami, B. Alecu, M. Chudnovsky, S. Hajebi, and S. Spirkl. Induced subgraphs and tree decompositions VIII. Excluding a forest in (theta, prism)-free graphs. 2023. arXiv:2301.02138.
[3] T. Abrishami, B. Alecu, M. Chudnovsky, S. Hajebi, and S. Spirkl. Induced subgraphs and tree decompositions VII. Basic obstructions in $H$ -free graphs. J. Combin. Theory Ser. B, 164:443–472, 2024.
[4] T. Abrishami, B. Alecu, M. Chudnovsky, S. Hajebi, S. Spirkl, and K. Vušković. Tree independence number for (even hole, diamond, pyramid)-free graphs. 2023. arXiv:2305.16258.
[5] T. Abrishami, M. Chudnovsky, C. Dibek, S. Hajebi, P. Rzążewski, S. Spirkl, and K. Vušković. Induced subgraphs and tree decompositions II. Toward walls and their line graphs in graphs of bounded degree. J. Combin. Theory Ser. B, 164:371–403, 2024.
[6] T. Abrishami, M. Chudnovsky, C. Dibek, and P. Rzążewski. Polynomial-time algorithm for maximum independent set in bounded-degree graphs with no long induced claws. In J. S. Naor and N. Buchbinder, editors, Proceedings of the 2022 ACM-SIAM Symposium on Discrete Algorithms, SODA 2022, Virtual Conference / Alexandria, VA, USA, January 9 - 12, 2022, pages 1448–1470. SIAM, 2022.
[7] T. Abrishami, M. Chudnovsky, S. Hajebi, and S. Spirkl. Induced subgraphs and tree decompositions. V. One neighbor in a hole. 2022. arXiv:2205.04420.
[8] T. Abrishami, M. Chudnovsky, S. Hajebi, and S. Spirkl. Induced subgraphs and tree decompositions. VI. Graphs with 2-cutsets. 2022. arXiv:2207.05538.
[9] T. Abrishami, M. Chudnovsky, S. Hajebi, and S. Spirkl. Induced subgraphs and tree decompositions IV. (Even hole, diamond, pyramid)-free graphs. Electron. J. Combin., 30(2):Paper No. 2.42, 19, 2023.
[10] T. Abrishami, M. Chudnovsky, S. Hajebi, and S. Spirkl. Induced subgraphs and tree decompositions III. Three-path-configurations and logarithmic treewidth. Adv. Comb., Paper No. 6, 29, 2022.
[11] T. Abrishami, M. Chudnovsky, M. Pilipczuk, and P. Rzążewski. Max weight independent set in sparse graphs with no long claws. 2023. arXiv:2309.16995.
[12] T. Abrishami, M. Chudnovsky, and K. Vušković. Induced subgraphs and tree decompositions I. Even-hole-free graphs of bounded degree. J. Combin. Theory Ser. B, 157:144–175, 2022.
[13] V. E. Alekseev. The effect of local constraints on the complexity of determination of the graph independence number. In Combinatorial-Algebraic Methods in Applied Mathematics, pages 3–13. Gorky University Press, 1982. In Russian.
[14] S. Arnborg, J. Lagergren, and D. Seese. Easy problems for tree-decomposable graphs. J. Algorithms, 12(2):308–340, 1991.
[15] H.-J. Bandelt and H. M. Mulder. Distance-hereditary graphs. J. Combin. Theory Ser. B, 41(2):182–208, 1986.
[16] R. Belmonte and M. Vatshelle. Graph classes with structured neighborhoods and algorithmic applications. Theoret. Comput. Sci., 511:54–65, 2013.
[17] B. Bergougnoux, J. Dreier, and L. Jaffke. A logic-based algorithmic meta-theorem for mim-width. In N. Bansal and V. Nagarajan, editors, Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, SODA 2023, Florence, Italy, January 22-25, 2023, pages 3282–3304. SIAM, 2023.
[18] B. Bergougnoux, T. Korhonen, and I. Razgon. New width parameters for independent set: One-sided-mim-width and neighbor-depth. In D. Paulusma and B. Ries, editors, Graph-Theoretic Concepts in Computer Science - 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023, Revised Selected Papers, volume 14093 of Lecture Notes in Computer Science, pages 72–85. Springer, 2023.
[19] P. Berman. A $d/2$ approximation for maximum weight independent set in $d$ -claw free graphs. Nordic J. Comput., 7(3):178–184, 2000.
[20] H. L. Bodlaender. A linear-time algorithm for finding tree-decompositions of small treewidth. SIAM J. Comput., 25(6):1305–1317, 1996.
[21] H. L. Bodlaender. A partial $k$ -arboretum of graphs with bounded treewidth. Theoret. Comput. Sci., 209(1-2):1–45, 1998.
[22] H. L. Bodlaender, J. Gustedt, and J. A. Telle. Linear-time register allocation for a fixed number of registers. In H. J. Karloff, editor, Proceedings of the Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, 25-27 January 1998, San Francisco, California, USA, pages 574–583. ACM/SIAM, 1998.
[23] H. L. Bodlaender and D. M. Thilikos. Treewidth for graphs with small chordality. Discrete Appl. Math., 79:45–61, 1997.
[24] E. Bonnet, E. J. Kim, S. Thomassé, and R. Watrigant. Twin-width I: Tractable FO model checking. J. ACM, 69(1):Art. 3, 46, 2022.
[25] A. Brandstädt and R. Mosca. Maximum weight independent set for $\ell$ claw-free graphs in polynomial time. Discrete Appl. Math., 237:57–64, 2018.
[26] N. Brettell, J. Horsfield, A. Munaro, G. Paesani, and D. Paulusma. Bounding the mim-width of hereditary graph classes. J. Graph Theory, 99(1):117–151, 2022.
[27] N. Brettell, A. Munaro, D. Paulusma, and S. Yang. Comparing width parameters on graph classes. 2023. arXiv:2308.05817.
[28] B.-M. Bui-Xuan, J. A. Telle, and M. Vatshelle. Boolean-width of graphs. Theoret. Comput. Sci., 412(39):5187–5204, 2011.
[29] B.-M. Bui-Xuan, J. A. Telle, and M. Vatshelle. Fast dynamic programming for locally checkable vertex subset and vertex partitioning problems. Theoret. Comput. Sci., 511:66–76, 2013.
[30] S. Chaplick, M. Töpfer, J. Voborník, and P. Zeman. On $H$ -topological intersection graphs. Algorithmica, 83(11):3281–3318, 2021.
[31] D. G. Corneil, H. Lerchs, and L. S. Burlingham. Complement reducible graphs. Discrete Appl. Math., 3(3):163–174, 1981.
[32] D. G. Corneil, Y. Perl, and L. K. Stewart. A linear recognition algorithm for cographs. SIAM J. Comput., 14(4):926–934, 1985.
[33] B. Courcelle. The monadic second-order logic of graphs. I. Recognizable sets of finite graphs. Inform. and Comput., 85(1):12–75, 1990.
[34] B. Courcelle, J. A. Makowsky, and U. Rotics. Linear time solvable optimization problems on graphs of bounded clique-width. Theory Comput. Syst., 33(2):125–150, 2000.
[35] B. Courcelle and S. Olariu. Upper bounds to the clique width of graphs. Discrete Appl. Math., 101(1-3):77–114, 2000.
[36] C. Dallard, F. V. Fomin, P. A. Golovach, T. Korhonen, and M. Milanič. Computing tree decompositions with small independence number. 2022. arXiv:2207.09993.
[37] C. Dallard, M. Milanič, and K. Štorgel. Treewidth versus clique number. III. Tree-independence number of graphs with a forbidden structure. 2022. arXiv:2206.15092v2.
[38] C. Dallard, M. Milanič, and K. Štorgel. Treewidth versus clique number. I. Graph classes with a forbidden structure. SIAM J. Discrete Math., 35(4):2618–2646, 2021.
[39] C. Dallard, M. Milanič, and K. Štorgel. Treewidth versus clique number. II. Tree-independence number. Journal of Combinatorial Theory, Series B, 164:404–442, 01 2024.
[40] R. Diestel. Graph theory, volume 173 of Graduate Texts in Mathematics. Springer, Berlin, fifth edition, 2017.
[41] J. Gajarský, M. Lampis, and S. Ordyniak. Parameterized algorithms for modular-width. In G. Z. Gutin and S. Szeider, editors, Parameterized and Exact Computation - 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers, volume 8246 of Lecture Notes in Computer Science, pages 163–176. Springer, 2013.
[42] P. Gartland and D. Lokshtanov. Independent set on $P_{k}$ -free graphs in quasi-polynomial time. In S. Irani, editor, 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020, Durham, NC, USA, November 16-19, 2020, pages 613–624. IEEE, 2020.
[43] A. Grzesik, T. Klimošová, M. Pilipczuk, and M. Pilipczuk. Polynomial-time algorithm for maximum weight independent set on $P_{6}$ -free graphs. ACM Trans. Algorithms, 18(1):Art. 4, 57, 2022.
[44] A. Gyárfás. Problems from the world surrounding perfect graphs. In Proceedings of the International Conference on Combinatorial Analysis and its Applications (Pokrzywna, 1985), volume 19, pages 413–441 (1988), 1987.
[45] D. J. Harvey and D. R. Wood. Treewidth of the line graph of a complete graph. Journal of Graph Theory, 79:48–54, 2015.
[46] D. J. Harvey and D. R. Wood. The treewidth of line graphs. J. Combin. Theory Ser. B, 132:157–179, 2018.
[47] D. Y. Kang, O.-j. Kwon, T. J. F. Strømme, and J. A. Telle. A width parameter useful for chordal and co-comparability graphs. Theoret. Comput. Sci., 704:1–17, 2017.
[48] T. Korhonen. Grid induced minor theorem for graphs of small degree. J. Combin. Theory Ser. B, 160:206–214, 2023.
[49] A. Kosowski, B. Li, N. Nisse, and K. Suchan. $k$ -chordal graphs: from cops and robber to compact routing via treewidth. Algorithmica, 72:758–777, 2015.
[50] J. R. Lee. Separators in region intersection graphs. In C. H. Papadimitriou, editor, 8th Innovations in Theoretical Computer Science Conference, ITCS 2017, January 9-11, 2017, Berkeley, CA, USA, volume 67 of LIPIcs, pages 1:1–1:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[51] L. Lovász. Graph minor theory. Bull. Amer. Math. Soc. (N.S.), 43(1):75–86, 2006.
[52] V. Lozin. From matchings to independent sets. Discrete Appl. Math., 231:4–14, 2017.
[53] V. Lozin and D. Rautenbach. On the band-, tree-, and clique-width of graphs with bounded vertex degree. SIAM J. Discrete Math., 18(1):195–206, 2004.
[54] V. Lozin and I. Razgon. Tree-width dichotomy. European J. Combin., 103:Paper No. 103517, 8, 2022.
[55] V. V. Lozin and M. Milanič. A polynomial algorithm to find an independent set of maximum weight in a fork-free graph. J. Discrete Algorithms, 6(4):595–604, 2008.
[56] B. Lucena. Achievable sets, brambles, and sparse treewidth obstructions. Discrete Applied Mathematics, 155:1055–1065, 2007.
[57] K. Majewski, T. Masarík, J. Novotná, K. Okrasa, M. Pilipczuk, P. Rzążewski, and M. Sokołowski. Max weight independent set in graphs with no long claws: An analog of the Gyárfás’ path argument. In M. Bojanczyk, E. Merelli, and D. P. Woodruff, editors, 49th International Colloquium on Automata, Languages, and Programming, ICALP 2022, July 4-8, 2022, Paris, France, volume 229 of LIPIcs, pages 93:1–93:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[58] M. Milanič and P. Rzążewski. Tree decompositions with bounded independence number: beyond independent sets. 2022. arXiv:2209.12315.
[59] G. J. Minty. On maximal independent sets of vertices in claw-free graphs. J. Combin. Theory Ser. B, 28(3):284–304, 1980.
[60] A. Munaro and S. Yang. On algorithmic applications of sim-width and mim-width of $(H_{1},H_{2})$ -free graphs. Theoret. Comput. Sci., 955:Paper No. 113825, 20, 2023.
[61] D. Nakamura and A. Tamura. A revision of Minty’s algorithm for finding a maximum weight stable set of a claw-free graph. J. Oper. Res. Soc. Japan, 44(2):194–204, 2001.
[62] M. Neuwohner. An improved approximation algorithm for the maximum weight independent set problem in $d$ -claw free graphs. In M. Bläser and B. Monmege, editors, 38th International Symposium on Theoretical Aspects of Computer Science, STACS 2021, March 16-19, 2021, Saarbrücken, Germany (Virtual Conference), volume 187 of LIPIcs, pages 53:1–53:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[63] S.-i. Oum. Rank-width and vertex-minors. J. Combin. Theory Ser. B, 95(1):79–100, 2005.
[64] S.-i. Oum and P. Seymour. Approximating clique-width and branch-width. J. Combin. Theory Ser. B, 96(4):514–528, 2006.
[65] M. Pilipczuk, M. Pilipczuk, and P. Rzążewski. Quasi-polynomial-time algorithm for independent set in $P_{t}$ -free graphs via shrinking the space of induced paths. In H. V. Le and V. King, editors, 4th Symposium on Simplicity in Algorithms, SOSA 2021, Virtual Conference, January 11-12, 2021, pages 204–209. SIAM, 2021.
[66] N. Robertson and P. D. Seymour. Graph minors. V. Excluding a planar graph. J. Combin. Theory Ser. B, 41(1):92–114, 1986.
[67] A. Schrijver. Combinatorial optimization. Polyhedra and efficiency (3 volumes), volume 24 of Algorithms Comb. Berlin: Springer, 2003.
[68] P. Seymour. Tree-chromatic number. J. Combin. Theory Ser. B, 116:229–237, 2016.
[69] M. Vatshelle. New width parameters of graphs. PhD thesis, University of Bergen, 2012.
[70] N. Yolov. Minor-matching hypertree width. In A. Czumaj, editor, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2018, New Orleans, LA, USA, January 7-10, 2018, pages 219–233. SIAM, 2018.

Treewidth versus clique number. IV. Tree-independence number of graphs excluding an induced star

Abstract

1 Introduction

1.1 Background

Conjecture 1.1 (Dallard et al. [37]).

1.2 Our focus

Conjecture 1.2.

Conjecture 1.3.

1.3 Our results

Theorem 1.4.

Theorem 1.5.

Theorem 1.6.

Theorem 1.7.

1.4 Algorithmic implications

Corollary 1.8.

1.5 Structure of the paper

2 Preliminaries

Proposition 2.1 (folklore).

Theorem 2.2.

Lemma 2.3.

Proposition 2.4.

Proposition 2.5.

3 Tree-independence number of {K1,d,Ps}subscript𝐾1𝑑subscript𝑃𝑠\{K_{1,d},P_{s}\}{ italic_K start_POSTSUBSCRIPT 1 , italic_d end_POSTSUBSCRIPT , italic_P start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT }-free graphs

Lemma 3.1.

Proof.

Proof of Theorem 1.5.

4 Tree-independence number of {K1,d,S,T}subscript𝐾1𝑑𝑆𝑇\{K_{1,d},S,T\}{ italic_K start_POSTSUBSCRIPT 1 , italic_d end_POSTSUBSCRIPT , italic_S , italic_T }-free graphs

Lemma 4.1.

Proof.

Lemma 4.2.

Proof.

Lemma 4.3.

Proof.

Lemma 4.4.

Proof.

Lemma 4.5.

Proof.

Lemma 4.6.

Proof.

Lemma 4.7.

Proof.

Lemma 4.8.

Proof.

Theorem 4.9.

Proof.

Corollary 4.10.

Proof.

5 Tree-independence number of line graphs

5.1 Conjecture 1.1 for subclasses of the class of line graphs

Theorem 5.1.

Corollary 5.2.

Theorem 5.3.

Proof.

Theorem 5.4 (Dallard et al., Theorem 3.8 in [39]).

Proof.

Theorem 5.5.

Proof.

5.2 Tree-independence number of L⁢(Kn,n)𝐿subscript𝐾𝑛𝑛L(K_{n,n})italic_L ( italic_K start_POSTSUBSCRIPT italic_n , italic_n end_POSTSUBSCRIPT ) and L⁢(Kn)𝐿subscript𝐾𝑛L(K_{n})italic_L ( italic_K start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT )

Proposition 5.6.

Proof.

Proposition 5.7.

Proof.

Corollary 5.8.

6 Tree-independence number of P4subscript𝑃4P_{4}italic_P start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT-free graphs

Observation 6.1.

Lemma 6.2.

Proof.

Proposition 6.3.

Proof.

Corollary 6.4.

7 Conclusion

Theorem 7.1.

Conjecture 7.2.

Conjecture 7.3.

Conjecture 7.4.

Question 7.5.

Acknowledgements.

References

3 Tree-independence number of $\{K_{1,d},P_{s}\}$ -free graphs

4 Tree-independence number of $\{K_{1,d},S,T\}$ -free graphs

5.2 Tree-independence number of $L(K_{n,n})$ and $L(K_{n})$

6 Tree-independence number of $P_{4}$ -free graphs