a63ddb2ed38c89a9.tex
1: \begin{abstract}
2:   In this paper we provide a new method to certify that a nearby
3:   polynomial system has a singular isolated root and we compute its multiplicity structure. More precisely, given a polynomial system
4:   $\fb=(f_1, \ldots, f_N)\in \K[x_1, \ldots, x_n]^N$, we present a
5:   Newton iteration on an extended deflated system that locally
6:   converges, under regularity conditions, to a small deformation of $f$
7:   such that this deformed system has an exact singular root. The
8:   iteration simultaneously converges to the coordinates of the
9:   singular root and the coefficients of the so-called inverse system
10:   that describes the multiplicity structure at the root. We use
11:   $\alpha$-theory test to certify the quadratic convergence, and to
12:   give bounds on the size of the deformation and on the approximation
13:   error. The approach relies on an analysis of the punctual Hilbert
14:   scheme, for which we provide a new description. We show in
15:   particular that some of its strata can be rationally parametrized
16:   and exploit these parametrizations in the certification. We show
17:   in numerical experimentation how the approximate inverse system can be 
18:   computed as a starting point of the Newton iterations and the fast
19:   numerical convergence to the singular root with its multiplicity
20:   structure, certified by our criteria. 
21: \end{abstract}