<p>We study vectorial functions with maximal number of bent components in this paper. We first study the Walsh transform and nonlinearity of <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1569_Article_IEq1.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="182" /> </InlineMediaObject> <EquationSource Format="TEX">\(F(x)=x^{2^e}h(\textrm{Tr}_{2^{2m}/2^m}(x))\)</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> <msup> <mn>2</mn> <mi>e</mi> </msup> </msup> <mi>h</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mtext>Tr</mtext> <mrow> <msup> <mn>2</mn> <mrow> <mn>2</mn> <mi>m</mi> </mrow> </msup> <mo stretchy="false">/</mo> <msup> <mn>2</mn> <mi>m</mi> </msup> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1569_Article_IEq2.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(e\ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>e</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <i>h</i>(<i>x</i>) is a permutation over <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1569_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {F}}_{2^m}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <msup> <mn>2</mn> <mi>m</mi> </msup> </msub> </math></EquationSource> </InlineEquation>. If <i>h</i>(<i>x</i>) is monomial, the nonlinearity of <i>F</i>(<i>x</i>) is shown to be at most <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1569_Article_IEq4.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="103" /> </InlineMediaObject> <EquationSource Format="TEX">\( 2^{2\,m-1}-2^{\lfloor \frac{3\,m}{2}\rfloor }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mn>2</mn> <mrow> <mn>2</mn> <mspace width="0.166667em" /> <mi>m</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo>-</mo> <msup> <mn>2</mn> <mrow> <mo>⌊</mo> <mfrac> <mrow> <mn>3</mn> <mspace width="0.166667em" /> <mi>m</mi> </mrow> <mn>2</mn> </mfrac> <mo>⌋</mo> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> and some non-plateaued and plateaued functions attaining the upper bound are found. If <i>h</i>(<i>x</i>) is linear, the exact nonlinearity of <i>F</i>(<i>x</i>) is determined. Secondly, we give a construction of vectorial functions with maximal number of bent components from known ones, thus obtain two new classes from the Niho class and the Maiorana-McFarland class. Our construction gives a quadratic vectorial function that is not equivalent to the known functions of the form <i>xh</i>(<i>x</i>), and also contains vectorial functions outside the completed Maiorana-McFarland class. Finally, we show that the vectorial function <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1569_Article_IEq5.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="117" /> </InlineMediaObject> <EquationSource Format="TEX">\(F: {\mathbb {F}}_{2^{2m}}\rightarrow {\mathbb {F}}_{2^{2m}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>F</mi> <mo>:</mo> <msub> <mi mathvariant="double-struck">F</mi> <msup> <mn>2</mn> <mrow> <mn>2</mn> <mi>m</mi> </mrow> </msup> </msub> <mo stretchy="false">→</mo> <msub> <mi mathvariant="double-struck">F</mi> <msup> <mn>2</mn> <mrow> <mn>2</mn> <mi>m</mi> </mrow> </msup> </msub> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1569_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="133" /> </InlineMediaObject> <EquationSource Format="TEX">\(x\mapsto x^{2^m+1}+x^{2^i+1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>↦</mo> <msup> <mi>x</mi> <mrow> <msup> <mn>2</mn> <mi>m</mi> </msup> <mo>+</mo> <mn>1</mn> </mrow> </msup> <mo>+</mo> <msup> <mi>x</mi> <mrow> <msup> <mn>2</mn> <mi>i</mi> </msup> <mo>+</mo> <mn>1</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> has maximal number of bent components if and only if <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1569_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(i=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

On vectorial functions with maximal number of bent components

  • Xianhong Xie,
  • Yi Ouyang,
  • Honggang Hu

摘要

We study vectorial functions with maximal number of bent components in this paper. We first study the Walsh transform and nonlinearity of \(F(x)=x^{2^e}h(\textrm{Tr}_{2^{2m}/2^m}(x))\) F ( x ) = x 2 e h ( Tr 2 2 m / 2 m ( x ) ) , where \(e\ge 0\) e 0 and h(x) is a permutation over \({\mathbb {F}}_{2^m}\) F 2 m . If h(x) is monomial, the nonlinearity of F(x) is shown to be at most \( 2^{2\,m-1}-2^{\lfloor \frac{3\,m}{2}\rfloor }\) 2 2 m - 1 - 2 3 m 2 and some non-plateaued and plateaued functions attaining the upper bound are found. If h(x) is linear, the exact nonlinearity of F(x) is determined. Secondly, we give a construction of vectorial functions with maximal number of bent components from known ones, thus obtain two new classes from the Niho class and the Maiorana-McFarland class. Our construction gives a quadratic vectorial function that is not equivalent to the known functions of the form xh(x), and also contains vectorial functions outside the completed Maiorana-McFarland class. Finally, we show that the vectorial function \(F: {\mathbb {F}}_{2^{2m}}\rightarrow {\mathbb {F}}_{2^{2m}}\) F : F 2 2 m F 2 2 m , \(x\mapsto x^{2^m+1}+x^{2^i+1}\) x x 2 m + 1 + x 2 i + 1 has maximal number of bent components if and only if \(i=0\) i = 0 .