<p>In this paper, we investigate several classes of permutation pentanomials over <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1673_Article_IEq1.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathbb {F}}}_{2^{2m}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <msup> <mn>2</mn> <mrow> <mn>2</mn> <mi>m</mi> </mrow> </msup> </msub> </math></EquationSource> </InlineEquation> of the form <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1673_Article_IEq2.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="409" /> </InlineMediaObject> <EquationSource Format="TEX">\(f(x)=x^t+x^{r_1(q-1)+t}+x^{r_2(q-1)+t}+x^{r_3(q-1)+t}+x^{r_4(q-1)+t}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mi>x</mi> <mi>t</mi> </msup> <mo>+</mo> <msup> <mi>x</mi> <mrow> <msub> <mi>r</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>t</mi> </mrow> </msup> <mo>+</mo> <msup> <mi>x</mi> <mrow> <msub> <mi>r</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>t</mi> </mrow> </msup> <mo>+</mo> <msup> <mi>x</mi> <mrow> <msub> <mi>r</mi> <mn>3</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>t</mi> </mrow> </msup> <mo>+</mo> <msup> <mi>x</mi> <mrow> <msub> <mi>r</mi> <mn>4</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>t</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1673_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="76" /> </InlineMediaObject> <EquationSource Format="TEX">\( 1\le r_i\le t\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <msub> <mi>r</mi> <mi>i</mi> </msub> <mo>≤</mo> <mi>t</mi> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1673_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\(i\in [1,4]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>1</mn> <mo>,</mo> <mn>4</mn> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>. A new technique is presented to describe the sufficient condition for <i>f</i>(<i>x</i>) to be a permutation through investigating two kinds of irreducible factors, which are called polynomials of nonzero trace and zero trace, of some certain polynomials over <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1673_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathbb {F}}}_{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>. We resolve the open problem the authors left in Zhang et al. (Finite Fields Appl 98:102468, 2024). Numerical results suggest that the results in this paper seem to contain all the permutation pentanomials of that form with <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1673_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="479" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{gcd}(x^{r_4}+x^{r_3}+x^{r_2}+x^{r_1}+1,x^t+x^{t-r_1}+x^{t-r_2}+x^{t-r_3}+x^{t-r_4})=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>gcd</mtext> <mo stretchy="false">(</mo> <msup> <mi>x</mi> <msub> <mi>r</mi> <mn>4</mn> </msub> </msup> <mo>+</mo> <msup> <mi>x</mi> <msub> <mi>r</mi> <mn>3</mn> </msub> </msup> <mo>+</mo> <msup> <mi>x</mi> <msub> <mi>r</mi> <mn>2</mn> </msub> </msup> <mo>+</mo> <msup> <mi>x</mi> <msub> <mi>r</mi> <mn>1</mn> </msub> </msup> <mo>+</mo> <mn>1</mn> <mo>,</mo> <msup> <mi>x</mi> <mi>t</mi> </msup> <mo>+</mo> <msup> <mi>x</mi> <mrow> <mi>t</mi> <mo>-</mo> <msub> <mi>r</mi> <mn>1</mn> </msub> </mrow> </msup> <mo>+</mo> <msup> <mi>x</mi> <mrow> <mi>t</mi> <mo>-</mo> <msub> <mi>r</mi> <mn>2</mn> </msub> </mrow> </msup> <mo>+</mo> <msup> <mi>x</mi> <mrow> <mi>t</mi> <mo>-</mo> <msub> <mi>r</mi> <mn>3</mn> </msub> </mrow> </msup> <mo>+</mo> <msup> <mi>x</mi> <mrow> <mi>t</mi> <mo>-</mo> <msub> <mi>r</mi> <mn>4</mn> </msub> </mrow> </msup> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1673_Article_IEq7.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(t&gt;23\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>&gt;</mo> <mn>23</mn> </mrow> </math></EquationSource> </InlineEquation> and the conditions presented in Theorems&#xa0;<InternalRef RefID="FPar9">3.1</InternalRef>,&#xa0;<InternalRef RefID="FPar19">3.7</InternalRef>,&#xa0;<InternalRef RefID="FPar24">3.10</InternalRef> and&#xa0;<InternalRef RefID="FPar30">3.14</InternalRef> of this paper are also necessary.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Further results on permutation pentanomials over finite fields with characteristic two

  • Tongliang Zhang,
  • Haibin Kan,
  • Lijing Zheng,
  • Jie Peng,
  • Hanbing Zhao

摘要

In this paper, we investigate several classes of permutation pentanomials over \({{\mathbb {F}}}_{2^{2m}}\) F 2 2 m of the form \(f(x)=x^t+x^{r_1(q-1)+t}+x^{r_2(q-1)+t}+x^{r_3(q-1)+t}+x^{r_4(q-1)+t}\) f ( x ) = x t + x r 1 ( q - 1 ) + t + x r 2 ( q - 1 ) + t + x r 3 ( q - 1 ) + t + x r 4 ( q - 1 ) + t with \( 1\le r_i\le t\) 1 r i t for \(i\in [1,4]\) i [ 1 , 4 ] . A new technique is presented to describe the sufficient condition for f(x) to be a permutation through investigating two kinds of irreducible factors, which are called polynomials of nonzero trace and zero trace, of some certain polynomials over \({{\mathbb {F}}}_{2}\) F 2 . We resolve the open problem the authors left in Zhang et al. (Finite Fields Appl 98:102468, 2024). Numerical results suggest that the results in this paper seem to contain all the permutation pentanomials of that form with \(\textrm{gcd}(x^{r_4}+x^{r_3}+x^{r_2}+x^{r_1}+1,x^t+x^{t-r_1}+x^{t-r_2}+x^{t-r_3}+x^{t-r_4})=1\) gcd ( x r 4 + x r 3 + x r 2 + x r 1 + 1 , x t + x t - r 1 + x t - r 2 + x t - r 3 + x t - r 4 ) = 1 for \(t>23\) t > 23 and the conditions presented in Theorems 3.13.73.10 and 3.14 of this paper are also necessary.