{"title":"On Non-degenerate Berge–Turán Problems","authors":"Dániel Gerbner","doi":"10.1007/s00373-024-02757-w","DOIUrl":null,"url":null,"abstract":"<p>Given a hypergraph <span>\\({{\\mathcal {H}}}\\)</span> and a graph <i>G</i>, we say that <span>\\({{\\mathcal {H}}}\\)</span> is a <i>Berge</i>-<i>G</i> if there is a bijection between the hyperedges of <span>\\({{\\mathcal {H}}}\\)</span> and the edges of <i>G</i> such that each hyperedge contains its image. We denote by <span>\\(\\textrm{ex}_k(n,Berge- F)\\)</span> the largest number of hyperedges in a <i>k</i>-uniform Berge-<i>F</i>-free graph. Let <span>\\(\\textrm{ex}(n,H,F)\\)</span> denote the largest number of copies of <i>H</i> in <i>n</i>-vertex <i>F</i>-free graphs. It is known that <span>\\(\\textrm{ex}(n,K_k,F)\\le \\textrm{ex}_k(n,Berge- F)\\le \\textrm{ex}(n,K_k,F)+\\textrm{ex}(n,F)\\)</span>, thus if <span>\\(\\chi (F)>r\\)</span>, then <span>\\(\\textrm{ex}_k(n,Berge- F)=(1+o(1)) \\textrm{ex}(n,K_k,F)\\)</span>. We conjecture that <span>\\(\\textrm{ex}_k(n,Berge- F)=\\textrm{ex}(n,K_k,F)\\)</span> in this case. We prove this conjecture in several instances, including the cases <span>\\(k=3\\)</span> and <span>\\(k=4\\)</span>. We prove the general bound <span>\\(\\textrm{ex}_k(n,Berge- F)= \\textrm{ex}(n,K_k,F)+O(1)\\)</span>.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s00373-024-02757-w","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Given a hypergraph \({{\mathcal {H}}}\) and a graph G, we say that \({{\mathcal {H}}}\) is a Berge-G if there is a bijection between the hyperedges of \({{\mathcal {H}}}\) and the edges of G such that each hyperedge contains its image. We denote by \(\textrm{ex}_k(n,Berge- F)\) the largest number of hyperedges in a k-uniform Berge-F-free graph. Let \(\textrm{ex}(n,H,F)\) denote the largest number of copies of H in n-vertex F-free graphs. It is known that \(\textrm{ex}(n,K_k,F)\le \textrm{ex}_k(n,Berge- F)\le \textrm{ex}(n,K_k,F)+\textrm{ex}(n,F)\), thus if \(\chi (F)>r\), then \(\textrm{ex}_k(n,Berge- F)=(1+o(1)) \textrm{ex}(n,K_k,F)\). We conjecture that \(\textrm{ex}_k(n,Berge- F)=\textrm{ex}(n,K_k,F)\) in this case. We prove this conjecture in several instances, including the cases \(k=3\) and \(k=4\). We prove the general bound \(\textrm{ex}_k(n,Berge- F)= \textrm{ex}(n,K_k,F)+O(1)\).