{"title":"On non-empty cross-t-intersecting families","authors":"Anshui Li , Huajun Zhang","doi":"10.1016/j.jcta.2024.105960","DOIUrl":null,"url":null,"abstract":"<div><div>Let <span><math><msub><mrow><mi>A</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>A</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>m</mi></mrow></msub></math></span> be families of <em>k</em>-element subsets of a <em>n</em>-element set. We call them cross-<em>t</em>-intersecting if <span><math><mo>|</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>∩</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>|</mo><mo>≥</mo><mi>t</mi></math></span> for any <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>∈</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> and <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>∈</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>j</mi></mrow></msub></math></span> with <span><math><mi>i</mi><mo>≠</mo><mi>j</mi></math></span>. In this paper we will prove that, for <span><math><mi>n</mi><mo>≥</mo><mn>2</mn><mi>k</mi><mo>−</mo><mi>t</mi><mo>+</mo><mn>1</mn></math></span>, if <span><math><msub><mrow><mi>A</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>A</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>m</mi></mrow></msub></math></span> are non-empty cross-<em>t</em>-intersecting families, then<span><span><span><math><munder><mo>∑</mo><mrow><mn>1</mn><mo>≤</mo><mi>i</mi><mo>≤</mo><mi>m</mi></mrow></munder><mo>|</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>|</mo><mo>≤</mo><mi>max</mi><mo></mo><mo>{</mo><mrow><mo>(</mo><mtable><mtr><mtd><mi>n</mi></mtd></mtr><mtr><mtd><mi>k</mi></mtd></mtr></mtable><mo>)</mo></mrow><mo>−</mo><munder><mo>∑</mo><mrow><mn>1</mn><mo>≤</mo><mi>i</mi><mo>≤</mo><mi>t</mi><mo>−</mo><mn>1</mn></mrow></munder><mrow><mo>(</mo><mtable><mtr><mtd><mi>k</mi></mtd></mtr><mtr><mtd><mi>i</mi></mtd></mtr></mtable><mo>)</mo></mrow><mrow><mo>(</mo><mtable><mtr><mtd><mrow><mi>n</mi><mo>−</mo><mi>k</mi></mrow></mtd></mtr><mtr><mtd><mrow><mi>k</mi><mo>−</mo><mi>i</mi></mrow></mtd></mtr></mtable><mo>)</mo></mrow><mo>+</mo><mi>m</mi><mo>−</mo><mn>1</mn><mo>,</mo><mi>m</mi><mi>M</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>k</mi><mo>,</mo><mi>t</mi><mo>)</mo><mo>}</mo><mo>,</mo></math></span></span></span> where <span><math><mi>M</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>k</mi><mo>,</mo><mi>t</mi><mo>)</mo></math></span> is the size of the maximum <em>t</em>-intersecting family of <span><math><mo>(</mo><mtable><mtr><mtd><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></mtd></mtr><mtr><mtd><mi>k</mi></mtd></mtr></mtable><mo>)</mo></math></span>. Moreover, the extremal families attaining the upper bound are characterized.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"210 ","pages":"Article 105960"},"PeriodicalIF":0.9000,"publicationDate":"2024-09-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Combinatorial Theory Series A","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0097316524000992","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Let be families of k-element subsets of a n-element set. We call them cross-t-intersecting if for any and with . In this paper we will prove that, for , if are non-empty cross-t-intersecting families, then where is the size of the maximum t-intersecting family of . Moreover, the extremal families attaining the upper bound are characterized.
期刊介绍:
The Journal of Combinatorial Theory publishes original mathematical research concerned with theoretical and physical aspects of the study of finite and discrete structures in all branches of science. Series A is concerned primarily with structures, designs, and applications of combinatorics and is a valuable tool for mathematicians and computer scientists.