Abstract:It is well known that, using fast algorithms for polynomial multiplication and division, evaluation of a polynomial $F \in \mathbb{C}[x]$ of degree $n$ at $n$ complex-valued points can be done with $\tilde{O}(n)$ exact field operations in $\mathbb{C},$ where $\tilde{O}(\cdot)$ means that we omit polylogarithmic factors. We complement this result by an analysis of approximate multipoint evaluation of $F$ to a precision of $L$ bits after the binary point and prove a bit complexity of $\tilde{O}(n(L + \tau + n\Gamma)),$ where $2^\tau$ and $2^\Gamma,$ with $\tau, \Gamma \in \mathbb{N}_{\ge 1},$ are bounds on the magnitude of the coefficients of $F$ and the evaluation points, respectively. In particular, in the important case where the precision demand dominates the other input parameters, the complexity is soft-linear in $n$ and $L$. Our result on approximate multipoint evaluation has some interesting consequences on the bit complexity of further approximation algorithms which all use polynomial evaluation as a key subroutine. Of these applications, we discuss in detail an algorithm for polynomial interpolation and for computing a Taylor shift of a polynomial. Furthermore, our result can be used to derive improved complexity bounds for algorithms to refine isolating intervals for the real roots of a polynomial. For all of the latter algorithms, we derive near-optimal running times.

On the approximation properties of fast Leja points

Random Leja points

Bivariate Lagrange interpolation at the Padua points: the ideal theory approach

Fast Approximate Polynomial Multipoint Evaluation and Applications

Error Bounds for Approximate Solutions of Abstract Inequality Systems and Infinite Systems of Inequalities on Banach Spaces

Fast approximation by periodic kernel-based lattice-point interpolation with application in uncertainty quantification

Optimal pointwise error estimates for piecewise functions expanded with Laguerre polynomials

Bivariate Lagrange interpolation at the node points of non-degenerate Lissajous curves

On approximating the arc lemniscate functions

A Tighter Upper Bound on the Lebesgue Constant of Berrut’s Rational Interpolant at Equidistant Nodes

Optimal estimation for the Fujino-Morley interpolation error constants

Approximation of Riemann–Liouville Type Integrals on an Interval by Methods Based on Fourier–Chebyshev Sums

Computing Second-Order Points Under Equality Constraints: Revisiting Fletcher's Augmented Lagrangian

Some Notes On The Best One-Sided Approximation Of Polynomials Under L-1 Norm

Augmented Lagrangian optimization under fixed-point arithmetic

On the Approximative Properties of Fourier Series in Laguerre–Sobolev Polynomials

Interpolation on Convex-set Valued Lebesgue Spaces and its Applications

De la Vallée Poussin filtered polynomial approximation on the half line

Lectures on error analysis of interpolation on simplicial triangulations without the shape-regularity assumption, Part 2: Lagrange interpolation on tetrahedrons

Randomized Quasi-Monte Carlo Methods on Triangles: Extensible Lattices and Sequences