<p>For a prime <i>p</i> and positive integers <i>m</i>, <i>n</i>, we investigate the compositional inverses of several classes of permutation polynomials of the form <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1670_Article_IEq1.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="228" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sum _{i=1}^kb_i\left( \textrm{Tr}_m^{mn}(x)^{t_i}+\delta \right) ^{s_i}+f_1(x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mo>∑</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>k</mi> </msubsup> <msub> <mi>b</mi> <mi>i</mi> </msub> <msup> <mfenced close=")" open="("> <msubsup> <mtext>Tr</mtext> <mi>m</mi> <mrow> <mi mathvariant="italic">mn</mi> </mrow> </msubsup> <msup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mi>t</mi> <mi>i</mi> </msub> </msup> <mo>+</mo> <mi>δ</mi> </mfenced> <msub> <mi>s</mi> <mi>i</mi> </msub> </msup> <mo>+</mo> <msub> <mi>f</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> over <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1670_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\( {{\mathbb F}} _{p^{mn}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <msup> <mi>p</mi> <mrow> <mi mathvariant="italic">mn</mi> </mrow> </msup> </msub> </math></EquationSource> </InlineEquation> in this paper. Here, for <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1670_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="76" /> </InlineMediaObject> <EquationSource Format="TEX">\(1\le i \le k,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>i</mi> <mo>≤</mo> <mi>k</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1670_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(s_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>s</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1670_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(t_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>t</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> are positive integers, <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1670_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\(b_i \in {{\mathbb F}} _{p^m},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>b</mi> <mi>i</mi> </msub> <mo>∈</mo> <msub> <mi mathvariant="double-struck">F</mi> <msup> <mi>p</mi> <mi>m</mi> </msup> </msub> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1670_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(f_1(x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>f</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is a polynomial over <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1670_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\( {{\mathbb F}} _{p^{mn}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <msup> <mi>p</mi> <mrow> <mi mathvariant="italic">mn</mi> </mrow> </msup> </msub> </math></EquationSource> </InlineEquation> satisfying the following conditions: (i) <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1670_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="243" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{Tr}_m^{mn}(x) \circ f_1(x)=\varphi (x) \circ \textrm{Tr}_m^{mn}(x),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mtext>Tr</mtext> <mi>m</mi> <mrow> <mi mathvariant="italic">mn</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>∘</mo> <msub> <mi>f</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>φ</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>∘</mo> <msubsup> <mtext>Tr</mtext> <mi>m</mi> <mrow> <mi mathvariant="italic">mn</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1670_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi (x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is a polynomial over <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1670_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\( {{\mathbb F}} _{p^m};\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">F</mi> <msup> <mi>p</mi> <mi>m</mi> </msup> </msub> <mo>;</mo> </mrow> </math></EquationSource> </InlineEquation> (ii) For any <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1670_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(a \in {{\mathbb F}} _{p^m},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>∈</mo> <msub> <mi mathvariant="double-struck">F</mi> <msup> <mi>p</mi> <mi>m</mi> </msup> </msub> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1670_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(f_1(x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>f</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is injective on <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1670_Article_IEq14.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="78" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{Tr}_m^{mn}(a)^{-1}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mtext>Tr</mtext> <mi>m</mi> <mrow> <mi mathvariant="italic">mn</mi> </mrow> </msubsup> <msup> <mrow> <mo stretchy="false">(</mo> <mi>a</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation></p>

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

The compositional inverses of the permutation polynomials from trace functions over finite fields

  • Danyao Wu,
  • Pingzhi Yuan

摘要

For a prime p and positive integers m, n, we investigate the compositional inverses of several classes of permutation polynomials of the form \(\sum _{i=1}^kb_i\left( \textrm{Tr}_m^{mn}(x)^{t_i}+\delta \right) ^{s_i}+f_1(x)\) i = 1 k b i Tr m mn ( x ) t i + δ s i + f 1 ( x ) over \( {{\mathbb F}} _{p^{mn}}\) F p mn in this paper. Here, for \(1\le i \le k,\) 1 i k , \(s_i\) s i and \(t_i\) t i are positive integers, \(b_i \in {{\mathbb F}} _{p^m},\) b i F p m , and \(f_1(x)\) f 1 ( x ) is a polynomial over \( {{\mathbb F}} _{p^{mn}}\) F p mn satisfying the following conditions: (i) \(\textrm{Tr}_m^{mn}(x) \circ f_1(x)=\varphi (x) \circ \textrm{Tr}_m^{mn}(x),\) Tr m mn ( x ) f 1 ( x ) = φ ( x ) Tr m mn ( x ) , where \(\varphi (x)\) φ ( x ) is a polynomial over \( {{\mathbb F}} _{p^m};\) F p m ; (ii) For any \(a \in {{\mathbb F}} _{p^m},\) a F p m , \(f_1(x)\) f 1 ( x ) is injective on \(\textrm{Tr}_m^{mn}(a)^{-1}.\) Tr m mn ( a ) - 1 .