Thèse soutenue

Problèmes multivariés liés aux moments : applications de la reconstruction de formes linéaires sur l'anneau des polynômes
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Mathieu Collowald
Direction : Evelyne HubertBernard Mourrain
Type : Thèse de doctorat
Discipline(s) : Mathématiques
Date : Soutenance le 18/12/2015
Etablissement(s) : Nice
Ecole(s) doctorale(s) : École doctorale Sciences fondamentales et appliquées (Nice)
Partenaire(s) de recherche : Laboratoire : Institut national de recherche en informatique et en automatique (France). Unité de recherche (Sophia Antipolis, Alpes-Maritimes) - Géométrie , Algèbre, Algorithmes
Jury : Président / Présidente : Jean-Antoine Désidéri
Examinateurs / Examinatrices : Evelyne Hubert, Bernard Mourrain, Jean-Antoine Désidéri, George Labahn, Jean-Bernard Lasserre, Ronald Cools, Ana Matos
Rapporteurs / Rapporteuses : George Labahn, Jean-Bernard Lasserre

Résumé

FR  |  
EN

Cette thèse porte sur la reconstruction de formes linéaires sur l'anneau des polynômes dans le cas multivarié et ses applications. Nous proposons des outils théoriques et algorithmiques permettant de résoudre des problèmes liés aux moments : la reconstruction de polytopes convexes à partir de leurs moments et la recherche de cubatures. L'algorithme numérique proposé pour reconstruire des polytopes utilise des méthodes numériques utilisées précédemment pour le cas des polygones, ainsi que les identités de Brion reliant moments directionnels et sommets projetés. Un polyèdre à 57 sommets - la coupe d'un diamant - est ainsi reconstruit. Pour la recherche de cubatures, nous adaptons la méthode de Prony univariée en une méthode multivariée à l'aide des opérateurs de Hankel. Un problème de complétion de matrices est aussi résolu grâce au théorème d'extension plate de Curto-Fialkow. Nous expliquons ainsi la recherche de cubatures à l'aide des matrices de moments, connue dans la littérature. La symétrie, qui est ici un élément naturel, réduit la complexité algorithmique. Nous prouvons qu'une diagonalisation par blocs des matrices concernées est alors possible. De ces blocs et à l'aide de la matrice de multiplicités d'un groupe fini, des conditions nécessaires à l'existence de cubatures sont obtenues. Pour une mesure, un degré et un nombre de nœuds donnés, notre algorithme certifie tout d'abord l'existence de cubatures et ensuite calcule ses poids et nœuds. De nouvelles cubatures ont ainsi été trouvées : soit en complétant celles connues pour une mesure et un degré donnés, soit en ajoutant des cubatures de degrés supérieurs pour une mesure donnée.