Searcharxiv⌕ Search

arXiv subjects

David R. Wood

Publications and source records attributed to David R. Wood.

At least 55 records · Page 3Linked to original sources

Clustered Colouring of Odd-$H$-Minor-Free Graphs

The clustered chromatic number of a graph class $\mathcal{G}$ is the minimum integer $c$ such that every graph $G\in\mathcal{G}$ has a $c$-colouring where each monochromatic component in $G$ has bounded size. We study the clustered chromatic number of graph classes $\mathcal{G}_H^{\text{odd}}$ defined by excluding a graph $H$ as an odd-minor. How does the structure of $H$ relate to the clustered chromatic number of $\mathcal{G}_H^{\text{odd}}$? We adapt a proof method of Norin, Scott, Seymour and Wood (2019) to show that the clustered chromatic number of $\mathcal{G}_H^{\text{odd}}$ is tied to the tree-depth of $H$.

math.CO↗

Powers of planar graphs, product structure, and blocking partitions

We prove that the $k$-power of any planar graph $G$ is contained in $H\boxtimes P\boxtimes K_{f(Δ(G),k)}$ for some graph $H$ with bounded treewidth, some path $P$, and some function $f$. This resolves an open problem of Ossona de Mendez. In fact, we prove a more general result in terms of shallow minors that implies similar results for many `beyond planar' graph classes, without dependence on $Δ(G)$. For example, we prove that every $k$-planar graph is contained in $H\boxtimes P\boxtimes K_{f(k)}$ for some graph $H$ with bounded treewidth and some path $P$, and some function $f$. This resolves an open problem of Dujmović, Morin and Wood. We generalise all these results for graphs of bounded Euler genus, still with an absolute bound on the treewidth. At the heart of our proof is the following new concept of independent interest. An $\ell$-blocking partition of a graph $G$ is a partition of $V(G)$ into connected sets such that every path of length greater than $\ell$ in $G$ contains at least two vertices in one part. We prove that for some constant $\ell \ge 1$ every graph of Euler genus $g$ has an $\ell$-blocking partition with parts of size bounded by a function of $Δ(G)$ and $g$. Motivated by this result, we study blocking partitions in their own right. We show that every graph $G$ has a $2$-blocking partition with parts of size bounded by a function of $Δ(G)$ and $\textrm{tw}(G)$. On the other hand, we show that 4-regular graphs do not have $\ell$-blocking partitions with bounded size parts.

math.CO↗

Clustered Colouring of Graph Products

A colouring of a graph $G$ has clustering $k$ if the maximum number of vertices in a monochromatic component equals $k$. Motivated by recent results showing that many natural graph classes are subgraphs of the strong product of a graph with bounded treewidth and a path, this paper studies clustered colouring of strong products of two bounded treewidth graphs, where none, one, or both graphs have bounded degree. For example, in the case of two colours, if $n$ is the number of vertices in the product, then we show that clustering $Θ(n^{2/3})$ is best possible, even if one of the graphs is a path. However, if both graphs have bounded degree, then clustering $Θ(n^{1/2})$ is best possible. With three colours, if one of the graphs has bounded degree, then we show that clustering $Θ(n^{3/7})$ is best possible. However, if neither graph has bounded degree, then clustering $Ω(n^{1/2})$ is necessary. More general bounds for any given number of colours are also presented.

math.CO↗

Triangle-free graphs with diameter 2

There are finitely many graphs with diameter $2$ and girth 5. What if the girth 5 assumption is relaxed? Apart from stars, are there finitely many triangle-free graphs with diameter $2$ and no $K_{2,3}$ subgraph? This question is related to the existence of triangle-free strongly regular graphs, but allowing for a range of co-degrees gives the question a more extremal flavour. More generally, for fixed $s$ and $t$, are there infinitely many twin-free triangle-free $K_{s,t}$-free graphs with diameter 2? This paper presents partial results regarding these questions, including computational results, potential Cayley-graph and probabilistic constructions.

math.CO↗

Dominating $K_t$-Models

A $\textit{dominating $K_t$-model}$ in a graph $G$ is a sequence $(T_1,\dots,T_t)$ of pairwise disjoint non-empty connected subgraphs of $G$, such that for $1 \leqslant i<j \leqslant t$ every vertex in $T_j$ has a neighbour in $T_i$. Replacing "every vertex in $T_j$" by "some vertex in $T_j$" retrieves the standard definition of $K_t$-model, which is equivalent to $K_t$ being a minor of $G$. We explore in what sense dominating $K_t$-models behave like (non-dominating) $K_t$-models. The two notions are equivalent for $t \leqslant 3$, but are already very different for $t = 4$, since the 1-subdivision of any graph has no dominating $K_4$-model. Nevertheless, we show that every graph with no dominating $K_4$-model is 2-degenerate and 3-colourable. More generally, we prove that every graph with no dominating $K_t$-model is $2^{t-2}$-colourable. Motivated by the connection to chromatic number, we study the maximum average degree of graphs with no dominating $K_t$-model. We give an upper bound of $2^{t-2}$, and show that random graphs provide a lower bound of $(1-o(1))t\log t$, which we conjecture is asymptotically tight. This result is in contrast to the $K_t$-minor-free setting, where the maximum average degree is $Θ(t\sqrt{\log t})$. The natural strengthening of Hadwiger's Conjecture arises: is every graph with no dominating $K_t$-model $(t-1)$-colourable? We provide two pieces of evidence for this: (1) It is true for almost every graph, (2) Every graph $G$ with no dominating $K_t$-model has a $(t-1)$-colourable induced subgraph on at least half the vertices, which implies there is an independent set of size at least $\frac{\lvert V(G) \rvert}{2t-2}$.

math.CO↗

Bounded-Degree Planar Graphs Do Not Have Bounded-Degree Product Structure

Product structure theorems are a collection of recent results that have been used to resolve a number of longstanding open problems on planar graphs and related graph classes. One particularly useful version states that every planar graph $G$ is contained in the strong product of a $3$-tree $H$, a path $P$, and a $3$-cycle $K_3$; written as $G\subseteq H\boxtimes P\boxtimes K_3$. A number of researchers have asked if this theorem can be strengthened so that the maximum degree in $H$ can be bounded by a function of the maximum degree in $G$. We show that no such strengthening is possible. Specifically, we describe an infinite family $\mathcal{G}$ of planar graphs of maximum degree $5$ such that, if an $n$-vertex member $G$ of $\mathcal{G}$ is isomorphic to a subgraph of $H\boxtimes P\boxtimes K_c$ where $P$ is a path and $H$ is a graph of maximum degree $Δ$ and treewidth $t$, then $tΔc \ge 2^{Ω(\sqrt{\log\log n})}$.

math.CO↗

Product structure extension of the Alon--Seymour--Thomas theorem

Alon, Seymour and Thomas [1990] proved that every $n$-vertex graph excluding $K_t$ as a minor has treewidth less than $t^{3/2}\sqrt{n}$. Illingworth, Scott and Wood [2022] recently refined this result by showing that every such graph is a subgraph of some graph with treewidth $t-2$, where each vertex is blown up by a complete graph of order $O(\sqrt{tn})$. Solving an open problem of Illingworth, Scott and Wood [2022], we prove that the treewidth bound can be reduced to $4$ while keeping blowups of order $O_t(\sqrt{n})$. As an extension of the Lipton--Tarjan theorem, in the case of planar graphs, we show that the treewidth can be further reduced to $2$, which is best possible. We generalise this result for $K_{3,t}$-minor-free graphs, with blowups of order $O(t\sqrt{n})$. This setting includes graphs embeddable on any fixed surface.

math.CO↗

Product structure of graph classes with strongly sublinear separators

We investigate the product structure of hereditary graph classes admitting strongly sublinear separators. We characterise such classes as subgraphs of the strong product of a star and a complete graph of strongly sublinear size. In a more precise result, we show that if any hereditary graph class $\mathcal{G}$ admits $O(n^{1-ε})$ separators, then for any fixed $δ\in(0,ε)$ every $n$-vertex graph in $\mathcal{G}$ is a subgraph of the strong product of a graph $H$ with bounded tree-depth and a complete graph of size $O(n^{1-ε+δ})$. This result holds with $δ=0$ if we allow $H$ to have tree-depth $O(\log\log n)$. Moreover, using extensions of classical isoperimetric inequalties for grids graphs, we show the dependence on $δ$ in our results and the above $\text{td}(H)\in O(\log\log n)$ bound are both best possible. We prove that $n$-vertex graphs of bounded treewidth are subgraphs of the product of a graph with tree-depth $t$ and a complete graph of size $O(n^{1/t})$, which is best possible. Finally, we investigate the conjecture that for any hereditary graph class $\mathcal{G}$ that admits $O(n^{1-ε})$ separators, every $n$-vertex graph in $\mathcal{G}$ is a subgraph of the strong product of a graph $H$ with bounded tree-width and a complete graph of size $O(n^{1-ε})$. We prove this for various classes $\mathcal{G}$ of interest.

math.CO↗

Tree-Partitions with Small Bounded Degree Trees

A "tree-partition" of a graph $G$ is a partition of $V(G)$ such that identifying the vertices in each part gives a tree. It is known that every graph with treewidth $k$ and maximum degree $Δ$ has a tree-partition with parts of size $O(kΔ)$. We prove the same result with the extra property that the underlying tree has maximum degree $O(Δ)$ and $O(|V(G)|/k)$ vertices.

math.CO↗

The Excluded Tree Minor Theorem Revisited

We prove that for every tree $T$ of radius $h$, there is an integer $c$ such that every $T$-minor-free graph is contained in $H\boxtimes K_c$ for some graph $H$ with pathwidth at most $2h-1$. This is a qualitative strengthening of the Excluded Tree Minor Theorem of Robertson and Seymour (GM I). We show that radius is the right parameter to consider in this setting, and $2h-1$ is the best possible bound.

math.CO↗

Colouring Strong Products

Recent results show that several important graph classes can be embedded as subgraphs of strong products of simpler graphs classes (paths, small cliques, or graphs of bounded treewidth). This paper develops general techniques to bound the chromatic number (and its popular variants, such as fractional, clustered, or defective chromatic number) of the strong product of general graphs with simpler graphs classes, such as paths, and more generally graphs of bounded treewidth. We also highlight important links between the study of (fractional) clustered colouring of strong products and other topics, such as asymptotic dimension in metric theory and topology, site percolation in probability theory, and the Shannon capacity in information theory.

math.CO↗

Treewidth, Circle Graphs and Circular Drawings

A circle graph is an intersection graph of a set of chords of a circle. We describe the unavoidable induced subgraphs of circle graphs with large treewidth. This includes examples that are far from the `usual suspects'. Our results imply that treewidth and Hadwiger number are linearly tied on the class of circle graphs, and that the unavoidable induced subgraphs of a vertex-minor-closed class with large treewidth are the usual suspects if and only if the class has bounded rank-width. Using the same tools, we also study the treewidth of graphs $G$ that have a circular drawing whose crossing graph is well-behaved in some way. In this setting, we show that if the crossing graph is $K_t$-minor-free, then $G$ has treewidth at most $12t-23$ and has no $K_{2,4t}$-topological minor. On the other hand, we show that there are graphs with arbitrarily large Hadwiger number that have circular drawings whose crossing graphs are $2$-degenerate.

math.CO↗

Graph product structure for non-minor-closed classes

Dujmović et al. [\emph{J.~ACM}~'20] recently proved that every planar graph is isomorphic to a subgraph of the strong product of a bounded treewidth graph and a path. Analogous results were obtained for graphs of bounded Euler genus or apex-minor-free graphs. These tools have been used to solve longstanding problems on queue layouts, non-repetitive colouring, $p$-centered colouring, and adjacency labelling. This paper proves analogous product structure theorems for various non-minor-closed classes. One noteable example is $k$-planar graphs (those with a drawing in the plane in which each edge is involved in at most $k$ crossings). We prove that every $k$-planar graph is isomorphic to a subgraph of the strong product of a graph of treewidth $O(k^5)$ and a path. This is the first result of this type for a non-minor-closed class of graphs. It implies, amongst other results, that $k$-planar graphs have non-repetitive chromatic number upper-bounded by a function of $k$. All these results generalise for drawings of graphs on arbitrary surfaces. In fact, we work in a more general setting based on so-called shortcut systems, which are of independent interest. This leads to analogous results for certain types of map graphs, string graphs, graph powers, and nearest neighbour graphs.

math.CO↗

Graphs of Linear Growth have Bounded Treewidth

A graph class $\mathcal{G}$ has linear growth if, for each graph $G \in \mathcal{G}$ and every positive integer $r$, every subgraph of $G$ with radius at most $r$ contains $O(r)$ vertices. In this paper, we show that every graph class with linear growth has bounded treewidth.

math.CO↗

Improved product structure for graphs on surfaces

Dujmović, Joret, Micek, Morin, Ueckerdt and Wood [J. ACM 2020] proved that for every graph $G$ with Euler genus $g$ there is a graph $H$ with treewidth at most 4 and a path $P$ such that $G\subseteq H \boxtimes P \boxtimes K_{\max\{2g,3\}}$. We improve this result by replacing "4" by "3" and with $H$ planar. We in fact prove a more general result in terms of so-called framed graphs. This implies that every $(g,d)$-map graph is contained in $ H \boxtimes P\boxtimes K_\ell$, for some planar graph $H$ with treewidth $3$, where $\ell=\max\{2g\lfloor \frac{d}{2} \rfloor,d+3\lfloor\frac{d}{2}\rfloor-3\}$. It also implies that every $(g,1)$-planar graph (that is, graphs that can be drawn in a surface of Euler genus $g$ with at most one crossing per edge) is contained in $H\boxtimes P\boxtimes K_{\max\{4g,7\}}$, for some planar graph $H$ with treewidth $3$.

math.CO↗

Product structure of graphs with an excluded minor

This paper shows that $K_t$-minor-free (and $K_{s, t}$-minor-free) graphs $G$ are subgraphs of products of a tree-like graph $H$ (of bounded treewidth) and a complete graph $K_m$. Our results include optimal bounds on the treewidth of $H$ and optimal bounds (to within a constant factor) on $m$ in terms of the number of vertices of $G$ and the treewidth of $G$. These results follow from a more general theorem whose corollaries include a strengthening of the celebrated separator theorem of Alon, Seymour, and Thomas [J. Amer. Math. Soc. 1990] and the Planar Graph Product Structure Theorem of Dujmović et al. [J. ACM 2020].

math.CO↗

Clustered Coloring of Graphs with Bounded Layered Treewidth and Bounded Degree

The clustering of a graph coloring is the maximum size of monochromatic components. This paper studies colorings with bounded clustering in graph classes with bounded layered treewidth, which include planar graphs, graphs of bounded Euler genus, graphs embeddable on a fixed surface with a bounded number of crossings per edge, map graphs, amongst other examples. Our main theorem says that every graph with layered treewidth at most $k$ and with maximum degree at most $Δ$ is $3$-colorable with clustering $O(k^{19}Δ^{37})$. This is the first known polynomial bound on the clustering. This greatly improves upon a corresponding result of Esperet and Joret for graphs of bounded genus.

math.CO↗

Refined list version of Hadwiger's conjecture

Assume $λ=\{k_1,k_2, \ldots, k_q\}$ is a partition of $k_λ = \sum_{i=1}^q k_i$. A $λ$-list assignment of $G$ is a $k_λ$-list assignment $L$ of $G$ such that the colour set $\bigcup_{v \in V(G)}L(v)$ can be partitioned into $|λ|= q$ sets $C_1,C_2,\ldots,C_q$ such that for each $i$ and each vertex $v$ of $G$, $|L(v) \cap C_i| \ge k_i$. We say $G$ is \emph{$λ$-choosable} if $G$ is $L$-colourable for any $λ$-list assignment $L$ of $G$. The concept of $λ$-choosability is a refinement of choosability that puts $k$-choosability and $k$-colourability in the same framework. If $|λ|$ is close to $k_λ$, then $λ$-choosability is close to $k_λ$-colourability; if $|λ|$ is close to $1$, then $λ$-choosability is close to $k_λ$-choosability. This paper studies Hadwiger's Conjecture in the context of $λ$-choosability. Hadwiger's Conjecture is equivalent to saying that every $K_t$-minor-free graph is $\{1 \star (t-1)\}$-choosable for any positive integer $t$. We prove that for $t \ge 5$, for any partition $λ$ of $t-1$ other than $\{1 \star (t-1)\}$, there is a $K_t$-minor-free graph $G$ that is not $λ$-choosable. We then construct several types of $K_t$-minor-free graphs that are not $λ$-choosable, where $k_λ- (t-1)$ gets larger as $k_λ-|λ|$ gets larger. In partcular, for any $q$ and any $ε> 0$, there exists $t_0$ such that for any $t \ge t_0$, for any partition $λ$ of $\lfloor (2-ε)t \rfloor$ with $|λ| =q$, there is a $K_t$-minor-free graph that is not $λ$-choosable. The $q=1$ case of this result was recently proved by Steiner, and our proof uses a similar argument. We also generalize this result to $(a,b)$-list colouring.

math.CO↗