{"title":"Octopuses in the Boolean cube: Families with pairwise small intersections, part II","authors":"Andrey Kupavskii , Fedor Noskov","doi":"10.1016/j.disc.2024.114280","DOIUrl":null,"url":null,"abstract":"<div><div>The problem we consider originally arises from 2-level polytope theory. This class of polytopes generalizes a number of other polytope families. One of the important questions in this field can be formulated as follows: is it true for a <em>d</em>-dimensional 2-level polytope that the product of the number of its vertices and the number of its <span><math><mi>d</mi><mo>−</mo><mn>1</mn></math></span> dimensional facets is bounded by <span><math><mi>d</mi><msup><mrow><mn>2</mn></mrow><mrow><mi>d</mi><mo>−</mo><mn>1</mn></mrow></msup></math></span>? Recently, Kupavskii and Weltge <span><span>[9]</span></span> settled this question in positive. A key element in their proof is a more general result for families of vectors in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span> such that the scalar product between any two vectors from different families is either 0 or 1.</div><div>Peter Frankl noted that, when restricted to the Boolean cube, the solution boils down to an elegant application of the Harris–Kleitman correlation inequality. Meanwhile, this problem becomes much more sophisticated when we consider several families.</div><div>Let <span><math><msub><mrow><mi>F</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>ℓ</mi></mrow></msub></math></span> be families of subsets of <span><math><mo>{</mo><mn>1</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>n</mi><mo>}</mo></math></span>. We suppose that for distinct <span><math><mi>k</mi><mo>,</mo><msup><mrow><mi>k</mi></mrow><mrow><mo>′</mo></mrow></msup></math></span> and arbitrary <span><math><msub><mrow><mi>F</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>∈</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>,</mo><msub><mrow><mi>F</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>∈</mo><msub><mrow><mi>F</mi></mrow><mrow><msup><mrow><mi>k</mi></mrow><mrow><mo>′</mo></mrow></msup></mrow></msub></math></span> we have <span><math><mo>|</mo><msub><mrow><mi>F</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>∩</mo><msub><mrow><mi>F</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>|</mo><mo>⩽</mo><mi>m</mi></math></span>. We are interested in the maximal value of <span><math><mo>|</mo><msub><mrow><mi>F</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>|</mo><mo>…</mo><mo>|</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>ℓ</mi></mrow></msub><mo>|</mo></math></span> and the structure of the extremal example.</div><div>In the previous paper on the topic, the authors found the asymptotics of this product for constant <em>ℓ</em> and <em>m</em> as <em>n</em> tends to infinity. However, the possible structure of the families from the extremal example turned out to be very complicated. In this paper, we obtain a strong structural result for the extremal families.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 2","pages":"Article 114280"},"PeriodicalIF":0.7000,"publicationDate":"2024-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Discrete Mathematics","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0012365X24004114","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
The problem we consider originally arises from 2-level polytope theory. This class of polytopes generalizes a number of other polytope families. One of the important questions in this field can be formulated as follows: is it true for a d-dimensional 2-level polytope that the product of the number of its vertices and the number of its dimensional facets is bounded by ? Recently, Kupavskii and Weltge [9] settled this question in positive. A key element in their proof is a more general result for families of vectors in such that the scalar product between any two vectors from different families is either 0 or 1.
Peter Frankl noted that, when restricted to the Boolean cube, the solution boils down to an elegant application of the Harris–Kleitman correlation inequality. Meanwhile, this problem becomes much more sophisticated when we consider several families.
Let be families of subsets of . We suppose that for distinct and arbitrary we have . We are interested in the maximal value of and the structure of the extremal example.
In the previous paper on the topic, the authors found the asymptotics of this product for constant ℓ and m as n tends to infinity. However, the possible structure of the families from the extremal example turned out to be very complicated. In this paper, we obtain a strong structural result for the extremal families.
期刊介绍:
Discrete Mathematics provides a common forum for significant research in many areas of discrete mathematics and combinatorics. Among the fields covered by Discrete Mathematics are graph and hypergraph theory, enumeration, coding theory, block designs, the combinatorics of partially ordered sets, extremal set theory, matroid theory, algebraic combinatorics, discrete geometry, matrices, and discrete probability theory.
Items in the journal include research articles (Contributions or Notes, depending on length) and survey/expository articles (Perspectives). Efforts are made to process the submission of Notes (short articles) quickly. The Perspectives section features expository articles accessible to a broad audience that cast new light or present unifying points of view on well-known or insufficiently-known topics.