Abstract:Polynomial factorization over $ZZ$ is of great historical and practical importance. Currently, the standard technique is to factor the polynomial over finite fields first and then to lift to integers. Factorization over finite fields can be done in polynomial time using Berlekamp or Cantor-Zassenhaus algorithms. Lifting from the finite field to $ZZ$ requires a combinatorial algorithm. The van Hoeij algorithm casts the combinatorial problem as a knapsack-equivalent problem, which is then solved using lattice-reduction (the LLL algorithm) in polynomial time, which is implemented in many computer algebra systems (CAS). In this paper, we revisit the old idea of starting with factorization over $RR$ instead of a finite field, followed by recombination of the resulting linear and quadratic factors. We transform the problem into an integer subset sum problem, which is then solved using the Horowizt-Sinha algorithm. This algorithm can factor a random integer polynomial of degree $d$ in a time complexity of $O(2^(d slash 4))$. While the resulting algorithm is exponential, consistent with the integer subset sum problem being in NP, it has a few advantages. First, it is simple and easy to implement. Second, it is almost embarrassingly parallelizable. We demonstrate this by implementing the algorithm in a Graphic Processing Unit (GPU). The resulting code can factor a degree 100 polynomial is a few tenths of a second, comparable to some standard CAS. This shows that it is possible to use current hardware, especially massively parallel systems like GPU, to the benefit of symbolic algebra.

Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case

Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis

Square-Free Pure Triangular Decomposition of Zero-Dimensional Polynomial Systems

Zero Decomposition with Multiplicity of Zero-Dimensional Polynomial Systems

Decomposition of polynomial sets into characteristic pairs

Zeros of Complete Symmetric Polynomials over Finite Fields

DECOMPOSING POLYNOMIAL SYSTEMS INTO STRONG REGULAR SETS

$F$-Diophantine sets over finite fields

On the Efficiency of Solving Boolean Polynomial Systems with the Characteristic Set Method

Counting polynomials with distinct zeros in finite fields

Zhuang-Zi: A New Algorithm for Solving Multivariate Polynomial Equations over a Finite Field.

Solving Polynomial Equations Over Finite Fields

Constructing Irreducible Polynomials over Finite Fields

ZEROES OF RANDOM POLYNOMIALS WITH NON-IDENTICALLY DISTRIBUTED COEFFICIENTS

Intersecting families of polynomials over finite fields

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

Counting Irreducible Polynomials over Finite Fields

On the Field Isomorphism Problem for the Family of Simplest Quartic Fields

Waring decompositions of monomials

Solving Degree and Degree of Regularity for Polynomial Systems over a Finite Fields.