{"title":"Turán雏菊和超立方体的密度","authors":"David Ellis, Maria-Romina Ivan, Imre Leader","doi":"10.1112/blms.13171","DOIUrl":null,"url":null,"abstract":"<p>An <span></span><math>\n <semantics>\n <mi>r</mi>\n <annotation>$r$</annotation>\n </semantics></math>-daisy is an <span></span><math>\n <semantics>\n <mi>r</mi>\n <annotation>$r$</annotation>\n </semantics></math>-uniform hypergraph consisting of the six <span></span><math>\n <semantics>\n <mi>r</mi>\n <annotation>$r$</annotation>\n </semantics></math>-sets formed by taking the union of an <span></span><math>\n <semantics>\n <mrow>\n <mo>(</mo>\n <mi>r</mi>\n <mo>−</mo>\n <mn>2</mn>\n <mo>)</mo>\n </mrow>\n <annotation>$(r-2)$</annotation>\n </semantics></math>-set with each of the 2-sets of a disjoint 4-set. Bollobás, Leader and Malvenuto, and also Bukh, conjectured that the Turán density of the <span></span><math>\n <semantics>\n <mi>r</mi>\n <annotation>$r$</annotation>\n </semantics></math>-daisy tends to zero as <span></span><math>\n <semantics>\n <mrow>\n <mi>r</mi>\n <mo>→</mo>\n <mi>∞</mi>\n </mrow>\n <annotation>$r \\rightarrow \\infty$</annotation>\n </semantics></math>. In this paper we disprove this conjecture. Adapting our construction, we are also able to disprove a folklore conjecture about Turán densities of hypercubes. For fixed <span></span><math>\n <semantics>\n <mi>d</mi>\n <annotation>$d$</annotation>\n </semantics></math> and large <span></span><math>\n <semantics>\n <mi>n</mi>\n <annotation>$n$</annotation>\n </semantics></math>, we show that the smallest set of vertices of the <span></span><math>\n <semantics>\n <mi>n</mi>\n <annotation>$n$</annotation>\n </semantics></math>-dimensional hypercube <span></span><math>\n <semantics>\n <msub>\n <mi>Q</mi>\n <mi>n</mi>\n </msub>\n <annotation>$Q_n$</annotation>\n </semantics></math> that intersects every copy of <span></span><math>\n <semantics>\n <msub>\n <mi>Q</mi>\n <mi>d</mi>\n </msub>\n <annotation>$Q_d$</annotation>\n </semantics></math> has asymptotic density strictly below <span></span><math>\n <semantics>\n <mrow>\n <mn>1</mn>\n <mo>/</mo>\n <mo>(</mo>\n <mi>d</mi>\n <mo>+</mo>\n <mn>1</mn>\n <mo>)</mo>\n </mrow>\n <annotation>$1/(d+1)$</annotation>\n </semantics></math>, for all <span></span><math>\n <semantics>\n <mrow>\n <mi>d</mi>\n <mo>⩾</mo>\n <mn>8</mn>\n </mrow>\n <annotation>$d \\geqslant 8$</annotation>\n </semantics></math>. In fact, we show that this asymptotic density is at most <span></span><math>\n <semantics>\n <msup>\n <mi>c</mi>\n <mi>d</mi>\n </msup>\n <annotation>$c^d$</annotation>\n </semantics></math>, for some constant <span></span><math>\n <semantics>\n <mrow>\n <mi>c</mi>\n <mo><</mo>\n <mn>1</mn>\n </mrow>\n <annotation>$c<1$</annotation>\n </semantics></math>. As a consequence, we obtain similar bounds for the edge-Turán densities of hypercubes. We also answer some related questions of Johnson and Talbot, and disprove a conjecture made by Bukh and by Griggs and Lu on poset densities.</p>","PeriodicalId":55298,"journal":{"name":"Bulletin of the London Mathematical Society","volume":"56 12","pages":"3838-3853"},"PeriodicalIF":0.8000,"publicationDate":"2024-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/blms.13171","citationCount":"0","resultStr":"{\"title\":\"Turán densities for daisies and hypercubes\",\"authors\":\"David Ellis, Maria-Romina Ivan, Imre Leader\",\"doi\":\"10.1112/blms.13171\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>An <span></span><math>\\n <semantics>\\n <mi>r</mi>\\n <annotation>$r$</annotation>\\n </semantics></math>-daisy is an <span></span><math>\\n <semantics>\\n <mi>r</mi>\\n <annotation>$r$</annotation>\\n </semantics></math>-uniform hypergraph consisting of the six <span></span><math>\\n <semantics>\\n <mi>r</mi>\\n <annotation>$r$</annotation>\\n </semantics></math>-sets formed by taking the union of an <span></span><math>\\n <semantics>\\n <mrow>\\n <mo>(</mo>\\n <mi>r</mi>\\n <mo>−</mo>\\n <mn>2</mn>\\n <mo>)</mo>\\n </mrow>\\n <annotation>$(r-2)$</annotation>\\n </semantics></math>-set with each of the 2-sets of a disjoint 4-set. Bollobás, Leader and Malvenuto, and also Bukh, conjectured that the Turán density of the <span></span><math>\\n <semantics>\\n <mi>r</mi>\\n <annotation>$r$</annotation>\\n </semantics></math>-daisy tends to zero as <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>r</mi>\\n <mo>→</mo>\\n <mi>∞</mi>\\n </mrow>\\n <annotation>$r \\\\rightarrow \\\\infty$</annotation>\\n </semantics></math>. In this paper we disprove this conjecture. Adapting our construction, we are also able to disprove a folklore conjecture about Turán densities of hypercubes. For fixed <span></span><math>\\n <semantics>\\n <mi>d</mi>\\n <annotation>$d$</annotation>\\n </semantics></math> and large <span></span><math>\\n <semantics>\\n <mi>n</mi>\\n <annotation>$n$</annotation>\\n </semantics></math>, we show that the smallest set of vertices of the <span></span><math>\\n <semantics>\\n <mi>n</mi>\\n <annotation>$n$</annotation>\\n </semantics></math>-dimensional hypercube <span></span><math>\\n <semantics>\\n <msub>\\n <mi>Q</mi>\\n <mi>n</mi>\\n </msub>\\n <annotation>$Q_n$</annotation>\\n </semantics></math> that intersects every copy of <span></span><math>\\n <semantics>\\n <msub>\\n <mi>Q</mi>\\n <mi>d</mi>\\n </msub>\\n <annotation>$Q_d$</annotation>\\n </semantics></math> has asymptotic density strictly below <span></span><math>\\n <semantics>\\n <mrow>\\n <mn>1</mn>\\n <mo>/</mo>\\n <mo>(</mo>\\n <mi>d</mi>\\n <mo>+</mo>\\n <mn>1</mn>\\n <mo>)</mo>\\n </mrow>\\n <annotation>$1/(d+1)$</annotation>\\n </semantics></math>, for all <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>d</mi>\\n <mo>⩾</mo>\\n <mn>8</mn>\\n </mrow>\\n <annotation>$d \\\\geqslant 8$</annotation>\\n </semantics></math>. In fact, we show that this asymptotic density is at most <span></span><math>\\n <semantics>\\n <msup>\\n <mi>c</mi>\\n <mi>d</mi>\\n </msup>\\n <annotation>$c^d$</annotation>\\n </semantics></math>, for some constant <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>c</mi>\\n <mo><</mo>\\n <mn>1</mn>\\n </mrow>\\n <annotation>$c<1$</annotation>\\n </semantics></math>. As a consequence, we obtain similar bounds for the edge-Turán densities of hypercubes. We also answer some related questions of Johnson and Talbot, and disprove a conjecture made by Bukh and by Griggs and Lu on poset densities.</p>\",\"PeriodicalId\":55298,\"journal\":{\"name\":\"Bulletin of the London Mathematical Society\",\"volume\":\"56 12\",\"pages\":\"3838-3853\"},\"PeriodicalIF\":0.8000,\"publicationDate\":\"2024-10-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://onlinelibrary.wiley.com/doi/epdf/10.1112/blms.13171\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Bulletin of the London Mathematical Society\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1112/blms.13171\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of the London Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1112/blms.13171","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
An -daisy is an -uniform hypergraph consisting of the six -sets formed by taking the union of an -set with each of the 2-sets of a disjoint 4-set. Bollobás, Leader and Malvenuto, and also Bukh, conjectured that the Turán density of the -daisy tends to zero as . In this paper we disprove this conjecture. Adapting our construction, we are also able to disprove a folklore conjecture about Turán densities of hypercubes. For fixed and large , we show that the smallest set of vertices of the -dimensional hypercube that intersects every copy of has asymptotic density strictly below , for all . In fact, we show that this asymptotic density is at most , for some constant . As a consequence, we obtain similar bounds for the edge-Turán densities of hypercubes. We also answer some related questions of Johnson and Talbot, and disprove a conjecture made by Bukh and by Griggs and Lu on poset densities.