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.

Reducing the Space Used by the Sieve of Eratosthenes When Factoring

Improving the error term in the sieve of Eratosthenes

An inequality related to the sieve of Eratosthenes

An efficient method for integer factorization

An Empirical Comparison of the Quadratic Sieve Factoring Algorithm and the Pollard Rho Factoring Algorithm

Two Compact Incremental Prime Sieves

Smooth Subsum Search: A heuristic for practical integer factorization

Large prime factors on short intervals

The principle of the large sieve

A modification of the linear sieve, and the count of twin primes

On a variant of the large sieve

SAT and Lattice Reduction for Integer Factorization

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

Improved Space Bounds for Subset Sum

A Semidefinite Framework for the Sieve

Factoring Odd Integers without Multiplication and Division

Shaving Logs via Large Sieve Inequality: Faster Algorithms for Sparse Convolution and More

Sifting for small primes from an arithmetic progression

Cache optimized linear sieve

Selberg's sieve of irregular density

Factoring with Hints