Factoring Polynomials over Finite Fields with Linear Galois Groups: An Additive Combinatorics Approach

07/01/2020
by   Zeyu Guo, et al.
0

Let f̃(X)∈ℤ[X] be a degree-n polynomial such that f(X):=f̃(X) p factorizes into n distinct linear factors over 𝔽_p. We study the problem of deterministically factoring f(X) over 𝔽_p given f̃(X). Under the generalized Riemann hypothesis (GRH), we give an improved deterministic algorithm that computes the complete factorization of f(X) in the case that the Galois group of f̃(X) is (permutation isomorphic to) a linear group G≤GL(V) on the set S of roots of f̃(X), where V is a finite-dimensional vector space over a finite field 𝔽 and S is identified with a subset of V. In particular, when |S|=|V|^Ω(1), the algorithm runs in time polynomial in n^log n/(loglogloglog n)^1/3 and the size of the input, improving Evdokimov's algorithm. Our result also applies to a general Galois group G when combined with a recent algorithm of the author. To prove our main result, we introduce a family of objects called linear m-schemes and reduce the problem of factoring f(X) to a combinatorial problem about these objects. We then apply techniques from additive combinatorics to obtain an improved bound. Our techniques may be of independent interest.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/20/2022

On Efficient Noncommutative Polynomial Factorization via Higman Linearization

In this paper we study the problem of efficiently factorizing polynomial...
research
06/30/2017

P-schemes and Deterministic Polynomial Factoring over Finite Fields

We introduce a family of mathematical objects called P-schemes, where P ...
research
11/23/2022

Improved Elekes-Szabó type estimates using proximity

We prove a new Elekes-Szabó type estimate on the size of the intersectio...
research
08/07/2023

New Bounds on Quotient Polynomials with Applications to Exact Divisibility and Divisibility Testing of Sparse Polynomials

A sparse polynomial (also called a lacunary polynomial) is a polynomial ...
research
07/31/2018

Subgroups of minimal index in polynomial time

Let G be a finite group and let H be a proper subgroup of G of minimal i...
research
06/01/2017

Computing simplicial representatives of homotopy group elements

A central problem of algebraic topology is to understand the homotopy gr...
research
07/13/2022

Persistence and the Sheaf-Function Correspondence

The sheaf-function correspondence identifies the group of constructible ...

Please sign up or login with your details

Forgot password? Click here to reset