Cycles of Well-Linked Sets II: an Elementary Bound for the Directed Grid Theorem
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866910020102258688 |
|---|---|
| author | Hatzel, Meike Kreutzer, Stephan Milani, Marcelo Garlet Muzi, Irene |
| author_facet | Hatzel, Meike Kreutzer, Stephan Milani, Marcelo Garlet Muzi, Irene |
| contents | In 2015, Kawarabayashi and Kreutzer proved the Directed Grid Theorem - the generalisation of the well-known Excluded Grid Theorem to directed graphs - confirming a conjecture by Reed, Johnson, Robertson, Seymour and Thomas from the mid-nineties. The theorem states that there is a function $f$ such that every digraph of directed treewidth $f(k)$ contains a cylindrical grid of order $k$ as a butterfly minor. However, the given function grows faster than any non-elementary function of the size of the grid minor. More precisely, it is larger than a power tower whose height depends on the size of the grid.
In this paper, we present an alternative proof of the Directed Grid Theorem which is conceptually much simpler, more modular in composition and improves the upper bound for the function $f$ to a power tower of height $22$.
A key concept of our proof is a new structure called cycles of well-linked sets (CWS). We show that any digraph of large directed treewidth contains a large CWS, which in turn contains a large cylindrical grid. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_11716 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Cycles of Well-Linked Sets II: an Elementary Bound for the Directed Grid Theorem Hatzel, Meike Kreutzer, Stephan Milani, Marcelo Garlet Muzi, Irene Discrete Mathematics Combinatorics In 2015, Kawarabayashi and Kreutzer proved the Directed Grid Theorem - the generalisation of the well-known Excluded Grid Theorem to directed graphs - confirming a conjecture by Reed, Johnson, Robertson, Seymour and Thomas from the mid-nineties. The theorem states that there is a function $f$ such that every digraph of directed treewidth $f(k)$ contains a cylindrical grid of order $k$ as a butterfly minor. However, the given function grows faster than any non-elementary function of the size of the grid minor. More precisely, it is larger than a power tower whose height depends on the size of the grid. In this paper, we present an alternative proof of the Directed Grid Theorem which is conceptually much simpler, more modular in composition and improves the upper bound for the function $f$ to a power tower of height $22$. A key concept of our proof is a new structure called cycles of well-linked sets (CWS). We show that any digraph of large directed treewidth contains a large CWS, which in turn contains a large cylindrical grid. |
| title | Cycles of Well-Linked Sets II: an Elementary Bound for the Directed Grid Theorem |
| topic | Discrete Mathematics Combinatorics |
| url | https://arxiv.org/abs/2602.11716 |