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}