Abstract:This paper explores the structure of graphs defined by an excluded minor or an excluded odd minor through the lens of graph products and tree-decompositions. We prove that every graph excluding a fixed odd minor is contained in the strong product of two graphs each with bounded treewidth. For graphs excluding a fixed minor, we strengthen the result by showing that every such graph is contained in the strong product of two digraphs with bounded indegree and with bounded treewidth. This result has the advantage that the product now has bounded degeneracy. In the setting of 3-term products, we show that every $K_t$-minor-free graph is contained in $H_1\boxtimes H_2 \boxtimes K_{c(t)}$ where $\text{tw}(H_i)\leq t-2$. This treewidth bound is close to tight: in any such result with $\text{tw}(H_i)$ bounded, both $H_1$ and $H_2$ can be forced to contain any graph of treewidth $t-5$, implying $\text{tw}(H_1)\geq t-5$ and $\text{tw}(H_2)\geq t-5$. Analogous lower and upper bounds are shown for any excluded minor, where the minimum possible bound on $\text{tw}(H_i)$ is tied to the treedepth of the excluded minor. Subgraphs of the product of two graphs with bounded treewidth have two tree-decompositions where any bag from the first decomposition intersects any bag from the second decomposition in a bounded number, $k$, of vertices, so called $k$-orthogonal tree-decompositions. We show that graphs excluding a fixed odd-minor have a tree-decomposition and a path-decomposition that are $O(1)$-orthogonal. This implies that such graphs have a tree-decomposition in which each bag has bounded pathwidth. This result is best possible in that `pathwidth' cannot be replaced by `bandwidth' or `treedepth'. Moreover, we characterize the minor-closed classes that have a tree-decomposition in which each bag has bounded bandwidth, or each bag has bounded treedepth.

On classes of bounded tree rank, their interpretations, and efficient sparsification

Decomposition horizons and a characterization of stable hereditary classes of graphs

Elementary first-order model checking for sparse graphs

Canonical decompositions in monadically stable and bounded shrubdepth graph classes

Tree-depth, quantifier elimination, and quantifier rank.

First-Order Model Checking on Monadically Stable Graph Classes

Polyregular functions on unordered trees of bounded height

Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond

Optimal Tree Decompositions Revisited: A Simpler Linear-Time FPT Algorithm

Network Representation and Modular Decomposition of Combinatorial Structures: A Galled-Tree Perspective

Local expressions of hereditary classes

Composing dynamic programming tree-decomposition-based algorithms

Automatic Linear Orders and Trees

On Rotation Distance of Rank Bounded Trees

Product Structure and Tree-Decompositions

Treewidth versus clique number. II. Tree-independence number

Induced subgraphs and tree decompositions VI. Graphs with 2-cutsets

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

Conjunctive Queries over Trees

Decomposing highly edge-connected graphs into homomorphic copies of a fixed tree

On polynomial degree-boundedness