Pub Date : 2024-07-08DOI: 10.1016/j.ffa.2024.102464
M. Buratti , A. Pasotti
The notion of a Heffter array, which received much attention in the last decade, is equivalent to a pair of orthogonal Heffter systems. In this paper we study the existence problem of a set of r mutually orthogonal Heffter systems for any r. Such a set is equivalent to a resolvable partial linear space of degree r whose parallel classes are Heffter systems: this is a new combinatorial design that we call a Heffter space. We present a series of direct constructions of Heffter spaces with odd block size and arbitrarily large degree r obtained with the crucial use of finite fields. Among the applications we establish, in particular, that if is a prime power with kw odd and , then there are at least mutually orthogonal k-cycle systems of order q.
赫夫特阵列的概念在过去十年中备受关注,它等价于一对正交赫夫特系统。在本文中,我们研究了任意 r 的 r 个相互正交的赫夫特系统集合的存在性问题。这样的集合等价于一个度数为 r 的可解析偏线性空间,其并行类是赫夫特系统:这是一种新的组合设计,我们称之为赫夫特空间。我们介绍了一系列直接构造的赫夫特空间,这些空间具有奇数块大小和任意大的度数 r,是利用有限域获得的。在这些应用中,我们特别指出,如果 q=2kw+1 是 kw 为奇数且 k≥3 的素数幂,那么至少有 ⌈w4k4⌉ 个相互正交的 q 阶 k 循环系统。
{"title":"Heffter spaces","authors":"M. Buratti , A. Pasotti","doi":"10.1016/j.ffa.2024.102464","DOIUrl":"https://doi.org/10.1016/j.ffa.2024.102464","url":null,"abstract":"<div><p>The notion of a Heffter array, which received much attention in the last decade, is equivalent to a pair of orthogonal Heffter systems. In this paper we study the existence problem of a set of <em>r</em> mutually orthogonal Heffter systems for any <em>r</em>. Such a set is equivalent to a resolvable partial linear space of degree <em>r</em> whose parallel classes are Heffter systems: this is a new combinatorial design that we call a <em>Heffter space</em>. We present a series of direct constructions of Heffter spaces with odd block size and arbitrarily large degree <em>r</em> obtained with the crucial use of finite fields. Among the applications we establish, in particular, that if <span><math><mi>q</mi><mo>=</mo><mn>2</mn><mi>k</mi><mi>w</mi><mo>+</mo><mn>1</mn></math></span> is a prime power with <em>kw</em> odd and <span><math><mi>k</mi><mo>≥</mo><mn>3</mn></math></span>, then there are at least <span><math><mo>⌈</mo><mfrac><mrow><mi>w</mi></mrow><mrow><mn>4</mn><msup><mrow><mi>k</mi></mrow><mrow><mn>4</mn></mrow></msup></mrow></mfrac><mo>⌉</mo></math></span> mutually orthogonal <em>k</em>-cycle systems of order <em>q</em>.</p></div>","PeriodicalId":50446,"journal":{"name":"Finite Fields and Their Applications","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141593494","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}
Pub Date : 2024-07-08DOI: 10.1016/j.ffa.2024.102465
Kathrin Bringmann , Ben Kane , Sudhir Pujahari
In this paper, we consider the moments of the trace of Frobenius of elliptic curves if the trace is restricted to a fixed arithmetic progression. We determine the asymptotic behavior for the ratio of the -th moment to the zeroeth moment as the size of the finite field goes to infinity. These results follow from similar asymptotic formulas relating sums and moments of Hurwitz class numbers where the sums are restricted to certain arithmetic progressions. As an application, we prove that the distribution of the trace of Frobenius in arithmetic progressions is equidistributed with respect to the Sato–Tate measure.
{"title":"Odd moments for the trace of Frobenius and the Sato–Tate conjecture in arithmetic progressions","authors":"Kathrin Bringmann , Ben Kane , Sudhir Pujahari","doi":"10.1016/j.ffa.2024.102465","DOIUrl":"https://doi.org/10.1016/j.ffa.2024.102465","url":null,"abstract":"<div><p>In this paper, we consider the moments of the trace of Frobenius of elliptic curves if the trace is restricted to a fixed arithmetic progression. We determine the asymptotic behavior for the ratio of the <span><math><mo>(</mo><mn>2</mn><mi>k</mi><mo>+</mo><mn>1</mn><mo>)</mo></math></span>-th moment to the zeroeth moment as the size of the finite field <span><math><msub><mrow><mi>F</mi></mrow><mrow><msup><mrow><mi>p</mi></mrow><mrow><mi>r</mi></mrow></msup></mrow></msub></math></span> goes to infinity. These results follow from similar asymptotic formulas relating sums and moments of Hurwitz class numbers where the sums are restricted to certain arithmetic progressions. As an application, we prove that the distribution of the trace of Frobenius in arithmetic progressions is equidistributed with respect to the Sato–Tate measure.</p></div>","PeriodicalId":50446,"journal":{"name":"Finite Fields and Their Applications","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141593493","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}
Pub Date : 2024-06-27DOI: 10.1016/j.ffa.2024.102451
Moubariz Z. Garaev , Igor E. Shparlinski
Let be a fixed small constant, be the finite field of p elements for prime p. We consider additive and multiplicative problems in that involve intervals and arbitrary sets. Representative examples of our results are as follows. Let be an arbitrary subset of . If and or if and then all, but elements of can be represented in the form hm with and , where depends only on ε. Furthermore, let be an arbitrary interval of length H and s be a fixed positive integer. If then the number of solutions to the congruence
让 ε>0 是一个固定的小常数,Fp 是素数 p 的 p 元素有限域。我们考虑 Fp 中涉及区间和任意集合的加法和乘法问题。我们的代表性结果举例如下。设 M 是 Fp 的任意子集。如果 #M>p1/3+ε 和 H⩾p2/3,或者如果 #M>p3/5+ε 和 H⩾p3/5+ε,那么除了 O(p1-δ)个元素外,Fp 的所有元素都可以用 hm 的形式表示,其中 h∈[1,H],m∈M,δ>0 只取决于 ε。此外,设 X 是长度为 H 的任意区间,s 是一个固定的正整数。若 H>p17/35+ε,#M>p17/35+ε,则全等m1x1s+m2x2s+m3x3s+m4x4s+m5x5s+m6x6s≡λmodp,mi∈M,xi∈X,i=1,...,6 的解的个数 T6(λ)满足T6(λ)=H6(#M)6p(1+O(p-δ))。
{"title":"On some congruences and exponential sums","authors":"Moubariz Z. Garaev , Igor E. Shparlinski","doi":"10.1016/j.ffa.2024.102451","DOIUrl":"https://doi.org/10.1016/j.ffa.2024.102451","url":null,"abstract":"<div><p>Let <span><math><mi>ε</mi><mo>></mo><mn>0</mn></math></span> be a fixed small constant, <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span> be the finite field of <em>p</em> elements for prime <em>p</em>. We consider additive and multiplicative problems in <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span> that involve intervals and arbitrary sets. Representative examples of our results are as follows. Let <span><math><mi>M</mi></math></span> be an arbitrary subset of <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span>. If <span><math><mi>#</mi><mi>M</mi><mo>></mo><msup><mrow><mi>p</mi></mrow><mrow><mn>1</mn><mo>/</mo><mn>3</mn><mo>+</mo><mi>ε</mi></mrow></msup></math></span> and <span><math><mi>H</mi><mo>⩾</mo><msup><mrow><mi>p</mi></mrow><mrow><mn>2</mn><mo>/</mo><mn>3</mn></mrow></msup></math></span> or if <span><math><mi>#</mi><mi>M</mi><mo>></mo><msup><mrow><mi>p</mi></mrow><mrow><mn>3</mn><mo>/</mo><mn>5</mn><mo>+</mo><mi>ε</mi></mrow></msup></math></span> and <span><math><mi>H</mi><mo>⩾</mo><msup><mrow><mi>p</mi></mrow><mrow><mn>3</mn><mo>/</mo><mn>5</mn><mo>+</mo><mi>ε</mi></mrow></msup></math></span> then all, but <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>p</mi></mrow><mrow><mn>1</mn><mo>−</mo><mi>δ</mi></mrow></msup><mo>)</mo></math></span> elements of <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span> can be represented in the form <em>hm</em> with <span><math><mi>h</mi><mo>∈</mo><mo>[</mo><mn>1</mn><mo>,</mo><mi>H</mi><mo>]</mo></math></span> and <span><math><mi>m</mi><mo>∈</mo><mi>M</mi></math></span>, where <span><math><mi>δ</mi><mo>></mo><mn>0</mn></math></span> depends only on <em>ε</em>. Furthermore, let <span><math><mi>X</mi></math></span> be an arbitrary interval of length <em>H</em> and <em>s</em> be a fixed positive integer. If<span><span><span><math><mi>H</mi><mo>></mo><msup><mrow><mi>p</mi></mrow><mrow><mn>17</mn><mo>/</mo><mn>35</mn><mo>+</mo><mi>ε</mi></mrow></msup><mo>,</mo><mspace></mspace><mi>#</mi><mi>M</mi><mo>></mo><msup><mrow><mi>p</mi></mrow><mrow><mn>17</mn><mo>/</mo><mn>35</mn><mo>+</mo><mi>ε</mi></mrow></msup><mo>,</mo></math></span></span></span> then the number <span><math><msub><mrow><mi>T</mi></mrow><mrow><mn>6</mn></mrow></msub><mo>(</mo><mi>λ</mi><mo>)</mo></math></span> of solutions to the congruence<span><span><span><math><mfrac><mrow><msub><mrow><mi>m</mi></mrow><mrow><mn>1</mn></mrow></msub></mrow><mrow><msubsup><mrow><mi>x</mi></mrow><mrow><mn>1</mn></mrow><mrow><mi>s</mi></mrow></msubsup></mrow></mfrac><mo>+</mo><mfrac><mrow><msub><mrow><mi>m</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow><mrow><msubsup><mrow><mi>x</mi></mrow><mrow><mn>2</mn></mrow><mrow><mi>s</mi></mrow></msubsup></mrow></mfrac><mo>+</mo><mfrac><mrow><msub><mrow><mi>m</mi></mrow><mrow><mn>3</mn></mrow></msub></mrow><mrow><msubsup><mrow><mi>x</mi></mrow><mrow><mn>3","PeriodicalId":50446,"journal":{"name":"Finite Fields and Their Applications","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S107157972400090X/pdfft?md5=73d751bad88083ca796c715f3b4d9bad&pid=1-s2.0-S107157972400090X-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141485792","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-25DOI: 10.1016/j.ffa.2024.102462
Mrinmoy Datta , Subrata Manna
It was conjectured by Edoukou in 2008 that a non-degenerate Hermitian threefold in has at most points in common with a threefold of degree d defined over . He proved the conjecture for . In this paper, we show that the conjecture is true for and .
{"title":"Maximum number of points on an intersection of a cubic threefold and a non-degenerate Hermitian threefold","authors":"Mrinmoy Datta , Subrata Manna","doi":"10.1016/j.ffa.2024.102462","DOIUrl":"https://doi.org/10.1016/j.ffa.2024.102462","url":null,"abstract":"<div><p>It was conjectured by Edoukou in 2008 that a non-degenerate Hermitian threefold in <span><math><msup><mrow><mi>P</mi></mrow><mrow><mn>4</mn></mrow></msup><mo>(</mo><msub><mrow><mi>F</mi></mrow><mrow><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn></mrow></msup></mrow></msub><mo>)</mo></math></span> has at most <span><math><mi>d</mi><mo>(</mo><msup><mrow><mi>q</mi></mrow><mrow><mn>5</mn></mrow></msup><mo>+</mo><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo><mo>+</mo><msup><mrow><mi>q</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>+</mo><mn>1</mn></math></span> points in common with a threefold of degree <em>d</em> defined over <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>. He proved the conjecture for <span><math><mi>d</mi><mo>=</mo><mn>2</mn></math></span>. In this paper, we show that the conjecture is true for <span><math><mi>d</mi><mo>=</mo><mn>3</mn></math></span> and <span><math><mi>q</mi><mo>≥</mo><mn>7</mn></math></span>.</p></div>","PeriodicalId":50446,"journal":{"name":"Finite Fields and Their Applications","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141485824","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}
Pub Date : 2024-06-25DOI: 10.1016/j.ffa.2024.102453
Cheng Lyu, Xiaoqiang Wang, Dabin Zheng
Let be a finite field with elements. Ness and Helleseth in [29] first studied a class of functions over with the form , which is called the Ness-Helleseth function. The has been proved to be an almost perfect nonlinear (APN) function by Ness and Helleseth for in [29] and by Zeng et al. for any odd prime p in [43] under the condition and . In this paper, we continue to study the Ness-Helleseth functions under the condition that and . Firstly, we prove that is a permutation polynomial with differential uniformity not more than 4 if . Moreover, for some more special u, f is an involution with differential uniformity at most 3. Secondly, we show that is a locally-APN function for . In addition, the differential spectrum and boomerang spectrum of
{"title":"A further study on the Ness-Helleseth function","authors":"Cheng Lyu, Xiaoqiang Wang, Dabin Zheng","doi":"10.1016/j.ffa.2024.102453","DOIUrl":"https://doi.org/10.1016/j.ffa.2024.102453","url":null,"abstract":"<div><p>Let <span><math><msub><mrow><mi>F</mi></mrow><mrow><msup><mrow><mi>p</mi></mrow><mrow><mi>n</mi></mrow></msup></mrow></msub></math></span> be a finite field with <span><math><msup><mrow><mi>p</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span> elements. Ness and Helleseth in <span>[29]</span> first studied a class of functions over <span><math><msub><mrow><mi>F</mi></mrow><mrow><msup><mrow><mi>p</mi></mrow><mrow><mi>n</mi></mrow></msup></mrow></msub></math></span> with the form <span><math><mi>f</mi><mo>(</mo><mi>x</mi><mo>)</mo><mo>=</mo><mi>u</mi><msup><mrow><mi>x</mi></mrow><mrow><mfrac><mrow><msup><mrow><mi>p</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>−</mo><mn>3</mn></mrow><mrow><mn>2</mn></mrow></mfrac></mrow></msup><mo>+</mo><msup><mrow><mi>x</mi></mrow><mrow><msup><mrow><mi>p</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>−</mo><mn>2</mn></mrow></msup><mo>,</mo><mspace></mspace><mi>u</mi><mo>∈</mo><msubsup><mrow><mi>F</mi></mrow><mrow><msup><mrow><mi>p</mi></mrow><mrow><mi>n</mi></mrow></msup></mrow><mrow><mo>⁎</mo></mrow></msubsup></math></span>, which is called the Ness-Helleseth function. The <span><math><mi>f</mi><mo>(</mo><mi>x</mi><mo>)</mo></math></span> has been proved to be an almost perfect nonlinear (APN) function by Ness and Helleseth for <span><math><mi>p</mi><mo>=</mo><mn>3</mn></math></span> in <span>[29]</span> and by Zeng et al. for any odd prime <em>p</em> in <span>[43]</span> under the condition <span><math><msup><mrow><mi>p</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>≡</mo><mn>3</mn><mspace></mspace><mo>(</mo><mrow><mi>mod</mi></mrow><mspace></mspace><mn>4</mn><mo>)</mo></math></span> and <span><math><mi>η</mi><mo>(</mo><mn>1</mn><mo>+</mo><mi>u</mi><mo>)</mo><mo>=</mo><mi>η</mi><mo>(</mo><mi>u</mi><mo>−</mo><mn>1</mn><mo>)</mo></math></span>. In this paper, we continue to study the Ness-Helleseth functions under the condition that <span><math><msup><mrow><mi>p</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>≡</mo><mn>3</mn><mspace></mspace><mo>(</mo><mrow><mi>mod</mi></mrow><mspace></mspace><mn>4</mn><mo>)</mo></math></span> and <span><math><mi>η</mi><mo>(</mo><mn>1</mn><mo>+</mo><mi>u</mi><mo>)</mo><mo>≠</mo><mi>η</mi><mo>(</mo><mi>u</mi><mo>−</mo><mn>1</mn><mo>)</mo></math></span>. Firstly, we prove that <span><math><mi>f</mi><mo>(</mo><mi>x</mi><mo>)</mo></math></span> is a permutation polynomial with differential uniformity not more than 4 if <span><math><mi>η</mi><mo>(</mo><mn>1</mn><mo>+</mo><mi>u</mi><mo>)</mo><mo>=</mo><mi>η</mi><mo>(</mo><mn>1</mn><mo>−</mo><mi>u</mi><mo>)</mo></math></span>. Moreover, for some more special <em>u</em>, <em>f</em> is an involution with differential uniformity at most 3. Secondly, we show that <span><math><mi>f</mi><mo>(</mo><mi>x</mi><mo>)</mo></math></span> is a locally-APN function for <span><math><mi>u</mi><mo>=</mo><mo>±</mo><mn>1</mn></math></span>. In addition, the differential spectrum and boomerang spectrum of <span><math><mi>f</mi><mo>(</mo><mi>x</mi><mo>)</","PeriodicalId":50446,"journal":{"name":"Finite Fields and Their Applications","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141482840","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}
Pub Date : 2024-06-25DOI: 10.1016/j.ffa.2024.102463
Cian Jameson, John Sheekey
In this paper we completely classify spreads of 2-dimensional subspaces of a 6-dimensional vector space over a finite field of characteristic not two or three upon which a cyclic group acts transitively. This addresses one of the remaining open cases in the classification of flag-transitive linear spaces. We utilise the polynomial approach innovated by Pauley and Bamberg to obtain our results.
{"title":"Cyclic 2-spreads in V(6,q) and flag-transitive linear spaces","authors":"Cian Jameson, John Sheekey","doi":"10.1016/j.ffa.2024.102463","DOIUrl":"https://doi.org/10.1016/j.ffa.2024.102463","url":null,"abstract":"<div><p>In this paper we completely classify spreads of 2-dimensional subspaces of a 6-dimensional vector space over a finite field of characteristic not two or three upon which a cyclic group acts transitively. This addresses one of the remaining open cases in the classification of flag-transitive linear spaces. We utilise the polynomial approach innovated by Pauley and Bamberg to obtain our results.</p></div>","PeriodicalId":50446,"journal":{"name":"Finite Fields and Their Applications","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S1071579724001023/pdfft?md5=cd6ef2ef8226a10487b87f668b7b3d4e&pid=1-s2.0-S1071579724001023-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141485873","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-21DOI: 10.1016/j.ffa.2024.102450
Barbara Gatti , Gábor Korchmáros
A (projective, geometrically irreducible, non-singular) curve defined over a finite field is maximal if the number of its -rational points attains the Hasse-Weil upper bound, that is where is the genus of . An important question, also motivated by applications to algebraic-geometry codes, is to find explicit equations for maximal curves. For a few curves which are Galois covered of the Hermitian curve, this has been done so far ad hoc, in particular in the cases where the Galois group has prime order. In this paper we obtain explicit equations of all Galois covers of the Hermitian curve with Galois group of order where p is the characteristic of . Doing so we also determine the -isomorphism classes of such curves and describe their full -automorphism groups.
如果在有限域 Fq2 上定义的(投影的、几何上不可还原的、非奇异的)曲线 X 的 Fq2 有理点数 Nq2 达到哈塞-韦尔(Hasse-Weil)上限,即 Nq2=q2+2gq+1 其中 g 是 X 的属。迄今为止,对于赫尔墨斯曲线的伽罗瓦覆盖的一些曲线,特别是在伽罗瓦群有素数阶的情况下,人们已经临时完成了这一工作。在本文中,我们得到了赫尔墨斯曲线的所有伽罗华盖的明确方程,这些曲线的伽罗华群为 p2 阶,其中 p 是 Fq2 的特征。为此,我们还确定了这些曲线的 Fq2-同构类,并描述了它们的全 Fq2-同构群。
{"title":"Galois subcovers of the Hermitian curve in characteristic p with respect to subgroups of order p2","authors":"Barbara Gatti , Gábor Korchmáros","doi":"10.1016/j.ffa.2024.102450","DOIUrl":"https://doi.org/10.1016/j.ffa.2024.102450","url":null,"abstract":"<div><p>A (projective, geometrically irreducible, non-singular) curve <span><math><mi>X</mi></math></span> defined over a finite field <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> is <em>maximal</em> if the number <span><math><msub><mrow><mi>N</mi></mrow><mrow><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn></mrow></msup></mrow></msub></math></span> of its <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 points attains the Hasse-Weil upper bound, that is <span><math><msub><mrow><mi>N</mi></mrow><mrow><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn></mrow></msup></mrow></msub><mo>=</mo><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>+</mo><mn>2</mn><mi>g</mi><mi>q</mi><mo>+</mo><mn>1</mn></math></span> where <span><math><mi>g</mi></math></span> is the genus of <span><math><mi>X</mi></math></span>. An important question, also motivated by applications to algebraic-geometry codes, is to find explicit equations for maximal curves. For a few curves which are Galois covered of the Hermitian curve, this has been done so far ad hoc, in particular in the cases where the Galois group has prime order. In this paper we obtain explicit equations of all Galois covers of the Hermitian curve with Galois group of order <span><math><msup><mrow><mi>p</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span> where <em>p</em> is the characteristic 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>. Doing so we also determine the <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>-isomorphism classes of such curves and describe their full <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>-automorphism groups.</p></div>","PeriodicalId":50446,"journal":{"name":"Finite Fields and Their Applications","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S1071579724000893/pdfft?md5=4d7dc430a08ae7fb7ea1e9c89490e861&pid=1-s2.0-S1071579724000893-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141438233","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-19DOI: 10.1016/j.ffa.2024.102452
Roberto La Scala , Federico Pintore , Sharwan K. Tiwari , Andrea Visconti
In this paper we introduce a multistep generalization of the guess-and-determine or hybrid strategy for solving a system of multivariate polynomial equations over a finite field. In particular, we propose performing the exhaustive evaluation of a subset of variables stepwise, that is, by incrementing the size of such subset each time that an evaluation leads to a polynomial system which is possibly unfeasible to solve. The decision about which evaluation to extend is based on a preprocessing consisting in computing an incomplete Gröbner basis after the current evaluation, which possibly generates linear polynomials that are used to eliminate further variables. If the number of remaining variables in the system is deemed still too high, the evaluation is extended and the preprocessing is iterated. Otherwise, we solve the system by a complete Gröbner basis computation.
Having in mind cryptanalytic applications, we present an implementation of this strategy in an algorithm called MultiSolve which is designed for polynomial systems having at most one solution. We prove explicit formulas for its complexity which are based on probability distributions that can be easily estimated by performing the proposed preprocessing on a testset of evaluations for different subsets of variables. We prove that an optimal complexity of MultiSolve is achieved by using a full multistep strategy with a maximum number of steps and in turn the standard guess-and-determine strategy, which essentially is a strategy consisting of a single step, is the worst choice. Finally, we extensively study the behaviour of MultiSolve when performing an algebraic attack on the well-known stream cipher Trivium.
{"title":"A multistep strategy for polynomial system solving over finite fields and a new algebraic attack on the stream cipher Trivium","authors":"Roberto La Scala , Federico Pintore , Sharwan K. Tiwari , Andrea Visconti","doi":"10.1016/j.ffa.2024.102452","DOIUrl":"https://doi.org/10.1016/j.ffa.2024.102452","url":null,"abstract":"<div><p>In this paper we introduce a multistep generalization of the guess-and-determine or hybrid strategy for solving a system of multivariate polynomial equations over a finite field. In particular, we propose performing the exhaustive evaluation of a subset of variables stepwise, that is, by incrementing the size of such subset each time that an evaluation leads to a polynomial system which is possibly unfeasible to solve. The decision about which evaluation to extend is based on a preprocessing consisting in computing an incomplete Gröbner basis after the current evaluation, which possibly generates linear polynomials that are used to eliminate further variables. If the number of remaining variables in the system is deemed still too high, the evaluation is extended and the preprocessing is iterated. Otherwise, we solve the system by a complete Gröbner basis computation.</p><p>Having in mind cryptanalytic applications, we present an implementation of this strategy in an algorithm called <span>MultiSolve</span> which is designed for polynomial systems having at most one solution. We prove explicit formulas for its complexity which are based on probability distributions that can be easily estimated by performing the proposed preprocessing on a testset of evaluations for different subsets of variables. We prove that an optimal complexity of <span>MultiSolve</span> is achieved by using a full multistep strategy with a maximum number of steps and in turn the standard guess-and-determine strategy, which essentially is a strategy consisting of a single step, is the worst choice. Finally, we extensively study the behaviour of <span>MultiSolve</span> when performing an algebraic attack on the well-known stream cipher <span>Trivium</span>.</p></div>","PeriodicalId":50446,"journal":{"name":"Finite Fields and Their Applications","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141429874","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}
Pub Date : 2024-06-07DOI: 10.1016/j.ffa.2024.102449
Daniele Bartoli , Giovanni Longobardi , Giuseppe Marino , Marco Timpanella
In recent years, several families of scattered polynomials have been investigated in the literature. However, most of them only exist in odd characteristic. In [9], [24], the authors proved that the trinomial of is scattered under the assumptions that q is odd and . They also explicitly observed that this is false when q is even. In this paper, we provide a different set of conditions on c for which this trinomial is scattered in the case of even q. Using tools of algebraic geometry in positive characteristic, we show that when q is even and sufficiently large, there are roughly elements such that is scattered. Also, we prove that the corresponding MRD-codes and -linear sets of are not equivalent to the previously known ones.
{"title":"Scattered trinomials of Fq6[X] in even characteristic","authors":"Daniele Bartoli , Giovanni Longobardi , Giuseppe Marino , Marco Timpanella","doi":"10.1016/j.ffa.2024.102449","DOIUrl":"https://doi.org/10.1016/j.ffa.2024.102449","url":null,"abstract":"<div><p>In recent years, several families of scattered polynomials have been investigated in the literature. However, most of them only exist in odd characteristic. In <span>[9]</span>, <span>[24]</span>, the authors proved that the trinomial <span><math><msub><mrow><mi>f</mi></mrow><mrow><mi>c</mi></mrow></msub><mo>(</mo><mi>X</mi><mo>)</mo><mo>=</mo><msup><mrow><mi>X</mi></mrow><mrow><mi>q</mi></mrow></msup><mo>+</mo><msup><mrow><mi>X</mi></mrow><mrow><msup><mrow><mi>q</mi></mrow><mrow><mn>3</mn></mrow></msup></mrow></msup><mo>+</mo><mi>c</mi><msup><mrow><mi>X</mi></mrow><mrow><msup><mrow><mi>q</mi></mrow><mrow><mn>5</mn></mrow></msup></mrow></msup></math></span> of <span><math><msub><mrow><mi>F</mi></mrow><mrow><msup><mrow><mi>q</mi></mrow><mrow><mn>6</mn></mrow></msup></mrow></msub><mo>[</mo><mi>X</mi><mo>]</mo></math></span> is scattered under the assumptions that <em>q</em> is odd and <span><math><msup><mrow><mi>c</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>+</mo><mi>c</mi><mo>=</mo><mn>1</mn></math></span>. They also explicitly observed that this is false when <em>q</em> is even. In this paper, we provide a different set of conditions on <em>c</em> for which this trinomial is scattered in the case of even <em>q</em>. Using tools of algebraic geometry in positive characteristic, we show that when <em>q</em> is even and sufficiently large, there are roughly <span><math><msup><mrow><mi>q</mi></mrow><mrow><mn>3</mn></mrow></msup></math></span> elements <span><math><mi>c</mi><mo>∈</mo><msub><mrow><mi>F</mi></mrow><mrow><msup><mrow><mi>q</mi></mrow><mrow><mn>6</mn></mrow></msup></mrow></msub></math></span> such that <span><math><msub><mrow><mi>f</mi></mrow><mrow><mi>c</mi></mrow></msub><mo>(</mo><mi>X</mi><mo>)</mo></math></span> is scattered. Also, we prove that the corresponding MRD-codes and <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub></math></span>-linear sets of <span><math><mrow><mi>PG</mi></mrow><mo>(</mo><mn>1</mn><mo>,</mo><msup><mrow><mi>q</mi></mrow><mrow><mn>6</mn></mrow></msup><mo>)</mo></math></span> are not equivalent to the previously known ones.</p></div>","PeriodicalId":50446,"journal":{"name":"Finite Fields and Their Applications","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S1071579724000881/pdfft?md5=8a841f52ac38f09246cba1d4c920247c&pid=1-s2.0-S1071579724000881-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141286330","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-05DOI: 10.1016/j.ffa.2024.102448
R. Toledano , M. Vides
We construct algebraic-geometry codes by using projective systems from projective curves over a finite field and the global sections of invertible sheaves on these curves. We also prove a formula for the Hilbert function of a finite set of points in a projective space in terms of the rank of a matrix constructed with the Veronese embedding and we use it to estimate the minimum distance of the dual codes.
{"title":"On the P-construction of algebraic-geometry codes","authors":"R. Toledano , M. Vides","doi":"10.1016/j.ffa.2024.102448","DOIUrl":"https://doi.org/10.1016/j.ffa.2024.102448","url":null,"abstract":"<div><p>We construct algebraic-geometry codes by using projective systems from projective curves over a finite field and the global sections of invertible sheaves on these curves. We also prove a formula for the Hilbert function of a finite set of points in a projective space in terms of the rank of a matrix constructed with the Veronese embedding and we use it to estimate the minimum distance of the dual codes.</p></div>","PeriodicalId":50446,"journal":{"name":"Finite Fields and Their Applications","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141264015","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}