Asymptotics of the hypergraph bipartite Turán problem

From MaRDI portal



Abstract: For positive integers s,t,r, let Ks,t(r) denote the r-uniform hypergraph whose vertex set is the union of pairwise disjoint sets X,Y1,dots,Yt, where |X|=s and |Y1|=dots=|Yt|=r−1, and whose edge set is xcupYi:xinX,1leqileqt. The study of the Tur'an function of Ks,t(r) received considerable interest in recent years. Our main results are as follows. First, we show that �egin{equation} mathrm{ex}(n,K_{s,t}^{(r)}) = O_{s,r}(t^{frac{1}{s-1}}n^{r - frac{1}{s-1}}) end{equation} for all s,tgeq2 and rgeq3, improving the power of n in the previously best bound and resolving a question of Mubayi and Verstra"ete about the dependence of mathrmex(n,K2,t(3)) on t. Second, we show that this upper bound is tight when r is even and tggs. This disproves a conjecture of Xu, Zhang and Ge. Third, we show that the above upper bound is not tight for r=3, namely that mathrmex(n,Ks,t(3))=Os,t(n3−frac1s−1−varepsilons) (for all sgeq3). This indicates that the behaviour of mathrmex(n,Ks,t(r)) might depend on the parity of r. Lastly, we prove a conjecture of Ergemlidze, Jiang and Methuku on the hypergraph analogue of the bipartite Tur'an problem for graphs with bounded degrees on one side. Our tools include a novel twist on the dependent random choice method as well as a variant of the celebrated norm graphs constructed by Koll'ar, R'onyai and Szab'o.












This page was built for publication: Asymptotics of the hypergraph bipartite Turán problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6081375)