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.

Idempotent factorization on some matrices over quadratic integer rings

The Loewner-Neville Factorization Of Generalized Matrices With Consecutive-Column And -Row Properties

Tensor products of $d$-fold matrix factorizations

Matrix factorizations with more than two factors

On Prime Factors of Nonsingular Rational Matrices

Matrix factorizations for domestic triangle singularities

On Factorizations of Entire Functions of Bounded Type

Factorizations of Matrices over Projective-free Rings

Half-factorial real quadratic orders

Factorization theory: From commutative to noncommutative settings

On Factorisations of Matrices and Abelian Groups

Factorization of a prime matrix in even blocks

The Factor Width Rank of a Matrix

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

Totally ordered pseudo q-factorization graphs and prime factorization

On the Non p-Rationality and Iwasawa Invariants of Certain Real Quadratic Fields

Some new infinite families of non-$p$-rational real quadratic fields

Generalized $q$-Gaussian von Neumann algebras with coefficients, III. Unique prime factorization results

Abstract factorization theorems with applications to idempotent factorizations

On Cubic Residue Matrices

Unique Factorization in Polynomial Rings with Zero Divisors