Abstract:The context of this work is the study of the differential uniformity of polynomials defined over finite fields of even characteristic. We provide infinite families of trinomials with high differential uniformity when the base field is large enough. It means in particular that these trinomials are not exceptional almost perfect nonlinear.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the research on the differential uniformity of polynomials over finite fields, especially for trinomials over finite fields with characteristic 2. Specifically, the goal of the paper is to provide infinite polynomial families with high differential uniformity when the base field is large enough. This means that these trinomials are not exceptional almost perfect nonlinear (APN) functions.
### Background and Problem Description
In cryptography, almost perfect nonlinear (APN) functions are very important because they have good resistance to differential attacks. The definition of an APN function is that its differential uniformity \(\delta(f)\) is equal to 2. However, it is not easy to find APN functions, especially those that are still APN on an infinite number of extension fields, called exceptional APN functions.
The paper mainly focuses on how to construct trinomials with high differential uniformity and prove that these trinomials are not exceptional APN functions. This helps to understand the rarity and structural characteristics of APN functions.
### Main Results
The main results of the paper can be summarized as follows:
1. **Definitions and Assumptions**:
- Let \(m \geq 8\) be an integer, and \(m \equiv 0 \pmod{4}\), and \(m - 1\in M\).
- \(M\) is a set of odd numbers that satisfy certain conditions. Specifically, \(M\) is a set of odd numbers \(m\) such that \(L_\alpha(x^m)\) has different critical values.
2. **Main Theorems**:
- For a large enough \(n\), if \(f(x)=a_0x^m + a_1x^{m - 1}+a_2x^{m - 2}\in\mathbb{F}_{2^n}[x]\) is a trinomial of degree \(m\) and \(a_1\neq 0\), then \(\delta_{\mathbb{F}_{2^n}}(f)\) reaches the maximum value, that is, \(\delta_{\mathbb{F}_{2^n}}(f)=m - 2\).
- In particular, such a polynomial is not an exceptional APN function.
3. **Specific Examples**:
- The paper provides specific degrees \(m\) for which the theorem applies, such as \(m = 8, 12, 20, 24, 28, 36,\ldots\)
### Methods and Techniques
To prove the above results, the author uses the Chebotarev density theorem and controls the distinctness of the critical values of trinomials. The specific steps include:
1. **Distinctness of Critical Values**:
- Through Lemma 3.1 and Lemma 3.2, the author proves that under specific conditions, the critical values of trinomials are distinct.
2. **Application of the Chebotarev Density Theorem**:
- Use the Chebotarev density theorem to ensure that there exists some \(\alpha\) such that the splitting field \(\Omega /\mathbb{F}_{2^n}(t)\) is a geometric Galois extension.
3. **Calculation of Differential Uniformity**:
- Finally, through the above techniques, it is proved that for a large enough \(n\), the differential uniformity of the polynomial reaches \(m - 2\).
In conclusion, this paper further promotes the understanding of APN functions by constructing trinomials with high differential uniformity and provides a new perspective for the study of exceptional APN functions.