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.

Embeddability of graphs and Weihrauch degrees

Understanding the Complexity of Induced Subgraph Isomorphisms

Instance reducibility and Weihrauch degrees

Relative Dehn fuctions, hyperbolically embedded subgroups and combination theorems

The Effect of Graph Operations on the Degree-Based Entropy

Counting Small Induced Subgraphs with Hereditary Properties

On the reciprocal degree distance of graphs

Induced Subgraphs with Large Degrees at End-Vertices for Hamiltonicity of Claw-Free Graphs

Treewidth, Hadwiger Number, and Induced Minors

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

Counting Subgraphs in Somewhere Dense Graphs

A coarse geometric approach to graph layout problems

The largest subgraph without a forbidden induced subgraph

A $(1 + {\varepsilon})$-Embedding of Low Highway Dimension Graphs into Bounded Treewidth Graphs

Counting Small Induced Subgraphs: Hardness via Fourier Analysis

INDUCED W-GRAPHS

Embedding spanning subgraphs in uniformly dense and inseparable graphs

On polynomial degree-boundedness

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

Induced subgraphs and tree decompositions VII. Basic obstructions in H-free graphs

Embedding theorems for random graphs with specified degrees