Variants of the Gyárfás–Sumner conjecture: Oriented trees and rainbow paths
Manu Basavaraju,L. Sunil Chandran,Mathew C. Francis,Karthik Murali
DOI: https://doi.org/10.1002/jgt.23171
2024-09-11
Journal of Graph Theory
Abstract:Given a finite family F of graphs, we say that a graph G is "F ‐free" if G does not contain any graph in F as a subgraph. We abbreviate F ‐free to just "F ‐free" when F={F} . A vertex‐colored graph H is called "rainbow" if no two vertices of H have the same color. Given an integer s and a finite family of graphs F , let l(s,F) denote the smallest integer such that any properly vertex‐colored F ‐free graph G having χ(G)≥l(s,F) contains an induced rainbow path on s vertices. Scott and Seymour showed that l(s,K) exists for every complete graph K . A conjecture of N. R. Aravind states that l(s,C3)=s . The upper bound on l(s,C3) that can be obtained using the methods of Scott and Seymour setting K=C3 are, however, super‐exponential. Gyárfás and Sárközy showed that l(s,{C3,C4})=O((2s)2s) . For r≥2 , we show that l(s,K2,r)≤(r−1)(s−1)(s−2)∕2+s and therefore, l(s,C4)≤s2−s+22 . This significantly improves Gyárfás and Sárközy's bound and also covers a bigger class of graphs. We adapt our proof to achieve much stronger upper bounds for graphs of higher girth: we prove that l(s,{C3,C4,...,Cg−1})≤s1+4g−4 , where g≥5 . Moreover, in each case, our results imply the existence of at least s!∕2 distinct induced rainbow paths on s vertices. Along the way, we obtain some new results on an oriented variant of the Gyárfás–Sumner conjecture. For r≥2 , let Br denote the orientations of K2,r in which one vertex has out‐degree or in‐degree r . We show that every Br ‐free oriented graph having a chromatic number at least (r−1)(s−1)(s−2)+2s+1 and every bikernel‐perfect oriented graph with girth g≥5 having a chromatic number at least 2s1+4g−4 contains every oriented tree on at most s vertices as an induced subgraph.
mathematics