On exact and approximate interpolation of sparse rational functions

The black box algorithm for separating the numerator from the denominator of a multivariate rational function can be combined with sparse multivariate polynomial interpolation algorithms to interpolate a sparse rational function. Randomization and early termination strategies are exploited to minimize the number of black box evaluations. In addition, rational number coefficients are recovered from modular images by rational vector recovery. The need for separate numerator and denominator size bounds is avoided via selfcorrection, and the modulus is minimized by use of lattice basis reduction, a process that can be applied to sparse rational function vector recovery itself. Finally, one can deploy the sparse rational function interpolation algorithm in the hybrid symbolic-numeric setting when the black box for the rational function returns real and complex values with noise. We present and analyze five new algorithms for the above problems and demonstrate their effectiveness on a ben...

• Type: Conference
• Year: 2007
• Where: ISSAC
• Authors: Erich Kaltofen, Zhengfeng Yang
• Keywords: Black Box, ISSAC 2007, Rational Function, Sparse Rational Function