A global decomposition theorem for excluding immersions in graphs with no edge-cut of order three
arXiv:2006.15694 · doi:10.1016/j.jctb.2022.01.005
Abstract
A graph contains another graph as an immersion if can be obtained from a subgraph of by splitting off edges and removing isolated vertices. There is an obvious necessary degree condition for the immersion containment: if contains as an immersion, then for every integer , the number of vertices of degree at least in is at least the number of vertices of degree at least in . In this paper, we prove that this obvious necessary condition is "nearly" sufficient for graphs with no edge-cut of order 3: for every graph , every -immersion free graph with no edge-cut of order 3 can be obtained by an edge-sum of graphs, where each of the summands is obtained from a graph violating the obvious degree condition by adding a bounded number of edges. The condition for having no edge-cut of order 3 is necessary. A simple application of this theorem shows that for every graph of maximum degree , there exists an integer such that for every positive integer , there are at most unlabelled -edge-connected -immersion free -edge graphs with no isolated vertex, while there are superexponentially many unlabelled -edge-connected -immersion free -edge graphs with no isolated vertex. Our structure theorem will be applied in a forthcoming paper about determining the clustered chromatic number of the class of -immersion free graphs.
References in corpus (11)
- Tangle-tree duality in abstract separation systems
- Tangle-tree duality: in graphs, matroids and beyond
- Clustered Graph Coloring and Layered Treewidth
- Clustered Variants of Hajós' Conjecture
- Packing and Covering Immersions in 4-Edge-Connected Graphs
- Packing Topological Minors Half-Integrally
- A stronger structure theorem for excluded topological minors
- Clustered Coloring of Graphs Excluding a Subgraph and a Minor
- Excluding subdivisions of bounded degree graphs
- Immersion and clustered coloring
- Small families under subdivision