Total: 1
The Local Structure Theorem (LST) for graph minors roughly states that every H-minor free graph G that contains a sufficiently large wall W, there is a set of few vertices A such that, upon removing A, the resulting graph G′:=G−A admits an "almost embedding" δ into a surface Σ in which H does not embed. By almost embedding, we mean that there exists a hypergraph H whose vertex set is a subset of the vertex set of G and an embedding of H in Σ such that 1) the drawing of each hyperedge of H corresponds to a cell of δ, 2) the boundary of each cell intersects only the vertices of the corresponding hyperedge, and 3) all remaining vertices and edges of G′ are drawn in the interior of cells. The cells corresponding to hyperedges of arity at least 4, called vortices, are few in number and have small "depth", while a "large" part of the wall W is drawn outside the vortices and is "grounded" in the embedding δ. Now suppose that the subgraphs drawn inside each of the non-vortex cells are equipped with some finite index, i.e., each such cell is assigned a color from a finite set. We prove a version of the LST in which the set C of colors assigned to the non-vortex cells exhibits "large" bidimensionality: The graph G′ contains a minor model of a large grid Γ where each bag corresponding to a vertex v of Γ, contains the subgraph drawn within a cell carrying color α, for every color α∈C. Moreover, the grid Γ can be chosen in a way that is "well-connected" to the original wall W.