Abstract:For a polynomial $f$ from a class $\mathcal{C}$ of polynomials, we show that the problem to compute all the constant degree irreducible factors of $f$ reduces in polynomial time to polynomial identity tests (PIT) for class $\mathcal{C}$ and divisibility tests of $f$ by constant degree polynomials. We apply the result to several classes $\mathcal{C}$ and obtain the constant degree factors in \begin{enumerate} \item polynomial time, for $\mathcal{C}$ being polynomials that have only constant degree factors, \item quasipolynomial time, for $\mathcal{C}$ being sparse polynomials, \item subexponential time, for $\mathcal{C}$ being polynomials that have constant-depth circuits. \end{enumerate} Result 2 and 3 were already shown by Kumar, Ramanathan, and Saptharishi with a different proof and their time complexities necessarily depend on black-box PITs for a related bigger class $\mathcal{C}'$. Our complexities vary on whether the input is given as a blackbox or whitebox. We also show that the problem to compute the sparse factors of polynomial from a class $\mathcal{C}$ reduces in polynomial time to PIT for class $\mathcal{C}$, divisibility tests of $f$ by sparse polynomials, and irreducibility preserving bivariate projections for sparse polynomials. For $\mathcal{C}$ being sparse polynomials, it follows that it suffices to derandomize irreducibility preserving bivariate projections for sparse polynomials in order to compute all the sparse irreducible factors efficiently. When we consider factors of sparse polynomials that are sums of univariate polynomials, a subclass of sparse polynomials, we obtain a polynomial time algorithm. This was already shown by Volkovich with a different proof.

An Algorithm for Approximate Factorization of Bivariate Polynomials 1)

Exact Bivariate Polynomial Factorization over ℚ by Approximation of Roots

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

Exact Bivariate Polynomial Factorization in Q by Approximation of Roots

Exact polynomial factorization by approximate high degree algebraic numbers

Multivariate Polynomial Factorization by Interpolation Method

Rational Quadratic Approximation to Real Algebraic Curves

The numerical factorization of polynomials

On Factor Left Prime Factorization Problems for Multivariate Polynomial Matrices

Factoring sparse polynomials fast

Computing Μ-Bases of Univariate Polynomial Matrices Using Polynomial Matrix Factorization.

On Minor Left Prime Factorization Problem for Multivariate Polynomial Matrices

Some factorization results for bivariate polynomials

An effective criterion for a stable factorisation of strictly nonsingular 2x2 matrix functions. Utilisation of the ExactMPF package

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

Obtaining Exact Interpolation Multivariate Polynomial by Approximation

A Complete Algorithm to Find Exact Minimal Polynomial by Approximations

Derandomizing Multivariate Polynomial Factoring for Low Degree Factors

Computing μ-bases of rational curves and surfaces using polynomial matrix factorization

A Multiplication Technique for the Factorization of Bivariate Quaternionic Polynomials

Approximate Common Divisors of Polynomials and Degree Reduction for Rational Curves