Abstract:The celebrated Erdős-Pósa Theorem, in one formulation, asserts that for every $c\geq 1$, graphs with no subgraph (or equivalently, minor) isomorphic to the disjoint union of $c$ cycles have bounded treewidth. What can we say about the treewidth of graphs containing no induced subgraph isomorphic to the disjoint union of $c$ cycles? Let us call these graphs $c$-perforated. While $1$-perforated graphs have treewidth one, complete graphs and complete bipartite graphs are examples of $2$-perforated graphs with arbitrarily large treewidth. But there are sparse examples, too: Bonamy, Bonnet, Déprés, Esperet, Geniet, Hilaire, Thomassé and Wesolek constructed $2$-perforated graphs with arbitrarily large treewidth and no induced subgraph isomorphic to $K_3$ or $K_{3,3}$; we call these graphs occultations. Indeed, it turns out that a mild (and inevitable) adjustment of occultations provides examples of $2$-perforated graphs with arbitrarily large treewidth and arbitrarily large girth, which we refer to as full occultations. Our main result shows that the converse also holds: for every $c\geq 1$, a $c$-perforated graph has large treewidth if and only if it contains, as an induced subgraph, either a large complete graph, or a large complete bipartite graph, or a large full occultation. This distinguishes $c$-perforated graphs, among graph classes purely defined by forbidden induced subgraphs, as the first to admit a grid-type theorem incorporating obstructions other than subdivided walls and their line graphs. More generally, for all $c,o\geq 1$, we establish a full characterization of induced subgraph obstructions to bounded treewidth in graphs containing no induced subgraph isomorphic to the disjoint union of $c$ cycles, each of length at least $o+2$.

The Hardness Of Embedding Grids And Walls

Book embeddings of graphs and a theorem of Whitney

Upward and Orthogonal Planarity are W[1]-hard Parameterized by Treewidth

Induced subgraphs and tree decompositions IX. Grid theorem for perforated graphs

Embedding Grid Graphs on Surfaces

Three remarks on W graphs

Embedding hypercubes into torus and Cartesian product of paths and cycles for minimizing wirelength

Cycles of Well-Linked Sets and an Elementary Bound for the Directed Grid Theorem

Treewidth, Hadwiger Number, and Induced Minors

XNLP-Completeness for Parameterized Problems on Graphs with a Linear Structure

ASP-Completeness of Hamiltonicity in Grid Graphs, with Applications to Loop Puzzles

The Complexity of Simultaneous Geometric Graph Embedding

Algorithmic Applications of Tree-Cut Width

An FPT algorithm for the embeddability of graphs into two-dimensional simplicial complexes

On Parameterized Path and Chordless Path Problems

An Extremal Graph Problem on a Grid and an Isoperimetric Problem for Polyominoes

A full Halin grid theorem

A note on the complexity of Feedback Vertex Set parameterized by mim-width

Bounding the Chromatic Number via High Dimensional Embedding

On 2-complexes embeddable in 4-space, and the excluded minors of their underlying graphs

The Parameterized Complexity of K-Edge Induced Subgraphs