{"title":"Diametric problem for permutations with the Ulam metric (optimal anticodes)","authors":"Pat Devlin, Leo Douhovnikoff","doi":"10.1016/j.jcta.2024.106002","DOIUrl":"10.1016/j.jcta.2024.106002","url":null,"abstract":"<div><div>We study the diametric problem (i.e., optimal anticodes) in the space of permutations under the Ulam distance. That is, let <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> denote the set of permutations on <em>n</em> symbols, and for each <span><math><mi>σ</mi><mo>,</mo><mi>τ</mi><mo>∈</mo><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>, define their Ulam distance as the number of distinct symbols that must be deleted from each until they are equal. We obtain a near-optimal upper bound on the size of the intersection of two balls in this space, and as a corollary, we prove that a set of diameter at most <em>k</em> has size at most <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>k</mi><mo>+</mo><mi>C</mi><msup><mrow><mi>k</mi></mrow><mrow><mn>2</mn><mo>/</mo><mn>3</mn></mrow></msup></mrow></msup><mi>n</mi><mo>!</mo><mo>/</mo><mo>(</mo><mi>n</mi><mo>−</mo><mi>k</mi><mo>)</mo><mo>!</mo></math></span>, compared to the best known construction of size <span><math><mi>n</mi><mo>!</mo><mo>/</mo><mo>(</mo><mi>n</mi><mo>−</mo><mi>k</mi><mo>)</mo><mo>!</mo></math></span>.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"212 ","pages":"Article 106002"},"PeriodicalIF":0.9,"publicationDate":"2024-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143095724","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Cayley extensions of maniplexes and polytopes","authors":"Gabe Cunningham , Elías Mochán , Antonio Montero","doi":"10.1016/j.jcta.2024.106000","DOIUrl":"10.1016/j.jcta.2024.106000","url":null,"abstract":"<div><div>A map on a surface whose automorphism group has a subgroup acting regularly on its vertices is called a Cayley map. Here we generalize that notion to maniplexes and polytopes. We define <span><math><mi>M</mi></math></span> to be a <em>Cayley extension</em> of <span><math><mi>K</mi></math></span> if the facets of <span><math><mi>M</mi></math></span> are isomorphic to <span><math><mi>K</mi></math></span> and if some subgroup of the automorphism group of <span><math><mi>M</mi></math></span> acts regularly on the facets of <span><math><mi>M</mi></math></span>. We show that many natural extensions in the literature on maniplexes and polytopes are in fact Cayley extensions. We also describe several universal Cayley extensions. Finally, we examine the automorphism group and symmetry type graph of Cayley extensions.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"212 ","pages":"Article 106000"},"PeriodicalIF":0.9,"publicationDate":"2024-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143095348","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Björn Kriepke, Gohar M. Kyureghyan, Matthias Schymura
{"title":"On the size of integer programs with bounded non-vanishing subdeterminants","authors":"Björn Kriepke, Gohar M. Kyureghyan, Matthias Schymura","doi":"10.1016/j.jcta.2024.106003","DOIUrl":"10.1016/j.jcta.2024.106003","url":null,"abstract":"<div><div>Motivated by complexity questions in integer programming, this paper aims to contribute to the understanding of combinatorial properties of integer matrices of row rank <em>r</em> and with bounded subdeterminants. In particular, we study the column number question for integer matrices whose every <span><math><mi>r</mi><mo>×</mo><mi>r</mi></math></span> minor is non-zero and bounded by a fixed constant Δ in absolute value. Approaching the problem in two different ways, one that uses results from coding theory, and the other from the geometry of numbers, we obtain linear and asymptotically sublinear upper bounds on the maximal number of columns of such matrices, respectively. We complement these results by lower bound constructions, matching the linear upper bound for <span><math><mi>r</mi><mo>=</mo><mn>2</mn></math></span>, and a discussion of a computational approach to determine the maximal number of columns for small parameters Δ and <em>r</em>.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"212 ","pages":"Article 106003"},"PeriodicalIF":0.9,"publicationDate":"2024-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143095349","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On joint short minimal zero-sum subsequences over finite abelian groups of rank two","authors":"Yushuang Fan , Qinghai Zhong","doi":"10.1016/j.jcta.2024.105984","DOIUrl":"10.1016/j.jcta.2024.105984","url":null,"abstract":"<div><div>Let <span><math><mo>(</mo><mi>G</mi><mo>,</mo><mo>+</mo><mo>,</mo><mn>0</mn><mo>)</mo></math></span> be a finite abelian group and let <span><math><msup><mrow><mi>η</mi></mrow><mrow><mi>N</mi></mrow></msup><mo>(</mo><mi>G</mi><mo>)</mo></math></span> be the smallest integer <em>ℓ</em> such that every sequence over <span><math><mi>G</mi><mo>∖</mo><mo>{</mo><mn>0</mn><mo>}</mo></math></span> of length <em>ℓ</em> has two joint short minimal zero-sum subsequences. In 2013, Gao et al. obtained that <span><math><msup><mrow><mi>η</mi></mrow><mrow><mi>N</mi></mrow></msup><mo>(</mo><msub><mrow><mi>C</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>⊕</mo><msub><mrow><mi>C</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>)</mo><mo>=</mo><mn>3</mn><mi>n</mi><mo>+</mo><mn>1</mn></math></span> for every <span><math><mi>n</mi><mo>≥</mo><mn>2</mn></math></span> and solved the corresponding inverse problem for groups <span><math><msub><mrow><mi>C</mi></mrow><mrow><mi>p</mi></mrow></msub><mo>⊕</mo><msub><mrow><mi>C</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span>, where <em>p</em> is a prime. In this paper, we determine the precise value of <span><math><msup><mrow><mi>η</mi></mrow><mrow><mi>N</mi></mrow></msup><mo>(</mo><mi>G</mi><mo>)</mo></math></span> for all finite abelian groups of rank 2 and resolve the corresponding inverse problem for groups <span><math><msub><mrow><mi>C</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>⊕</mo><msub><mrow><mi>C</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>, where <span><math><mi>n</mi><mo>≥</mo><mn>2</mn></math></span>, which confirms a conjecture of Gao, Geroldinger and Wang for all <span><math><mi>n</mi><mo>≥</mo><mn>2</mn></math></span> except <span><math><mi>n</mi><mo>=</mo><mn>4</mn></math></span>.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"212 ","pages":"Article 105984"},"PeriodicalIF":0.9,"publicationDate":"2024-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142790045","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Michael Kiermaier , Jonathan Mannaert , Alfred Wassermann
{"title":"The degree of functions in the Johnson and q-Johnson schemes","authors":"Michael Kiermaier , Jonathan Mannaert , Alfred Wassermann","doi":"10.1016/j.jcta.2024.105979","DOIUrl":"10.1016/j.jcta.2024.105979","url":null,"abstract":"<div><div>In 1982, Cameron and Liebler investigated certain <em>special sets of lines</em> in <span><math><mi>PG</mi><mo>(</mo><mn>3</mn><mo>,</mo><mi>q</mi><mo>)</mo></math></span>, and gave several equivalent characterizations. Due to their interesting geometric and algebraic properties, these <em>Cameron-Liebler line classes</em> got much attention. Several generalizations and variants have been considered in the literature, the main directions being a variation of the dimensions of the involved spaces, and studying the analogous situation in the subset lattice. An important tool is the interpretation of the objects as Boolean functions in the <em>Johnson</em> and <em>q-Johnson schemes</em>.</div><div>In this article, we develop a unified theory covering all these variations. Generalized versions of algebraic and geometric properties will be investigated, having a parallel in the notion of <em>designs</em> and <em>antidesigns</em> in association schemes. This leads to a natural definition of the <em>degree</em> and the <em>weights</em> of functions in the ambient scheme, refining the existing definitions. We will study the effect of dualization and of elementary modifications of the ambient space on the degree and the weights. Moreover, a divisibility property of the sizes of Boolean functions of degree <em>t</em> will be proven.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"212 ","pages":"Article 105979"},"PeriodicalIF":0.9,"publicationDate":"2024-11-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142746446","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Sequence reconstruction problem for deletion channels: A complete asymptotic solution","authors":"Van Long Phuoc Pham , Keshav Goyal , Han Mao Kiah","doi":"10.1016/j.jcta.2024.105980","DOIUrl":"10.1016/j.jcta.2024.105980","url":null,"abstract":"<div><div>Transmit a codeword <figure><img></figure>, that belongs to an <span><math><mo>(</mo><mi>ℓ</mi><mo>−</mo><mn>1</mn><mo>)</mo></math></span>-deletion-correcting code of length <em>n</em>, over a <em>t</em>-deletion channel for some <span><math><mn>1</mn><mo>≤</mo><mi>ℓ</mi><mo>≤</mo><mi>t</mi><mo><</mo><mi>n</mi></math></span>. Levenshtein (2001) <span><span>[10]</span></span>, proposed the problem of determining <span><math><mi>N</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>ℓ</mi><mo>,</mo><mi>t</mi><mo>)</mo><mo>+</mo><mn>1</mn></math></span>, the minimum number of distinct channel outputs required to uniquely reconstruct <figure><img></figure>. Prior to this work, <span><math><mi>N</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>ℓ</mi><mo>,</mo><mi>t</mi><mo>)</mo></math></span> is known only when <span><math><mi>ℓ</mi><mo>∈</mo><mo>{</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>}</mo></math></span>. Here, we provide an asymptotically exact solution for all values of <em>ℓ</em> and <em>t</em>. Specifically, we show that <span><math><mi>N</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>ℓ</mi><mo>,</mo><mi>t</mi><mo>)</mo><mo>=</mo><mfrac><mrow><mo>(</mo><mtable><mtr><mtd><mrow><mn>2</mn><mi>ℓ</mi></mrow></mtd></mtr><mtr><mtd><mi>ℓ</mi></mtd></mtr></mtable><mo>)</mo></mrow><mrow><mo>(</mo><mi>t</mi><mo>−</mo><mi>ℓ</mi><mo>)</mo><mo>!</mo></mrow></mfrac><msup><mrow><mi>n</mi></mrow><mrow><mi>t</mi><mo>−</mo><mi>ℓ</mi></mrow></msup><mo>−</mo><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>t</mi><mo>−</mo><mi>ℓ</mi><mo>−</mo><mn>1</mn></mrow></msup><mo>)</mo></math></span>. In the special instances: where <span><math><mi>ℓ</mi><mo>=</mo><mi>t</mi></math></span>, we show that <span><math><mi>N</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>ℓ</mi><mo>,</mo><mi>ℓ</mi><mo>)</mo><mo>=</mo><mrow><mo>(</mo><mtable><mtr><mtd><mrow><mn>2</mn><mi>ℓ</mi></mrow></mtd></mtr><mtr><mtd><mi>ℓ</mi></mtd></mtr></mtable><mo>)</mo></mrow></math></span>; and when <span><math><mi>ℓ</mi><mo>=</mo><mn>3</mn></math></span> and <span><math><mi>t</mi><mo>=</mo><mn>4</mn></math></span>, we show that <span><math><mi>N</mi><mo>(</mo><mi>n</mi><mo>,</mo><mn>3</mn><mo>,</mo><mn>4</mn><mo>)</mo><mo>≤</mo><mn>20</mn><mi>n</mi><mo>−</mo><mn>150</mn></math></span>. We also provide a conjecture on the exact value of <span><math><mi>N</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>ℓ</mi><mo>,</mo><mi>t</mi><mo>)</mo></math></span> for all values of <em>n</em>, <em>ℓ</em>, and <em>t</em>.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"211 ","pages":"Article 105980"},"PeriodicalIF":0.9,"publicationDate":"2024-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142720012","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Non-empty pairwise cross-intersecting families","authors":"Yang Huang, Yuejian Peng","doi":"10.1016/j.jcta.2024.105981","DOIUrl":"10.1016/j.jcta.2024.105981","url":null,"abstract":"<div><div>Two families <span><math><mi>A</mi></math></span> and <span><math><mi>B</mi></math></span> are cross-intersecting if <span><math><mi>A</mi><mo>∩</mo><mi>B</mi><mo>≠</mo><mo>∅</mo></math></span> for any <span><math><mi>A</mi><mo>∈</mo><mi>A</mi></math></span> and <span><math><mi>B</mi><mo>∈</mo><mi>B</mi></math></span>. We call <em>t</em> families <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>t</mi></mrow></msub></math></span> pairwise cross-intersecting families if <span><math><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></math></span> are cross-intersecting for <span><math><mn>1</mn><mo>≤</mo><mi>i</mi><mo><</mo><mi>j</mi><mo>≤</mo><mi>t</mi></math></span>. Additionally, if <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>≠</mo><mo>∅</mo></math></span> for each <span><math><mi>j</mi><mo>∈</mo><mo>[</mo><mi>t</mi><mo>]</mo></math></span>, then we say that <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>t</mi></mrow></msub></math></span> are non-empty pairwise cross-intersecting. Let <span><math><msub><mrow><mi>A</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>⊆</mo><mrow><mo>(</mo><mtable><mtr><mtd><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></mtd></mtr><mtr><mtd><msub><mrow><mi>k</mi></mrow><mrow><mn>1</mn></mrow></msub></mtd></mtr></mtable><mo>)</mo></mrow><mo>,</mo><msub><mrow><mi>A</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⊆</mo><mrow><mo>(</mo><mtable><mtr><mtd><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></mtd></mtr><mtr><mtd><msub><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msub></mtd></mtr></mtable><mo>)</mo></mrow><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>t</mi></mrow></msub><mo>⊆</mo><mrow><mo>(</mo><mtable><mtr><mtd><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></mtd></mtr><mtr><mtd><msub><mrow><mi>k</mi></mrow><mrow><mi>t</mi></mrow></msub></mtd></mtr></mtable><mo>)</mo></mrow></math></span> be non-empty pairwise cross-intersecting families with <span><math><mi>t</mi><mo>≥</mo><mn>2</mn></math></span>, <span><math><msub><mrow><mi>k</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>≥</mo><msub><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>≥</mo><mo>⋯</mo><mo>≥</mo><msub><mrow><mi>k</mi></mrow><mrow><mi>t</mi></mrow></msub></math></span>, <span><math><mi>n</mi><mo>≥</mo><msub><mrow><mi>k</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>+</mo><msub><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> and <span><math><msub><mrow><mi>d</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>d</mi></mrow><mrow><mn>2</mn></mrow></m","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"211 ","pages":"Article 105981"},"PeriodicalIF":0.9,"publicationDate":"2024-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142720004","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A classification of the flag-transitive 2-(v,k,2) designs","authors":"Hongxue Liang , Alessandro Montinaro","doi":"10.1016/j.jcta.2024.105983","DOIUrl":"10.1016/j.jcta.2024.105983","url":null,"abstract":"<div><div>In this paper, we provide a complete classification of 2-<span><math><mo>(</mo><mi>v</mi><mo>,</mo><mi>k</mi><mo>,</mo><mn>2</mn><mo>)</mo></math></span> designs admitting a flag-transitive automorphism group of affine type with the only exception of the semilinear 1-dimensional group. Alongside this analysis, we provide a construction of seven new families of such flag-transitive 2-designs, one of them infinite, and some of them involving remarkable objects such as <em>t</em>-spreads, translation planes, quadrics and Segre varieties.</div><div>Our result together with those of Alavi et al. <span><span>[1]</span></span>, <span><span>[2]</span></span>, Praeger et al. <span><span>[17]</span></span>, Zhou and the first author <span><span>[39]</span></span>, <span><span>[40]</span></span> provides a complete classification of 2-<span><math><mo>(</mo><mi>v</mi><mo>,</mo><mi>k</mi><mo>,</mo><mn>2</mn><mo>)</mo></math></span> design admitting a flag-transitive automorphism group with the only exception of the semilinear 1-dimensional case.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"211 ","pages":"Article 105983"},"PeriodicalIF":0.9,"publicationDate":"2024-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142701472","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Distributions of reciprocal sums of parts in integer partitions","authors":"Byungchan Kim , Eunmi Kim","doi":"10.1016/j.jcta.2024.105982","DOIUrl":"10.1016/j.jcta.2024.105982","url":null,"abstract":"<div><div>Let <span><math><msub><mrow><mi>D</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> be the set of partitions of <em>n</em> into distinct parts, and <span><math><mi>srp</mi><mo>(</mo><mi>λ</mi><mo>)</mo></math></span> be the sum of reciprocals of the parts of the partition <em>λ</em>. We show that as <span><math><mi>n</mi><mo>→</mo><mo>∞</mo></math></span>,<span><span><span><math><mi>E</mi><mo>[</mo><mi>srp</mi><mo>(</mo><mi>λ</mi><mo>)</mo><mo>:</mo><mi>λ</mi><mo>∈</mo><msub><mrow><mi>D</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>]</mo><mo>∼</mo><mfrac><mrow><mi>log</mi><mo></mo><mo>(</mo><mn>3</mn><mi>n</mi><mo>)</mo></mrow><mrow><mn>4</mn></mrow></mfrac><mspace></mspace><mtext>and</mtext><mspace></mspace><mi>Var</mi><mo>[</mo><mi>srp</mi><mo>(</mo><mi>λ</mi><mo>)</mo><mo>:</mo><mi>λ</mi><mo>∈</mo><msub><mrow><mi>D</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>]</mo><mo>∼</mo><mfrac><mrow><msup><mrow><mi>π</mi></mrow><mrow><mn>2</mn></mrow></msup></mrow><mrow><mn>24</mn></mrow></mfrac><mo>.</mo></math></span></span></span> Moreover, for <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>, the set of ordinary partitions of <em>n</em>, we show that as <span><math><mi>n</mi><mo>→</mo><mo>∞</mo></math></span>,<span><span><span><math><mi>E</mi><mo>[</mo><mi>srp</mi><mo>(</mo><mi>λ</mi><mo>)</mo><mo>:</mo><mi>λ</mi><mo>∈</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>]</mo><mo>∼</mo><mi>π</mi><msqrt><mrow><mfrac><mrow><mi>n</mi></mrow><mrow><mn>6</mn></mrow></mfrac></mrow></msqrt><mspace></mspace><mtext>and</mtext><mspace></mspace><mi>Var</mi><mo>[</mo><mi>srp</mi><mo>(</mo><mi>λ</mi><mo>)</mo><mo>:</mo><mi>λ</mi><mo>∈</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>]</mo><mo>∼</mo><mfrac><mrow><msup><mrow><mi>π</mi></mrow><mrow><mn>2</mn></mrow></msup></mrow><mrow><mn>15</mn></mrow></mfrac><mi>n</mi><mo>.</mo></math></span></span></span> To prove these asymptotic formulas in a uniform manner, we derive a general asymptotic formula using Wright's circle method.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"211 ","pages":"Article 105982"},"PeriodicalIF":0.9,"publicationDate":"2024-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142720007","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Dominance complexes, neighborhood complexes and combinatorial Alexander duals","authors":"Takahiro Matsushita , Shun Wakatsuki","doi":"10.1016/j.jcta.2024.105978","DOIUrl":"10.1016/j.jcta.2024.105978","url":null,"abstract":"<div><div>We show that the dominance complex <span><math><mi>D</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> of a graph <em>G</em> coincides with the combinatorial Alexander dual of the neighborhood complex <span><math><mi>N</mi><mo>(</mo><mover><mrow><mi>G</mi></mrow><mo>‾</mo></mover><mo>)</mo></math></span> of the complement of <em>G</em>. Using this, we obtain a relation between the chromatic number <span><math><mi>χ</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> of <em>G</em> and the homology group of <span><math><mi>D</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span>. We also obtain several known results related to dominance complexes from well-known facts of neighborhood complexes. After that, we suggest a new method for computing the homology groups of the dominance complexes, using independence complexes of simple graphs. We show that several known computations of homology groups of dominance complexes can be reduced to known computations of independence complexes. Finally, we determine the homology group of <span><math><mi>D</mi><mo>(</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>×</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>)</mo></math></span> by determining the homotopy types of the independence complex of <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>×</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>×</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"211 ","pages":"Article 105978"},"PeriodicalIF":0.9,"publicationDate":"2024-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142652948","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}