Generic bivariate multi-point evaluation, interpolation and modular composition with precomputation
Suppose π is a large enough field and π«βπ^2 is a fixed, generic set of points which is available for precomputation. We introduce a technique called reshaping which allows us to design quasi-linear algorithms for both: computing the evaluations of an input polynomial f βπ[x,y] at all points of π«; and computing an interpolant f βπ[x,y] which takes prescribed values on π« and satisfies an input y-degree bound. Our genericity assumption is explicit and we prove that it holds for most point sets over a large enough field. If π« violates the assumption, our algorithms still work and the performance degrades smoothly according to a distance from being generic. To show that the reshaping technique may have an impact on other related problems, we apply it to modular composition: suppose generic polynomials M βπ[x] and A βπ[x] are available for precomputation, then given an input f βπ[x,y] we show how to compute f(x, A(x)) rem M(x) in quasi-linear time.
READ FULL TEXT