Abstract:Let $p$ be a prime number and $q$ a power of $p$. Let $\fq$ be the finite field with $q$ elements. For a positive integer $n$ and a polynomial $\varphi(X)\in\fq[X]$, let $d_{n,\varphi}(X)$ denote the denominator of the $n$th iterate of $\frac{1}{\varphi(X)}$. The polynomial $\varphi(X)$ is said to be inversely stable over $\fq$ if all polynomials $d_{n,\varphi}(X)$ are irreducible polynomial over $\fq$ and distinct. In this paper, we characterize a class of inversely stable polynomials over $\fq$. Actually, for $\varphi(X)=X^p-X+\xi\in\fq[X]$, we provide a sufficient and necessary condition for $\varphi(X)$ to be inversely stable over $\fq$.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the construction of irreducible polynomials over finite fields, especially the characterization of inverse - stable polynomials. Specifically: 1. **Problem Background**: - Constructing irreducible polynomials over finite fields is a core problem in the theory of finite fields. - In the past few decades, a variety of methods have been developed to solve this problem, especially in terms of polynomial combination and iteration. - One research direction is to find polynomials $ f(X) $ and $ g(X) $ such that the composite polynomial $ f(g(X)) $ is irreducible. - Another direction is to identify polynomials that remain irreducible under all iterations on a given finite field. These polynomials are called "stable" polynomials. 2. **Specific Problem**: - The paper focuses on the characterization of inverse - stable polynomials. For a given finite field $ F_q $, where $ q = p^e $ is a power of the prime number $ p $, consider the rational function $ \Phi(X)=\frac{1}{\phi(X)} $, where $ \phi(X)\in F_q[X] $. - Define $ \Phi^{(n)}(X) $ as the $ n $-th iteration of $ \Phi(X) $, that is, $ \Phi^{(0)}(X) = X $, $ \Phi^{(n)}(X)=\Phi(\Phi^{(n - 1)}(X)) $. - Denote $ d_{n,\phi}(X) $ as the denominator of $ \Phi^{(n)}(X) $. If all polynomials in the sequence $ \{d_{n,\phi}\}_{n = 1}^{\infty} $ are irreducible and distinct over $ F_q $, then $ \phi(X) $ is said to be inverse - stable over $ F_q $. 3. **Main Problem**: - For the polynomial $ \phi(X)=X^p - X+\xi\in F_q[X] $ of a specific form, where $ \text{Tr}_{F_q}(\xi)\neq0 $, the author provides a necessary and sufficient condition for $ \phi(X) $ to be inverse - stable over $ F_q $. 4. **Specific Conditions**: - According to Theorem 1.2, the polynomial $ g(X)=X^p - X+\xi\in F_q[X] $ is inverse - stable over $ F_q $ if and only if for every positive integer $ n $, the absolute trace $ \text{Tr}_{F_q}(a_n c_n^{-1})\neq0 $, where the sequences $ \{a_n\} $ and $ \{c_n\} $ are defined by the recurrence relation (see formula (1.1)). In summary, the main goal of this paper is to provide a specific necessary and sufficient condition to determine whether certain special - form polynomials are inverse - stable over finite fields. This provides a new and effective method for constructing irreducible polynomials.

Infinite families of irreducible polynomials over finite fields

Irreducibility of Polynomials with Square Coefficients over Finite Fields

Some new infinite families of non-$p$-rational real quadratic fields

On the number of irreducible polynomials of special kinds in finite fields

Counting Irreducible Polynomials over Finite Fields

On the number of the irreducible factors of $ x^{n}-1 $ over finite fields

Intersecting families of graphs of functions over a finite field

Intersecting families of polynomials over finite fields

Lehmer's totient problem over $\mathbb{F}_q[x]$

On the set of stable primes for postcritically infinite maps over number fields

A criterion for the normality of polynomials over finite fields based on their coefficients

On the Recursive Behaviour of the Number of Irreducible Polynomials with Certain Properties over Finite Fields

On the Diophantine Equation F (X) F (Y) = F (Z(2))

An Elementary Problem in Galois Theory about the Roots of Irreducible Polynomials

Lehmer's Totient Problem over Fq[x]

On the number of irreducible factors with a given multiplicity in function fields

Polynomial patterns in subsets of large finite fields of low characteristic

An Infinite Family of Number Fields with Given Indices

Expansion properties of polynomials over finite fields