English

Bipartite Tur\'an number of trees

Combinatorics 2025-02-14 v1

Abstract

We start a systematic investigation concerning bipartite Tur\'an number for trees. For a graph FF and integers 1ab1 \leq a \leq b we define: (i)(i)\quad exb(a,b,F)ex_b(a, b, F) is the largest number of edges that an FF-free bipartite graph can have with part sizes aa and bb. We write exb(n,F)ex_b(n, F) for exb(n,n,F)ex_b(n, n, F). (ii)(ii)\quad exb,c(a,b,F)ex_{b,c}(a, b, F) is the largest number of edges that an FF-free connected, bipartite graph can have with part sizes aa and bb. We write exb,c(n,F)ex_{b,c}(n, F) for exb,c(n,n,F)ex{b,c}(n, n, F). Both definitions are similar for a family F\mathcal{F} of graphs. We prove general lower bounds depending on the maximum degree of FF, as well as on the cardinalities of the two vertex classes of FF. We derive upper and lower bounds for exb(n,F)ex_b(n,F) in terms of ex(2n,F)ex(2n,F) and ex(n,F)ex(n, F), the corresponding classical (not bipartite) Tur\'an numbers. We solve both problems for various classes of graphs, including all trees up to six vertices for any nn, for double stars Ds,tD_{s ,t} if af(s,t)a \geq f(s,t ), for some families of spiders, and more. We use these results to supply an answer to a problem raised by L. T. Yuan and X. D. Zhang [{\it Graphs and Combinatorics}, 2017] concerning exb(n,Tk,)ex_b( n, \mathcal{T}_{k,\ell} ), where Tk,\mathcal{T}_{k,\ell} is the family of all trees with vertex classes of respective cardinalities kk and \ell. The asymptotic worst-case ratios between Tur\'an-type functions are also inverstigated.

Keywords

Cite

@article{arxiv.2502.09052,
  title  = {Bipartite Tur\'an number of trees},
  author = {Yair Caro and Balázs Patkós and Zsolt Tuza},
  journal= {arXiv preprint arXiv:2502.09052},
  year   = {2025}
}