On non-degenerate Berge-Turán problems

preprint2023arXivOpen access

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χ(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).

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.