English

On non-degenerate Berge-Tur\'an problems

Combinatorics 2023-01-04 v1

Abstract

Given a hypergraph H\mathcal{H} and a graph GG, we say that H\mathcal{H} is a \textit{Berge}-GG if there is a bijection between the hyperedges of H\mathcal{H} and the edges of GG such that each hyperedge contains its image. We denote by exk(n,Berge-F)ex_k(n,\text{Berge-}F) the largest number of hyperedges in a kk-uniform Berge-FF-free graph. Let ex(n,H,F)ex(n,H,F) denote the largest number of copies of HH in nn-vertex FF-free graphs. It is known that ex(n,Kk,F)exk(n,Berge-F)ex(n,Kk,F)+ex(n,F)ex(n,K_k,F)\le ex_k(n,\text{Berge-}F)\le ex(n,K_k,F)+ex(n,F), thus if χ(F)>r\chi(F)>r, then exk(n,Berge-F)=(1+o(1))ex(n,Kk,F)ex_k(n,\text{Berge-}F)=(1+o(1)) ex(n,K_k,F). We conjecture that exk(n,Berge-F)=ex(n,Kk,F)ex_k(n,\text{Berge-}F)=ex(n,K_k,F) in this case. We prove this conjecture in several instances, including the cases k=3k=3 and k=4k=4. We prove the general bound exk(n,Berge-F)=ex(n,Kk,F)+O(1)ex_k(n,\text{Berge-}F)= ex(n,K_k,F)+O(1).

Keywords

Cite

@article{arxiv.2301.01137,
  title  = {On non-degenerate Berge-Tur\'an problems},
  author = {Dániel Gerbner},
  journal= {arXiv preprint arXiv:2301.01137},
  year   = {2023}
}

Comments

9 pages

R2 v1 2026-06-28T08:00:56.712Z