General lemmas for Berge–Turán hypergraph problems

• Published in: European journal of combinatorics Vol. 86; p. 103082
• Main Authors: Gerbner, Dániel, Methuku, Abhishek, Palmer, Cory
• Format: Journal Article
• Language: English
• Published: Elsevier Ltd 01.05.2020
• ISSN: 0195-6698
• DOI: 10.1016/j.ejc.2020.103082

For a graph F, a hypergraph H is a Berge copy of F (or a Berge-F in short), if there is a bijection f:E(F)→E(H) such that for each e∈E(F) we have e⊂f(e). A hypergraph is Berge-F-free if it does not contain a Berge copy of F. We denote the maximum number of hyperedges in an n-vertex r-uniform Berge-F-free hypergraph by exr(n,Berge-F). In this paper we prove two general lemmas concerning the maximum size of a Berge-F-free hypergraph and use them to establish new results and improve several old results. In particular, we give bounds on exr(n,Berge-F) when F is a path (reproving a result of Győri, Katona and Lemons), a cycle (extending a result of Füredi and Özkahya), a theta graph (improving a result of He and Tait), or a K2,t (extending a result of Gerbner, Methuku and Vizer). We establish new bounds when F is a clique (which implies extensions of results by Maherani and Shahsiah and by Gyárfás) and when F is a general tree.