Pub Date : 2026-07-01Epub Date: 2025-12-11DOI: 10.1016/j.jcta.2025.106154
Tewodros Amdeberhan , George E. Andrews , Cristina Ballantine
We consider relationships between classical Lambert series, multiple Lambert series and classical q-series of the Rogers-Ramanujan type. We conclude with a contemplation on the Andrews-Dixit-Schultz-Yee conjecture.
{"title":"Lambert series and double Lambert series","authors":"Tewodros Amdeberhan , George E. Andrews , Cristina Ballantine","doi":"10.1016/j.jcta.2025.106154","DOIUrl":"10.1016/j.jcta.2025.106154","url":null,"abstract":"<div><div>We consider relationships between classical Lambert series, multiple Lambert series and classical <em>q</em>-series of the Rogers-Ramanujan type. We conclude with a contemplation on the Andrews-Dixit-Schultz-Yee conjecture.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"221 ","pages":"Article 106154"},"PeriodicalIF":1.2,"publicationDate":"2026-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145731497","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}
Pub Date : 2026-07-01Epub Date: 2025-12-22DOI: 10.1016/j.jcta.2025.106155
Zai Ping Lu, Yue Sun
A graph is said to be edge-primitive if its automorphism group acts primitively on the edge set. In this paper, we investigate finite edge-primitive Cayley graphs of valency no less than 2. An explicit classification of such graphs is obtained in the case where the graphs admit an almost simple edge-primitive automorphism group which contains a regular subgroup on the vertices. This implies that the only edge-primitive Cayley graphs of valency at least 2 defined over simple groups are cycles with prime length and complete graphs. In addition, we also classify those edge-primitive Cayley graphs which are either 2-arc-transitive or of square-free order.
{"title":"On edge-primitive Cayley graphs","authors":"Zai Ping Lu, Yue Sun","doi":"10.1016/j.jcta.2025.106155","DOIUrl":"10.1016/j.jcta.2025.106155","url":null,"abstract":"<div><div>A graph is said to be edge-primitive if its automorphism group acts primitively on the edge set. In this paper, we investigate finite edge-primitive Cayley graphs of valency no less than 2. An explicit classification of such graphs is obtained in the case where the graphs admit an almost simple edge-primitive automorphism group which contains a regular subgroup on the vertices. This implies that the only edge-primitive Cayley graphs of valency at least 2 defined over simple groups are cycles with prime length and complete graphs. In addition, we also classify those edge-primitive Cayley graphs which are either 2-arc-transitive or of square-free order.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"221 ","pages":"Article 106155"},"PeriodicalIF":1.2,"publicationDate":"2026-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145813854","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}
Pub Date : 2026-07-01Epub Date: 2026-01-19DOI: 10.1016/j.jcta.2026.106162
Chi Hoi Yip
The well-known Van Lint–MacWilliams' conjecture states that if q is an odd prime power, and such that , , and is a square for each , then A must be the subfield . This conjecture was first proved by Blokhuis and is often phrased in terms of the maximum cliques in Paley graphs of square order. Previously, Asgarli and the author extended Blokhuis' theorem to a larger family of Cayley graphs. In this paper, we give a new simple proof of Blokhuis' theorem and its extensions. More generally, we show that if has small multiplicative doubling, and with , , such that , then . This new result refines and extends several previous works; moreover, our new approach avoids using heavy machinery from number theory.
{"title":"Van Lint–MacWilliams' conjecture and maximum cliques in Cayley graphs over finite fields, II","authors":"Chi Hoi Yip","doi":"10.1016/j.jcta.2026.106162","DOIUrl":"10.1016/j.jcta.2026.106162","url":null,"abstract":"<div><div>The well-known Van Lint–MacWilliams' conjecture states that if <em>q</em> is an odd prime power, and <span><math><mi>A</mi><mo>⊆</mo><msub><mrow><mi>F</mi></mrow><mrow><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn></mrow></msup></mrow></msub></math></span> such that <span><math><mn>0</mn><mo>,</mo><mn>1</mn><mo>∈</mo><mi>A</mi></math></span>, <span><math><mo>|</mo><mi>A</mi><mo>|</mo><mo>=</mo><mi>q</mi></math></span>, and <span><math><mi>a</mi><mo>−</mo><mi>b</mi></math></span> is a square for each <span><math><mi>a</mi><mo>,</mo><mi>b</mi><mo>∈</mo><mi>A</mi></math></span>, then <em>A</em> must be the subfield <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub></math></span>. This conjecture was first proved by Blokhuis and is often phrased in terms of the maximum cliques in Paley graphs of square order. Previously, Asgarli and the author extended Blokhuis' theorem to a larger family of Cayley graphs. In this paper, we give a new simple proof of Blokhuis' theorem and its extensions. More generally, we show that if <span><math><mi>S</mi><mo>⊆</mo><msubsup><mrow><mi>F</mi></mrow><mrow><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn></mrow></msup></mrow><mrow><mo>⁎</mo></mrow></msubsup></math></span> has small multiplicative doubling, and <span><math><mi>A</mi><mo>⊆</mo><msub><mrow><mi>F</mi></mrow><mrow><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn></mrow></msup></mrow></msub></math></span> with <span><math><mn>0</mn><mo>,</mo><mn>1</mn><mo>∈</mo><mi>A</mi></math></span>, <span><math><mo>|</mo><mi>A</mi><mo>|</mo><mo>=</mo><mi>q</mi></math></span>, such that <span><math><mi>A</mi><mo>−</mo><mi>A</mi><mo>⊆</mo><mi>S</mi><mo>∪</mo><mo>{</mo><mn>0</mn><mo>}</mo></math></span>, then <span><math><mi>A</mi><mo>=</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub></math></span>. This new result refines and extends several previous works; moreover, our new approach avoids using heavy machinery from number theory.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"221 ","pages":"Article 106162"},"PeriodicalIF":1.2,"publicationDate":"2026-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146000858","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}
Pub Date : 2026-07-01Epub Date: 2025-12-05DOI: 10.1016/j.jcta.2025.106143
Shikang Yu , Tao Feng , Hengrui Liu
A complete mapping of a finite group G is a permutation such that is also a permutation of G. The complete mapping ϕ is called odd (resp. even) when ϕ is an odd (resp. even) permutation. To address whether the permutation groups generated by all complete mappings of a finite group G are “large” and primitive, Bors and Wang (2023) initiated the investigation into which groups admit both even and odd complete mappings. It is conjectured that such groups exist if and only if their Sylow 2-subgroups are trivial or noncyclic, except for some groups of small order. This paper reduces the problem of determining whether an arbitrary finite group admits both even and odd complete mappings to examining (1) the existence of complete mappings that stabilize a Sylow 2-subgroup for every finite simple group of Lie type and every sporadic simple group in the set , and (2) the existence of complete mappings that stabilize a subgroup of order (for some odd prime and ) for every Ree group with .
{"title":"Complete mappings stabilizing a subgroup and their parities","authors":"Shikang Yu , Tao Feng , Hengrui Liu","doi":"10.1016/j.jcta.2025.106143","DOIUrl":"10.1016/j.jcta.2025.106143","url":null,"abstract":"<div><div>A complete mapping of a finite group <em>G</em> is a permutation <span><math><mi>ϕ</mi><mo>:</mo><mi>G</mi><mo>→</mo><mi>G</mi></math></span> such that <span><math><mi>x</mi><mo>↦</mo><mi>x</mi><mi>ϕ</mi><mo>(</mo><mi>x</mi><mo>)</mo></math></span> is also a permutation of <em>G</em>. The complete mapping <em>ϕ</em> is called odd (resp. even) when <em>ϕ</em> is an odd (resp. even) permutation. To address whether the permutation groups generated by all complete mappings of a finite group <em>G</em> are “large” and primitive, Bors and Wang (2023) initiated the investigation into which groups admit both even and odd complete mappings. It is conjectured that such groups exist if and only if their Sylow 2-subgroups are trivial or noncyclic, except for some groups of small order. This paper reduces the problem of determining whether an arbitrary finite group admits both even and odd complete mappings to examining (1) the existence of complete mappings that stabilize a Sylow 2-subgroup for every finite simple group of Lie type and every sporadic simple group in the set <span><math><mo>{</mo><mrow><mi>Ly</mi></mrow><mo>,</mo><msub><mrow><mi>Co</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><mspace></mspace><mi>B</mi><mo>,</mo><mspace></mspace><mrow><mi>Th</mi></mrow><mo>,</mo><mspace></mspace><msub><mrow><mi>Fi</mi></mrow><mrow><mn>22</mn></mrow></msub><mo>,</mo><mspace></mspace><msub><mrow><mi>Fi</mi></mrow><mrow><mn>23</mn></mrow></msub><mo>,</mo><mspace></mspace><msubsup><mrow><mi>Fi</mi></mrow><mrow><mn>24</mn></mrow><mrow><mo>′</mo></mrow></msubsup><mo>,</mo><mspace></mspace><mrow><mi>Ru</mi></mrow><mo>,</mo><msup><mrow><mi>O</mi></mrow><mrow><mo>′</mo></mrow></msup><mi>N</mi><mo>,</mo><mspace></mspace><msub><mrow><mi>Co</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mspace></mspace><msub><mrow><mi>Co</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>,</mo><mrow><mi>HN</mi></mrow><mo>,</mo><mi>M</mi><mo>}</mo></math></span>, and (2) the existence of complete mappings that stabilize a subgroup of order <span><math><mn>8</mn><msubsup><mrow><mi>p</mi></mrow><mrow><mn>0</mn></mrow><mrow><msub><mrow><mi>t</mi></mrow><mrow><mn>0</mn></mrow></msub></mrow></msubsup></math></span> (for some odd prime <span><math><msub><mrow><mi>p</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> and <span><math><msub><mrow><mi>t</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>⩾</mo><mn>1</mn></math></span>) for every Ree group <span><math><mmultiscripts><mrow><mi>G</mi></mrow><mrow><mn>2</mn></mrow><none></none><mprescripts></mprescripts><none></none><mrow><mn>2</mn></mrow></mmultiscripts><mo>(</mo><msup><mrow><mn>3</mn></mrow><mrow><mn>2</mn><mi>n</mi><mo>+</mo><mn>1</mn></mrow></msup><mo>)</mo></math></span> with <span><math><mi>n</mi><mo>⩾</mo><mn>1</mn></math></span>.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"221 ","pages":"Article 106143"},"PeriodicalIF":1.2,"publicationDate":"2026-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145685864","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}
Pub Date : 2026-05-01Epub Date: 2025-11-20DOI: 10.1016/j.jcta.2025.106129
Ingo Czerwinski, Alexander Pott
A (binary) Sidon set M is a subset of such that the sum of four distinct elements of M is never 0. The goal is to find Sidon sets of large size. In this note we show that the graphs of almost perfect nonlinear (APN) functions with high linearity can be used to construct large Sidon sets. Thanks to recently constructed APN functions with high linearity, we can construct Sidon sets of size 192 in , where the largest sets so far had size 152. Using the inverse and the Dobbertin function also gives larger Sidon sets as previously known. Each of the new large Sidon sets M in yields a binary linear code with t check bits, minimum distance 5, and a length not known so far. Moreover, we improve the upper bound for the linearity of arbitrary APN functions.
{"title":"On large Sidon sets","authors":"Ingo Czerwinski, Alexander Pott","doi":"10.1016/j.jcta.2025.106129","DOIUrl":"10.1016/j.jcta.2025.106129","url":null,"abstract":"<div><div>A (binary) Sidon set <em>M</em> is a subset of <span><math><msubsup><mrow><mi>F</mi></mrow><mrow><mn>2</mn></mrow><mrow><mi>t</mi></mrow></msubsup></math></span> such that the sum of four distinct elements of <em>M</em> is never 0. The goal is to find Sidon sets of large size. In this note we show that the graphs of almost perfect nonlinear (APN) functions with high linearity can be used to construct large Sidon sets. Thanks to recently constructed APN functions <span><math><msubsup><mrow><mi>F</mi></mrow><mrow><mn>2</mn></mrow><mrow><mn>8</mn></mrow></msubsup><mo>→</mo><msubsup><mrow><mi>F</mi></mrow><mrow><mn>2</mn></mrow><mrow><mn>8</mn></mrow></msubsup></math></span> with high linearity, we can construct Sidon sets of size 192 in <span><math><msubsup><mrow><mi>F</mi></mrow><mrow><mn>2</mn></mrow><mrow><mn>15</mn></mrow></msubsup></math></span>, where the largest sets so far had size 152. Using the inverse and the Dobbertin function also gives larger Sidon sets as previously known. Each of the new large Sidon sets <em>M</em> in <span><math><msubsup><mrow><mi>F</mi></mrow><mrow><mn>2</mn></mrow><mrow><mi>t</mi></mrow></msubsup></math></span> yields a binary linear code with <em>t</em> check bits, minimum distance 5, and a length not known so far. Moreover, we improve the upper bound for the linearity of arbitrary APN functions.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"220 ","pages":"Article 106129"},"PeriodicalIF":1.2,"publicationDate":"2026-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145559892","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}
Pub Date : 2026-05-01Epub Date: 2025-11-28DOI: 10.1016/j.jcta.2025.106133
Jan Petr , Pavel Turek
Motivated by odd-sunflowers, introduced recently by Frankl, Pach, and Pálvölgyi, we initiate the study of temperate families: a family is said to be temperate if each contains at most elements of as a proper subset.
We show that the maximum size of a temperate family is attained by the middle two layers of the hypercube . As a more general result, we obtain that the middle layers of the hypercube maximise the size of a family such that each contains at most elements of as a proper subset. Moreover, we classify all such families consisting of the maximum number of sets.
In the case of intersecting temperate families, we find the maximum size and classify all intersecting temperate families consisting of the maximum number of sets for odd n. We also conjecture the maximum size for even n.
受Frankl、Pach和Pálvölgyi最近引入的奇向日葵的启发,我们发起了对温带家族的研究:如果每个a∈F最多包含F的|00个a |个元素作为适当子集,则称一个家族F∈P([n])是温带的。我们证明了温带族的最大尺寸是在超立方体{0,1}n的中间两层。作为一个更一般的结果,我们得到了超立方体的中间t+1层使族F的大小最大化,使得每个a∈F最多包含F的∑j=1t(| a |j)个元素作为一个固有子集。此外,我们对所有由最大数量集合组成的族进行了分类。对于相交的温带族,我们找到了最大的大小,并对奇数n下由最大集合数组成的所有相交的温带族进行了分类。我们还推测了偶数n下的最大大小。
{"title":"Towards odd-sunflowers: Temperate families and lightnings","authors":"Jan Petr , Pavel Turek","doi":"10.1016/j.jcta.2025.106133","DOIUrl":"10.1016/j.jcta.2025.106133","url":null,"abstract":"<div><div>Motivated by odd-sunflowers, introduced recently by Frankl, Pach, and Pálvölgyi, we initiate the study of temperate families: a family <span><math><mi>F</mi><mo>⊆</mo><mi>P</mi><mo>(</mo><mo>[</mo><mi>n</mi><mo>]</mo><mo>)</mo></math></span> is said to be <em>temperate</em> if each <span><math><mi>A</mi><mo>∈</mo><mi>F</mi></math></span> contains at most <span><math><mo>|</mo><mi>A</mi><mo>|</mo></math></span> elements of <span><math><mi>F</mi></math></span> as a proper subset.</div><div>We show that the maximum size of a temperate family is attained by the middle two layers of the hypercube <span><math><msup><mrow><mo>{</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>}</mo></mrow><mrow><mi>n</mi></mrow></msup></math></span>. As a more general result, we obtain that the middle <span><math><mi>t</mi><mo>+</mo><mn>1</mn></math></span> layers of the hypercube maximise the size of a family <span><math><mi>F</mi></math></span> such that each <span><math><mi>A</mi><mo>∈</mo><mi>F</mi></math></span> contains at most <span><math><msubsup><mrow><mo>∑</mo></mrow><mrow><mi>j</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>t</mi></mrow></msubsup><mrow><mo>(</mo><mtable><mtr><mtd><mrow><mo>|</mo><mi>A</mi><mo>|</mo></mrow></mtd></mtr><mtr><mtd><mi>j</mi></mtd></mtr></mtable><mo>)</mo></mrow></math></span> elements of <span><math><mi>F</mi></math></span> as a proper subset. Moreover, we classify all such families consisting of the maximum number of sets.</div><div>In the case of intersecting temperate families, we find the maximum size and classify all intersecting temperate families consisting of the maximum number of sets for odd <em>n</em>. We also conjecture the maximum size for even <em>n</em>.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"220 ","pages":"Article 106133"},"PeriodicalIF":1.2,"publicationDate":"2026-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145611784","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}
Pub Date : 2026-05-01Epub Date: 2025-12-31DOI: 10.1016/j.jcta.2025.106157
Ross G. Pinsky
<div><div>A permutation is <em>separable</em> if it can be obtained from the singleton permutation by iterating direct sums and skew sums. Equivalently, it is separable if and only it avoids the patterns 2413 and 3142. Under the uniform probability on separable permutations of <span><math><mo>[</mo><mi>n</mi><mo>]</mo></math></span>, let the random variable <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> denote the length of the longest alternating subsequence. Also, let <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>+</mo><mo>,</mo><mo>−</mo></mrow></msubsup></math></span> denote the length of the longest alternating subsequence that begins with an ascent and ends with a descent, and define <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mo>,</mo><mo>+</mo></mrow></msubsup><mo>,</mo><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>+</mo><mo>,</mo><mo>+</mo></mrow></msubsup><mo>,</mo><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mo>,</mo><mo>−</mo></mrow></msubsup></math></span> similarly. By symmetry, the first two and the last two of these latter four random variables are equi-distributed. We prove that the expected value of any of these five random variables behaves asymptotically as <span><math><mo>(</mo><mn>2</mn><mo>−</mo><msqrt><mrow><mn>2</mn></mrow></msqrt><mo>)</mo><mi>n</mi><mo>≈</mo><mn>0.5858</mn><mspace></mspace><mi>n</mi></math></span>. We also obtain the more refined estimates that the expected value of <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>+</mo><mo>,</mo><mo>−</mo></mrow></msubsup></math></span> and of <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mo>,</mo><mo>+</mo></mrow></msubsup></math></span> is equal to <span><math><mo>(</mo><mn>2</mn><mo>−</mo><msqrt><mrow><mn>2</mn></mrow></msqrt><mo>)</mo><mi>n</mi><mo>−</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>4</mn></mrow></mfrac><mo>(</mo><mn>3</mn><mo>−</mo><mn>2</mn><msqrt><mrow><mn>2</mn></mrow></msqrt><mo>)</mo><mo>+</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo></math></span> and that the expected value of <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>+</mo><mo>,</mo><mo>+</mo></mrow></msubsup></math></span> and of <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mo>,</mo><mo>−</mo></mrow></msubsup></math></span> is equal to <span><math><mo>(</mo><mn>2</mn><mo>−</mo><msqrt><mrow><mn>2</mn></mrow></msqrt><mo>)</mo><mi>n</mi><mo>+</mo><mfrac><mrow><mn>3</mn></mrow><mrow><mn>4</mn></mrow></mfrac><mo>(</mo><mn>3</mn><mo>−</mo><mn>2</mn><msqrt><mrow><mn>2</mn></mrow></msqrt><mo>)</mo><mo>+</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo></math></span>. Finally, we show that the variance of any of the four random variables <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>±</mo
{"title":"Mean and variance of the longest alternating subsequence in a random separable permutation","authors":"Ross G. Pinsky","doi":"10.1016/j.jcta.2025.106157","DOIUrl":"10.1016/j.jcta.2025.106157","url":null,"abstract":"<div><div>A permutation is <em>separable</em> if it can be obtained from the singleton permutation by iterating direct sums and skew sums. Equivalently, it is separable if and only it avoids the patterns 2413 and 3142. Under the uniform probability on separable permutations of <span><math><mo>[</mo><mi>n</mi><mo>]</mo></math></span>, let the random variable <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> denote the length of the longest alternating subsequence. Also, let <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>+</mo><mo>,</mo><mo>−</mo></mrow></msubsup></math></span> denote the length of the longest alternating subsequence that begins with an ascent and ends with a descent, and define <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mo>,</mo><mo>+</mo></mrow></msubsup><mo>,</mo><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>+</mo><mo>,</mo><mo>+</mo></mrow></msubsup><mo>,</mo><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mo>,</mo><mo>−</mo></mrow></msubsup></math></span> similarly. By symmetry, the first two and the last two of these latter four random variables are equi-distributed. We prove that the expected value of any of these five random variables behaves asymptotically as <span><math><mo>(</mo><mn>2</mn><mo>−</mo><msqrt><mrow><mn>2</mn></mrow></msqrt><mo>)</mo><mi>n</mi><mo>≈</mo><mn>0.5858</mn><mspace></mspace><mi>n</mi></math></span>. We also obtain the more refined estimates that the expected value of <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>+</mo><mo>,</mo><mo>−</mo></mrow></msubsup></math></span> and of <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mo>,</mo><mo>+</mo></mrow></msubsup></math></span> is equal to <span><math><mo>(</mo><mn>2</mn><mo>−</mo><msqrt><mrow><mn>2</mn></mrow></msqrt><mo>)</mo><mi>n</mi><mo>−</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>4</mn></mrow></mfrac><mo>(</mo><mn>3</mn><mo>−</mo><mn>2</mn><msqrt><mrow><mn>2</mn></mrow></msqrt><mo>)</mo><mo>+</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo></math></span> and that the expected value of <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>+</mo><mo>,</mo><mo>+</mo></mrow></msubsup></math></span> and of <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mo>,</mo><mo>−</mo></mrow></msubsup></math></span> is equal to <span><math><mo>(</mo><mn>2</mn><mo>−</mo><msqrt><mrow><mn>2</mn></mrow></msqrt><mo>)</mo><mi>n</mi><mo>+</mo><mfrac><mrow><mn>3</mn></mrow><mrow><mn>4</mn></mrow></mfrac><mo>(</mo><mn>3</mn><mo>−</mo><mn>2</mn><msqrt><mrow><mn>2</mn></mrow></msqrt><mo>)</mo><mo>+</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo></math></span>. Finally, we show that the variance of any of the four random variables <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>±</mo","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"220 ","pages":"Article 106157"},"PeriodicalIF":1.2,"publicationDate":"2026-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145883655","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}
Pub Date : 2026-05-01Epub Date: 2026-01-27DOI: 10.1016/j.jcta.2026.106161
Il-Seung Jang , Jae-Hoon Kwon
In this corrigendum, we revise [1, Lemma 5.12] and give a revised proof of [1, Lemma 5.14(2)].
在这个勘误表中,我们修正了[1,引理5.12],并给出了[1,引理5.14(2)]的一个修正证明。
{"title":"Corrigendum to “Quantum nilpotent subalgebras of classical quantum groups and affine crystals” [J. Comb. Theory, Ser. A 168 (2019) 219–254]","authors":"Il-Seung Jang , Jae-Hoon Kwon","doi":"10.1016/j.jcta.2026.106161","DOIUrl":"10.1016/j.jcta.2026.106161","url":null,"abstract":"<div><div>In this corrigendum, we revise <span><span>[1, Lemma 5.12]</span></span> and give a revised proof of <span><span>[1, Lemma 5.14(2)]</span></span>.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"220 ","pages":"Article 106161"},"PeriodicalIF":1.2,"publicationDate":"2026-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146072032","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}
Pub Date : 2026-05-01Epub Date: 2025-11-19DOI: 10.1016/j.jcta.2025.106127
Jie Wen, Benjian Lv
Let V be an n-dimensional vector space over a finite field, and denote the set of k-dimensional subspaces of V. We say that are r-cross t-intersecting if for all . The families are trivial if every subspace in those families contains a common specified subspace of dimension t, and are non-trivial otherwise. In this paper, we determine the structure of non-trivial r-cross t-intersecting families with maximum product of their sizes for , and give a stability result for . To prove these results, we first provide a new lower bound for n, which does not depend on t, ensuring that families maximizing the product of sizes are trivial.
{"title":"On r-cross t-intersecting families for vector spaces with large product of sizes","authors":"Jie Wen, Benjian Lv","doi":"10.1016/j.jcta.2025.106127","DOIUrl":"10.1016/j.jcta.2025.106127","url":null,"abstract":"<div><div>Let <em>V</em> be an <em>n</em>-dimensional vector space over a finite field, and <span><math><mo>[</mo><mtable><mtr><mtd><mi>V</mi></mtd></mtr><mtr><mtd><mi>k</mi></mtd></mtr></mtable><mo>]</mo></math></span> denote the set of <em>k</em>-dimensional subspaces of <em>V</em>. We say that <span><math><msub><mrow><mi>F</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>⊆</mo><mrow><mo>[</mo><mtable><mtr><mtd><mi>V</mi></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>F</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⊆</mo><mrow><mo>[</mo><mtable><mtr><mtd><mi>V</mi></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>F</mi></mrow><mrow><mi>r</mi></mrow></msub><mo>⊆</mo><mrow><mo>[</mo><mtable><mtr><mtd><mi>V</mi></mtd></mtr><mtr><mtd><msub><mrow><mi>k</mi></mrow><mrow><mi>r</mi></mrow></msub></mtd></mtr></mtable><mo>]</mo></mrow></math></span> are <em>r</em>-cross <em>t</em>-intersecting if <span><math><mi>dim</mi><mo></mo><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><mo>∩</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>r</mi></mrow></msub><mo>)</mo><mo>≥</mo><mi>t</mi></math></span> for all <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>∈</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><mi>i</mi><mo>=</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>r</mi></math></span>. The families are trivial if every subspace in those families contains a common specified subspace of dimension <em>t</em>, and are non-trivial otherwise. In this paper, we determine the structure of non-trivial <em>r</em>-cross <em>t</em>-intersecting families with maximum product of their sizes for <span><math><mi>r</mi><mo>≥</mo><mn>3</mn></math></span>, and give a stability result for <span><math><mi>r</mi><mo>≥</mo><mn>4</mn></math></span>. To prove these results, we first provide a new lower bound for <em>n</em>, which does not depend on <em>t</em>, ensuring that families maximizing the product of sizes are trivial.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"220 ","pages":"Article 106127"},"PeriodicalIF":1.2,"publicationDate":"2026-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145537202","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}
Pub Date : 2026-05-01Epub Date: 2026-01-16DOI: 10.1016/j.jcta.2026.106160
Grigory Ivanov , Márton Naszódi
We obtain three Helly-type results. First, we establish a Quantitative Colorful Helly-type theorem with the optimal Helly number 2d concerning the diameter of the intersection of a family of convex bodies. Second, we prove a Quantitative Helly-type theorem with the optimal Helly number for the pointwise minimum of logarithmically concave functions. Finally, we present a colorful version of the latter result with Helly number (number of color classes) ; however, we have no reason to believe that this bound is sharp.
{"title":"Helly numbers for quantitative Helly-type results","authors":"Grigory Ivanov , Márton Naszódi","doi":"10.1016/j.jcta.2026.106160","DOIUrl":"10.1016/j.jcta.2026.106160","url":null,"abstract":"<div><div>We obtain three Helly-type results. First, we establish a Quantitative Colorful Helly-type theorem with the optimal Helly number 2<em>d</em> concerning the diameter of the intersection of a family of convex bodies. Second, we prove a Quantitative Helly-type theorem with the optimal Helly number <span><math><mn>2</mn><mi>d</mi><mo>+</mo><mn>1</mn></math></span> for the pointwise minimum of logarithmically concave functions. Finally, we present a colorful version of the latter result with Helly number (number of color classes) <span><math><mn>3</mn><mi>d</mi><mo>+</mo><mn>1</mn></math></span>; however, we have no reason to believe that this bound is sharp.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"220 ","pages":"Article 106160"},"PeriodicalIF":1.2,"publicationDate":"2026-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145977116","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}