# Towards Tight(er) Bounds for the Excluded Grid Theorem

## TL;DR

This paper improves the upper bounds on the function relating treewidth to grid minors in graphs, reducing the bound from polynomial degrees 19 to 9, and suggests potential for even tighter bounds using new techniques.

## Contribution

The authors present a significantly simplified proof that improves the upper bound on the function f(g) to O(g^9 poly log g), advancing understanding of the Excluded Grid Theorem.

## Key findings

- Improved upper bound on f(g) to O(g^9 poly log g)
- Simpler proof technique compared to previous bounds
- Potential for further tightening of bounds with new methods

## Abstract

We study the Excluded Grid Theorem, a fundamental structural result in graph theory, that was proved by Robertson and Seymour in their seminal work on graph minors. The theorem states that there is a function $f: \mathbb{Z}^+ \to \mathbb{Z}^+$, such that for every integer $g>0$, every graph of treewidth at least $f(g)$ contains the $(g\times g)$-grid as a minor. For every integer $g>0$, let $f(g)$ be the smallest value for which the theorem holds. Establishing tight bounds on $f(g)$ is an important graph-theoretic question. Robertson and Seymour showed that $f(g)=\Omega(g^2\log g)$ must hold. For a long time, the best known upper bounds on $f(g)$ were super-exponential in $g$. The first polynomial upper bound of $f(g)=O(g^{98}\text{poly}\log g)$ was proved by Chekuri and Chuzhoy. It was later improved to $f(g) = O(g^{36}\text{poly} \log g)$, and then to $f(g)=O(g^{19}\text{poly}\log g)$. In this paper we further improve this bound to $f(g)=O(g^{9}\text{poly} \log g)$. We believe that our proof is significantly simpler than the proofs of the previous bounds. Moreover, while there are natural barriers that seem to prevent the previous methods from yielding tight bounds for the theorem, it seems conceivable that the techniques proposed in this paper can lead to even tighter bounds on $f(g)$.