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})$.

Short Interval Results For Powerfree Polynomials Over Finite Fields

Prime polynomials in short intervals and in arithmetic progressions

Some new results on permutation polynomials over finite fields

A variant of the Bombieri-Vinogradov theorem in short intervals with applications

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

The variance of the number of prime polynomials in short intervals and in residue classes

Intersecting families of polynomials over finite fields

Intersecting families of graphs of functions over a finite field

Fourier growth of structured $\mathbb{F}_2$-polynomials and applications

Prime polynomial values of quadratic functions in short intervals

Short interval results for certain prime-independent multiplicative functions

Variance of primes in short residue classes for function fields

Counting Irreducible Polynomials over Finite Fields

Polynomial patterns in subsets of large finite fields of low characteristic

Square-free values of polynomials

An Upper Bound on the Complexity of Multiplication of Polynomials Modulo a Power of an Irreducible Polynomial

Square-free values of random polynomials

Irreducibility of Polynomials with Square Coefficients over Finite Fields

Some Inequalities of differential polynomials II