English

Linear bounds on treewidth in terms of excluded planar minors

Combinatorics 2026-01-16 v1

Abstract

One of the fundamental results in graph minor theory is that for every planar graph HH, there is a minimum integer f(H)f(H) such that graphs with no minor isomorphic to HH have treewidth at most f(H)f(H). A lower bound for f(H){f(H)} can be obtained by considering the maximum integer kk such that HH contains kk vertex-disjoint cycles. There exists a graph of treewidth Ω(klogk){\Omega(k\log k)} which does not contain kk vertex-disjoint cycles, from which it follows that f(H)=Ω(klogk){f(H) = \Omega(k\log k)}. In particular, if f(H){f(H)} is linear in V(H){\lvert{V(H)}\rvert} for graphs HH from a subclass of planar graphs, it is necessary that nn-vertex graphs from the class contain at most O(n/log(n)){O(n/\log(n))} vertex-disjoint cycles. We ask whether this is also a sufficient condition, and demonstrate that this is true for classes of planar graphs with bounded component size. For an nn-vertex graph HH which is a disjoint union of rr cycles, we show that f(H)3n/2+O(r2logr){f(H) \leq 3n/2 + O(r^2 \log r)}, and improve this to f(H)n+O(n){f(H) \leq n + O(\sqrt{n})} when r=2{r = 2}. In particular this bound is linear when r=O(n/log(n)){r=O(\sqrt{n}/\log(n))}. We present a linear bound for f(H){f(H)} when HH is a subdivision of an rr-edge planar graph for any constant rr. We also improve the best known bounds for f(H){f(H)} when HH is the wheel graph or the 4×4{4 \times 4} grid, obtaining a bound of 160160 for the latter.

Keywords

Cite

@article{arxiv.2402.17255,
  title  = {Linear bounds on treewidth in terms of excluded planar minors},
  author = {J. Pascal Gollin and Kevin Hendrey and Sang-il Oum and Bruce Reed},
  journal= {arXiv preprint arXiv:2402.17255},
  year   = {2026}
}

Comments

18 pages