Pub 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":"2025-11-19","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 : 2025-11-18DOI: 10.1016/j.jcta.2025.106128
Shishuo Fu, Haijun Li
Strict partitions are enumerated with respect to the weight, the number of parts, and the number of sequences of odd length. We write this trivariate generating function as a double sum q-series. Equipped with such a combinatorial set-up, we investigate a handful of double sum identities appeared in recent works of Cao-Wang, Wang-Wang, Wei-Yu-Ruan, Andrews-Uncu, Chern, and Wang, finding partition theoretical interpretations to all of these identities, and in most cases supplying Franklin-type involutive proofs. This approach dates back more than a century to P. A. MacMahon's interpretations of the celebrated Rogers-Ramanujan identities, and has been further developed by Kurşungöz in the last decade.
严格划分是根据权重、部件数量和奇数长度序列的数量来列举的。我们把这个三元生成函数写成一个双和q级数。在这样的组合设置下,我们研究了曹旺、王旺、阮维宇、Andrews-Uncu、chen和Wang最近的作品中出现的一些双和恒等式,找到了对所有这些恒等式的分拆理论解释,并在大多数情况下提供了富兰克林式的对合证明。这种方法可以追溯到一个多世纪前P. a . MacMahon对著名的罗杰斯-拉马努金身份的解释,并在过去十年中被Kurşungöz进一步发展。
{"title":"Sequences of odd length in strict partitions I: The combinatorics of double sum Rogers-Ramanujan type identities","authors":"Shishuo Fu, Haijun Li","doi":"10.1016/j.jcta.2025.106128","DOIUrl":"10.1016/j.jcta.2025.106128","url":null,"abstract":"<div><div>Strict partitions are enumerated with respect to the weight, the number of parts, and the number of sequences of odd length. We write this trivariate generating function as a double sum <em>q</em>-series. Equipped with such a combinatorial set-up, we investigate a handful of double sum identities appeared in recent works of Cao-Wang, Wang-Wang, Wei-Yu-Ruan, Andrews-Uncu, Chern, and Wang, finding partition theoretical interpretations to all of these identities, and in most cases supplying Franklin-type involutive proofs. This approach dates back more than a century to P. A. MacMahon's interpretations of the celebrated Rogers-Ramanujan identities, and has been further developed by Kurşungöz in the last decade.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"219 ","pages":"Article 106128"},"PeriodicalIF":1.2,"publicationDate":"2025-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145559891","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 : 2025-11-04DOI: 10.1016/j.jcta.2025.106126
V. Gladkova
In 2019, Fox, Tidor and Zhao [7] proved an induced arithmetic removal lemma for linear patterns of complexity 1 in vector spaces over a fixed finite field. With no further assumptions on the pattern, this induced removal lemma cannot guarantee a fully pattern-free recolouring of the space, as some ‘non-generic’ instances must necessarily remain. On the other hand, Bhattacharyya, Fischer, H. Hatami, P. Hatami, and Lovett [3] showed in 2012 that in the case of translation-invariant patterns, it is possible to obtain recolourings that eliminate the given pattern completely, with no exceptions left behind. This paper demonstrates that such complete removal can be achieved for all partition-regular patterns of complexity 1.
在2019年,Fox, Tidor和Zhao[7]证明了在固定有限域上向量空间中复杂度为1的线性模式的诱导算法去除引理。由于没有对图案的进一步假设,这种诱导去除引理不能保证空间完全无图案的重新着色,因为一些“非一般”实例必须保留。另一方面,Bhattacharyya, Fischer, H. Hatami, P. Hatami和Lovett[3]在2012年表明,对于平移不变模式,可以获得完全消除给定模式的再着色,没有任何例外。本文证明了对于复杂度为1的所有分区规则模式都可以实现这种完全去除。
{"title":"Induced arithmetic removal for partition-regular patterns of complexity 1","authors":"V. Gladkova","doi":"10.1016/j.jcta.2025.106126","DOIUrl":"10.1016/j.jcta.2025.106126","url":null,"abstract":"<div><div>In 2019, Fox, Tidor and Zhao <span><span>[7]</span></span> proved an induced arithmetic removal lemma for linear patterns of complexity 1 in vector spaces over a fixed finite field. With no further assumptions on the pattern, this induced removal lemma cannot guarantee a fully pattern-free recolouring of the space, as some ‘non-generic’ instances must necessarily remain. On the other hand, Bhattacharyya, Fischer, H. Hatami, P. Hatami, and Lovett <span><span>[3]</span></span> showed in 2012 that in the case of translation-invariant patterns, it is possible to obtain recolourings that eliminate the given pattern completely, with no exceptions left behind. This paper demonstrates that such complete removal can be achieved for all partition-regular patterns of complexity 1.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"218 ","pages":"Article 106126"},"PeriodicalIF":1.2,"publicationDate":"2025-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145434665","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 : 2025-10-28DOI: 10.1016/j.jcta.2025.106125
Shuang Li , Yuefeng Yang , Kaishun Wang
A digraph is semicomplete multipartite if its underlying graph is a complete multipartite graph. As a special case of semicomplete multipartite digraphs, Jørgensen et al. [7] initiated the study of doubly regular team tournaments. As a natural extension, we introduce doubly regular team semicomplete multipartite digraphs and show that such digraphs fall into three types. Furthermore, we give a characterization of all semicomplete multipartite commutative weakly distance-regular digraphs.
如果一个有向图的底图是一个完全多部图,那么它就是半完全多部图。作为半完全多部有向图的特例,Jørgensen et al. b[7]发起了双常规团队比赛的研究。作为一种自然推广,我们引入了双正则团队半完全多部有向图,并证明了这类有向图可分为三种类型。进一步,我们给出了所有半完全多部可交换弱距离正则有向图的一个刻画。
{"title":"Semicomplete multipartite weakly distance-regular digraphs","authors":"Shuang Li , Yuefeng Yang , Kaishun Wang","doi":"10.1016/j.jcta.2025.106125","DOIUrl":"10.1016/j.jcta.2025.106125","url":null,"abstract":"<div><div>A digraph is semicomplete multipartite if its underlying graph is a complete multipartite graph. As a special case of semicomplete multipartite digraphs, Jørgensen et al. <span><span>[7]</span></span> initiated the study of doubly regular team tournaments. As a natural extension, we introduce doubly regular team semicomplete multipartite digraphs and show that such digraphs fall into three types. Furthermore, we give a characterization of all semicomplete multipartite commutative weakly distance-regular digraphs.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"218 ","pages":"Article 106125"},"PeriodicalIF":1.2,"publicationDate":"2025-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145383237","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 : 2025-10-24DOI: 10.1016/j.jcta.2025.106124
Rui Wang, Han Chao, Jiangtao Peng
Let G be a finite abelian group and S a sequence with elements of G. Let denote the length of S and the set of all the distinct terms in S. For an integer k with , let denote the set of group elements which can be expressed as a sum of a subsequence of S with length k. Let and . It is known that if , then . In this paper, we determine the structure of a sequence S satisfying and . As a consequence, we can give a counterexample of a conjecture of Gao, Grynkiewicz, and Xia. Moreover, we prove that if and , then . Then we can give an alternative proof of a conjecture of Hamidoune, which was first proved by Gao, Grynkiewicz, and Xia.
{"title":"On the number of subsequence sums related to the support of a sequence in finite abelian groups","authors":"Rui Wang, Han Chao, Jiangtao Peng","doi":"10.1016/j.jcta.2025.106124","DOIUrl":"10.1016/j.jcta.2025.106124","url":null,"abstract":"<div><div>Let <em>G</em> be a finite abelian group and <em>S</em> a sequence with elements of <em>G</em>. Let <span><math><mo>|</mo><mi>S</mi><mo>|</mo></math></span> denote the length of <em>S</em> and <span><math><mrow><mi>supp</mi></mrow><mo>(</mo><mi>S</mi><mo>)</mo></math></span> the set of all the distinct terms in <em>S</em>. For an integer <em>k</em> with <span><math><mi>k</mi><mo>∈</mo><mo>[</mo><mn>1</mn><mo>,</mo><mo>|</mo><mi>S</mi><mo>|</mo><mo>]</mo></math></span>, let <span><math><msub><mrow><mi>Σ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>S</mi><mo>)</mo><mo>⊂</mo><mi>G</mi></math></span> denote the set of group elements which can be expressed as a sum of a subsequence of <em>S</em> with length <em>k</em>. Let <span><math><mi>Σ</mi><mo>(</mo><mi>S</mi><mo>)</mo><mo>=</mo><msubsup><mrow><mo>∪</mo></mrow><mrow><mi>k</mi><mo>=</mo><mn>1</mn></mrow><mrow><mo>|</mo><mi>S</mi><mo>|</mo></mrow></msubsup><msub><mrow><mi>Σ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>S</mi><mo>)</mo></math></span> and <span><math><msub><mrow><mi>Σ</mi></mrow><mrow><mo>≥</mo><mi>k</mi></mrow></msub><mo>(</mo><mi>S</mi><mo>)</mo><mo>=</mo><msubsup><mrow><mo>∪</mo></mrow><mrow><mi>t</mi><mo>=</mo><mi>k</mi></mrow><mrow><mo>|</mo><mi>S</mi><mo>|</mo></mrow></msubsup><msub><mrow><mi>Σ</mi></mrow><mrow><mi>t</mi></mrow></msub><mo>(</mo><mi>S</mi><mo>)</mo></math></span>. It is known that if <span><math><mn>0</mn><mo>∉</mo><mi>Σ</mi><mo>(</mo><mi>S</mi><mo>)</mo></math></span>, then <span><math><mo>|</mo><mi>Σ</mi><mo>(</mo><mi>S</mi><mo>)</mo><mo>|</mo><mo>≥</mo><mo>|</mo><mi>S</mi><mo>|</mo><mo>+</mo><mo>|</mo><mrow><mi>supp</mi></mrow><mo>(</mo><mi>S</mi><mo>)</mo><mo>|</mo><mo>−</mo><mn>1</mn></math></span>. In this paper, we determine the structure of a sequence <em>S</em> satisfying <span><math><mn>0</mn><mo>∉</mo><mi>Σ</mi><mo>(</mo><mi>S</mi><mo>)</mo></math></span> and <span><math><mo>|</mo><mi>Σ</mi><mo>(</mo><mi>S</mi><mo>)</mo><mo>|</mo><mo>=</mo><mo>|</mo><mi>S</mi><mo>|</mo><mo>+</mo><mo>|</mo><mrow><mi>supp</mi></mrow><mo>(</mo><mi>S</mi><mo>)</mo><mo>|</mo><mo>−</mo><mn>1</mn></math></span>. As a consequence, we can give a counterexample of a conjecture of Gao, Grynkiewicz, and Xia. Moreover, we prove that if <span><math><mo>|</mo><mi>S</mi><mo>|</mo><mo>></mo><mi>k</mi></math></span> and <span><math><mn>0</mn><mo>∉</mo><msub><mrow><mi>Σ</mi></mrow><mrow><mo>≥</mo><mi>k</mi></mrow></msub><mo>(</mo><mi>S</mi><mo>)</mo><mo>∪</mo><mrow><mi>supp</mi></mrow><mo>(</mo><mi>S</mi><mo>)</mo></math></span>, then <span><math><mo>|</mo><msub><mrow><mi>Σ</mi></mrow><mrow><mo>≥</mo><mi>k</mi></mrow></msub><mo>(</mo><mi>S</mi><mo>)</mo><mo>|</mo><mo>≥</mo><mo>|</mo><mi>S</mi><mo>|</mo><mo>−</mo><mi>k</mi><mo>+</mo><mo>|</mo><mrow><mi>supp</mi></mrow><mo>(</mo><mi>S</mi><mo>)</mo><mo>|</mo></math></span>. Then we can give an alternative proof of a conjecture of Hamidoune, which was first proved by Gao, Grynkiewicz, and Xia.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"218 ","pages":"Article 106124"},"PeriodicalIF":1.2,"publicationDate":"2025-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145361864","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 : 2025-10-16DOI: 10.1016/j.jcta.2025.106123
Tewodros Amdeberhan , Leonid G. Fel , Ken Ono
Ramanujan derived a sequence of even weight 2n quasimodular forms from derivatives of Jacobi's weight 3/2 theta function. Using the generating function for this sequence, one can construct sequences of quasimodular forms of all nonnegative integer weights with minimal input: a weight 1 modular form and a power series . Using the weight 1 form and , we obtain a sequence of weight n quasimodular forms on whose symmetric function avatars are the symmetric polynomials that arise naturally in the study of syzygies of numerical semigroups. With this information, we settle two conjectures about the . Finally, we note that these polynomials are systematically given in terms of the Borel-Hirzebruch -genus for spin manifolds, where one identifies power sum symmetric functions with Pontryagin classes.
Ramanujan从Jacobi的权值3/2函数的导数中导出了一个偶数权值2n的拟模形式U2n(q)的序列。利用该序列的生成函数,可以构造具有最小输入的所有非负整数权的准模形式序列:权1模形式和幂级数F(X)。利用权值为1的形式θ(q)2和F(X)=exp (X/2),在Γ0(4)上得到了一个权值为n的拟模形式序列{Yn(q)},其对称函数元Y ~ n(xk)是研究数值半群协同时自然产生的对称多项式Tn(xk)。有了这些信息,我们确定了关于Tn(xk)的两个猜想。最后,我们注意到这些多项式是系统地用自旋流形的Borel-Hirzebruch A -格给出的,其中人们用Pontryagin类识别幂和对称函数pi。
{"title":"Quasimodular forms arising from Jacobi's theta function and special symmetric polynomials","authors":"Tewodros Amdeberhan , Leonid G. Fel , Ken Ono","doi":"10.1016/j.jcta.2025.106123","DOIUrl":"10.1016/j.jcta.2025.106123","url":null,"abstract":"<div><div>Ramanujan derived a sequence of even weight 2<em>n</em> quasimodular forms <span><math><msub><mrow><mi>U</mi></mrow><mrow><mn>2</mn><mi>n</mi></mrow></msub><mo>(</mo><mi>q</mi><mo>)</mo></math></span> from derivatives of Jacobi's weight 3/2 theta function. Using the generating function for this sequence, one can construct sequences of quasimodular forms of all nonnegative integer weights with minimal input: a weight 1 modular form and a power series <span><math><mi>F</mi><mo>(</mo><mi>X</mi><mo>)</mo></math></span>. Using the weight 1 form <span><math><mi>θ</mi><msup><mrow><mo>(</mo><mi>q</mi><mo>)</mo></mrow><mrow><mn>2</mn></mrow></msup></math></span> and <span><math><mi>F</mi><mo>(</mo><mi>X</mi><mo>)</mo><mo>=</mo><mi>exp</mi><mo></mo><mo>(</mo><mi>X</mi><mo>/</mo><mn>2</mn><mo>)</mo></math></span>, we obtain a sequence <span><math><mo>{</mo><msub><mrow><mi>Y</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>q</mi><mo>)</mo><mo>}</mo></math></span> of weight <em>n</em> quasimodular forms on <span><math><msub><mrow><mi>Γ</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>(</mo><mn>4</mn><mo>)</mo></math></span> whose symmetric function avatars <span><math><msub><mrow><mover><mrow><mi>Y</mi></mrow><mrow><mo>˜</mo></mrow></mover></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><msup><mrow><mi>x</mi></mrow><mrow><mi>k</mi></mrow></msup><mo>)</mo></math></span> are the symmetric polynomials <span><math><msub><mrow><mi>T</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><msup><mrow><mi>x</mi></mrow><mrow><mi>k</mi></mrow></msup><mo>)</mo></math></span> that arise naturally in the study of syzygies of numerical semigroups. With this information, we settle two conjectures about the <span><math><msub><mrow><mi>T</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><msup><mrow><mi>x</mi></mrow><mrow><mi>k</mi></mrow></msup><mo>)</mo></math></span>. Finally, we note that these polynomials are systematically given in terms of the Borel-Hirzebruch <span><math><mover><mrow><mi>A</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></math></span>-genus for spin manifolds, where one identifies power sum symmetric functions <span><math><msub><mrow><mi>p</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> with Pontryagin classes.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"218 ","pages":"Article 106123"},"PeriodicalIF":1.2,"publicationDate":"2025-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145324044","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 : 2025-10-13DOI: 10.1016/j.jcta.2025.106122
Tim Huber , James Mc Laughlin , Dongxi Ye
This work considers the m-dissection (for ) of the general quintuple product Multiple novel applications arise from this m-dissection. For example, we derive the general partition identity where is a square-free positive integer relatively prime to 6; is defined, for S the set of positive integers containing no multiples of m, to be the number of partitions of n into an even number of distinct parts from S minus the number of partitions of n into an odd number of distinct parts from S; and denotes the number of m-regular partitions of n. The dissections allow us to prove a conjecture of Hirschhorn concerning the -dissection of , as well as determine the pattern of the sign changes of the coefficients of the infinite product
{"title":"Dissection of the quintuple product, with applications","authors":"Tim Huber , James Mc Laughlin , Dongxi Ye","doi":"10.1016/j.jcta.2025.106122","DOIUrl":"10.1016/j.jcta.2025.106122","url":null,"abstract":"<div><div>This work considers the <em>m</em>-dissection (for <span><math><mi>m</mi><mo>≢</mo><mn>0</mn><mspace></mspace><mo>(</mo><mrow><mi>mod</mi></mrow><mspace></mspace><mn>3</mn><mo>)</mo></math></span>) of the general quintuple product<span><span><span><math><mi>Q</mi><mo>(</mo><mi>z</mi><mo>,</mo><mi>q</mi><mo>)</mo><mo>=</mo><msub><mrow><mo>(</mo><mi>z</mi><mo>,</mo><mi>q</mi><mo>/</mo><mi>z</mi><mo>,</mo><mi>q</mi><mo>;</mo><mi>q</mi><mo>)</mo></mrow><mrow><mo>∞</mo></mrow></msub><msub><mrow><mo>(</mo><mi>q</mi><msup><mrow><mi>z</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>,</mo><mi>q</mi><mo>/</mo><msup><mrow><mi>z</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>;</mo><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></mrow><mrow><mo>∞</mo></mrow></msub><mo>.</mo></math></span></span></span> Multiple novel applications arise from this <em>m</em>-dissection. For example, we derive the general partition identity<span><span><span><math><msub><mrow><mi>D</mi></mrow><mrow><mi>S</mi></mrow></msub><mo>(</mo><mi>m</mi><mi>n</mi><mo>+</mo><mo>(</mo><msup><mrow><mi>m</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>−</mo><mn>1</mn><mo>)</mo><mo>/</mo><mn>24</mn><mo>)</mo><mo>=</mo><msup><mrow><mo>(</mo><mo>−</mo><mn>1</mn><mo>)</mo></mrow><mrow><mo>(</mo><mi>m</mi><mo>+</mo><mn>1</mn><mo>)</mo><mo>/</mo><mn>6</mn></mrow></msup><msub><mrow><mi>b</mi></mrow><mrow><mi>m</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo><mo>,</mo><mspace></mspace><mtext> for all </mtext><mi>n</mi><mo>≥</mo><mn>0</mn><mo>,</mo></math></span></span></span> where <span><math><mi>m</mi><mo>≡</mo><mn>5</mn><mspace></mspace><mo>(</mo><mrow><mi>mod</mi></mrow><mspace></mspace><mn>6</mn><mo>)</mo></math></span> is a square-free positive integer relatively prime to 6; <span><math><msub><mrow><mi>D</mi></mrow><mrow><mi>S</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> is defined, for <em>S</em> the set of positive integers containing no multiples of <em>m</em>, to be the number of partitions of <em>n</em> into an <u>even</u> number of distinct parts from <em>S</em> minus the number of partitions of <em>n</em> into an <u>odd</u> number of distinct parts from <em>S</em>; and <span><math><msub><mrow><mi>b</mi></mrow><mrow><mi>m</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> denotes the number of <em>m</em>-regular partitions of <em>n</em>. The dissections allow us to prove a conjecture of Hirschhorn concerning the <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>n</mi></mrow></msup></math></span>-dissection of <span><math><msub><mrow><mo>(</mo><mi>q</mi><mo>;</mo><mi>q</mi><mo>)</mo></mrow><mrow><mo>∞</mo></mrow></msub></math></span>, as well as determine the pattern of the sign changes of the coefficients <span><math><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> of the infinite product<span><span><span><math><mfrac><mrow><msub><mrow><mo>(</mo><msup><mrow><mi>q</mi></mrow><mrow><msup><mrow><mn>2</mn></mrow><mro","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"219 ","pages":"Article 106122"},"PeriodicalIF":1.2,"publicationDate":"2025-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145321693","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 : 2025-10-02DOI: 10.1016/j.jcta.2025.106121
Alexey Gordeev, Klas Markström, Lars-Daniel Öhman
We introduce near triple arrays as binary row-column designs with at most two consecutive values for the replication numbers of symbols, for the intersection sizes of pairs of rows, pairs of columns and pairs of a row and a column. Near triple arrays form a common generalization of such well-studied classes of designs as triple arrays, (near) Youden rectangles and Latin squares.
We enumerate near triple arrays for a range of small parameter sets and show that they exist in the vast majority of the cases considered. As a byproduct, we obtain the first complete enumerations of triple arrays on 15 symbols, triple arrays on 14 symbols and triple arrays on 20 symbols.
Next, we give several constructions for families of near triple arrays, and e.g. show that near triple arrays with 3 rows and at least 6 columns exist for any number of symbols. Finally, we investigate a duality between row and column intersection sizes of a row-column design, and covering numbers for pairs of symbols by rows and columns. These duality results are used to obtain necessary conditions for the existence of near triple arrays. This duality also provides a new unified approach to earlier results on triple arrays and balanced grids.
{"title":"Near triple arrays","authors":"Alexey Gordeev, Klas Markström, Lars-Daniel Öhman","doi":"10.1016/j.jcta.2025.106121","DOIUrl":"10.1016/j.jcta.2025.106121","url":null,"abstract":"<div><div>We introduce <em>near triple arrays</em> as binary row-column designs with at most two consecutive values for the replication numbers of symbols, for the intersection sizes of pairs of rows, pairs of columns and pairs of a row and a column. Near triple arrays form a common generalization of such well-studied classes of designs as triple arrays, (near) Youden rectangles and Latin squares.</div><div>We enumerate near triple arrays for a range of small parameter sets and show that they exist in the vast majority of the cases considered. As a byproduct, we obtain the first complete enumerations of <span><math><mn>6</mn><mo>×</mo><mn>10</mn></math></span> triple arrays on 15 symbols, <span><math><mn>7</mn><mo>×</mo><mn>8</mn></math></span> triple arrays on 14 symbols and <span><math><mn>5</mn><mo>×</mo><mn>16</mn></math></span> triple arrays on 20 symbols.</div><div>Next, we give several constructions for families of near triple arrays, and e.g. show that near triple arrays with 3 rows and at least 6 columns exist for any number of symbols. Finally, we investigate a duality between row and column intersection sizes of a row-column design, and covering numbers for pairs of symbols by rows and columns. These duality results are used to obtain necessary conditions for the existence of near triple arrays. This duality also provides a new unified approach to earlier results on triple arrays and balanced grids.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"219 ","pages":"Article 106121"},"PeriodicalIF":1.2,"publicationDate":"2025-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145223096","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 : 2025-10-01DOI: 10.1016/j.jcta.2025.106120
Weikang Liang , Suijie Wang , Chengdong Zhao
In this paper, we introduce the k-adjoint of a given hyperplane arrangement associated with rank-k elements in the intersection lattice , which generalizes the classical adjoint proposed by Bixby and Coullard. The k-adjoint of induces a decomposition of the Grassmannian, which we call the -adjoint decomposition. Inspired by the work of Gelfand, Goresky, MacPherson, and Serganova, we generalize the matroid decomposition and refined Schubert decomposition of the Grassmannian from the perspective of . Furthermore, we prove that these three decompositions are exactly the same decomposition. A notable application involves providing a combinatorial classification of all the k-dimensional restrictions of . Consequently, we establish the antitonicity of some combinatorial invariants, such as Whitney numbers of the first kind and the independence numbers.
本文引入了交格L(a)中与秩k元素相关的超平面排列a的k伴随,推广了Bixby和Coullard提出的经典伴随。A的k伴随引起了格拉斯曼分解,我们称之为A伴随分解。受Gelfand, Goresky, MacPherson, and Serganova的工作启发,我们从a的角度推广了Grassmannian的类矩阵分解和细化了Schubert分解,并证明了这三种分解是完全相同的分解。一个值得注意的应用涉及提供A的所有k维限制的组合分类,因此,我们建立了一些组合不变量的反抗性,如第一类惠特尼数和独立数。
{"title":"k-Adjoint of hyperplane arrangements","authors":"Weikang Liang , Suijie Wang , Chengdong Zhao","doi":"10.1016/j.jcta.2025.106120","DOIUrl":"10.1016/j.jcta.2025.106120","url":null,"abstract":"<div><div>In this paper, we introduce the <em>k</em>-adjoint of a given hyperplane arrangement <span><math><mi>A</mi></math></span> associated with rank-<em>k</em> elements in the intersection lattice <span><math><mi>L</mi><mo>(</mo><mi>A</mi><mo>)</mo></math></span>, which generalizes the classical adjoint proposed by Bixby and Coullard. The <em>k</em>-adjoint of <span><math><mi>A</mi></math></span> induces a decomposition of the Grassmannian, which we call the <span><math><mi>A</mi></math></span>-adjoint decomposition. Inspired by the work of Gelfand, Goresky, MacPherson, and Serganova, we generalize the matroid decomposition and refined Schubert decomposition of the Grassmannian from the perspective of <span><math><mi>A</mi></math></span>. Furthermore, we prove that these three decompositions are exactly the same decomposition. A notable application involves providing a combinatorial classification of all the <em>k</em>-dimensional restrictions of <span><math><mi>A</mi></math></span>. Consequently, we establish the antitonicity of some combinatorial invariants, such as Whitney numbers of the first kind and the independence numbers.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"219 ","pages":"Article 106120"},"PeriodicalIF":1.2,"publicationDate":"2025-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145223094","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 : 2025-09-26DOI: 10.1016/j.jcta.2025.106119
Kathrin Bringmann , Byungchan Kim , Eunmi Kim
In this paper we strongly improve asymptotics for (respectively ) which sums reciprocals (respectively squares of reciprocals) of parts throughout all the partitions of n into distinct parts. The methods required are much more involved than in the case of usual partitions since the generating functions are not modular and also do not possess product expansions.
{"title":"Improved asymptotics for moments of reciprocal sums for partitions into distinct parts","authors":"Kathrin Bringmann , Byungchan Kim , Eunmi Kim","doi":"10.1016/j.jcta.2025.106119","DOIUrl":"10.1016/j.jcta.2025.106119","url":null,"abstract":"<div><div>In this paper we strongly improve asymptotics for <span><math><msub><mrow><mi>s</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> (respectively <span><math><msub><mrow><mi>s</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span>) which sums reciprocals (respectively squares of reciprocals) of parts throughout all the partitions of <em>n</em> into distinct parts. The methods required are much more involved than in the case of usual partitions since the generating functions are not modular and also do not possess product expansions.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"219 ","pages":"Article 106119"},"PeriodicalIF":1.2,"publicationDate":"2025-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145160110","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}