Deflation and Certified Isolation of Singular Zeros of Polynomial Systems

Angelos Mantzaflaris 1 Bernard Mourrain 1
1 GALAAD - Geometry, algebra, algorithms
CRISAM - Inria Sophia Antipolis - Méditerranée , UNS - Université Nice Sophia Antipolis, CNRS - Centre National de la Recherche Scientifique : UMR6621
Abstract : We develop a new symbolic-numeric algorithm for the certification of singular isolated points, using their associated local ring structure and certified numerical computations. An improvement of an existing method to compute inverse systems is presented, which avoids redundant computation and reduces the size of the intermediate linear systems to solve. We derive a one-step deflation technique, from the description of the multiplicity structure in terms of differentials. The deflated system can be used in Newton-based iterative schemes with quadratic convergence. Starting from a polynomial system and a small-enough neighborhood, we obtain a criterion for the existence and uniqueness of a singular root of a given multiplicity structure, applying a well-chosen symbolic perturbation. Standard verification methods, based eg. on interval arithmetic and a fixed point theorem, are employed to certify that there exists a unique perturbed system with a singular root in the domain. Applications to topological degree computation and to the analysis of real branches of an implicit curve illustrate the method.
Type de document :
Communication dans un congrès
A. Leykin. International Symposium on Symbolic and Algebraic Computation (ISSAC), Jun 2011, San Jose, CA, United States. ACM New York, pp.249-256, 2011, Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation. 〈10.1145/1993886.1993925〉
Liste complète des métadonnées

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


https://hal.inria.fr/inria-00556021
Contributeur : Angelos Mantzaflaris <>
Soumis le : vendredi 14 janvier 2011 - 19:45:37
Dernière modification le : jeudi 11 janvier 2018 - 16:03:48
Document(s) archivé(s) le : vendredi 15 avril 2011 - 02:31:14

Fichiers

mm11.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Angelos Mantzaflaris, Bernard Mourrain. Deflation and Certified Isolation of Singular Zeros of Polynomial Systems. A. Leykin. International Symposium on Symbolic and Algebraic Computation (ISSAC), Jun 2011, San Jose, CA, United States. ACM New York, pp.249-256, 2011, Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation. 〈10.1145/1993886.1993925〉. 〈inria-00556021〉

Partager

Métriques

Consultations de la notice

421

Téléchargements de fichiers

381