{"title":"论非退格的 Berge-Turán 问题","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":"{\"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}","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}
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)\).