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.

A note on the quality of simultaneous Diophantine approximations obtained by the LLL algorithm

Local positivity and effective Diophantine approximation

Simultaneous Diophantine approximation with a divisibility condition

A purely combinatorial approach to simultaneous polynomial recurrence modulo 1

Diophantine approximation with arithmetic functions, I

A Note on the Performance of Algorithms for Solving Linear Diophantine Equations in the Naturals

Diophantine approximation and special Liouville numbers

The exceptional set for Diophantine approximation with mixed powers of prime variables

Littlewood and Duffin--Schaeffer-type problems in diophantine approximation

Effective Results in The Metric Theory of Quantitative Diophantine Approximation

On a Theorem of Legendre on Diophantine Approximation

Mean Values over Lattices in Number Fields and Effective Diophantine Approximation

Effective approximation to complex algebraic numbers by quadratic numbers

On converses to the polynomial method

Diophantine Approximation in local function fields via Bruhat-Tit trees

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

Computing machine-efficient polynomial approximations

A polynomial time algorithm for calculating Fourier-Dedekind sums

A Quantitative Result on Diophantine Approximation for Intersective Polynomials

Quantitative Diophantine approximation and Fourier dimension of sets: Dirichlet non-improvable numbers versus well-approximable numbers