Abstract:Treewidth is a fundamental graph parameter that quantifies the complexity of graphs by measuring their "thickness" compared to a tree. In 1986, Robertson and Seymour proved that the only way a graph may have large treewidth is by containing a large hexagonal grid as a minor, or equivalently, as a (subdivided) subgraph. Which induced subgraphs prevent a graph from having small treewidth? Along with complete graphs, there are three other "basic" obstructions that should appear in the answer. But the full list remains beyond the reach of current methods, and "even holes" seem to be the crux of this matter. The reason lies in the observation that even holes are the only (non-trivial) induced subgraphs that all basic obstructions except for complete graphs have in common, and yet graphs with no even hole and no $4$-vertex complete subgraph fail to have bounded treewidth. The only known example of (even-hole, $K_4$)-free graphs of unbounded treewidth, called "layered wheels", is due to Sintiari and Trotignon. While rather complicated in global structure, layered wheels are unexpectedly sparse from a local perspective: for every $h\geq 1$, there are layered wheels of arbitrarily large treewidth in which every induced subgraph on at most $h$ vertices is chordal. The converse is also true, that every $K_4$-free chordal graph $H$ appears as an induced subgraph in every layered wheel of sufficiently large treewidth. It turns out, despite their technically involved construction, that layered wheels are in fact quite canonical: our main result shows that the local structure of layered wheels is realized in every (even-hole, $K_4$)-free graph of large treewidth. More precisely, we prove that for a graph $H$, every (even-hole, $K_4$)-free graph of large enough treewidth contains an induced subgraph isomorphic to $H$, if and only if $H$ is a $K_4$-free chordal graph.

Treewidth 2 in the Planar Graph Product Structure Theorem

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

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

Powers of planar graphs, product structure, and blocking partitions

Product Structure and Tree-Decompositions

An improved planar graph product structure theorem

Bounding the Treewidth of Outer $k$-Planar Graphs via Triangulations

Treewidth is Polynomial in Maximum Degree on Weakly Sparse Graphs Excluding a Planar Induced Minor

Structural Properties of Graph Products

Treewidth, Hadwiger Number, and Induced Minors

Shallow Minors, Graph Products, and Beyond-Planar Graphs

Linear bounds on treewidth in terms of excluded planar minors

Hereditary Graph Product Structure Theory and Induced Subgraphs of Strong Products

Induced subgraphs and tree decompositions XI. Local structure in even-hole-free graphs of large treewidth

Chordal graphs, even-hole-free graphs and sparse obstructions to bounded treewidth

Treewidth of the Generalized Kneser Graphs

Clustered independence and bounded treewidth

Treewidth of generalized Hamming graph, bipartite Kneser graph and generalized Petersen graph

On treewidth and maximum cliques

The Treewidth and Pathwidth of Graph Unions

The Complexity of Planar Boolean #CSP with Complex Weights