arXiv subjects

Sebastian Wiederrecht

Publications and source records attributed to Sebastian Wiederrecht.

At least 19 recordsLinked to original sources

arXiv2026

Colorful Minors

We introduce the notion of colorful minors, which generalizes the classical concept of rooted minors in graphs. A $q$-colorful graph= is defined as a pair $(G, χ),$ where $G$ is a graph and $χ$ assigns to each vertex a (possibly empty) subset of at most $q$ colors. The colorful minor relation enhances the classical minor relation by merging color sets at contracted edges and allowing the removal of colors from vertices. This framework naturally models algorithmic problems involving graphs with (possibly overlapping) annotated vertex sets. We develop a structural theory for colorful minors by establishing three core theorems characterizing $\mathcal{H}$-colorful minor-free graphs, where $\mathcal{H}$ consists either of a clique or a grid with all vertices assigned all colors, or of grids with colors segregated and ordered on the outer face. Our results reveal that when exclusion is imposed not only on graphs but also to the way colors are distributed in them, a more refined structural landscape appears. On the algorithmic side, we deduce that colorful minor testing is fixed-parameter tractable. Together with the fact that the colorful minor relation forms a well-quasi-order, this implies that every colorful minor-monotone parameter on colorful graphs admits a fixed-parameter algorithm. Furthermore, we derive two algorithmic meta-theorems (AMTs) whose structural conditions are linked to extensions of treewidth and Hadwiger number on colorful graphs. Our results suggest how known AMTs can be extended to incorporate not only the structure of the input graph but also the way the colored vertices are distributed in it.

math.CO↗

arXiv2026

The Erdős-Pósa Property for Colorful Minors

A colorful graph relation enhances the minor relation by merging color sets along contractions and by allowing the removal of colors; it generalizes rooted minors and models problems on graphs with several, possibly overlapping, annotated vertex sets. A graph has the Erdős-Pósa property for minors if and only if it is planar, by a classical theorem of Robertson and Seymour. In this work we determine, for the colorful minor relation, exactly which colorful graphs have the Erdős-Pósa property. Our characterization takes three equivalent forms. The first is structural: the colorful graphs with the property are those that can be drawn with all their colored vertices on one face and whose colors are, in a precise sense, laid out along that face without interleaving. The second is given by an obstruction set: they are those excluding every member of an explicit infinite family $\mathcal{O},$ of which only $\mathbf{O}(|I|^{4})$ members have colors that are a subset of $I,$ for every finite set $I$ of colors. The third is grid-like: they are exactly the colorful minors of unions of particular families of segregated grids, the colorful analogues of the grids that drive the classical proof.

math.CO↗

arXiv2026

A relaxation of the Bermond-Thomassen conjecture

The well-known Bermond-Thomassen conjecture states that every digraph of minimum out-degree at least $2k-1$ contains $k$ vertex-disjoint directed cycles. Despite being posed in 1981, this conjecture remains unresolved for all $k \ge 4$. We prove a relaxation of this conjecture: every digraph $D$ of minimum out-degree at least $2k-1$ contains $k$ vertex-disjoint cycles, each of which either is directed or can be made directed by reversing one of its arcs. This bound is sharp and answers a question raised by Cames van Batenburg during the online workshop "Entropy Compression and Related Methods" in $2021$.

math.CO↗

arXiv2026

Bounds on treewidth via excluding disjoint unions of cycles

One of the fundamental results in graph minor theory is that for every planar graph~$H$, there is a minimum integer~$f(H)$ such that graphs with no minor isomorphic to~$H$ have treewidth at most~$f(H)$. The best known bound for an arbitrary planar $H$ is ${O(|V(H)|^9\operatorname{poly~log} |V(H)|)}$. We show that if $H$ is the disjoint union of cycles, then $f(H)$ is $O(|V(H)|\log^2 |V(H)|)$, which is a $\log|V(H)|$ factor away being optimal.

math.CO↗

arXiv2026

A directed flat wall theorem excluding a crossrow grid

The graph minor project contains the most influential results in recent undirected graph theory research. There has been progress in recent years in generalising some of their results to directed graphs, with the directed grid theorem of Kawarabayashi and Kreutzer [STOC '15] and the directed flat wall theorem of Giannopoulou, Kawarabayashi, Kreutzer, and Kwon [SODA '22]. We discuss the two different versions of the existing directed flat wall theorem and their drawbacks. Then, we present an alternative directed flat wall theorem that excludes a different digraph as a butterfly minor. This new theorem lies ``in between'' the two existing ones and, as such, does not have either of these drawbacks. The proof of our flat wall theorem is based on the one by Giannopoulou, Kawarabayashi, Kreutzer, and Kwon [SODA '22], which has been adapted by Giannopoulou and Wiederrecht [STOC~'24]. Here we make further adjustments to match our setting.

math.CO↗

arXiv2026

Spanning Paths and Cycles: Structural Limitations of the Irrelevant Vertex Technique

The Irrelevant Vertex Technique is one of the cornerstones of algorithmic graph theory, underlying Robertson and Seymour's algorithm for \textsc{Disjoint Paths} and much of the algorithmic Graph Minors theory. We show that, in the setting of spanning routing, this technique exhibits an exact combinatorial limitation. Unlike classical routing problems, spanning routing is not governed by the number of distinguished vertices but by the way they are distributed throughout the graph. The input is a triple $(G,R,\mathcal{T})$ where $(G,R)$ is an annotated graph and $\mathcal{T}$ is a set of terminal pairs. The goal is to determine if $G$ contains a family of internally disjoint paths connecting the pairs in $\mathcal{T}$ such that the union of the paths spans the set $R$. We identify a new structural parameter of annotated graphs, called $\mathsf{depth}_2$, that measures precisely this phenomenon. Our main result is a complete combinatorial dichotomy: for every red-minor-closed class of annotated graphs, the Irrelevant Vertex Technique applies to \textsc{Spanning Disjoint Paths} \textsl{if and only if} the class has bounded $\mathsf{depth}_2$. Thus $\mathsf{depth}_2$ forms the exact structural boundary between classes where the Robertson-Seymour paradigm survives and those where it breaks down. Our proof combines a new local structure theorem for annotated graphs of bounded $\mathsf{depth}_2$ with a spanning analogue of the celebrated Vital Linkage Theorem. The resulting algorithm solves \textsc{Spanning Disjoint Paths} in time $2^{2^{\mathbf{poly}(k+d)}}\cdot n^2$ where $d$ is the $\mathsf{depth}_2$ of the input instance. We provide matching lower bounds showing that beyond bounded $\mathsf{depth}_2$ no irrelevant-vertex rule can exist, even on planar graphs. In particular, $\mathsf{depth}_2$ is the exact combinatorial barrier for the Irrelevant Vertex Technique under spanning constraints.

cs.DS↗

arXiv2026

An Erdős-Pósa theorem for cycles and faces of distinct lengths

We show that for every $k \in \mathbb{N}$, every graph $G$ contains $k$ vertex-disjoint cycles of different lengths, or there exists a set $X \subseteq V(G)$ with $|X| \in \mathcal{O}(k^6\mathsf{polylog}(k))$ such that $G-X$ has at most $k-1$ cycle lengths. We also prove analogous results for facial lengths of embedded graphs. Let $G$ be a graph with a closed 2-cell embedding $ψ$ on a surface $Σ$ of Euler genus $g$, let $c$ be a colouring of the faces $\mathcal{F}(ψ)$ of $ψ$, and let $R(G,ψ)$ be the radial graph of $(G, ψ)$. Then there exist $k$ faces $F_1, \ldots , F_k \in \mathcal{F}(ψ)$ that are given pairwise distinct colours by $c$ and are pairwise at distance at least $d$ in $ψ$, or there exists a set $X \subseteq V(G)$ of order at most $\mathcal{O}(k^2dg)$ such that $|\{ c(F) \mid F \in \mathcal{F}(ψ) \text{ and } V(F) \cap \bigcup_{x \in X} N^d_{R(G,ψ)}(x) = \emptyset \}| \leq k(k+2)$. Finally, using a result from additive combinatorics, we show that there are subdivided ladders with only a small number of cycle lengths. This suggests that it may be difficult to improve our bounds.

math.CO↗

arXiv2026

The price of homogeneity is polynomial

We provide explicit and polynomial bounds for the Homogeneous Wall Lemma which occurred for the first time implicitly in the $13$th entry of Robertson and Seymour's Graph Minors Series [JCTB 1990] and has since become a cornerstone in the algorithmic theory of graph minors. A wall where each brick is assigned a set of colours is said to be homogeneous if each brick is assigned the same set of colours. The Homogeneous Wall Lemma says that there exists a function $h$ that, given non-negative integers $q$ and $k$ and an $h(q,k)$-wall $W$ where each brick is assigned a, possibly empty, subset of $\{ 1, \ldots , q \}$ contains a $k$-wall $W'$ as a subgraph such that, if one assigns to each brick $B$ of $W'$ the union of the sets assigned to the bricks of $W$ in its interior, then $W'$ is homogeneous. It is well-known that $h(q,k) \in k^{\mathcal{O}(q)}$. The Homogeneous Wall Lemma plays a key role in most applications of the Irrelevant Vertex Technique where an exponential dependency of $h$ on $q$ usually causes non-uniform dependencies on meta-parameters at best and additional exponential blow-ups at worst. By proving that $h(q,k) \in \mathcal{O}(q^4 \cdot k^6)$, we provide a positive answer to a problem raised by Sau, Stamoulis, and Thilikos [ICALP 2020].

math.CO↗

arXiv2026

The Graph Minor Structure Theorem through Bidimensionality

The bidimensionality of a set of vertices $X$ in a graph $G$ is the maximum $k$ for which $G$ contains as a $X$-rooted minor the $(k \times k)$-grid. This notion allows for the following version of the Graph Minors Structure Theorem (GMST) that avoids the use of apices and vortices: $K_k$-minor free graphs are those that admit tree decompositions whose torsos contain sets of bounded bidimensionality whose removal yield a graph embeddable in some surface $Σ$ of bounded Euler-genus. We next fix the target condition by demanding that $Σ$ is some particular surface. This defines a "surface extension" of treewidth, where $Σ$-${\sf tw}$ is the minimum $k$ for which $G$ admits a tree decomposition whose torsos become embeddable in $Σ$ after the removal of a set of bidimensionality at most $k$. We identify a finite collection $\mathfrak{D}_Σ$ of parametric graphs and prove that the minor-exclusion of the graphs in $\mathfrak{D}_Σ$ determines the behavior of $Σ$-${\sf tw},$ for every surface $Σ.$ It follows that the collection $\mathfrak{D}_Σ$ bijectively corresponds to the "surface obstructions" for $Σ,$ i.e., surfaces that are minimally non-contained in $Σ.$ Our results are tight in the sense that $Σ$-${\sf tw}$ cannot be bounded for all parametric graphs in $\mathfrak{D}_Σ$.

math.CO↗

arXiv2026

Optimal Bounds for the k-Disjoint Paths Problem

The Graph Minors Series of Robertson and Seymour forms the foundation of algorithmic structural graph theory, yielding fixed-parameter algorithms for problems such as Disjoint Paths, Rooted Minor Checking, and Folio. A key ingredient behind the fixed-parameter tractability of the $k$-Disjoint Paths problem is the irrelevant-vertex technique. This machinery is governed by the Vital Linkage Theorem and the so-called Linkage Function $\ell$. However, despite its foundational role, the best known bounds on the Linkage Function are enormous and are only implicitly understood. The quantitative bounds behind these results have traditionally been so large that the resulting algorithms are regarded as "galactic". Our main result is a general irrelevant-vertex theorem for a common generalisation of $k$-Disjoint Paths and Rooted Minor Checking for graphs of size at most $d,$ commonly called the $(k,d)$-Folio problem. Specifically, we show that for any graph $G$ in which the $k$ terminals are chosen from some set $R,$ if the treewidth of $G$ exceeds $β(k,b,d)\in$ $2^{{\bf poly}(b + d)}$ $\cdot {\bf poly}(k)$ then we can locate an irrelevant vertex for the $(k,d)$-Folio problem. Here, the quantity $b$ is the bidimensionality of $R,$ that is, the largest $b$ for which a $(b\times b)$-grid minor in $G$ can be rooted on $R$. Thus, the exponential component of the irrelevant-vertex threshold is driven by the bound on the bidimensionality, rather than by the number of terminals, and we argue that this dependence is essentially optimal up to polynomial factors. As a consequence, the Linkage Function satisfies $\ell(k) \in 2^{{\bf poly}(k)}$. Beyond its structural significance, our result yields improved parameter dependencies for algorithms for Disjoint Paths and Rooted Minor Checking}, and provides a quantitative improvement for a broad range of graph-minor-based algorithmic frameworks.

math.CO↗

arXiv2026

The Local Structure Theorem for Graph Minors with finite index

The Local Structure Theorem (LST) for Graph Minors roughly states that for every $H$-minor-free graph $G$ that contains a sufficiently large wall $W$, there is a small vertex subset $A,$ whose removal yields a graph that admits an "almost embedding" $δ$ on a surface $Σ$ on which $H$ does not embed. By almost embedding, we mean that there exists a hypergraph $\mathcal{H}$ whose vertex set is a subset of the vertex set of $G - A$ and an embedding of $\mathcal{H}$ on $Σ$ such that the drawing of each hyperedge of $\mathcal{H}$ corresponds to a cell of $δ,$ the boundary of each cell intersects only the vertices of the corresponding hyperedge, and all remaining vertices and edges of $G - A$ 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 "most" of the wall $W$ is disjoint from the vortices and is "grounded" in the embedding $δ$. 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: $G - A$ contains a minor model of a large grid $Γ$ such that, for every color $α\in C$, the model of each vertex of $Γ$ contains the subgraph drawn within an $α$-colored cell. Moreover, $Γ$ can be chosen in a way that is "well-connected" to the original wall $W$.

math.CO↗

arXiv2026

Quickly excluding an annotated planar graph

We provide proofs certifying that the structure theorem for vertex sets of bounded bidimensionality holds with polynomial bounds. The bidimensionality of vertex sets is a common generalisation of both treewidth and the face-cover-number of vertex sets in planar graphs. As such, it plays a crucial role in extensions of Courcelle's Theorem to $H$-minor-free graphs. Recently, bidimensionality and similar parameters have emerged as key for extensions of known parameterized algorithms for problems defined on a terminal set $R$. A prominent example for such a problem is Steiner Tree, which admits efficient algorithms on planar graphs whenever $R$ can be covered with few faces. Key to the algorithmic applications of bidimensionality is a structure theorem that explains how a graph $G$ can be decomposed into pieces where the behaviour of $R$ is highly controlled. One may see this structure theorem as a rooted analogue of Robertson and Seymour's celebrated Grid Theorem. Combining recent advances in obtaining polynomial bounds in the Graph Minors framework with new techniques for handling annotated vertex sets, we show that all parameters in the structure theorem above admit polynomial bounds. As an application, we also provide a sketch showing how our techniques imply polynomial bounds for the structure theorem for graphs excluding an apex minor.

math.CO↗

arXiv2026

Approximating branchwidth on parametric extensions of planarity

The branchwidth of a graph has been introduced by Roberson and Seymour as a measure of the tree-decomposability of a graph, alternative to treewidth. Branchwidth is polynomially computable on planar graphs by the celebrated ``Ratcatcher'' algorithm of Seymour and Thomas. We explore how this algorithm can be extended to minor-closed graph classes beyond planar graphs, as follows: Let $H_{1}$ be a graph embeddable in the torus and $H_{2}$ be a graph embeddable in the projective plane. We prove that every $\{H_{1},H_{2}\}$-minor free graph $G$ contains a subgraph $G'$ whose branchwidth differs from that of $G$ by a constant depending only on $H_1$ and $H_2$. Moreover, the graph $G'$ admits a tree decomposition where all torsos are planar. This decomposition allows for a constant-additive approximation of branchwidth: For $\{H_{1},H_{2}\}$-minor free graphs, there is a constant $c$ (depending on $H_{1}$ and $H_{2}$) and an $\mathcal{O}(|V(G)|^{3})$-time algorithm that, given a graph $G$, outputs a value $b$ such that the branchwidth of $G$ is between $b$ and $b+c$.

math.CO↗

arXiv2026

Excluding surfaces as minors in graphs

The Graph Minors Structure Theorem (GMST) of Robertson and Seymour states that for every graph $H,$ any $H$-minor-free graph $G$ has a tree-decomposition of bounded adhesion such that the torso of every bag embeds in a surface $Σ$ where $H$ does not embed after removing a small number of \textsl{apex vertices} and confining some vertices into a bounded number of \textsl{bounded depth} vortices. However, the functions involved in the original form of this statement were not explicit. In an enormous effort Kawarabayashi, Thomas, and Wollan proved a similar statement with explicit (and single-exponential in $|V(H)|$) bounds. However, their proof replaces the statement "a surface where $H$ does not embed'' with "a surface of Euler-genus in $\mathcal{O}(|H|^2)$''. In this paper we close this gap and prove that the bounds of Kawarabayashi, Thomas, and Wollan can be achieved with a tight bound on the Euler-genus. Moreover, we provide a more refined version of the GMST focussed exclusively on excluding, instead of a single graph, grid-like graphs that are minor-universal for a given set of surfaces. This allows us to give a description, in the style of Robertson and Seymour, of graphs excluding a graph of fixed Euler-genus as a minor, rather than focussing on the size of the graph.

math.CO↗

arXiv2025

Odd-Cycle-Packing-treewidth: On the Maximum Independent Set problem in odd-minor-free graph classes

We introduce the tree-decomposition-based graph parameter Odd-Cycle-Packing-treewidth (OCP-tw) as a width parameter that asks to decompose a given graph into pieces of bounded odd cycle packing number. The parameter OCP-tw is monotone under the odd-minor-relation and we provide an analogue to the celebrated Grid Theorem of Robertson and Seymour for OCP-tw. That is, we identify two infinite families of grid-like graphs whose presence as odd-minors implies large OCP-tw and prove that their absence implies bounded OCP-tw. This structural result is constructive and implies a 2^(poly(k))poly(n)-time parameterized poly(k)-approximation algorithm for OCP-tw. Moreover, we show that the (weighted) Maximum Independent Set problem (MIS) can be solved in polynomial time on graphs of bounded OCP-tw. Finally, we lift the concept of OCP-tw to a parameter for matrices of integer programs. To this end, we show that our strategy can be applied to efficiently solve integer programs whose matrices can be "tree-decomposed" into totally delta-modular matrices with at most two non-zero entries per row.

math.CO↗

arXiv2025

Catching Rats in $H$-minor-free Graphs

We show that every $H$-minor-free graph that also excludes a $(k \times k)$-grid as a minor has treewidth/branchwidth bounded from above by a function $f(t,k)$ that is linear in $k$ and polynomial in $t := |V(H)|$. Such a result was proven originally by [Demaine & Hajiaghayi, Combinatorica, 2008], where $f$ was indeed linear in $k$. However the dependency in $t$ in this result was non-explicit (and huge). Later, [Kawarabayashi & Kobayashi, JCTB, 2020] showed that this bound can be estimated to be $f(t,k)\in 2^{\mathcal{O}(t\log t)} \cdot k$. Wood recently asked whether $f$ can be pushed further to be polynomial, while maintaining the linearity on $k$. We answer this in a particularly strong sense, by showing that the treewidth/branchwidth of $G$ is in $\mathcal{O}(gk + t^{2304}),$ where $g$ is the Euler genus of $H$. This directly yields $f(t,k)= \mathcal{O}(t^2k + t^{2304})$. Our methods build on techniques for branchwidth and on new bounds and insights for the Graph Minor Structure Theorem (GMST) due to [Gorsky, Seweryn & Wiederrecht, 2025, arXiv:2504.02532]. In particular, we prove a variant of the GMST that ensures some helpful properties for the minor relation. We further employ our methods to provide approximation algorithms for the treewidth/branchwidth of $H$-minor-free graphs. In particular, for every $\varepsilon > 0$ and every $t$-vertex graph $H$ with Euler genus $g$, we give a $(g + \varepsilon)$-approximation algorithm for the branchwidth of $H$-minor-free graphs running in $2^{\mathsf{poly}(t) / \varepsilon} \cdot \mathsf{poly}(n)$-time. Our algorithms explicitly return either an appropriate branch-decomposition or a grid-minor certifying a negative answer.

math.CO↗

arXiv2025

Excluding a Ladder as an Induced Minor in Graphs Without Induced Stars

A $k$-ladder is the graph obtained from two disjoint paths, each with $k$ vertices, by joining the $i$th vertices of both paths with an edge for each $i\in\{ 1,\ldots,k\}$. In this paper, we show that for all positive integers $k$ and $d$, the class of all $K_{1,d}$-free graphs excluding the $k$-ladder as an induced minor has a bounded tree-independence number. We further show that our method implies a number of known results: We improve the bound on the tree-independence number for the class of $K_{1,d}$-free graphs not containing a wheel as an induced minor given by Choi, Hilaire, Milanič, and Wiederrecht. Furthermore, we show that the class of $K_{1,d}$-free graphs not containing a theta or a prism, whose paths have length at least $k$, as an induced subgraph has bounded tree-independence number. This improves a result by Chudnovsky, Hajebi, and Trotignon. Finally, we extend the induced Erdős-Pósa result of Ahn, Gollin, Huynh, and Kwon in $K_{1,d}$-free graphs from long induced cycles to any graph that is an induced minor of the $k$-ladder where every edge is subdivided exactly once.

math.CO↗

arXiv2025

Unavoidable induced subgraphs in graphs with complete bipartite induced minors

We prove that if a graph contains the complete bipartite graph $K_{134, 12}$ as an induced minor, then it contains a cycle of length at most~12 or a theta as an induced subgraph. With a longer and more technical proof, we prove that if a graph contains $K_{3, 4}$ as an induced minor, then it contains a triangle or a theta as an induced subgraph. Here, a \emph{theta} is a graph made of three internally vertex-disjoint chordless paths $P_1 = a \dots b$, $P_2 = a \dots b$, $P_3 = a \dots b$, each of length at least two, such that no edges exist between the paths except the three edges incident to $a$ and the three edges incident to $b$. A consequence is that excluding a grid and a complete bipartite graph as induced minors is not enough to guarantee a bounded tree-independence number, or even that the treewidth is bounded by a function of the size of the maximum clique, because the existence of graphs with large treewidth that contain no triangles or thetas as induced subgraphs is already known (the so-called layered wheels).

math.CO↗