Algorithmes pour la décomposition primaire des idéaux polynomiaux de dimension nulle donnés en évaluation - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2008

Algorithms for primary decomposition of zero-dimensional polynomial ideals given by an evaluation structure

Algorithmes pour la décomposition primaire des idéaux polynomiaux de dimension nulle donnés en évaluation

Résumé

Polynomial system solvers are involved in sophisticated computations in algebraic geometry as well as in practical ingineering. The most popular algorithms are based on Groebner bases, resultants, Macaulay matrices, or triangular decompositions. In all these algorithms, multivariate polynomials are expanded in a monomial basis, and the computations mainly reduce to linear algebra. The major drawback of these techniques is the exponential explosion of the size of eliminant polynomials. Alternatively, the Kronecker solver uses data structures to represent the input polynomial as the functions that compute their values at any given point.
In this PhD thesis, we give a concise presentation of the Kronecker solver, with a self-contained proof of correctness. Our proofs closely follow the algorithms, and as consequences, we obtain some classical results in algebraic geometry such as a Bézout Theorem. Beyond their pedagogical interest, these proofs allow us to discard some regularity hypotheses, and so to enhance the solver in order to compute the multiplicities of the zeros without any extra cost.
At last, we design a new algorithm for primary decomposition of a zero-dimensional polynomial ideal. We also give a cost analysis of this algorithm, which is polynomial in the number of variables, in the evaluation cost of the input system, and in a Bézout number.
Les algorithmes de résolution polynomiale sont impliqués dans des outils sophistiqués de calcul en géométrie algébrique aussi bien quen ingénierie. Les plus populaires dentre eux reposent sur des bases de Gröbner, des matrices de Macaulay ou des décompositions triangulaires. Dans tous ces algorithmes, les polynômes sont développés dans une base des monômes et les calculs utilisent essentiellement des routines dalgèbre linéaire. L'inconvénient majeur de ces méthodes est lexplosion exponentielle du nombre de monômes apparaissant dans des polynômes éliminants. De manière alternative, lalgorithme Kronecker manie des polynômes codés comme la fonction qui calcule ses valeurs en tout point.
Dans cette thèse, nous donnons une présentation concise de ce dernier algorithme, ainsi qu'une preuve autonome de son bon fonctionnement. Toutes nos démonstrations sont intimement liées aux algorithmes, et ont pour conséquence des résultats classiques en géométrie algébrique, comme un théorème de Bézout. Au delà de leur intérêt pédagogique, ces preuves permettent de lever certaines hypothèses de régularité, et donc d'étendre l'algorithme au calcul des multiplicités sans coût supplémentaire.
Ensuite, nous présentons un algorithme de décomposition primaire pour les idéaux de polynômes de dimension nulle. Nous en donnerons également une étude de complexité précise, complexité qui est polynomiale en le nombre de variables, en le coût dévaluation du système, et en un nombre de Bézout.
Fichier principal
Vignette du fichier
these-durvye-03-06-08.pdf (1.43 Mo) Télécharger le fichier

Dates et versions

tel-00275219 , version 1 (22-04-2008)
tel-00275219 , version 2 (03-06-2008)
tel-00275219 , version 3 (09-07-2008)

Identifiants

  • HAL Id : tel-00275219 , version 2

Citer

Clémence Durvye. Algorithmes pour la décomposition primaire des idéaux polynomiaux de dimension nulle donnés en évaluation. Mathématiques [math]. Université de Versailles-Saint Quentin en Yvelines, 2008. Français. ⟨NNT : ⟩. ⟨tel-00275219v2⟩
561 Consultations
828 Téléchargements

Partager

Gmail Facebook X LinkedIn More