New data structure for univariate polynomial approximation and applications to root isolation, numerical multipoint evaluation, and other problems - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2021

New data structure for univariate polynomial approximation and applications to root isolation, numerical multipoint evaluation, and other problems

Résumé

We present a new data structure to approximate accurately and efficiently a polynomial $f$ of degree $d$ given as a list of coefficients. Its properties allow us to improve the state-of-the-art bounds on the bit complexity for the problems of root isolation and approximate multipoint evaluation. This data structure also leads to a new geometric criterion to detect ill-conditioned polynomials, implying notably that the standard condition number of the zeros of a polynomial is at least exponential in the number of roots of modulus less than $1/2$ or greater than $2$. Given a polynomial $f$ of degree $d$ with $\|f\|_1 \leq 2^\tau$ for $\tau \geq 1$, isolating all its complex roots or evaluating it at $d$ points can be done with a quasi-linear number of arithmetic operations. However, considering the bit complexity, the state-of-the-art algorithms require at least $d^{3/2}$ bit operations even for well-conditioned polynomials and when the accuracy required is low. Given a positive integer $m$, we can compute our new data structure and evaluate $f$ at $d$ points in the unit disk with an absolute error less than $2^{-m}$ in $\widetilde O(d(\tau+m))$ bit operations, where $\widetilde O(\cdot)$ means that we omit logarithmic factors. We also show that if $\kappa$ is the absolute condition number of the zeros of $f$, then we can isolate all the roots of $f$ in $\widetilde O(d(\tau + \log \kappa))$ bit operations. Moreover, our algorithms are simple to implement. For approximating the complex roots of a polynomial, we implemented a small prototype in \verb|Python/NumPy| that is an order of magnitude faster than the state-of-the-art solver \verb/MPSolve/ for high degree polynomials with random coefficients.
Fichier principal
Vignette du fichier
preprint.pdf (694.96 Ko) Télécharger le fichier
Vignette du fichier
vignette.pdf (128.16 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Format Figure, Image

Dates et versions

hal-03249123 , version 1 (04-06-2021)
hal-03249123 , version 2 (19-11-2021)

Identifiants

Citer

Guillaume Moroz. New data structure for univariate polynomial approximation and applications to root isolation, numerical multipoint evaluation, and other problems. 2021. ⟨hal-03249123v1⟩
507 Consultations
427 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More