Certifying isolated singular points and their multiplicity structure

Abstract : This paper presents two new constructions related to singular solutions of polynomial systems. The first is a new deflation method for an isolated singular root. This construc-tion uses a single linear differential form defined from the Jacobian matrix of the input, and defines the deflated system by applying this differential form to the original system. The advantages of this new deflation is that it does not introduce new variables and the increase in the number of equations is linear instead of the quadratic increase of previous methods. The second construction gives the coefficients of the so-called inverse system or dual basis, which defines the multiplicity structure at the singular root. We present a system of equations in the original variables plus a relatively small number of new vari-ables. We show that the roots of this new system include the original singular root but now with multiplicity one, and the new variables uniquely determine the multiplicity structure. Both constructions are "exact", meaning that they permit one to treat all conjugate roots simultaneously and can be used in certification procedures for singular roots and their multiplicity structure with respect to an exact rational polynomial system.
Type de document :
Communication dans un congrès
ISSAC'15, Jul 2015, Bath, United Kingdom. ACM, pp.213-220, 〈10.1145/2755996.2756645〉
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01107541
Contributeur : Bernard Mourrain <>
Soumis le : lundi 14 septembre 2015 - 10:23:47
Dernière modification le : mardi 15 septembre 2015 - 01:07:01
Document(s) archivé(s) le : mardi 29 décembre 2015 - 01:26:14

Fichiers

paper-hal-v2.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Pas de modification 4.0 International License

Identifiants

Collections

Citation

Jonathan D. Hauenstein, Bernard Mourrain, Agnes Szanto. Certifying isolated singular points and their multiplicity structure. ISSAC'15, Jul 2015, Bath, United Kingdom. ACM, pp.213-220, 〈10.1145/2755996.2756645〉. 〈hal-01107541v2〉

Partager

Métriques

Consultations de la notice

217

Téléchargements de fichiers

432