On the tree-width of even-hole-free graphs

Pierre Aboulker,Isolde Adler,Eun Jung Kim,Ni Luh Dewi Sintiari,Nicolas Trotignon
DOI: https://doi.org/10.1016/j.ejc.2021.103394
2020-08-13
Abstract:The class of all even-hole-free graphs has unbounded tree-width, as it contains all complete graphs. Recently, a class of (even-hole, $K_4$)-free graphs was constructed, that still has unbounded tree-width [Sintiari and Trotignon, 2019]. The class has unbounded degree and contains arbitrarily large clique-minors. We ask whether this is necessary. We prove that for every graph $G$, if $G$ excludes a fixed graph $H$ as a minor, then $G$ either has small tree-width, or $G$ contains a large wall or the line graph of a large wall as induced subgraph. This can be seen as a strengthening of Robertson and Seymour's excluded grid theorem for the case of minor-free graphs. Our theorem implies that every class of even-hole-free graphs excluding a fixed graph as a minor has bounded tree-width. In fact, our theorem applies to a more general class: (theta, prism)-free graphs. This implies the known result that planar even hole-free graph have bounded tree-width [da Silva and Linhares Sales, Discrete Applied Mathematics 2010]. We conjecture that even-hole-free graphs of bounded degree have bounded tree-width. If true, this would mean that even-hole-freeness is testable in the bounded-degree graph model of property testing. We prove the conjecture for subcubic graphs and we give a bound on the tree-width of the class of (even hole, pyramid)-free graphs of degree at most 4.
Discrete Mathematics,Data Structures and Algorithms,Combinatorics
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the following aspects: 1. **Study on the tree - width properties of even - hole - free graphs**: - The paper explores whether the tree - width of even - hole - free graphs excluding specific subgraphs as minors is finite. Specifically, the author proposes and proves a stronger result, indicating that for every graph \( H \), if a graph \( G \) excludes \( H \) as a minor, then \( G \) either has a small tree - width or contains a large wall or the line graph of a chordless wall as an induced subgraph. This can be regarded as a strengthened version of Robertson and Seymour's excluded grid theorem on minor - free graph classes. 2. **Explore the structural characteristics of even - hole - free graphs**: - The author pays special attention to whether the tree - width of even - hole - free graphs with a limited degree is finite. They propose a conjecture that even - hole - free graphs with a limited degree have a finite tree - width. If this conjecture holds, then the properties of even - hole - free graphs can be tested in the bounded - degree graph model. 3. **Verify the tree - width bounds of specific graph classes**: - The paper proves that for even - hole - free graphs with a degree not exceeding 3 (i.e., sub - cubic graphs), their tree - width is indeed finite and gives a specific structural description. In addition, for even - hole - free graphs with a degree not exceeding 4 and excluding specific subgraphs (such as pyramids), an upper bound of the tree - width is also given. 4. **Apply to property testing**: - The author also explores the property testing problem of even - hole - free graphs in the bounded - degree graph model. They point out that if the tree - width of even - hole - free graphs is finite, then the even - hole - free property of such graphs can be tested by an algorithm with a constant query complexity and a polynomial - logarithmic time. ### Main contributions - **Theorem 1.1 (Induced Grid Theorem for Minor - Free Graphs)**: For every graph \( H \), there exists a function \( f_H: \mathbb{N}\to\mathbb{N} \) such that every \( H \)-minor - free graph with a tree - width of at least \( f_H(k) \) contains a \((k\times k)\)-wall or the line graph of a chordless \((k\times k)\)-wall as an induced subgraph. - **Structural Theorem for Sub - Cubic Graphs**: Proves that even - hole - free graphs with a degree not exceeding 3 have a finite tree - width and gives a specific structural description. - **Upper Bound of Tree - Width for Graph Classes with Degree 4**: Provides an upper bound of the tree - width for even - hole - free graphs with a degree not exceeding 4 and excluding specific subgraphs (such as pyramids). These results not only deepen the understanding of the structure of even - hole - free graphs but also provide a theoretical basis for property testing in graph theory.