Abstract:We prove that for monic polynomials $f, g \in \mathbb{C}[x]$ such that $g$ divides $f$, the $\ell_2$-norm of the quotient polynomial $f/g$ is bounded by $\lVert f \rVert_1 \cdot \tilde{O}(\lVert{g}\rVert_0^3\text{deg}^2{ f})^{\lVert{g}\rVert_0 - 1}$. This improves upon the previously known exponential (in $\text{deg}{ f}$) bounds for general polynomials. Our results implies that the trivial long division algorithm runs in quasi-linear time relative to the input size and number of terms of the quotient polynomial $f/g$, thus solving a long-standing problem on exact divisibility of sparse polynomials. We also study the problem of bounding the number of terms of $f/g$ in some special cases. When $f, g \in \mathbb{Z}[x]$ and $g$ is a cyclotomic-free (i.e., it has no cyclotomic factors) trinomial, we prove that $\lVert{f/g}\rVert_0 \leq O(\lVert{f}\rVert_0 \text{size}({f})^2 \cdot \log^6{\text{deg}{ g}})$. When $g$ is a binomial with $g(\pm 1) \neq 0$, we prove that the sparsity is at most $O(\lVert{f}\rVert_0 ( \log{\lVert{f}\rVert_0} + \log{\lVert{f}\rVert_{\infty}}))$. Both upper bounds are polynomial in the input-size. We leverage these results and give a polynomial time algorithm for deciding whether a cyclotomic-free trinomial divides a sparse polynomial over the integers. As our last result, we present a polynomial time algorithm for testing divisibility by pentanomials over small finite fields when $\text{deg}{ f} = \tilde{O}(\text{deg}{ g})$.

Some results on counting roots of polynomials and the Sylvester resultant

A Parallel Algorithm For Finding All The Roots Of A Polynomial

Conjectures on the distribution of roots modulo a prime of a polynomial

Differentiation of resultants and common roots of pairs of polynomials

Roots of polynomials over division rings

Subresultants in Multiple Roots

Fine-scale distribution of roots of quadratic congruences

On the Wiener-like root-indices of graphs

Solubility of a resultant equation and applications

An Elementary Problem in Galois Theory about the Roots of Irreducible Polynomials

On roots of quadratic congruences

Sectorial Equidistribution of the Roots of x 2 + 1 Modulo Primes

Number of roots of the continuant over a finite local ring

Concentration of the number of real roots of random polynomials

Counting integer polynomials with several roots of maximal modulus

Rooted partitions and number-theoretic functions

Zero sums amongst roots and Cilleruelo's conjecture on the LCM of polynomial sequences

A Note on the Location of the Roots of A Polynomial

On the Recursive Behaviour of the Number of Irreducible Polynomials with Certain Properties over Finite Fields

New Bounds on Quotient Polynomials with Applications to Exact Divisibility and Divisibility Testing of Sparse Polynomials

On the distribution of modular square roots of primes