Pub Date : 2023-12-14DOI: 10.1016/j.jcta.2023.105850
Dean Crnković, Daniel R. Hawtin, Nina Mostarac, Andrea Švob
A code C is a subset of the vertex set of a graph and C is s-neighbour-transitive if its automorphism group acts transitively on each of the first parts of the distance partition , where ρ is the covering radius of C. While codes have traditionally been studied in the Hamming and Johnson graphs, we consider here codes in the Kneser graphs. Let Ω be the underlying set on which the Kneser graph is defined. Our first main result says that if C is a 2-neighbour-transitive code in such that C has minimum distance at least 5, then (i.e., C is a code in an odd graph) and C lies in a particular infinite family or is one particular sporadic example. We then prove several results when C is a neighbour-transitive code in the Kneser graph . First, if acts intransitively on Ω we characterise C in terms of certain parameters. We then assume that acts transitively on Ω, first proving that if C has minimum distance at least 3 then either is an odd graph or has a 2-homogeneous (and hence primitive) action on Ω. We then assume that C is a code in an odd graph and acts imprimitively on Ω and characterise C in terms of certain parameters. We give examples in each of these cases and pose several open problems.
{"title":"Neighbour-transitive codes in Kneser graphs","authors":"Dean Crnković, Daniel R. Hawtin, Nina Mostarac, Andrea Švob","doi":"10.1016/j.jcta.2023.105850","DOIUrl":"10.1016/j.jcta.2023.105850","url":null,"abstract":"<div><p>A <em>code C</em> is a subset of the vertex set of a graph and <em>C</em> is <em>s-neighbour-transitive</em><span> if its automorphism group </span><span><math><mrow><mi>Aut</mi></mrow><mo>(</mo><mi>C</mi><mo>)</mo></math></span> acts transitively on each of the first <span><math><mi>s</mi><mo>+</mo><mn>1</mn></math></span> parts <span><math><msub><mrow><mi>C</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>,</mo><msub><mrow><mi>C</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>C</mi></mrow><mrow><mi>s</mi></mrow></msub></math></span> of the <em>distance partition</em> <span><math><mo>{</mo><mi>C</mi><mo>=</mo><msub><mrow><mi>C</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>,</mo><msub><mrow><mi>C</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>C</mi></mrow><mrow><mi>ρ</mi></mrow></msub><mo>}</mo></math></span>, where <em>ρ</em> is the <span><em>covering radius</em></span> of <em>C</em>. While codes have traditionally been studied in the Hamming and Johnson graphs, we consider here codes in the Kneser graphs. Let Ω be the underlying set on which the Kneser graph <span><math><mi>K</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>k</mi><mo>)</mo></math></span> is defined. Our first main result says that if <em>C</em> is a 2-neighbour-transitive code in <span><math><mi>K</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>k</mi><mo>)</mo></math></span> such that <em>C</em> has minimum distance at least 5, then <span><math><mi>n</mi><mo>=</mo><mn>2</mn><mi>k</mi><mo>+</mo><mn>1</mn></math></span> (<em>i.e., C</em> is a code in an odd graph) and <em>C</em> lies in a particular infinite family or is one particular sporadic example. We then prove several results when <em>C</em> is a neighbour-transitive code in the Kneser graph <span><math><mi>K</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>k</mi><mo>)</mo></math></span>. First, if <span><math><mrow><mi>Aut</mi></mrow><mo>(</mo><mi>C</mi><mo>)</mo></math></span> acts intransitively on Ω we characterise <em>C</em> in terms of certain parameters. We then assume that <span><math><mrow><mi>Aut</mi></mrow><mo>(</mo><mi>C</mi><mo>)</mo></math></span> acts transitively on Ω, first proving that if <em>C</em> has minimum distance at least 3 then either <span><math><mi>K</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>k</mi><mo>)</mo></math></span> is an odd graph or <span><math><mrow><mi>Aut</mi></mrow><mo>(</mo><mi>C</mi><mo>)</mo></math></span> has a 2-homogeneous (and hence primitive) action on Ω. We then assume that <em>C</em> is a code in an odd graph and <span><math><mrow><mi>Aut</mi></mrow><mo>(</mo><mi>C</mi><mo>)</mo></math></span> acts imprimitively on Ω and characterise <em>C</em> in terms of certain parameters. We give examples in each of these cases and pose several open problems.</p></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"204 ","pages":"Article 105850"},"PeriodicalIF":1.1,"publicationDate":"2023-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138634436","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 : 2023-12-13DOI: 10.1016/j.jcta.2023.105851
Gábor Korchmáros , Gábor P. Nagy , Tamás Szőnyi
<div><p>In a projective plane over a finite field, complete <span><math><mo>(</mo><mi>k</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span>-arcs with few characters are rare but interesting objects with several applications to finite geometry and coding theory. Since almost all known examples are large, the construction of small ones, with <em>k</em> close to the order of the plane, is considered a hard problem. A natural candidate to be a small <span><math><mo>(</mo><mi>k</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span>-arc with few characters is the set <span><math><mi>Ω</mi><mo>(</mo><mi>C</mi><mo>)</mo></math></span> of the points of a plane curve <span><math><mi>C</mi></math></span> of degree <em>n</em> (containing no linear components) such that some line meets <span><math><mi>C</mi></math></span> transversally in the plane, i.e. in <em>n</em> pairwise distinct points. Let <span><math><mi>C</mi></math></span> be either the Hermitian curve of degree <span><math><mi>q</mi><mo>+</mo><mn>1</mn></math></span> in <span><math><mrow><mi>PG</mi></mrow><mo>(</mo><mn>2</mn><mo>,</mo><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn><mi>r</mi></mrow></msup><mo>)</mo></math></span> with <span><math><mi>r</mi><mo>≥</mo><mn>1</mn></math></span>, or the rational BKS curve of degree <span><math><mi>q</mi><mo>+</mo><mn>1</mn></math></span> in <span><math><mrow><mi>PG</mi></mrow><mo>(</mo><mn>2</mn><mo>,</mo><msup><mrow><mi>q</mi></mrow><mrow><mi>r</mi></mrow></msup><mo>)</mo></math></span> with <em>q</em> odd and <span><math><mi>r</mi><mo>≥</mo><mn>1</mn></math></span>. Then <span><math><mi>Ω</mi><mo>(</mo><mi>C</mi><mo>)</mo></math></span> has four and seven characters, respectively. Furthermore, <span><math><mi>Ω</mi><mo>(</mo><mi>C</mi><mo>)</mo></math></span> is small as both curves are either maximal or minimal. The completeness problem is investigated by an algebraic approach based on Galois theory and on the Hasse-Weil lower bound. Our main result for the Hermitian case is that <span><math><mi>Ω</mi><mo>(</mo><mi>C</mi><mo>)</mo></math></span> is complete for <span><math><mi>r</mi><mo>≥</mo><mn>4</mn></math></span>. For the rational BKS curve, <span><math><mi>Ω</mi><mo>(</mo><mi>C</mi><mo>)</mo></math></span> is complete if and only if <em>r</em> is even. If <em>r</em> is odd then the uncovered points by the <span><math><mo>(</mo><mi>q</mi><mo>+</mo><mn>1</mn><mo>)</mo></math></span>-secants to <span><math><mi>Ω</mi><mo>(</mo><mi>C</mi><mo>)</mo></math></span> are exactly the points in <span><math><mrow><mi>PG</mi></mrow><mo>(</mo><mn>2</mn><mo>,</mo><mi>q</mi><mo>)</mo></math></span> not lying in <span><math><mi>Ω</mi><mo>(</mo><mi>C</mi><mo>)</mo></math></span>. Adding those points to <span><math><mi>Ω</mi><mo>(</mo><mi>C</mi><mo>)</mo></math></span> produces a complete <span><math><mo>(</mo><mi>k</mi><mo>,</mo><mi>q</mi><mo>+</mo><mn>1</mn><mo>)</mo></math></span>-arc in <span><math><mrow><mi>PG</mi></mrow><mo>(</mo><mn>2</mn><mo>,</mo><msup><mrow><mi>q</m
在有限域上的投影面中,字符数很少的完整 (k,n)-arcs 是罕见但有趣的对象,在有限几何和编码理论中有多种应用。由于几乎所有已知的例子都很大,因此构造 k 接近平面阶数的小弧被认为是一个难题。(k,n)-弧的一个自然候选点是阶数为 n 的平面曲线 C 的点(不含线性分量)的集合 Ω(C),该集合使得某条直线与 C 在平面上横向相交,即在 n 个不同的点上成对相交。假设 C 是 PG(2,q2r) 中 r≥1 的 q+1 度赫尔墨斯曲线,或者是 PG(2,qr) 中 q 为奇数且 r≥1 的 q+1 度有理 BKS 曲线,那么 Ω(C) 分别有四个和七个字符。此外,Ω(C) 很小,因为两条曲线要么是最大曲线,要么是最小曲线。我们用基于伽罗瓦理论和哈塞-韦尔下界的代数方法研究了完备性问题。对于赫米特曲线,我们的主要结果是,当 r≥4 时,Ω(C) 是完备的。对于有理 BKS 曲线,当且仅当 r 为偶数时,Ω(C) 是完整的。如果 r 为奇数,那么通过 (q+1)-secants 到 Ω(C) 的未覆盖点正是 PG(2,q) 中不位于 Ω(C) 的点。将这些点添加到 Ω(C) 会在 PG(2,qr) 中产生一个完整的 (k,q+1)- 弧,k=qr+q。上述结果在 r=2 时并不成立,赫米特曲线的 r=3 和有理 BKS 曲线的 r=3,4 两种情况仍未解决。作为副产品,我们还得到了两个对研究 PGL(2,q) 的伽罗瓦逆问题很有意义的结果。
{"title":"Algebraic approach to the completeness problem for (k,n)-arcs in planes over finite fields","authors":"Gábor Korchmáros , Gábor P. Nagy , Tamás Szőnyi","doi":"10.1016/j.jcta.2023.105851","DOIUrl":"https://doi.org/10.1016/j.jcta.2023.105851","url":null,"abstract":"<div><p>In a projective plane over a finite field, complete <span><math><mo>(</mo><mi>k</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span>-arcs with few characters are rare but interesting objects with several applications to finite geometry and coding theory. Since almost all known examples are large, the construction of small ones, with <em>k</em> close to the order of the plane, is considered a hard problem. A natural candidate to be a small <span><math><mo>(</mo><mi>k</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span>-arc with few characters is the set <span><math><mi>Ω</mi><mo>(</mo><mi>C</mi><mo>)</mo></math></span> of the points of a plane curve <span><math><mi>C</mi></math></span> of degree <em>n</em> (containing no linear components) such that some line meets <span><math><mi>C</mi></math></span> transversally in the plane, i.e. in <em>n</em> pairwise distinct points. Let <span><math><mi>C</mi></math></span> be either the Hermitian curve of degree <span><math><mi>q</mi><mo>+</mo><mn>1</mn></math></span> in <span><math><mrow><mi>PG</mi></mrow><mo>(</mo><mn>2</mn><mo>,</mo><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn><mi>r</mi></mrow></msup><mo>)</mo></math></span> with <span><math><mi>r</mi><mo>≥</mo><mn>1</mn></math></span>, or the rational BKS curve of degree <span><math><mi>q</mi><mo>+</mo><mn>1</mn></math></span> in <span><math><mrow><mi>PG</mi></mrow><mo>(</mo><mn>2</mn><mo>,</mo><msup><mrow><mi>q</mi></mrow><mrow><mi>r</mi></mrow></msup><mo>)</mo></math></span> with <em>q</em> odd and <span><math><mi>r</mi><mo>≥</mo><mn>1</mn></math></span>. Then <span><math><mi>Ω</mi><mo>(</mo><mi>C</mi><mo>)</mo></math></span> has four and seven characters, respectively. Furthermore, <span><math><mi>Ω</mi><mo>(</mo><mi>C</mi><mo>)</mo></math></span> is small as both curves are either maximal or minimal. The completeness problem is investigated by an algebraic approach based on Galois theory and on the Hasse-Weil lower bound. Our main result for the Hermitian case is that <span><math><mi>Ω</mi><mo>(</mo><mi>C</mi><mo>)</mo></math></span> is complete for <span><math><mi>r</mi><mo>≥</mo><mn>4</mn></math></span>. For the rational BKS curve, <span><math><mi>Ω</mi><mo>(</mo><mi>C</mi><mo>)</mo></math></span> is complete if and only if <em>r</em> is even. If <em>r</em> is odd then the uncovered points by the <span><math><mo>(</mo><mi>q</mi><mo>+</mo><mn>1</mn><mo>)</mo></math></span>-secants to <span><math><mi>Ω</mi><mo>(</mo><mi>C</mi><mo>)</mo></math></span> are exactly the points in <span><math><mrow><mi>PG</mi></mrow><mo>(</mo><mn>2</mn><mo>,</mo><mi>q</mi><mo>)</mo></math></span> not lying in <span><math><mi>Ω</mi><mo>(</mo><mi>C</mi><mo>)</mo></math></span>. Adding those points to <span><math><mi>Ω</mi><mo>(</mo><mi>C</mi><mo>)</mo></math></span> produces a complete <span><math><mo>(</mo><mi>k</mi><mo>,</mo><mi>q</mi><mo>+</mo><mn>1</mn><mo>)</mo></math></span>-arc in <span><math><mrow><mi>PG</mi></mrow><mo>(</mo><mn>2</mn><mo>,</mo><msup><mrow><mi>q</m","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"204 ","pages":"Article 105851"},"PeriodicalIF":1.1,"publicationDate":"2023-12-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S009731652300119X/pdfft?md5=d82e427ed7135cee4fd8e44a6153c333&pid=1-s2.0-S009731652300119X-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138582255","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-12-08DOI: 10.1016/j.jcta.2023.105848
Yanqiao Ding, Qinhao He
In recent years, monotone double Hurwitz numbers were introduced as a naturally combinatorial modification of double Hurwitz numbers. Monotone double Hurwitz numbers share many structural properties with their classical counterparts, such as piecewise polynomiality, while the quantitative properties of these two numbers are quite different. We consider real analogues of monotone double Hurwitz numbers and study the asymptotics for these real analogues. The key ingredient is an interpretation of real tropical covers with arbitrary splittings as factorizations in the symmetric group which generalizes the result from Guay-Paquet et al. (2016) [18]. By using the above interpretation, we consider three types of real analogues of monotone double Hurwitz numbers: real monotone double Hurwitz numbers relative to simple splittings, relative to arbitrary splittings and real mixed double Hurwitz numbers. Under certain conditions, we find lower bounds for these real analogues, and obtain logarithmic asymptotics for real monotone double Hurwitz numbers relative to arbitrary splittings and real mixed double Hurwitz numbers. In particular, under given conditions real mixed double Hurwitz numbers are logarithmically equivalent to complex double Hurwitz numbers. We construct a family of real tropical covers and use them to show that real monotone double Hurwitz numbers relative to simple splittings are logarithmically equivalent to monotone double Hurwitz numbers with specific conditions. This is consistent with the logarithmic equivalence of real double Hurwitz numbers and complex double Hurwitz numbers.
{"title":"Asymptotics for real monotone double Hurwitz numbers","authors":"Yanqiao Ding, Qinhao He","doi":"10.1016/j.jcta.2023.105848","DOIUrl":"10.1016/j.jcta.2023.105848","url":null,"abstract":"<div><p><span>In recent years, monotone double Hurwitz numbers were introduced as a naturally combinatorial modification of double Hurwitz numbers. Monotone double Hurwitz numbers share many structural properties with their classical counterparts, such as piecewise polynomiality, while the quantitative properties of these two numbers are quite different. We consider real analogues of monotone double Hurwitz numbers and study the asymptotics for these real analogues. The key ingredient is an interpretation of real tropical covers with arbitrary splittings as factorizations<span> in the symmetric group which generalizes the result from Guay-Paquet et al. (2016) </span></span><span>[18]</span>. By using the above interpretation, we consider three types of real analogues of monotone double Hurwitz numbers: real monotone double Hurwitz numbers relative to simple splittings, relative to arbitrary splittings and real mixed double Hurwitz numbers. Under certain conditions, we find lower bounds for these real analogues, and obtain logarithmic asymptotics for real monotone double Hurwitz numbers relative to arbitrary splittings and real mixed double Hurwitz numbers. In particular, under given conditions real mixed double Hurwitz numbers are logarithmically equivalent to complex double Hurwitz numbers. We construct a family of real tropical covers and use them to show that real monotone double Hurwitz numbers relative to simple splittings are logarithmically equivalent to monotone double Hurwitz numbers with specific conditions. This is consistent with the logarithmic equivalence of real double Hurwitz numbers and complex double Hurwitz numbers.</p></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"204 ","pages":"Article 105848"},"PeriodicalIF":1.1,"publicationDate":"2023-12-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138550931","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 : 2023-12-08DOI: 10.1016/j.jcta.2023.105839
Gabe Cunningham
We give a criterion for when the smallest regular cover of a chiral polytope is itself a polytope, using only information about the facets and vertex-figures of .
我们仅利用 P 的面和顶点图形信息,给出了手性多面体 P 的最小正则盖本身是多面体的判据。
{"title":"Chiral polytopes whose smallest regular cover is a polytope","authors":"Gabe Cunningham","doi":"10.1016/j.jcta.2023.105839","DOIUrl":"10.1016/j.jcta.2023.105839","url":null,"abstract":"<div><p><span>We give a criterion for when the smallest regular cover of a chiral polytope </span><span><math><mi>P</mi></math></span> is itself a polytope, using only information about the facets and vertex-figures of <span><math><mi>P</mi></math></span>.</p></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"204 ","pages":"Article 105839"},"PeriodicalIF":1.1,"publicationDate":"2023-12-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138551007","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 : 2023-12-08DOI: 10.1016/j.jcta.2023.105849
George E. Andrews , Mircea Merca
In this paper, we introduce new interpretations for the sum of the parts with the same parity in all the partitions of n.
本文为 n 的所有分区中奇偶性相同的部分之和引入了新的解释。
{"title":"A further look at the sum of the parts with the same parity in the partitions of n","authors":"George E. Andrews , Mircea Merca","doi":"10.1016/j.jcta.2023.105849","DOIUrl":"https://doi.org/10.1016/j.jcta.2023.105849","url":null,"abstract":"<div><p>In this paper, we introduce new interpretations for the sum of the parts with the same parity in all the partitions of <em>n</em>.</p></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"203 ","pages":"Article 105849"},"PeriodicalIF":1.1,"publicationDate":"2023-12-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138558483","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 : 2023-12-01DOI: 10.1016/j.jcta.2023.105837
Su-Ping Cui , Nancy S.S. Gu , Dazhao Tang
In his 1984 AMS memoir, Andrews introduced the family of k-colored generalized Frobenius partition functions. For any positive integer k, let denote the number of k-colored generalized Frobenius partitions of n. Among many other things, Andrews proved that for any , . Since then, many scholars subsequently considered congruence properties of various k-colored generalized Frobenius partition functions, typically with a small number of colors.
In 2019, Chan, Wang and Yang systematically studied arithmetic properties of with by employing the theory of modular forms, where denotes the generating function of . We notice that many coefficients in the expressions of are not integers. In this paper, we first observe that is related to the constant term of a family of bivariable functions, then establish a general symmetric and recurrence relation on the coefficients of these bivariable functions. Based on this relation, we next derive many bivariable identities. By extracting and computing the constant terms of these bivariable identities, we establish the expressions of with integral coefficients. As an immediate consequence, we prove some infinite families of congruences satisfied by , where k is allowed to grow arbitrary large.
{"title":"The method of constant terms and k-colored generalized Frobenius partitions","authors":"Su-Ping Cui , Nancy S.S. Gu , Dazhao Tang","doi":"10.1016/j.jcta.2023.105837","DOIUrl":"10.1016/j.jcta.2023.105837","url":null,"abstract":"<div><p>In his 1984 AMS memoir, Andrews introduced the family of <em>k</em><span>-colored generalized Frobenius<span> partition functions. For any positive integer </span></span><em>k</em>, let <span><math><mi>c</mi><msub><mrow><mi>ϕ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> denote the number of <em>k</em>-colored generalized Frobenius partitions of <em>n</em>. Among many other things, Andrews proved that for any <span><math><mi>n</mi><mo>≥</mo><mn>0</mn></math></span>, <span><math><mi>c</mi><msub><mrow><mi>ϕ</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>(</mo><mn>5</mn><mi>n</mi><mo>+</mo><mn>3</mn><mo>)</mo><mo>≡</mo><mn>0</mn><mspace></mspace><mo>(</mo><mrow><mi>mod</mi></mrow><mspace></mspace><mn>5</mn><mo>)</mo></math></span><span>. Since then, many scholars subsequently considered congruence properties of various </span><em>k</em>-colored generalized Frobenius partition functions, typically with a small number of colors.</p><p>In 2019, Chan, Wang and Yang systematically studied arithmetic properties of <span><math><mtext>C</mtext><msub><mrow><mi>Φ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>q</mi><mo>)</mo></math></span> with <span><math><mn>2</mn><mo>≤</mo><mi>k</mi><mo>≤</mo><mn>17</mn></math></span> by employing the theory of modular forms, where <span><math><mtext>C</mtext><msub><mrow><mi>Φ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>q</mi><mo>)</mo></math></span> denotes the generating function of <span><math><mi>c</mi><msub><mrow><mi>ϕ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span>. We notice that many coefficients in the expressions of <span><math><mtext>C</mtext><msub><mrow><mi>Φ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>q</mi><mo>)</mo></math></span> are not integers. In this paper, we first observe that <span><math><mtext>C</mtext><msub><mrow><mi>Φ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>q</mi><mo>)</mo></math></span><span> is related to the constant term of a family of bivariable functions, then establish a general symmetric and recurrence relation on the coefficients of these bivariable functions. Based on this relation, we next derive many bivariable identities. By extracting and computing the constant terms of these bivariable identities, we establish the expressions of </span><span><math><mtext>C</mtext><msub><mrow><mi>Φ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>q</mi><mo>)</mo></math></span><span> with integral coefficients. As an immediate consequence, we prove some infinite families of congruences satisfied by </span><span><math><mi>c</mi><msub><mrow><mi>ϕ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span>, where <em>k</em> is allowed to grow arbitrary large.</p></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"203 ","pages":"Article 105837"},"PeriodicalIF":1.1,"publicationDate":"2023-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138468997","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 : 2023-12-01DOI: 10.1016/j.jcta.2023.105831
Ibai Aedo , Uwe Grimm , Neil Mañibo , Yasushi Nagai , Petra Staynova
We determine asymptotic growth rates for lengths of monochromatic arithmetic progressions in certain automatic sequences. In particular, we look at (one-sided) fixed points of aperiodic, primitive, bijective substitutions and spin substitutions, which are generalisations of the Thue–Morse and Rudin–Shapiro substitutions, respectively. For such infinite words, we show that there exists a subsequence of differences along which the maximum length of a monochromatic arithmetic progression (with fixed difference ) grows at least polynomially in . Explicit upper and lower bounds for the growth exponent can be derived from a finite group associated to the substitution. As an application, we obtain bounds for a van der Waerden-type number for a class of colourings parametrised by the size of the alphabet and the length of the substitution.
我们确定了某些自动序列中单色等差数列长度的渐近增长率。特别地,我们观察了非周期、原始、双射取代和自旋取代的(单边)不动点,它们分别是Thue-Morse和Rudin-Shapiro取代的推广。对于这样的无限字,我们证明了存在一个差值的子序列{dn},在这个子序列中,一个单色等差数列(差值固定dn)的最大长度a (dn)在dn上至少多项式地增长。生长指数的显式上界和下界可以由与替换相关的有限群导出。作为一个应用,我们得到了一类由字母大小和替换长度参数化的着色的van der waerden型数的界。
{"title":"Monochromatic arithmetic progressions in automatic sequences with group structure","authors":"Ibai Aedo , Uwe Grimm , Neil Mañibo , Yasushi Nagai , Petra Staynova","doi":"10.1016/j.jcta.2023.105831","DOIUrl":"https://doi.org/10.1016/j.jcta.2023.105831","url":null,"abstract":"<div><p><span>We determine asymptotic growth rates for lengths of monochromatic arithmetic progressions in certain automatic sequences. In particular, we look at (one-sided) fixed points of aperiodic, primitive, bijective substitutions and spin substitutions, which are generalisations of the Thue–Morse and Rudin–Shapiro substitutions, respectively. For such infinite words, we show that there exists a subsequence </span><span><math><mo>{</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>}</mo></math></span> of differences along which the maximum length <span><math><mi>A</mi><mo>(</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>)</mo></math></span> of a monochromatic arithmetic progression (with fixed difference <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>) grows at least polynomially in <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span><span>. Explicit upper and lower bounds for the growth exponent can be derived from a finite group associated to the substitution. As an application, we obtain bounds for a van der Waerden-type number for a class of colourings parametrised by the size of the alphabet and the length of the substitution.</span></p></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"203 ","pages":"Article 105831"},"PeriodicalIF":1.1,"publicationDate":"2023-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138466156","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 : 2023-11-28DOI: 10.1016/j.jcta.2023.105834
Dor Elimelech , Moshe Schwartz
The goal of the classic football-pool problem is to determine how many lottery tickets are to be bought in order to guarantee at least correct guesses out of a sequence of n games played. We study a generalized (second-order) version of this problem, in which any of these n games consists of two sub-games. The second-order version of the football-pool problem is formulated using the notion of generalized-covering radius, recently proposed as a fundamental property of linear codes. We consider an extension of this property to general (not necessarily linear) codes, and provide an asymptotic solution to our problem by finding the optimal rate function of second-order covering codes given a fixed normalized covering radius. We also prove that the fraction of second-order covering codes among codes of sufficiently large rate tends to 1 as the code length tends to ∞.
{"title":"The second-order football-pool problem and the optimal rate of generalized-covering codes","authors":"Dor Elimelech , Moshe Schwartz","doi":"10.1016/j.jcta.2023.105834","DOIUrl":"https://doi.org/10.1016/j.jcta.2023.105834","url":null,"abstract":"<div><p>The goal of the classic football-pool problem is to determine how many lottery tickets are to be bought in order to guarantee at least <span><math><mi>n</mi><mo>−</mo><mi>r</mi></math></span> correct guesses out of a sequence of <em>n</em> games played. We study a generalized (second-order) version of this problem, in which any of these <em>n</em><span> games consists of two sub-games. The second-order version of the football-pool problem is formulated using the notion of generalized-covering radius, recently proposed as a fundamental property of linear codes. We consider an extension of this property to general (not necessarily linear) codes, and provide an asymptotic solution to our problem by finding the optimal rate function of second-order covering codes given a fixed normalized covering radius. We also prove that the fraction of second-order covering codes among codes of sufficiently large rate tends to 1 as the code length tends to ∞.</span></p></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"203 ","pages":"Article 105834"},"PeriodicalIF":1.1,"publicationDate":"2023-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138448848","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 : 2023-11-28DOI: 10.1016/j.jcta.2023.105835
Eitan Goldberg , Chong Shangguan , Itzhak Tamo
List-decoding and list-recovery are important generalizations of unique decoding and receive considerable attention over the years. We study the optimal trade-off among the list-decoding (resp. list-recovery) radius, the list size, and the code rate, when the list size is constant and the alphabet size is large (both compared with the code length). We prove a new Singleton-type bound for list-decoding, which, for a wide range of parameters, is asymptotically tight up to a factor. We also prove a Singleton-type bound for list-recovery, which is the first such bound in the literature. We apply these results to obtain near optimal lower bounds on the list size for list-decodable and list-recoverable codes with rates approaching capacity.
Moreover, we show that under some indivisibility condition of the parameters and over a sufficiently large alphabet, the largest list-decodable nonlinear codes can have much more codewords than the largest list-decodable linear codes. Such a large gap is not known to exist in unique decoding. We prove this by a novel connection between list-decoding and the notion of sparse hypergraphs in extremal combinatorics.
Lastly, we show that list-decodability or recoverability implies in some sense good unique decodability.
{"title":"Singleton-type bounds for list-decoding and list-recovery, and related results1","authors":"Eitan Goldberg , Chong Shangguan , Itzhak Tamo","doi":"10.1016/j.jcta.2023.105835","DOIUrl":"10.1016/j.jcta.2023.105835","url":null,"abstract":"<div><p>List-decoding and list-recovery are important generalizations of unique decoding and receive considerable attention over the years. We study the optimal trade-off among the list-decoding (resp. list-recovery) radius, the list size, and the code rate, when the list size is constant and the alphabet size is large (both compared with the code length). We prove a new Singleton-type bound for list-decoding, which, for a wide range of parameters, is asymptotically tight up to a <span><math><mn>1</mn><mo>+</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo></math></span> factor. We also prove a Singleton-type bound for list-recovery, which is the first such bound in the literature. We apply these results to obtain near optimal lower bounds on the list size for list-decodable and list-recoverable codes with rates approaching capacity.</p><p>Moreover, we show that under some indivisibility condition of the parameters and over a sufficiently large alphabet, the largest list-decodable <em>nonlinear</em><span> codes can have much more codewords than the largest list-decodable linear codes. Such a large gap is not known to exist in unique decoding. We prove this by a novel connection between list-decoding and the notion of sparse hypergraphs in extremal combinatorics.</span></p><p>Lastly, we show that list-decodability or recoverability implies in some sense good unique decodability.</p></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"203 ","pages":"Article 105835"},"PeriodicalIF":1.1,"publicationDate":"2023-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138449940","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 : 2023-11-28DOI: 10.1016/j.jcta.2023.105836
George E. Andrews , Peter Paule
We apply the methods of partition analysis to partitions with n copies of n. This allows us to obtain multivariable generating functions related to classical Rogers-Ramanujan type identities. Also, partitions with n copies of n are extended to partition diamonds yielding numerous new results including a natural connection to overpartitions and a variety of partition congruences.
{"title":"MacMahon's partition analysis XIV: Partitions with n copies of n","authors":"George E. Andrews , Peter Paule","doi":"10.1016/j.jcta.2023.105836","DOIUrl":"https://doi.org/10.1016/j.jcta.2023.105836","url":null,"abstract":"<div><p>We apply the methods of partition analysis to partitions with <em>n</em> copies of <em>n</em>. This allows us to obtain multivariable generating functions related to classical Rogers-Ramanujan type identities. Also, partitions with <em>n</em> copies of <em>n</em> are extended to partition diamonds yielding numerous new results including a natural connection to overpartitions and a variety of partition congruences.</p></div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":"203 ","pages":"Article 105836"},"PeriodicalIF":1.1,"publicationDate":"2023-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138448849","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}