Skip to Main content Skip to Navigation
Conference papers

Punctual Hilbert Schemes and Certified Approximate Singularities

Angelos Mantzaflaris 1 Bernard Mourrain 1 Agnes Szanto 2
1 AROMATH - AlgebRe, geOmetrie, Modelisation et AlgoriTHmes
CRISAM - Inria Sophia Antipolis - Méditerranée , NKUA - National and Kapodistrian University of Athens
Abstract : In this paper we provide a new method to certify that a nearby polynomial system has a singular isolated root with a prescribed multiplicity structure. More precisely, given a polynomial system f $=(f_1, \ldots, f_N)\in C[x_1, \ldots, x_n]^N$, we present a Newton iteration on an extended deflated system that locally converges, under regularity conditions, to a small deformation of $f$ such that this deformed system has an exact singular root. The iteration simultaneously converges to the coordinates of the singular root and the coefficients of the so called inverse system that describes the multiplicity structure at the root. We use $α$-theory test to certify the quadratic convergence, and togive bounds on the size of the deformation and on the approximation error. The approach relies on an analysis of the punctual Hilbert scheme, for which we provide a new description. We show in particular that some of its strata can be rationally parametrized and exploit these parametrizations in the certification. We show in numerical experimentation how the approximate inverse system can be computed as a starting point of the Newton iterations and the fast numerical convergence to the singular root with its multiplicity structure, certified by our criteria.
Complete list of metadata

Cited literature [38 references]  Display  Hide  Download

https://hal.inria.fr/hal-02478768
Contributor : Bernard Mourrain <>
Submitted on : Tuesday, June 30, 2020 - 10:31:05 AM
Last modification on : Wednesday, February 24, 2021 - 3:06:25 AM

Files

paper.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Angelos Mantzaflaris, Bernard Mourrain, Agnes Szanto. Punctual Hilbert Schemes and Certified Approximate Singularities. ISSAC 2020 - International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. ⟨10.1145/3373207.3404024⟩. ⟨hal-02478768v2⟩

Share

Metrics

Record views

86

Files downloads

158