<p>In two papers entitled “Two generalizations of almost perfect nonlinearity” and “On the vector subspaces of <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1712_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb F_{2^n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <msup> <mn>2</mn> <mi>n</mi> </msup> </msub> </math></EquationSource> </InlineEquation> over which the multiplicative inverse function sums to zero”, the first author has introduced and studied the notion of sum-freedom of vectorial functions, which expresses that a function sums to nonzero values over all affine subspaces of <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1712_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}_{2^n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <msup> <mn>2</mn> <mi>n</mi> </msup> </msub> </math></EquationSource> </InlineEquation> of a given dimension <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1712_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, and he then focused on the <i>k</i>th order sum-freedom of the multiplicative inverse function <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1712_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="119" /> </InlineMediaObject> <EquationSource Format="TEX">\(x\in \mathbb {F}_{2^n}\mapsto x^{2^n-2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <msub> <mi mathvariant="double-struck">F</mi> <msup> <mn>2</mn> <mi>n</mi> </msup> </msub> <mo>↦</mo> <msup> <mi>x</mi> <mrow> <msup> <mn>2</mn> <mi>n</mi> </msup> <mo>-</mo> <mn>2</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>. Some general results were given for this function (in particular, the case of affine spaces that do not contain 0 was solved positively), and the cases of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1712_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="169" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\in \{3,4,n-4,n-3\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>∈</mo> <mo stretchy="false">{</mo> <mn>3</mn> <mo>,</mo> <mn>4</mn> <mo>,</mo> <mi>n</mi> <mo>-</mo> <mn>4</mn> <mo>,</mo> <mi>n</mi> <mo>-</mo> <mn>3</mn> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> and of <i>k</i> not co-prime with <i>n</i> were solved as well (negatively); but the cases of those linear subspaces of dimension <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1712_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\in \llbracket 5;n-5\rrbracket \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>∈</mo> <mo>〚</mo> <mn>5</mn> <mo>;</mo> <mi>n</mi> <mo>-</mo> <mn>5</mn> <mo>〛</mo> </mrow> </math></EquationSource> </InlineEquation>, co-prime with <i>n</i>, were left open. The present paper is a continuation of the previous work. After studying, from two different angles, the particular case of those linear subspaces that are stable under the Frobenius automorphism, we deduce from the second approach that, for <i>k</i> small enough (approximately, <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1712_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="99" /> </InlineMediaObject> <EquationSource Format="TEX">\(3\le k\le n/10\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>3</mn> <mo>≤</mo> <mi>k</mi> <mo>≤</mo> <mi>n</mi> <mo stretchy="false">/</mo> <mn>10</mn> </mrow> </math></EquationSource> </InlineEquation>), the multiplicative inverse function is not <i>k</i>th order sum-free. Finally, we deduce from results previously obtained in the second paper mentioned above, that for any even <i>n</i> and every <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1712_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="104" /> </InlineMediaObject> <EquationSource Format="TEX">\(2\le k\le n-2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>≤</mo> <mi>k</mi> <mo>≤</mo> <mi>n</mi> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, the multiplicative inverse function is not <i>k</i>th order sum-free.</p>

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

More on the sum-freedom of the multiplicative inverse function

  • Claude Carlet,
  • Xiang-Dong Hou

摘要

In two papers entitled “Two generalizations of almost perfect nonlinearity” and “On the vector subspaces of \(\mathbb F_{2^n}\) F 2 n over which the multiplicative inverse function sums to zero”, the first author has introduced and studied the notion of sum-freedom of vectorial functions, which expresses that a function sums to nonzero values over all affine subspaces of \(\mathbb {F}_{2^n}\) F 2 n of a given dimension \(k\ge 2\) k 2 , and he then focused on the kth order sum-freedom of the multiplicative inverse function \(x\in \mathbb {F}_{2^n}\mapsto x^{2^n-2}\) x F 2 n x 2 n - 2 . Some general results were given for this function (in particular, the case of affine spaces that do not contain 0 was solved positively), and the cases of \(k\in \{3,4,n-4,n-3\}\) k { 3 , 4 , n - 4 , n - 3 } and of k not co-prime with n were solved as well (negatively); but the cases of those linear subspaces of dimension \(k\in \llbracket 5;n-5\rrbracket \) k 5 ; n - 5 , co-prime with n, were left open. The present paper is a continuation of the previous work. After studying, from two different angles, the particular case of those linear subspaces that are stable under the Frobenius automorphism, we deduce from the second approach that, for k small enough (approximately, \(3\le k\le n/10\) 3 k n / 10 ), the multiplicative inverse function is not kth order sum-free. Finally, we deduce from results previously obtained in the second paper mentioned above, that for any even n and every \(2\le k\le n-2\) 2 k n - 2 , the multiplicative inverse function is not kth order sum-free.