Verified error bounds for isolated singular solutions of polynomial systems: Case of breadth one

  • Authors:
  • Nan Li;Lihong Zhi

  • Affiliations:
  • KLMM, Academy of Mathematics and Systems Science, CAS, 100190 Beijing, China and INRIA Paris-Rocquencourt, 78153 Le Chesnay Cedex, France;KLMM, Academy of Mathematics and Systems Science, CAS, 100190 Beijing, China

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2013

Quantified Score

Hi-index 5.23

Visualization

Abstract

In this paper we describe how to improve the performance of the symbolic-numeric method in [19,20] for computing the multiplicity structure and refining approximate isolated singular solutions in the breadth-one case. By introducing a parameterized deflated system with smoothing parameters, we generalize the algorithm in [33] to compute verified error bounds such that a slightly perturbed polynomial system is guaranteed to have a breadth-one multiple root within the computed bounds.