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.

Approximate factorization of multivariate polynomials via differential equations

Approximate Factorization of Multivariate Polynomials Using Singular Value Decomposition.

An Algorithm for Approximate Factorization of Bivariate Polynomials 1)

Multivariate Polynomial Factorization by Interpolation Method

Exact Bivariate Polynomial Factorization over ℚ by Approximation of Roots

Exact polynomial factorization by approximate high degree algebraic numbers

Exact Bivariate Polynomial Factorization Over A"E By Approximation Of Roots

Exact Bivariate Polynomial Factorization in Q by Approximation of Roots

The numerical factorization of polynomials

Lower Bounds for Approximate Factorizations Via Semidefinite Programming: (extended Abstract)

Obtaining Exact Interpolation Multivariate Polynomial by Approximation

Approximate factorization learning algorithm of multivariate polynomials based on functional networks

Approximate Common Divisors of Polynomials and Degree Reduction for Rational Curves

Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars

A Complete Algorithm to Find Exact Minimal Polynomial by Approximations

On Factor Left Prime Factorization Problems for Multivariate Polynomial Matrices

On Exact and Approximate Interpolation of Sparse Rational Functions

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

On Minor Left Prime Factorization Problem for Multivariate Polynomial Matrices

Computing GCRDs of Approximate Differential Polynomials

Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials