English

Degenerate Tur\'an densities of sparse hypergraphs II: a solution to the Brown-Erd\H{o}s-S\'os problem for every uniformity

Combinatorics 2022-10-21 v1

Abstract

For fixed integers r3,e3r\ge 3, e\ge 3, and vr+1v\ge r+1, let fr(n,v,e)f_r(n,v,e) denote the maximum number of edges in an nn-vertex rr-uniform hypergraph in which the union of arbitrary ee distinct edges contains at least v+1v+1 vertices. In 1973, Brown, Erd\H{o}s and S\'os proved that fr(n,er(e1)k,e)=Θ(nk)f_r(n,er-(e-1)k,e)=\Theta(n^k) and conjectured that the limit limnf3(n,e+2,e)n2\lim_{n\rightarrow\infty}\frac{f_3(n,e+2,e)}{n^2} always exists for all fixed integers e3e\ge 3. In 2020 Shangguan and Tamo conjectured that the limit limnfr(n,er(e1)k,e)nk\lim_{n\rightarrow\infty}\frac{f_r(n,er-(e-1)k,e)}{n^k} always exists for all fixed integers r>k2r>k\ge 2 and e3e\ge 3, which contains the BES conjecture as a special case for r=3,k=2r=3, k=2. Recently, based on a result of Glock, Joos, Kim, K\"uhn, Lichev, and Pikhurko, Delcourt and Postle proved the BES conjecture. Extending their result, we show that the limit limnfr(n,er2(e1),e)n2\lim_{n\rightarrow\infty}\frac{f_r(n,er-2(e-1),e)}{n^2} always exists, thereby proving the BES conjecture for every uniformity.

Keywords

Cite

@article{arxiv.2210.11338,
  title  = {Degenerate Tur\'an densities of sparse hypergraphs II: a solution to the Brown-Erd\H{o}s-S\'os problem for every uniformity},
  author = {Chong Shangguan},
  journal= {arXiv preprint arXiv:2210.11338},
  year   = {2022}
}

Comments

10 pages, submitted