On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms

  • Authors:
  • Erich Kaltofen;Zhengfeng Yang;Lihong Zhi

  • Affiliations:
  • North Carolina State University, Raleigh, North Carolina;North Carolina State University, Raleigh, North Carolina;Key Laboratory of Mathematics Mechanization, Beijing, China

  • Venue:
  • Proceedings of the 2007 international workshop on Symbolic-numeric computation
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Algebraic randomization techniques can be applied to hybrid symbolic-numeric algorithms. Here we consider the problem of interpolating a sparse rational function from noisy values. We develop a new hybrid algorithm based on Zippel's original sparse polynomial interpolation technique. We show experimentally that our algorithm can handle sparse polynomials with large degrees. We also give a (partial) mathematical justification why the Zippel's algebraic randomization technique can be used with our approximate data: the randomly generated non-zero values are expected to be bounded away from zero. We show that the random Fourier-like matrices arising in our algorithm, have the desired rank property in the exact case, and appear usable numerically. Algebraic randomization techniques can be applied to hybrid symbolic-numeric algorithms. Here we consider the problem of interpolating a sparse rational function from noisy values. We develop a new hybrid algorithm based on Zippel's original sparse polynomial interpolation technique. We show experimentally that our algorithm can handle sparse polynomials with large degrees. We also give a (partial) mathematical justification why the Zippel's algebraic randomization technique can be used with our approximate data: the randomly generated non-zero values are expected to be bounded away from zero. We show that the random Fourier-like matrices arising in our algorithm, have the desired rank property in the exact case, and appear usable numerically.