{"title":"Binary polycyclic codes associated with x2η+1+x2η+1: Hamming distance, duality, reversibility and LCD properties","authors":"Sujata Bansal, Pramod Kumar Kewat","doi":"10.1016/j.ffa.2025.102741","DOIUrl":"10.1016/j.ffa.2025.102741","url":null,"abstract":"<div><div>This work explores binary polycyclic codes associated with the polynomial <span><math><msup><mrow><mi>x</mi></mrow><mrow><msup><mrow><mn>2</mn></mrow><mrow><mi>η</mi><mo>+</mo><mn>1</mn></mrow></msup></mrow></msup><mo>+</mo><msup><mrow><mi>x</mi></mrow><mrow><msup><mrow><mn>2</mn></mrow><mrow><mi>η</mi></mrow></msup></mrow></msup><mo>+</mo><mn>1</mn></math></span>, which is the <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>η</mi></mrow></msup></math></span>-th power of <span><math><msup><mrow><mi>x</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>+</mo><mi>x</mi><mo>+</mo><mn>1</mn></math></span> for every integer <span><math><mi>η</mi><mo>≥</mo><mn>1</mn></math></span>. We provide an in-depth structural analysis of these codes and compute the exact Hamming distance of each of these binary polycyclic codes. Furthermore, we determine the parity-check matrices and examine the Euclidean duals and annihilator duals for these polycyclic codes. Our analysis reveals that these codes are reversible and, in certain cases, are Linear Complementary Dual (LCD) codes. This discovery highlights the potential of these codes in practical applications such as communication systems, data storage, consumer electronics, and cryptography. We also propose a conjecture that suggests all such polycyclic codes can be LCD.</div></div>","PeriodicalId":50446,"journal":{"name":"Finite Fields and Their Applications","volume":"110 ","pages":"Article 102741"},"PeriodicalIF":1.2,"publicationDate":"2026-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145321166","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Weierstrass semigroups and automorphism group of a maximal function field with the third largest possible genus, q ≡ 1 (mod 3)","authors":"Peter Beelen , Maria Montanucci , Lara Vicino","doi":"10.1016/j.ffa.2025.102701","DOIUrl":"10.1016/j.ffa.2025.102701","url":null,"abstract":"<div><div>In this article we continue the work started in <span><span>[3]</span></span>, explicitly determining the Weierstrass semigroup at any place and the full automorphism group of a known <span><math><msub><mrow><mi>F</mi></mrow><mrow><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn></mrow></msup></mrow></msub></math></span>-maximal function field <span><math><msub><mrow><mi>Y</mi></mrow><mrow><mn>3</mn></mrow></msub></math></span> having the third largest genus, for <span><math><mi>q</mi><mo>≡</mo><mn>1</mn><mspace></mspace><mo>(</mo><mrow><mi>mod</mi></mrow><mspace></mspace><mn>3</mn><mo>)</mo></math></span>. This function field arises as a Galois subfield of the Hermitian function field, and its uniqueness (with respect to the value of its genus) is a well-known open problem. Knowing the Weierstrass semigroups may provide a key towards solving this problem. Surprisingly enough, <span><math><msub><mrow><mi>Y</mi></mrow><mrow><mn>3</mn></mrow></msub></math></span> has many different types of Weierstrass semigroups and the set of its Weierstrass places is much richer than its set of <span><math><msub><mrow><mi>F</mi></mrow><mrow><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn></mrow></msup></mrow></msub></math></span>-rational places. We show that a similar exceptional behaviour does not occur in terms of automorphisms, that is, <span><math><mrow><mi>Aut</mi></mrow><mo>(</mo><msub><mrow><mi>Y</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>)</mo></math></span> is exactly the automorphism group inherited from the Hermitian function field, apart from small values of <em>q</em>.</div></div>","PeriodicalId":50446,"journal":{"name":"Finite Fields and Their Applications","volume":"109 ","pages":"Article 102701"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144670374","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Local permutation polynomials and their companions","authors":"Sartaj Ul Hasan, Hridesh Kumar","doi":"10.1016/j.ffa.2025.102717","DOIUrl":"10.1016/j.ffa.2025.102717","url":null,"abstract":"<div><div>Gutierrez and Urroz (2023) have proposed a family of local permutation polynomials over finite fields of arbitrary characteristic based on a class of symmetric subgroups without fixed points called <em>e</em>-Klenian groups. The polynomials within this family are referred to as <em>e</em>-Klenian polynomials. Furthermore, they have shown the existence of companions for the <em>e</em>-Klenian polynomials when the characteristic of the finite field is odd. Here, we construct three new families of local permutation polynomials over finite fields of even characteristic, and derive a necessary and sufficient condition for each of these families to achieve the maximum possible degree. We also consider the problem of the existence of companions for the <em>e</em>-Klenian polynomials over finite fields of even characteristic. More precisely, we prove that over finite fields of even characteristic, the 0-Klenian polynomials do not have any companions. However, for <span><math><mi>e</mi><mo>≥</mo><mn>1</mn></math></span>, we explicitly provide a companion for the <em>e</em>-Klenian polynomials. Moreover, we provide a companion for each of the new families of local permutation polynomials that we introduce.</div></div>","PeriodicalId":50446,"journal":{"name":"Finite Fields and Their Applications","volume":"109 ","pages":"Article 102717"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144827469","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Irreducibility of polynomials with square coefficients over finite fields","authors":"Lior Bary-Soroker, Roy Shmueli","doi":"10.1016/j.ffa.2025.102714","DOIUrl":"10.1016/j.ffa.2025.102714","url":null,"abstract":"<div><div>We study a random polynomial of degree <em>n</em> over the finite field <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub></math></span>, where the coefficients are independent and identically distributed and uniformly chosen from the squares in <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub></math></span>. Our main result demonstrates that the likelihood of such a polynomial being irreducible approaches <span><math><mn>1</mn><mo>/</mo><mi>n</mi><mo>+</mo><mi>O</mi><mo>(</mo><msup><mrow><mi>q</mi></mrow><mrow><mo>−</mo><mn>1</mn><mo>/</mo><mn>2</mn></mrow></msup><mo>)</mo></math></span> as the field size <em>q</em> grows infinitely large. The analysis we employ also applies to polynomials with coefficients selected from other specific sets.</div></div>","PeriodicalId":50446,"journal":{"name":"Finite Fields and Their Applications","volume":"109 ","pages":"Article 102714"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144827817","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On iso-dual MDS codes from elliptic curves","authors":"Yunlong Zhu , Chang-An Zhao","doi":"10.1016/j.ffa.2025.102699","DOIUrl":"10.1016/j.ffa.2025.102699","url":null,"abstract":"<div><div>For a linear code <em>C</em> over a finite field, if its dual code <span><math><msup><mrow><mi>C</mi></mrow><mrow><mo>⊥</mo></mrow></msup></math></span> is equivalent to itself, then the code <em>C</em> is said to be <em>isometry-dual</em>. In this paper, we first confirm a conjecture about the isometry-dual MDS elliptic codes proposed by Han and Ren. Subsequently, two constructions of isometry-dual maximum distance separable (MDS) codes from elliptic curves are presented. The new code length <em>n</em> satisfies <span><math><mi>n</mi><mo>≤</mo><mfrac><mrow><mi>q</mi><mo>+</mo><mo>⌊</mo><mn>2</mn><msqrt><mrow><mi>q</mi></mrow></msqrt><mo>⌋</mo><mo>−</mo><mn>1</mn></mrow><mrow><mn>2</mn></mrow></mfrac></math></span> when <em>q</em> is even and <span><math><mi>n</mi><mo>≤</mo><mfrac><mrow><mi>q</mi><mo>+</mo><mo>⌊</mo><mn>2</mn><msqrt><mrow><mi>q</mi></mrow></msqrt><mo>⌋</mo><mo>−</mo><mn>3</mn></mrow><mrow><mn>2</mn></mrow></mfrac></math></span> when <em>q</em> is odd. Additionally, we consider the hull dimension of both constructions. In the case of finite fields with even characteristics, an isometry-dual MDS code is equivalent to a self-dual MDS code and a linear complementary dual MDS code. Finally, we apply our results to entanglement-assisted quantum error correcting codes (EAQECCs) and obtain two new families of MDS EAQECCs.</div></div>","PeriodicalId":50446,"journal":{"name":"Finite Fields and Their Applications","volume":"109 ","pages":"Article 102699"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144632513","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Evaluations of Eisenstein sums","authors":"Ron Evans , Mark Van Veen","doi":"10.1016/j.ffa.2025.102698","DOIUrl":"10.1016/j.ffa.2025.102698","url":null,"abstract":"<div><div>Let <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub></math></span> be a field of <span><math><mi>q</mi><mo>=</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>r</mi></mrow></msup></math></span> elements. For<span><span><span><math><mrow><mi>k</mi><mo>=</mo><mn>9</mn><mo>,</mo><mn>11</mn><mo>,</mo><mn>13</mn><mo>,</mo><mn>14</mn><mo>,</mo><mn>15</mn><mo>,</mo><mn>16</mn><mo>,</mo><mn>18</mn><mo>,</mo><mn>20</mn><mo>,</mo><mn>22</mn><mo>,</mo><mn>23</mn><mo>,</mo><mn>26</mn><mo>,</mo><mn>30</mn><mo>,</mo><mn>46</mn></mrow></math></span></span></span> we evaluate Eisenstein sums of order <em>k</em> over <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub></math></span> when <em>r</em> is the smallest positive integer for which <span><math><msup><mrow><mi>p</mi></mrow><mrow><mi>r</mi></mrow></msup><mo>≡</mo><mn>1</mn><mspace></mspace><mo>(</mo><mrow><mi>mod</mi></mrow><mspace></mspace><mi>k</mi><mo>)</mo></math></span>.</div></div>","PeriodicalId":50446,"journal":{"name":"Finite Fields and Their Applications","volume":"109 ","pages":"Article 102698"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144596554","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On an Erdős-type conjecture on Fq[x]","authors":"Rongyin Wang","doi":"10.1016/j.ffa.2025.102720","DOIUrl":"10.1016/j.ffa.2025.102720","url":null,"abstract":"<div><div>P. Erdős conjectured in 1962 that on the ring <span><math><mi>Z</mi></math></span>, every set of <em>n</em> congruence classes in <span><math><mi>Z</mi></math></span> that covers the first <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>n</mi></mrow></msup></math></span> positive integers also covers the ring <span><math><mi>Z</mi></math></span>. This conjecture was first confirmed in 1970 by R. B. Crittenden and C. L. Vanden Eynden. Later, in 2019, P. Balister, B. Bollobás, R. Morris, J. Sahasrabudhe, and M. Tiba provided a more transparent proof. In this paper, we follow the approach used by R. B. Crittenden and C. L. Vanden Eynden to prove the generalized Erdős' conjecture in the setting of polynomial rings over finite fields. We prove that every set of <em>n</em> cosets of ideals in <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>[</mo><mi>x</mi><mo>]</mo></math></span> that covers all polynomials whose degree is less than <em>n</em> covers the ring <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>[</mo><mi>x</mi><mo>]</mo></math></span>.</div></div>","PeriodicalId":50446,"journal":{"name":"Finite Fields and Their Applications","volume":"109 ","pages":"Article 102720"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144988706","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Square values of several polynomials over a finite field","authors":"Kaloyan Slavov","doi":"10.1016/j.ffa.2025.102696","DOIUrl":"10.1016/j.ffa.2025.102696","url":null,"abstract":"<div><div>Let <span><math><msub><mrow><mi>f</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>f</mi></mrow><mrow><mi>m</mi></mrow></msub></math></span> be polynomials in <em>n</em> variables with coefficients in a finite field <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub></math></span>. We estimate the number of points <span><math><munder><mrow><mi>x</mi></mrow><mo>_</mo></munder></math></span> in <span><math><msubsup><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow><mrow><mi>n</mi></mrow></msubsup></math></span> such that each value <span><math><msub><mrow><mi>f</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>(</mo><munder><mrow><mi>x</mi></mrow><mo>_</mo></munder><mo>)</mo></math></span> is a nonzero square in <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub></math></span>. The error term is especially small when the <span><math><msub><mrow><mi>f</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> define smooth projective quadrics with nonsingular intersections. We improve the error term in a recent work by Asgarli–Yip on mutual position of smooth quadrics.</div></div>","PeriodicalId":50446,"journal":{"name":"Finite Fields and Their Applications","volume":"109 ","pages":"Article 102696"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144596553","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Closed formulas for the generators of all constacyclic codes and for the factorization of Xn − 1, the n-th cyclotomic polynomial and every composition of the form f(Xn) over a finite field for arbitrary positive integers n","authors":"Anna-Maurin Graner","doi":"10.1016/j.ffa.2025.102695","DOIUrl":"10.1016/j.ffa.2025.102695","url":null,"abstract":"<div><div>In this paper we present the solution to four 150 year-old closely related problems in the study of polynomials and algebraic codes over a finite field <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub></math></span>. We give <em>one closed formula each</em> for the factorization of the polynomials <span><math><msup><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>−</mo><mi>a</mi></math></span> for arbitrary <span><math><mi>a</mi><mo>∈</mo><msubsup><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow><mrow><mo>⁎</mo></mrow></msubsup></math></span>, <span><math><msup><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>−</mo><mn>1</mn></math></span>, the <em>n</em>-th cyclotomic polynomial and the composition <span><math><mi>f</mi><mo>(</mo><msup><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>)</mo></math></span> for arbitrary monic irreducible polynomials <span><math><mi>f</mi><mo>∈</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>[</mo><mi>X</mi><mo>]</mo></math></span>, <span><math><mi>f</mi><mo>≠</mo><mi>X</mi></math></span>, for <em>arbitrary positive integers n.</em> With a new perspective on these problems we show that the factorization of <span><math><msup><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>−</mo><mi>a</mi></math></span> has a beautiful underlying structure which is completely determined by the order of <em>a</em> in the multiplicative group <span><math><msubsup><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow><mrow><mo>⁎</mo></mrow></msubsup></math></span>.</div><div>The binomial <span><math><msup><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>−</mo><mi>a</mi></math></span> and the composition <span><math><mi>f</mi><mo>(</mo><msup><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>)</mo></math></span> were first considered over prime fields by Joseph Alfred Serret in 1866. In recent years, the factorization of <span><math><msup><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>−</mo><mi>a</mi></math></span> has been studied extensively due to the fact that its factors are the generators of the popular constacyclic codes over finite fields. The factorization of <span><math><msup><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>−</mo><mn>1</mn></math></span> and of its famous factor, the <em>n</em>-th cyclotomic polynomial, was first studied over prime fields by Carl Friedrich Gauss (among others) in the middle of the 19th century. Since then, many mathematicians were fascinated by this factorization and nowadays it is needed for the construction of the cyclic codes over finite fields.</div><div>Many formulas for the factorization of the four polynomials for special choices of <em>n</em> and <em>a</em> were obtained by a large number of mathematicians. Our formulas naturally extend, cover, combine and complete all of these partial solutions.</div></div>","PeriodicalId":50446,"journal":{"name":"Finite Fields and Their Applications","volume":"109 ","pages":"Article 102695"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144596934","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A new construction of maximally recoverable codes with hierarchical locality","authors":"Rajendra Prasad Rajpurohit, Maheshanand Bhaintwal","doi":"10.1016/j.ffa.2025.102686","DOIUrl":"10.1016/j.ffa.2025.102686","url":null,"abstract":"<div><div>In this paper, we present a novel construction of maximally recoverable codes with two-level hierarchical locality using a parity-check matrix approach. The construction given in this paper utilizes Gabidulin codes for mid-level heavy parities and linearized Reed-Solomon codes for global heavy parities. When the number of local sets is small, this construction performs better than the previously known constructions as the field size required in our construction is smaller for such cases, making it useful for practical scenarios in distributed data storage systems. We also consider a special case of our construction when the number of global parities is fixed and is equal to 1. In this case, our construction performs better when the number of local sets is small and the number of mid-level parities is even.</div></div>","PeriodicalId":50446,"journal":{"name":"Finite Fields and Their Applications","volume":"109 ","pages":"Article 102686"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144570348","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}