Permutation polynomials over finite fields by the local criterion

Danyao Wu,Pingzhi Yuan

2024-09-27

Abstract:In this paper, we further investigate the local criterion and present a class of permutation polynomials and their compositional inverses over $ \mathbb{F}_{q^2}$. Additionally, we demonstrate that linearized polynomial over $\mathbb{F}_{q^n}$ is a local permutation polynomial with respect to all linear transformations from $\mathbb{F}_{q^n}$ to $\mathbb{F}_q ,$ and that every permutation polynomial is a local permutation polynomial with respect to certain mappings.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the research on permutation polynomials over finite fields and their compositional inverses. Specifically, the authors further explored the local criterion and, based on this, proposed a new class of forms of permutation polynomials and their compositional inverses. In addition, they proved that linearized polynomials are local permutation polynomials under all linear transformations from \( \mathbb{F}_{q^n} \) to \( \mathbb{F}_q \), and each permutation polynomial is also a local permutation polynomial under certain mappings.

The following are the main problems and conclusions involved in the paper:

1. **Definition and Properties of Permutation Polynomials**:
- Let \( \mathbb{F}_q \) be a finite field containing \( q \) elements, where \( q \) is a prime power.
- A polynomial \( f(x)\in \mathbb{F}_q[x] \) is called a permutation polynomial over \( \mathbb{F}_q \) if its corresponding polynomial mapping \( f: c\mapsto f(c) \) is a bijection from \( \mathbb{F}_q \) to itself.
- The compositional inverse \( f^{-1}(x) \) of a permutation polynomial satisfies \( f(f^{-1}(x))\equiv f^{-1}(f(x))\equiv x\pmod{x^q - x} \).

2. **Application of the Local Criterion**:
- The local criterion is a method for constructing permutation polynomials. It provides a more convenient way to verify whether a polynomial is a permutation polynomial.
- The paper improved the local criterion and used it to construct a new class of forms of permutation polynomials \( f(x) = ux^q+vx + g(x^q+ax) \) over \( \mathbb{F}_{q^2} \).

3. **Properties of Linearized Polynomials**:
- Linearized polynomials are a special class of polynomials, in the form of \( L(x)=\sum_{i = 0}^{n-1}a_i x^{q^i} \) and can be represented by the trace function.
- The authors proved that linearized polynomials are local permutation polynomials under all linear transformations from \( \mathbb{F}_{q^n} \) to \( \mathbb{F}_q \).

4. **Counting of Permutation Polynomials**:
- The paper also discussed the number of permutation polynomials satisfying specific conditions and gave a counting method for these polynomials through the local criterion.

In summary, by introducing and improving the local criterion, this paper not only proposed new forms of permutation polynomials and their compositional inverses, but also deeply studied the properties of linearized polynomials and proved their permutation characteristics over finite fields. This provides a new perspective and tool for the theory of permutation polynomials over finite fields.