Pub Date : 2025-08-14DOI: 10.1016/j.jcta.2025.106100
Peter Frankl , Jian Wang
Let denote the power set of the n-set . For positive integers , let denote the maximum of for a family satisfying and for all . The exact value of has been known for half a century in the case or . Bang, Sharp and Winkler determined it in the case . The aim of the present paper is to establish the exact value of for and also for .
{"title":"Intersection-union families","authors":"Peter Frankl , Jian Wang","doi":"10.1016/j.jcta.2025.106100","DOIUrl":"10.1016/j.jcta.2025.106100","url":null,"abstract":"<div><div>Let <span><math><msup><mrow><mn>2</mn></mrow><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></msup></math></span> denote the power set of the <em>n</em>-set <span><math><mo>[</mo><mi>n</mi><mo>]</mo><mo>=</mo><mo>{</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>n</mi><mo>}</mo></math></span>. For positive integers <span><math><mi>n</mi><mo>,</mo><mi>p</mi><mo>,</mo><mi>q</mi></math></span>, <span><math><mi>n</mi><mo>≥</mo><mi>p</mi><mo>+</mo><mi>q</mi></math></span> let <span><math><mi>m</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>p</mi><mo>,</mo><mi>q</mi><mo>)</mo></math></span> denote the maximum of <span><math><mo>|</mo><mi>F</mi><mo>|</mo></math></span> for a family <span><math><mi>F</mi><mo>⊂</mo><msup><mrow><mn>2</mn></mrow><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></msup></math></span> satisfying <span><math><mo>|</mo><mi>F</mi><mo>∩</mo><mi>G</mi><mo>|</mo><mo>≥</mo><mi>p</mi></math></span> and <span><math><mo>|</mo><mi>F</mi><mo>∪</mo><mi>G</mi><mo>|</mo><mo>≤</mo><mi>n</mi><mo>−</mo><mi>q</mi></math></span> for all <span><math><mi>F</mi><mo>,</mo><mi>G</mi><mo>∈</mo><mi>F</mi></math></span>. The exact value of <span><math><mi>m</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>p</mi><mo>,</mo><mi>q</mi><mo>)</mo></math></span> has been known for half a century in the case <span><math><mi>p</mi><mo>=</mo><mn>1</mn></math></span> or <span><math><mi>q</mi><mo>=</mo><mn>1</mn></math></span>. Bang, Sharp and Winkler determined it in the case <span><math><mi>n</mi><mo>−</mo><mi>p</mi><mo>−</mo><mi>q</mi><mo>≤</mo><mn>3</mn></math></span>. The aim of the present paper is to establish the exact value of <span><math><mi>m</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>p</mi><mo>,</mo><mi>q</mi><mo>)</mo></math></span> for <span><math><mi>n</mi><mo>≥</mo><msup><mrow><mo>(</mo><mi>n</mi><mo>−</mo><mi>p</mi><mo>−</mo><mi>q</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow><mrow><mn>3</mn></mrow></msup></math></span> and also for <span><math><mi>n</mi><mo>−</mo><mi>p</mi><mo>−</mo><mi>q</mi><mo>=</mo><mn>4</mn></math></span>.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"217 ","pages":"Article 106100"},"PeriodicalIF":1.2,"publicationDate":"2025-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144831268","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-08-13DOI: 10.1016/j.jcta.2025.106099
Jing Xu , Tatsuro Ito , Shuang-Dong Li
For the Weisfeiler-Leman stabilization, we introduce a concept, which we call the coherent length, to measure how long it takes. We show that the coherent length is at most 8 for trees, using the structures of their T-algebras and of the centralizer algebras of their automorphism groups.
{"title":"The Weisfeiler-Leman stabilization of a tree","authors":"Jing Xu , Tatsuro Ito , Shuang-Dong Li","doi":"10.1016/j.jcta.2025.106099","DOIUrl":"10.1016/j.jcta.2025.106099","url":null,"abstract":"<div><div>For the Weisfeiler-Leman stabilization, we introduce a concept, which we call the coherent length, to measure how long it takes. We show that the coherent length is at most <em>8</em> for trees, using the structures of their <em>T</em>-algebras and of the centralizer algebras of their automorphism groups.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"218 ","pages":"Article 106099"},"PeriodicalIF":1.2,"publicationDate":"2025-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144828429","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-08-08DOI: 10.1016/j.jcta.2025.106097
Yuxuan Li, Binzhou Xia, Sanming Zhou
A Cayley graph on the symmetric group <mml:math altimg="si1.svg"><mml:msub><mml:mrow><mml:mi>S</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:math> is said to have the Aldous property if its strictly second largest eigenvalue (that is, the largest eigenvalue strictly smaller than the degree) is attained by the standard representation of <mml:math altimg="si1.svg"><mml:msub><mml:mrow><mml:mi>S</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:math>. For <mml:math altimg="si2.svg"><mml:mn>1</mml:mn><mml:mo>≤</mml:mo><mml:mi>r</mml:mi><mml:mo linebreak="goodbreak" linebreakstyle="after"><</mml:mo><mml:mi>k</mml:mi><mml:mo linebreak="goodbreak" linebreakstyle="after"><</mml:mo><mml:mi>n</mml:mi></mml:math>, let <mml:math altimg="si267.svg"><mml:mi>C</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>n</mml:mi><mml:mo>,</mml:mo><mml:mi>k</mml:mi><mml:mo>;</mml:mo><mml:mi>r</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math> be the set of <ce:italic>k</ce:italic>-cycles of <mml:math altimg="si1.svg"><mml:msub><mml:mrow><mml:mi>S</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:math> moving every point in <mml:math altimg="si4.svg"><mml:mo stretchy="false">{</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mo>…</mml:mo><mml:mo>,</mml:mo><mml:mi>r</mml:mi><mml:mo stretchy="false">}</mml:mo></mml:math>. Recently, Siemons and Zalesski (2022) <ce:cross-ref ref>[26]</ce:cross-ref> posed a conjecture which is equivalent to saying that for any <mml:math altimg="si5.svg"><mml:mi>n</mml:mi><mml:mo>≥</mml:mo><mml:mn>5</mml:mn></mml:math> and <mml:math altimg="si2.svg"><mml:mn>1</mml:mn><mml:mo>≤</mml:mo><mml:mi>r</mml:mi><mml:mo linebreak="goodbreak" linebreakstyle="after"><</mml:mo><mml:mi>k</mml:mi><mml:mo linebreak="goodbreak" linebreakstyle="after"><</mml:mo><mml:mi>n</mml:mi></mml:math> the nonnormal Cayley graph <mml:math altimg="si6.svg"><mml:mrow><mml:mi mathvariant="normal">Cay</mml:mi></mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mrow><mml:mi>S</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mi>C</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>n</mml:mi><mml:mo>,</mml:mo><mml:mi>k</mml:mi><mml:mo>;</mml:mo><mml:mi>r</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo stretchy="false">)</mml:mo></mml:math> on <mml:math altimg="si1.svg"><mml:msub><mml:mrow><mml:mi>S</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:math> with connection set <mml:math altimg="si267.svg"><mml:mi>C</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>n</mml:mi><mml:mo>,</mml:mo><mml:mi>k</mml:mi><mml:mo>;</mml:mo><mml:mi>r</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math> has the Aldous property. Solving this conjecture, we prove that all these graphs have the Aldous property except when (i) <mml:math altimg="si7.svg"><mml:mo stretchy="false">(</mml:mo><mml:mi>n</mml:mi><mml:mo>,</mml:mo><mml:mi
如果对称群Sn上的Cayley图的严格第二大特征值(即严格小于度的最大特征值)通过Sn的标准表示获得,则称其具有Aldous性质。对于1≤r<;k<n,设C(n,k;r)为Sn移动{1,…,r}中每一点的k个环的集合。最近,Siemons and Zalesski(2022)[26]提出了一个猜想,该猜想等价于对于任意n≥5且1≤r<;k<n,具有连接集C(n,k;r)的Sn上的非正态Cayley图Cay(Sn,C(n,k;r))具有Aldous性质。通过求解这个猜想,我们证明了除(i) (n,k,r)=(6,5,1)或(ii) n为奇数,k =n−1,且1≤r<;n2外,所有图都具有Aldous性质。在此过程中,我们确定了Sn的所有不可约表示,这些表示可以实现Cay(Sn,C(n,n - 1;r))的严格第二大特征值以及该图的最小特征值。
{"title":"The second largest eigenvalue of some nonnormal Cayley graphs on symmetric groups","authors":"Yuxuan Li, Binzhou Xia, Sanming Zhou","doi":"10.1016/j.jcta.2025.106097","DOIUrl":"https://doi.org/10.1016/j.jcta.2025.106097","url":null,"abstract":"A Cayley graph on the symmetric group <mml:math altimg=\"si1.svg\"><mml:msub><mml:mrow><mml:mi>S</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:math> is said to have the Aldous property if its strictly second largest eigenvalue (that is, the largest eigenvalue strictly smaller than the degree) is attained by the standard representation of <mml:math altimg=\"si1.svg\"><mml:msub><mml:mrow><mml:mi>S</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:math>. For <mml:math altimg=\"si2.svg\"><mml:mn>1</mml:mn><mml:mo>≤</mml:mo><mml:mi>r</mml:mi><mml:mo linebreak=\"goodbreak\" linebreakstyle=\"after\"><</mml:mo><mml:mi>k</mml:mi><mml:mo linebreak=\"goodbreak\" linebreakstyle=\"after\"><</mml:mo><mml:mi>n</mml:mi></mml:math>, let <mml:math altimg=\"si267.svg\"><mml:mi>C</mml:mi><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>n</mml:mi><mml:mo>,</mml:mo><mml:mi>k</mml:mi><mml:mo>;</mml:mo><mml:mi>r</mml:mi><mml:mo stretchy=\"false\">)</mml:mo></mml:math> be the set of <ce:italic>k</ce:italic>-cycles of <mml:math altimg=\"si1.svg\"><mml:msub><mml:mrow><mml:mi>S</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:math> moving every point in <mml:math altimg=\"si4.svg\"><mml:mo stretchy=\"false\">{</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mo>…</mml:mo><mml:mo>,</mml:mo><mml:mi>r</mml:mi><mml:mo stretchy=\"false\">}</mml:mo></mml:math>. Recently, Siemons and Zalesski (2022) <ce:cross-ref ref>[26]</ce:cross-ref> posed a conjecture which is equivalent to saying that for any <mml:math altimg=\"si5.svg\"><mml:mi>n</mml:mi><mml:mo>≥</mml:mo><mml:mn>5</mml:mn></mml:math> and <mml:math altimg=\"si2.svg\"><mml:mn>1</mml:mn><mml:mo>≤</mml:mo><mml:mi>r</mml:mi><mml:mo linebreak=\"goodbreak\" linebreakstyle=\"after\"><</mml:mo><mml:mi>k</mml:mi><mml:mo linebreak=\"goodbreak\" linebreakstyle=\"after\"><</mml:mo><mml:mi>n</mml:mi></mml:math> the nonnormal Cayley graph <mml:math altimg=\"si6.svg\"><mml:mrow><mml:mi mathvariant=\"normal\">Cay</mml:mi></mml:mrow><mml:mo stretchy=\"false\">(</mml:mo><mml:msub><mml:mrow><mml:mi>S</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mi>C</mml:mi><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>n</mml:mi><mml:mo>,</mml:mo><mml:mi>k</mml:mi><mml:mo>;</mml:mo><mml:mi>r</mml:mi><mml:mo stretchy=\"false\">)</mml:mo><mml:mo stretchy=\"false\">)</mml:mo></mml:math> on <mml:math altimg=\"si1.svg\"><mml:msub><mml:mrow><mml:mi>S</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:math> with connection set <mml:math altimg=\"si267.svg\"><mml:mi>C</mml:mi><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>n</mml:mi><mml:mo>,</mml:mo><mml:mi>k</mml:mi><mml:mo>;</mml:mo><mml:mi>r</mml:mi><mml:mo stretchy=\"false\">)</mml:mo></mml:math> has the Aldous property. Solving this conjecture, we prove that all these graphs have the Aldous property except when (i) <mml:math altimg=\"si7.svg\"><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>n</mml:mi><mml:mo>,</mml:mo><mml:mi","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"22 1","pages":"106097"},"PeriodicalIF":1.1,"publicationDate":"2025-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144900111","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-08-05DOI: 10.1016/j.jcta.2025.106096
Jia-Li Du , Yan-Quan Feng , Binzhou Xia , Da-Wei Yang
Extending the well-studied concept of graphical regular representations to bipartite graphs, a Haar graphical representation (HGR) of a group G is a bipartite graph whose automorphism group is isomorphic to G and acts semiregularly with the orbits giving the bipartition. The question of which groups admit an HGR was inspired by a closely related question of Estélyi and Pisanski in 2016, as well as Babai's work in 1980 on poset representations, and has been recently solved by Morris and Spiga. In this paper, we introduce the m-Haar graphical representation (m-HGR) as a natural generalization of HGR to m-partite graphs for , and explore the existence of m-HGRs for any fixed group. This inquiry represents a more robust version of the existence problem of GmSRs as addressed by Du, Feng and Spiga in 2020. Our main result is a complete classification of finite groups G without m-HGRs.
{"title":"The existence of m-Haar graphical representations","authors":"Jia-Li Du , Yan-Quan Feng , Binzhou Xia , Da-Wei Yang","doi":"10.1016/j.jcta.2025.106096","DOIUrl":"10.1016/j.jcta.2025.106096","url":null,"abstract":"<div><div>Extending the well-studied concept of graphical regular representations to bipartite graphs, a Haar graphical representation (HGR) of a group <em>G</em> is a bipartite graph whose automorphism group is isomorphic to <em>G</em> and acts semiregularly with the orbits giving the bipartition. The question of which groups admit an HGR was inspired by a closely related question of Estélyi and Pisanski in 2016, as well as Babai's work in 1980 on poset representations, and has been recently solved by Morris and Spiga. In this paper, we introduce the <em>m</em>-Haar graphical representation (<em>m</em>-HGR) as a natural generalization of HGR to <em>m</em>-partite graphs for <span><math><mi>m</mi><mo>≥</mo><mn>2</mn></math></span>, and explore the existence of <em>m</em>-HGRs for any fixed group. This inquiry represents a more robust version of the existence problem of G<em>m</em>SRs as addressed by Du, Feng and Spiga in 2020. Our main result is a complete classification of finite groups <em>G</em> without <em>m</em>-HGRs.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"218 ","pages":"Article 106096"},"PeriodicalIF":1.2,"publicationDate":"2025-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144770884","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-08-01DOI: 10.1016/j.jcta.2025.106095
Dongang He , Anshui Li , Biao Wu , Huajun Zhang
Two families and are called nontrivial cross-t-intersecting if for all , and . In this paper we will determine the upper bound of for nontrivial cross-t-intersecting families and for positive integers n, k, ℓ and t such that and . The structures of the extremal families attaining the upper bound are also characterized. As a byproduct of the main result in this paper, one product version of Erdős–Ko–Rado Theorem for two families of cross-t-intersecting can be easily obtained which gives a confirmative answer to one conjecture by Tokushige.
{"title":"On nontrivial cross-t-intersecting families","authors":"Dongang He , Anshui Li , Biao Wu , Huajun Zhang","doi":"10.1016/j.jcta.2025.106095","DOIUrl":"10.1016/j.jcta.2025.106095","url":null,"abstract":"<div><div>Two families <span><math><mi>A</mi><mo>⊆</mo><mrow><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></mrow></math></span> and <span><math><mi>B</mi><mo>⊆</mo><mrow><mo>(</mo><mtable><mtr><mtd><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></mtd></mtr><mtr><mtd><mi>ℓ</mi></mtd></mtr></mtable><mo>)</mo></mrow></math></span> are called nontrivial cross-<em>t</em>-intersecting if <span><math><mo>|</mo><mi>A</mi><mo>∩</mo><mi>B</mi><mo>|</mo><mo>≥</mo><mi>t</mi></math></span> for all <span><math><mi>A</mi><mo>∈</mo><mi>A</mi></math></span>, <span><math><mi>B</mi><mo>∈</mo><mi>B</mi></math></span> and <span><math><mo>|</mo><msub><mrow><mo>⋂</mo></mrow><mrow><mi>A</mi><mo>∈</mo><mi>A</mi><mo>∪</mo><mi>B</mi></mrow></msub><mi>A</mi><mo>|</mo><mo><</mo><mi>t</mi></math></span>. In this paper we will determine the upper bound of <span><math><mo>|</mo><mi>A</mi><mo>|</mo><mo>|</mo><mi>B</mi><mo>|</mo></math></span> for nontrivial cross-<em>t</em>-intersecting families <span><math><mi>A</mi><mo>⊆</mo><mrow><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></mrow></math></span> and <span><math><mi>B</mi><mo>⊆</mo><mrow><mo>(</mo><mtable><mtr><mtd><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></mtd></mtr><mtr><mtd><mi>ℓ</mi></mtd></mtr></mtable><mo>)</mo></mrow></math></span> for positive integers <em>n</em>, <em>k</em>, <em>ℓ</em> and <em>t</em> such that <span><math><mi>n</mi><mo>≥</mo><mi>max</mi><mo></mo><mo>{</mo><mo>(</mo><mi>t</mi><mo>+</mo><mn>1</mn><mo>)</mo><mo>(</mo><mi>k</mi><mo>−</mo><mi>t</mi><mo>+</mo><mn>1</mn><mo>)</mo><mo>,</mo><mo>(</mo><mi>t</mi><mo>+</mo><mn>1</mn><mo>)</mo><mo>(</mo><mi>ℓ</mi><mo>−</mo><mi>t</mi><mo>+</mo><mn>1</mn><mo>)</mo><mo>}</mo></math></span> and <span><math><mi>t</mi><mo>≥</mo><mn>3</mn></math></span>. The structures of the extremal families attaining the upper bound are also characterized. As a byproduct of the main result in this paper, one product version of Erdős–Ko–Rado Theorem for two families of cross-<em>t</em>-intersecting can be easily obtained which gives a confirmative answer to one conjecture by Tokushige.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"217 ","pages":"Article 106095"},"PeriodicalIF":1.2,"publicationDate":"2025-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144748719","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-07-22DOI: 10.1016/j.jcta.2025.106094
Sun Kim
Ramanujan's modular equations are closely associated with partition identities. In particular, the modular equations of prime degrees , 23 and the corresponding partition identities are of very elegant forms. These five modular equations were extensively generalized by Warnaar and the present author in the form of general theta function identities. In this paper, we provide further general theta function identities and present many partition identities as special cases.
{"title":"General Theta function identities","authors":"Sun Kim","doi":"10.1016/j.jcta.2025.106094","DOIUrl":"10.1016/j.jcta.2025.106094","url":null,"abstract":"<div><div>Ramanujan's modular equations are closely associated with partition identities. In particular, the modular equations of prime degrees <span><math><mn>3</mn><mo>,</mo><mn>5</mn><mo>,</mo><mn>7</mn><mo>,</mo><mn>11</mn></math></span>, 23 and the corresponding partition identities are of very elegant forms. These five modular equations were extensively generalized by Warnaar and the present author in the form of general theta function identities. In this paper, we provide further general theta function identities and present many partition identities as special cases.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"217 ","pages":"Article 106094"},"PeriodicalIF":0.9,"publicationDate":"2025-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144679155","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-07-11DOI: 10.1016/j.jcta.2025.106093
Shi-Mei Ma , Hao Qi , Jean Yeh , Yeong-Nan Yeh
In the context of Stirling polynomials, Gessel and Stanley introduced Stirling permutations, which have attracted extensive attention over the past decades. Recently, we introduced Stirling permutation codes and provided numerous equidistribution results as applications. The purpose of the present work is to further analyze Stirling permutation codes. First, we derive an expansion formula expressing the joint distribution of the types A and B descent statistics over the hyperoctahedral group, and we also find an interlacing property involving the zeros of its coefficient polynomials. Next, we prove a strong connection between signed permutations in the hyperoctahedral group and Stirling permutations. We also study unified generalizations of the trivariate second-order Eulerian and ascent-plateau polynomials. Using Stirling permutation codes, we provide expansion formulas for eight-variable and seventeen-variable polynomials, which imply several e-positive expansions and clarify the connection among several statistics. Our results generalize the results of Bóna, Chen-Fu, Dumont, Haglund-Visontai, Janson and Petersen.
{"title":"Stirling permutation codes. II","authors":"Shi-Mei Ma , Hao Qi , Jean Yeh , Yeong-Nan Yeh","doi":"10.1016/j.jcta.2025.106093","DOIUrl":"10.1016/j.jcta.2025.106093","url":null,"abstract":"<div><div>In the context of Stirling polynomials, Gessel and Stanley introduced Stirling permutations, which have attracted extensive attention over the past decades. Recently, we introduced Stirling permutation codes and provided numerous equidistribution results as applications. The purpose of the present work is to further analyze Stirling permutation codes. First, we derive an expansion formula expressing the joint distribution of the types <em>A</em> and <em>B</em> descent statistics over the hyperoctahedral group, and we also find an interlacing property involving the zeros of its coefficient polynomials. Next, we prove a strong connection between signed permutations in the hyperoctahedral group and Stirling permutations. We also study unified generalizations of the trivariate second-order Eulerian and ascent-plateau polynomials. Using Stirling permutation codes, we provide expansion formulas for eight-variable and seventeen-variable polynomials, which imply several <em>e</em>-positive expansions and clarify the connection among several statistics. Our results generalize the results of Bóna, Chen-Fu, Dumont, Haglund-Visontai, Janson and Petersen.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"217 ","pages":"Article 106093"},"PeriodicalIF":0.9,"publicationDate":"2025-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144596379","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-07-02DOI: 10.1016/j.jcta.2025.106092
Sherry H.F. Yan , Xubo Yang , Zhicong Lin
The -Eulerian polynomials were introduced as ascent polynomials over k-inversion sequences by Savage and Viswanathan. The bi-γ-positivity of the -Eulerian polynomials was known but to give a combinatorial interpretation of the corresponding bi-γ-coefficients still remains open. The study of the theme of bi-γ-positivity from a purely combinatorial aspect was proposed by Athanasiadis. In this paper, we provide a combinatorial interpretation for the bi-γ-coefficients of by using the model of certain ordered labeled forests. Our combinatorial approach consists of three main steps:
•
construct a bijection between k-Stirling permutations and certain forests that are named increasing pruned even k-ary forests;
•
introduce a generalized Foata–Strehl action on increasing pruned even k-ary trees which implies the longest ascent-plateau polynomials over k-Stirling permutations with initial letter 1 are γ-positive, a result that may have independent interest;
•
develop two crucial transformations on increasing pruned even k-ary forests to conclude our combinatorial interpretation.
{"title":"Combinatorics on bi-γ-positivity of 1/k-Eulerian polynomials","authors":"Sherry H.F. Yan , Xubo Yang , Zhicong Lin","doi":"10.1016/j.jcta.2025.106092","DOIUrl":"10.1016/j.jcta.2025.106092","url":null,"abstract":"<div><div>The <span><math><mn>1</mn><mo>/</mo><mi>k</mi></math></span>-Eulerian polynomials <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow></msubsup><mo>(</mo><mi>x</mi><mo>)</mo></math></span> were introduced as ascent polynomials over <em>k</em>-inversion sequences by Savage and Viswanathan. The bi-<em>γ</em>-positivity of the <span><math><mn>1</mn><mo>/</mo><mi>k</mi></math></span>-Eulerian polynomials <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow></msubsup><mo>(</mo><mi>x</mi><mo>)</mo></math></span> was known but to give a combinatorial interpretation of the corresponding bi-<em>γ</em>-coefficients still remains open. The study of the theme of bi-<em>γ</em>-positivity from a purely combinatorial aspect was proposed by Athanasiadis. In this paper, we provide a combinatorial interpretation for the bi-<em>γ</em>-coefficients of <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow></msubsup><mo>(</mo><mi>x</mi><mo>)</mo></math></span> by using the model of certain ordered labeled forests. Our combinatorial approach consists of three main steps:<ul><li><span>•</span><span><div>construct a bijection between <em>k</em>-Stirling permutations and certain forests that are named increasing pruned even <em>k</em>-ary forests;</div></span></li><li><span>•</span><span><div>introduce a generalized Foata–Strehl action on increasing pruned even <em>k</em>-ary trees which implies the longest ascent-plateau polynomials over <em>k</em>-Stirling permutations with initial letter 1 are <em>γ</em>-positive, a result that may have independent interest;</div></span></li><li><span>•</span><span><div>develop two crucial transformations on increasing pruned even <em>k</em>-ary forests to conclude our combinatorial interpretation.</div></span></li></ul></div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"217 ","pages":"Article 106092"},"PeriodicalIF":0.9,"publicationDate":"2025-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144522733","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-06-27DOI: 10.1016/j.jcta.2025.106090
Thomas Britz , Himadri Shekhar Chakraborty , Tsuyoshi Miezaki
In this paper, we present the harmonic generalizations of well-known polynomials of codes over finite fields, namely the higher weight enumerators and the extended weight enumerators, and we derive the correspondences between these weight enumerators. Moreover, we present the harmonic generalization of Greene's Theorem for the higher (resp. extended) weight enumerators. As an application of this Greene's-type theorem, we provide the MacWilliams-type identity for harmonic higher weight enumerators of codes over finite fields. Finally, we use this new identity to give a new proof of the Assmus-Mattson Theorem for subcode supports of linear codes over finite fields using harmonic higher weight enumerators.
{"title":"Harmonic higher and extended weight enumerators","authors":"Thomas Britz , Himadri Shekhar Chakraborty , Tsuyoshi Miezaki","doi":"10.1016/j.jcta.2025.106090","DOIUrl":"10.1016/j.jcta.2025.106090","url":null,"abstract":"<div><div>In this paper, we present the harmonic generalizations of well-known polynomials of codes over finite fields, namely the higher weight enumerators and the extended weight enumerators, and we derive the correspondences between these weight enumerators. Moreover, we present the harmonic generalization of Greene's Theorem for the higher (resp. extended) weight enumerators. As an application of this Greene's-type theorem, we provide the MacWilliams-type identity for harmonic higher weight enumerators of codes over finite fields. Finally, we use this new identity to give a new proof of the Assmus-Mattson Theorem for subcode supports of linear codes over finite fields using harmonic higher weight enumerators.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"217 ","pages":"Article 106090"},"PeriodicalIF":0.9,"publicationDate":"2025-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144489510","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-06-18DOI: 10.1016/j.jcta.2025.106091
Xiongfeng Zhan, Xueyi Huang, Huiqiu Lin
As a generalization of graph Laplacians to higher dimensions, the combinatorial Laplacians of simplicial complexes have garnered increasing attention. Let X be a simplicial complex on n vertices, and let denote the set of all k-dimensional simplices of X. The k-th spectral gap is the smallest eigenvalue of the reduced k-dimensional Laplacian of X. For any , Lew (2020) [24] established a lower bound for : where and d denote the degree of σ in X and the maximal dimension of a missing face of X, respectively. In this paper, we identify the unique simplicial complex that achieves the lower bound of the k-th spectral gap, , for some k, thereby confirming a conjecture proposed by Lew.
{"title":"Proof of Lew's conjecture on the spectral gaps of simplicial complexes","authors":"Xiongfeng Zhan, Xueyi Huang, Huiqiu Lin","doi":"10.1016/j.jcta.2025.106091","DOIUrl":"10.1016/j.jcta.2025.106091","url":null,"abstract":"<div><div>As a generalization of graph Laplacians to higher dimensions, the combinatorial Laplacians of simplicial complexes have garnered increasing attention. Let <em>X</em> be a simplicial complex on <em>n</em> vertices, and let <span><math><mi>X</mi><mo>(</mo><mi>k</mi><mo>)</mo></math></span> denote the set of all <em>k</em>-dimensional simplices of <em>X</em>. The <em>k</em>-th spectral gap <span><math><msub><mrow><mi>μ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>X</mi><mo>)</mo></math></span> is the smallest eigenvalue of the reduced <em>k</em>-dimensional Laplacian of <em>X</em>. For any <span><math><mi>k</mi><mo>≥</mo><mo>−</mo><mn>1</mn></math></span>, Lew (2020) <span><span>[24]</span></span> established a lower bound for <span><math><msub><mrow><mi>μ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>X</mi><mo>)</mo></math></span>:<span><span><span><math><msub><mrow><mi>μ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>X</mi><mo>)</mo><mo>≥</mo><mo>(</mo><mi>d</mi><mo>+</mo><mn>1</mn><mo>)</mo><mrow><mo>(</mo><munder><mi>min</mi><mrow><mi>σ</mi><mo>∈</mo><mi>X</mi><mo>(</mo><mi>k</mi><mo>)</mo></mrow></munder><mo></mo><msub><mrow><mi>deg</mi></mrow><mrow><mi>X</mi></mrow></msub><mo></mo><mo>(</mo><mi>σ</mi><mo>)</mo><mo>+</mo><mi>k</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow><mo>−</mo><mi>d</mi><mi>n</mi><mo>≥</mo><mo>(</mo><mi>d</mi><mo>+</mo><mn>1</mn><mo>)</mo><mo>(</mo><mi>k</mi><mo>+</mo><mn>1</mn><mo>)</mo><mo>−</mo><mi>d</mi><mi>n</mi><mo>,</mo></math></span></span></span> where <span><math><msub><mrow><mi>deg</mi></mrow><mrow><mi>X</mi></mrow></msub><mo></mo><mo>(</mo><mi>σ</mi><mo>)</mo></math></span> and <em>d</em> denote the degree of <em>σ</em> in <em>X</em> and the maximal dimension of a missing face of <em>X</em>, respectively. In this paper, we identify the unique simplicial complex that achieves the lower bound of the <em>k</em>-th spectral gap, <span><math><mo>(</mo><mi>d</mi><mo>+</mo><mn>1</mn><mo>)</mo><mo>(</mo><mi>k</mi><mo>+</mo><mn>1</mn><mo>)</mo><mo>−</mo><mi>d</mi><mi>n</mi></math></span>, for some <em>k</em>, thereby confirming a conjecture proposed by Lew.</div></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"217 ","pages":"Article 106091"},"PeriodicalIF":0.9,"publicationDate":"2025-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144306865","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}