arXiv++ Combinatorics

For a graph $G$, let $\mathrm{tw}(G)$, $\mathrm{tree}\text{-}α(G)$, and $\mathrm{tree}\text{-}χ(G)$ denote its treewidth, tree-independence number, and tree-chromatic number, respectively. We prove that every nonempty graph $G$ satisfies $\mathrm{tw}(G)+1\leq\mathrm{tree}\text{-}α(G)\mathrm{tree}\text{-}χ(G)(1+\lfloor\log_2(\mathrm{tree}\text{-}α(G))\rfloor)$. This improves the quadratic bound of Koutsoutis, Krause, Liu, Redzic, and Ueckerdt. For every pair of integers $n,k\geq2$, we construct a graph $G$ with $\mathrm{tree}\text{-}α(G)=n$, $\mathrm{tree}\text{-}χ(G)=k$, and $\mathrm{tw}(G)=Ω(nk\log_2 n)$. Thus the upper bound is best possible up to a constant factor.

Delcourt and Postle proved that every $K_t$-minor-free graph is $O(t\log\log t)$-colorable and reduced the Linear Hadwiger Conjecture to coloring $K_t$-minor-free graphs on $O(t\log^4 t)$ vertices. In this paper, we use the star contraction technique to improve their bound for small graphs and use their reduction to extend this improvement to all $K_t$-minor-free graphs. Thus we improve their $O(t\log\log t)$ bound to $O(t\sqrt{\log\log t})$.

Delcourt and Postle reduced the Linear Hadwiger Conjecture to coloring $K_t$-minor-free graphs on $O(t\log^4 t)$ vertices. An important theorem in their proof process asserts that every sufficiently dense $K_t$-minor-free graph contains a small, highly connected subgraph. In this paper, we show that such a subgraph can be chosen to be smaller. More precisely, there exists an integer constant $C \ge 1$ such that, for all integers $t \ge 3$ and $k \ge t$, every $K_t$-minor-free graph $G$ with $d(G) \ge Ck$ contains a nonempty $k$-connected subgraph $H$ satisfying $v(H) \le C^2 t\log^2 t$. Thus the structural bound improves from $O(t\log^3 t)$ to $O(t\log^2 t)$, and the graphs occurring in the reduction have order $O(t\log^3 t)$ rather than $O(t\log^4 t)$.

The Borodin-Kostochka Conjecture states that for a graph $G$, if $Δ(G)\geq 9$, then $χ(G)\leq\max\{Δ(G)-1,ω(G)\}$. In this paper, we prove the Borodin-Kostochka Conjecture holding for odd-hole-free graphs.