Abstract:We present a polynomial-time pseudo-deterministic algorithm for constructing irreducible polynomial of degree $d$ over finite field $\mathbb{F}_q$. A pseudo-deterministic algorithm is allowed to use randomness, but with high probability it must output a canonical irreducible polynomial. Our construction runs in time $\tilde{O}(d^4 \log^4{q})$. Our construction extends Shoup's deterministic algorithm (FOCS 1988) for the same problem, which runs in time $\tilde{O}(d^4 p^{\frac{1}{2}} \log^4{q})$ (where $p$ is the characteristic of the field $\mathbb{F}_q$). Shoup had shown a reduction from constructing irreducible polynomials to factoring polynomials over finite fields. We show that by using a fast randomized factoring algorithm, the above reduction yields an efficient pseudo-deterministic algorithm for constructing irreducible polynomials over finite fields.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: to efficiently construct irreducible polynomials over the finite field $F_q$. Specifically, the author proposes a pseudo - deterministic algorithm that can construct irreducible polynomials of a given degree within polynomial time. ### Problem Background The construction of irreducible polynomials over finite fields is an important algebraic problem, especially having wide applications in fields such as coding theory, cryptography, pseudo - randomness, and derandomization. Irreducible polynomials over the finite field $F_q$ are similar to prime numbers in integers, so their construction is crucial for explicitly constructing finite fields of non - prime order. ### Existing Methods and Their Shortcomings 1. **Random Algorithm**: - Randomly select a polynomial and check whether it is irreducible (for example, using the Rabin algorithm). Although this method is simple, it is less efficient, with a time complexity of $\tilde{O}(d^2\log^2 q)$. 2. **Deterministic Algorithm**: - Adleman and Lenstra proposed a deterministic algorithm based on the generalized Riemann hypothesis. - Shoup gave a deterministic algorithm with a time complexity of $\tilde{O}(d^4 p^{1/2}\log^4 q)$, where $p$ is the characteristic of the finite field $F_q$. When $p$ is large, this algorithm is no longer efficient. ### Main Contributions of the Paper 1. **Pseudo - Deterministic Algorithm**: - The author proposes a pseudo - deterministic algorithm that can construct an irreducible polynomial of a given degree within the expected time $\tilde{O}(d^4\log^4 q)$. - The pseudo - deterministic algorithm allows the use of randomness, but with high probability outputs a standard irreducible polynomial. 2. **Improvement of Shoup's Algorithm**: - By using the fast random factorization algorithm and the "canonical" process (such as the method of computing $q$-th residues proposed by Gat and Goldwasser), the author extends Shoup's deterministic algorithm to a pseudo - deterministic algorithm. - This method is applicable not only to finite fields with small characteristics but also to those with large characteristics. ### Main Results - **Theorem 1.3**: There exists a pseudo - deterministic algorithm that can construct an irreducible polynomial of degree $d$ over $F_q$ within the expected time $\tilde{O}(d^4\log^4 q)$. ### Conclusions and Prospects Although this algorithm has significantly improved the efficiency of constructing irreducible polynomials, complete derandomization remains an open problem. In addition, comparing the difficulty of deterministic factorization and deterministic construction of irreducible polynomials is also an interesting research direction. Through these improvements, this paper provides a new perspective for the efficient construction of irreducible polynomials over finite fields and lays a foundation for further research.

Pseudo-Deterministic Construction of Irreducible Polynomials over Finite Fields

Constructing Irreducible Polynomials over Finite Fields

Optimal Pseudorandom Generators for Low-Degree Polynomials Over Moderately Large Fields

Irreducibility of Polynomials with Square Coefficients over Finite Fields

Solving Polynomial Equations Over Finite Fields

On the construction of certain odd degree irreducible polynomials over finite fields

Integer Polynomial Factorization by Recombination of Real Factors: Re-evaluating an Old Technique in Modern Era

Infinite families of irreducible polynomials over finite fields

Counting Irreducible Polynomials over Finite Fields

Derandomizing Multivariate Polynomial Factoring for Low Degree Factors

Expansion properties of polynomials over finite fields

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

Recursive construction of primitive polynomials over finite fields

On $2$-superirreducible polynomials over finite fields

Towards Deterministic Algorithms for Constant-Depth Factors of Constant-Depth Circuits

Efficiently factoring polynomials modulo $p^4$

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

Probabilistic Galois Theory in Function Fields

Galois groups of random polynomials over the rational function field

Construction of Permutation Polynomials over Finite Fields with the help of SCR polynomials

Irreducibility of random polynomials of $\mathbb{Z}[X]$