English

New bounds for a hypergraph Bipartite Tur\'an problem

Combinatorics 2019-02-28 v1

Abstract

Let tt be an integer such that t2t\geq 2. Let K2,t(3)K_{2,t}^{(3)} denote the triple system consisting of the 2t2t triples {a,xi,yi}\{a,x_i,y_i\}, {b,xi,yi}\{b,x_i,y_i\} for 1it1 \le i \le t, where the elements a,b,x1,x2,,xt,a, b, x_1, x_2, \ldots, x_t, y1,y2,,yty_1, y_2, \ldots, y_t are all distinct. Let ex(n,K2,t(3))ex(n,K_{2,t}^{(3)}) denote the maximum size of a triple system on nn elements that does not contain K2,t(3)K_{2,t}^{(3)}. This function was studied by Mubayi and Verstra\"ete, where the special case t=2t=2 was a problem of Erd\H{o}s that was studied by various authors. Mubayi and Verstra\"ete proved that ex(n,K2,t(3))<t4(n2)ex(n,K_{2,t}^{(3)})<t^4\binom{n}{2} and that for infinitely many nn, ex(n,K2,t(3))2t13(n2)ex(n,K_{2,t}^{(3)})\geq \frac{2t-1}{3} \binom{n}{2}. These bounds together with a standard argument show that g(t):=limnex(n,K2,t(3))/(n2)g(t):=\lim_{n\to \infty} ex(n,K_{2,t}^{(3)})/\binom{n}{2} exists and that 2t13g(t)t4.\frac{2t-1}{3}\leq g(t)\leq t^4. Addressing the question of Mubayi and Verstra\"ete on the growth rate of g(t)g(t), we prove that as tt \to \infty, g(t)=Θ(t1+o(1)).g(t) = \Theta(t^{1+o(1)}).

Keywords

Cite

@article{arxiv.1902.10258,
  title  = {New bounds for a hypergraph Bipartite Tur\'an problem},
  author = {Beka Ergemlidze and Tao Jiang and Abhishek Methuku},
  journal= {arXiv preprint arXiv:1902.10258},
  year   = {2019}
}

Comments

17 pages

R2 v1 2026-06-23T07:52:25.449Z