SPAENLEHAUER Pierre-Jean

Docteur
Équipe : PolSys
Date de départ : 31/12/2012
https://lip6.fr/Pierre-Jean.Spaenlehauer

Direction de recherche : Jean-Charles FAUGÈRE

Co-encadrement : SAFEY EL DIN Mohab

Résolution de systèmes multi-homogènes et déterminantiels

De nombreux systèmes polynomiaux multivariés apparaissant en Sciences de l'Ingénieur possèdent une structure algébrique spécifique. En particulier, les structures multi-homogènes, déterminantielles et les systèmes booléens apparaissent dans une variété d'applications. Une méthode classique pour résoudre des systèmes polynomiaux passe par le calcul d'une base de Gröbner de l'idéal associé au système.
Cette thèse présente de nouveaux outils pour la résolution de tels systèmes structurés.
D'une part, ces outils permettent d'obtenir sous des hypothèses de généricité des bornes de complexité du calcul de base de Gröbner de plusieurs familles de systèmes polynomiaux structurés (systèmes bilinéaires, systèmes déterminantiels, systèmes définissant des points critiques, systèmes booléens). Ceci permet d'identifier des familles de systèmes pour lequels la complexité arithmétique de résolution est polynomiale en le nombre de solutions.
D'autre part, cette thèse propose de nouveaux algorithmes qui exploitent ces structures algébriques pour améliorer l'efficacité du calcul de base de Gröbner et de la résolution (systèmes multi-homogènes, systèmes booléens). Ces résultats sont illustrés par des applications concrètes en cryptologie (cryptanalyse des systèmes MinRank et ASC), en optimisation et en géométrie réelle effective (calcul de points critiques).

Soutenance : 09/10/2012

Membres du jury :

Bern STURMFELS (Professeur, University of California, Berkeley) [Rapporteur]
Gilles VILLARD (Directeur de Recherche CNRS, École Normale Supérieure de Lyon) [Rapporteur]
Jean-Claude BAJARD (Professeur, Université Pierre et Marie Curie)
Jean-Charles FAUGÈRE (Directeur de Recherche INRIA, Centre Paris-Rocquencourt)
Antoine JOUX (Professeur associé, Université de Versailles Saint-Quentin-en-Yvelines)
Mohab SAFEY EL DIN (Professeur, Université Pierre et Marie Curie)
Bruno SALVY (Directeur de Recherche INRIA, École Normale Supérieure de Lyon)
Gilles VILLARD (Directeur de Recherche CNRS, École Normale Supérieure de Lyon)

Date de départ : 31/12/2012

Publications 2009-2016

Mentions légales
Carte du site