{"title":"Turán problems in pseudorandom graphs","authors":"Xizhi Liu, Dhruv Mubayi, David Munhá Correia","doi":"10.1017/s0963548324000142","DOIUrl":null,"url":null,"abstract":"Given a graph <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0963548324000142_inline1.png\"/> <jats:tex-math> $F$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>, we consider the problem of determining the densest possible pseudorandom graph that contains no copy of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0963548324000142_inline2.png\"/> <jats:tex-math> $F$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. We provide an embedding procedure that improves a general result of Conlon, Fox, and Zhao which gives an upper bound on the density. In particular, our result implies that optimally pseudorandom graphs with density greater than <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0963548324000142_inline3.png\"/> <jats:tex-math> $n^{-1/3}$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> must contain a copy of the Peterson graph, while the previous best result gives the bound <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0963548324000142_inline4.png\"/> <jats:tex-math> $n^{-1/4}$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. Moreover, we conjecture that the exponent <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0963548324000142_inline5.png\"/> <jats:tex-math> $1/3$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> in our bound is tight. We also construct the densest known pseudorandom <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0963548324000142_inline6.png\"/> <jats:tex-math> $K_{2,3}$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>-free graphs that are also triangle-free. Finally, we give a different proof for the densest known construction of clique-free pseudorandom graphs due to Bishnoi, Ihringer, and Pepe that they have no large clique.","PeriodicalId":10503,"journal":{"name":"Combinatorics, Probability and Computing","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2024-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Combinatorics, Probability and Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1017/s0963548324000142","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Given a graph $F$ , we consider the problem of determining the densest possible pseudorandom graph that contains no copy of $F$ . We provide an embedding procedure that improves a general result of Conlon, Fox, and Zhao which gives an upper bound on the density. In particular, our result implies that optimally pseudorandom graphs with density greater than $n^{-1/3}$ must contain a copy of the Peterson graph, while the previous best result gives the bound $n^{-1/4}$ . Moreover, we conjecture that the exponent $1/3$ in our bound is tight. We also construct the densest known pseudorandom $K_{2,3}$ -free graphs that are also triangle-free. Finally, we give a different proof for the densest known construction of clique-free pseudorandom graphs due to Bishnoi, Ihringer, and Pepe that they have no large clique.