TY - JOUR
T1 - Amortized multi-point evaluation of multivariate polynomials
AU - van der Hoeven, Joris
AU - Lecerf, Grégoire
N1 - Publisher Copyright:
© 2022 Elsevier Inc.
PY - 2023/2/1
Y1 - 2023/2/1
N2 - The evaluation of a polynomial at several points is called the problem of multi-point evaluation. Sometimes, the set of evaluation points is fixed and several polynomials need to be evaluated at this set of points. Several efficient algorithms for this kind of “amortized” multi-point evaluation have been developed recently for the special cases of bivariate polynomials or when the set of evaluation points is generic. In this paper, we extend these results to the evaluation of polynomials in an arbitrary number of variables at an arbitrary set of points. We prove a softly linear complexity bound when the number of variables is fixed. Our method relies on a novel quasi-reduction algorithm for multivariate polynomials, that operates simultaneously with respect to several orderings on the monomials.
AB - The evaluation of a polynomial at several points is called the problem of multi-point evaluation. Sometimes, the set of evaluation points is fixed and several polynomials need to be evaluated at this set of points. Several efficient algorithms for this kind of “amortized” multi-point evaluation have been developed recently for the special cases of bivariate polynomials or when the set of evaluation points is generic. In this paper, we extend these results to the evaluation of polynomials in an arbitrary number of variables at an arbitrary set of points. We prove a softly linear complexity bound when the number of variables is fixed. Our method relies on a novel quasi-reduction algorithm for multivariate polynomials, that operates simultaneously with respect to several orderings on the monomials.
KW - Complexity
KW - Gröbner bases
KW - Multi-point evaluation
KW - Multivariate polynomial
U2 - 10.1016/j.jco.2022.101693
DO - 10.1016/j.jco.2022.101693
M3 - Article
AN - SCOPUS:85134153123
SN - 0885-064X
VL - 74
JO - Journal of Complexity
JF - Journal of Complexity
M1 - 101693
ER -