Lower complexity bounds for interpolation algorithms

Abstract

a b s t r a c tWe introduce and discuss a new computational model for the Hermite-Lagrange interpolation with nonlinear classes of polynomial interpolants. We distinguish between an interpolation problem and an algorithm that solves it. Our model includes also coalescence phenomena and captures a large variety of known Hermite-Lagrange interpolation problems and algorithms. Like in traditional Hermite-Lagrange interpolation, our model is based on the execution of arithmetic operations (including divisions) in the field where the data (nodes and values) are interpreted and arithmetic operations are counted at unit cost. This leads us to a new view of rational functions and maps defined on arbitrary constructible subsets of complex affine spaces. For this purpose we have to develop new tools in algebraic geometry which themselves are mainly based on Zariski's Main Theorem and the theory of places (or equivalently: valuations). We finish this paper by exhibiting two examples of Lagrange interpolation problems with nonlinear classes of interpolants, which do not admit efficient interpolation algorithms (one of these interpolation problems requires even an exponential quantity of arithmetic * operations in terms of the number of the given nodes in order to represent some of the interpolants).In other words, classic Lagrange interpolation algorithms are asymptotically optimal for the solution of these selected interpolation problems and nothing is gained by allowing interpolation algorithms and classes of interpolants to be nonlinear. We show also that classic Lagrange interpolation algorithms are almost optimal for generic nodes and values. This generic data cannot be substantially compressed by using nonlinear techniques.We finish this paper highlighting the close connection of our complexity results in Hermite-Lagrange interpolation with a modern trend in software engineering: architecture tradeoff analysis methods (ATAM).

Quiz games as a model for information hiding

“…The other ones can be found in another context in [CGH + 03], [GHMS11], [HKR13b] and [HKR13a]. What is new is our unified approach to them and the resulting generality of our complexity results.…”

“…Ad hoc variants of the method we use and partial results already appeared elsewhere ( [GHMS11], [HKR13b]). What is really new is the general framework which we develop to approach these complexity results in order to prove (and generalize) them in a uniform way.…”

Fuzzy Interpolation and Other Interpolation Methods Used in Robot Calibrations

“…(P 3 ) (iii) If e x is W, e y is S and e z is U, then ee x is P x5 , ee y is P y5 and ee z is P z5 , and ee α is α 5 , ee β is β 5 and ee γ is γ 5 . (P 5 ) (iv) If e x is W, e y is S and e z is L, then ee x is P x7 , ee y is P y7 and ee z is P z7 , and ee α is α 7 , ee β is β 7 and ee γ is γ 7 .…”

“…In recent years, many advanced interpolation algorithms have been designed and developed by different researchers [1][2][3][4][5]. Jakobsson et al developed a technique for interpolation with quotients of two radial basis function expansions to approximate functions with poles [6].…”

Robust Algorithms For Generalized Pham Systems

“…Zariski & Samuel (1960)). Such elimination procedures are the subject of our next definition, borrowed from Castro et al (2003) (see also Giménez et al (2007)). An important class of examples of robust elimination procedures is that of the invariant elimination procedures (cf.…”