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

Common valuations of division polynomials

Common valuations of division polynomials

General remainder theorem and factor theorem for polynomials over non-commutative coefficient rings

Cancellation in sums over special sequences on $\mathbf{\rm{GL}_{m}}$ and their applications

On the greatest common divisor of integer parts of polynomials

The excedance quotient of the Bruhat order, quasisymmetric varieties, and Temperley–Lieb algebras

Recovering p-adic valuations from pro-p Galois groups

On the arithmetic of special values of $L$-functions for certain abelian varieties with a rational isogeny

Coincidences of Division Fields of an elliptic curve defined over a number field

Some effectivity results for primitive divisors of elliptic divisibility sequences

Non-vanishing of central $L$-values of the Gross family of elliptic curve

Exponential sums over singular binary quartic forms and applications

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

A note on some special exponential sums

An application of Birch-Tate formula to tame kernels of real quadratic number fields

L-series and their 2-adic and 3-adic valuations at s=1 attached to CM elliptic curves

Divisibility sequences related to abelian varieties isogenous to a power of an elliptic curve

A Voronoï--Oppenheim summation formula for number fields

Non‐vanishing Theorems for Central L‐values of Some Elliptic Curves with Complex Multiplication

Recovering p ‐adic valuations from pro‐p Galois groups

On some coefficients of the Artin–Hasse series modulo a prime