English

Long induced paths in $K_{s, s}$-free graphs

Combinatorics 2025-09-03 v2

Abstract

More than 40 years ago, Galvin, Rival and Sands showed that every Ks,sK_{s, s}-free graph containing an nn-vertex path must contain an induced path of length f(n)f(n), where f(n)f(n)\to \infty as nn\to \infty. Recently, it was shown by Duron, Esperet and Raymond that one can take f(n)=(loglogn)1/5o(1)f(n)=(\log \log n)^{1/5-o(1)}. In this note, we give a short self-contained proof that a Ks,sK_{s, s}-free graphs with an nn-vertex path contains an induced path of length at least (loglogn)1o(1)(\log \log n)^{1-o(1)}. Combined with the recent remarkable example of Cou\"etoux, Defrain, and Raymond, which provides an upper bound of O((loglogn)1+o(1))O((\log \log n)^{1+o(1)}), this essentially resolves this old problem.

Cite

@article{arxiv.2411.19173,
  title  = {Long induced paths in $K_{s, s}$-free graphs},
  author = {Zach Hunter and Aleksa Milojević and Benny Sudakov and István Tomon},
  journal= {arXiv preprint arXiv:2411.19173},
  year   = {2025}
}

Comments

4 pages including references, comments are welcome!

R2 v1 2026-06-28T20:15:57.639Z