Abstract:In two papers entitled ``Two generalizations of almost perfect nonlinearity" and ``On the vector subspaces of $\mathbb 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 $\Bbb F_{2^n}$ of a given dimension $k\geq 2$, and he then focused on the $k$th order sum-freedom of the multiplicative inverse function $x\in \Bbb F_{2^n}\mapsto 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,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 [\![ 4;n-4]\!]$, 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\leq n/10$), the multiplicative inverse function is not $k$th order sum-free. Finally, we extend a result previously obtained in the second paper mentioned above, and we deduce in particular that, for any even $n$ and every $2\leq k\leq n-2$, the multiplicative inverse function is not $k$th order sum-free.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the sum - freedom problem of the multiplicative inverse function, especially over the finite field $\mathbb{F}_{2^n}$. Specifically, the authors are concerned with whether the sum of the multiplicative inverse function $F_{\text{inv}}(x) = x^{2^n - 2}$ over affine subspaces of certain dimensions is zero.
### Problem Background
1. **Definition and Background**:
- A function $F:\mathbb{F}_{2^n}\to\mathbb{F}_{2^n}$ is called $k$-th order sum - free if for every $k$-dimensional affine subspace $A\subseteq\mathbb{F}_{2^n}$, we have:
\[
\sum_{x\in A}F(x)\neq0.
\]
- For $k = 1$, this corresponds to the bijectivity of the function $F$.
- For $k = 2$, this corresponds to the almost perfect nonlinear (APN) function.
2. **Multiplicative Inverse Function**:
- The sum - freedom of the multiplicative inverse function $F_{\text{inv}}(x)=x^{2^n - 2}$ has been studied in some cases:
- If $n$ is odd, then $F_{\text{inv}}$ is 2 - th order sum - free.
- If $A$ is an affine subspace that does not contain 0, then $\sum_{u\in A}\frac{1}{u}\neq0$.
### Research Objectives
The main objective of the paper is to further explore and prove the sum - freedom of the multiplicative inverse function $F_{\text{inv}}$ under different dimensions $k$, especially for those previously unsolved cases. Specifically:
1. **Expand Existing Results**: The authors hope to expand previous research results, especially for cases where the dimension $k$ of the linear subspace $E$ satisfies $4\leq k\leq n - 4$ and $k$ is coprime to $n$.
2. **New Methods and Tools**: By introducing new mathematical tools and techniques, such as the adjoint matrix, Moore determinant, and Lang - Weil bound, to study the sum - freedom of the multiplicative inverse function under different dimensions.
3. **Verify Conjectures**: In particular, the authors hope to verify the following conjectures:
- For even $n$, the multiplicative inverse function $F_{\text{inv}}$ is not $k$-th order sum - free, where $2\leq k\leq n - 2$.
- For odd $n$, the multiplicative inverse function $F_{\text{inv}}$ is not $k$-th order sum - free, where $3\leq k\leq n - 3$.
### Main Contributions
1. **New Results**: The paper proves several new results, especially in the cases of small $k$ and large $k$, that the multiplicative inverse function is not $k$-th order sum - free.
2. **Technical Means**: New mathematical tools and techniques, such as the adjoint matrix, Moore determinant, and Lang - Weil bound, are introduced. These tools not only help to solve the current problem but also provide a new perspective for future research.
3. **Verify Conjectures**: Finally, the paper successfully verifies the above - mentioned conjectures, especially in the case of even $n$.
Through these studies, the authors provide a deeper understanding of the sum - freedom of the multiplicative inverse function and lay the foundation for further research.