Thèse soutenue

Groupes cristallographiques et polynômes de Chebyshev en optimisation globale

FR  |  
EN
Auteur / Autrice : Tobias Metzlaff
Direction : Evelyne Hubert
Type : Thèse de doctorat
Discipline(s) : Mathématiques
Date : Soutenance le 15/12/2022
Etablissement(s) : Université Côte d'Azur
Ecole(s) doctorale(s) : École doctorale Sciences fondamentales et appliquées (Nice ; 2000-....)
Partenaire(s) de recherche : Laboratoire : Institut national de recherche en informatique et en automatique (France). Unité de recherche (Sophia Antipolis, Alpes-Maritimes)
Jury : Président / Présidente : Laurent Baratchart
Examinateurs / Examinatrices : Evelyne Hubert, Laurent Baratchart, Christine Bachoc, Victor Magron, Gabriele Nebe, Frédéric Patras
Rapporteurs / Rapporteuses : Christine Bachoc, Victor Magron

Résumé

FR  |  
EN

Cette thèse étudie le problème de l'optimisation d'un polynôme trigonométrique avec symétrie cristallographique. L'optimisation des polynômes trigonométriques était l'objet de nombreux travaux récents, mais une théorie permettant d'exploiter les symétries n'a pas été développée ou généralisée. Nous considérons l'action d'un groupe cristallographique, également connu sous le nom de groupe de Weyl, sur les exposants. Cette action admet une définition des polynômes de Chebychev généralisés. Si un polynôme trigonométrique est invariant sous l'action, il peut être écrit comme une somme de polynômes de Chebyshev généralisés dans les invariants fondamentaux.En réécrivant un polynôme trigonométrique invariant comme un polynôme classique, la région d'optimisation est transformée en l'espace d'orbite de l'action du groupe de Weyl multiplicatif. Cet espace d'orbite est l'image des invariants fondamentaux et nous montrons que, pour les groupes de Weyl de types A, B, C, D et G, il s'agit d'un ensemble compact basique semi-algébrique. En plus, nous donnons les inégalités polynomiales descriptives à par un matrix polynomial positif de Hermite.En ce qui concerne l'optimisation, notre approche de réécriture transforme le problème d'optimisation trigonométrique dans un problème d'optimisation polynomiale sur un ensemble basique semi-algébrique. Pour résoudre de tels problèmes, on peut appliquer la hiérarchie des relaxations de moment et de somme de carrés de Lasserre. Nous adaptons et implémentons cette hiérarchie sur la base de polynômes de Chebyshev généralisés avec une nouvelle notion de degré. La valeur optimale du problème d'optimisation trigonométrique original est alors approximée par des solutions de programmes semi-définis, qui sont résolus numériquement.Dans l'optimisation polynomiale classique et d'autres applications, l'adaptation des symétries a été étudiée et implémenté, mais les symétries cristallographiques n'ont pas été exploitées en optimisation trigonométrique auparavant. Avec notre approche, nous fournissons une alternative aux stratégies connues pour l'optimisation trigonométrique. Alors que d'autres techniques utilisent des sommes de carrés Hermitiens ou en généralisant l'hiérarchie de Lasserre au cadre complexe, nous exploitons d'abord la symétrie et appliquons ensuite des techniques d'optimisation polynomiale classique. Cela réduit la taille des relaxations semi-définies qui en découlent et peut également améliorer la qualité de l'approximation.En guise d'application, nous étudions le problème de calcul des bornes inférieurs pour le nombre chromatique des graphes géométriques. Étant donné une norme et un ensemble de sommets, ce problème demande de trouver le nombre minimal de couleurs nécessaires pour peindre les sommets, de sorte que deux de ceux de distance 1 entre eux n'aient pas la même couleur. La borne spectrale a été généralisée des graphes finis aux graphes infinis pour traiter de tels problèmes. Cette limite implique l'optimisation d'un polynôme trigonométrique. Nous nous concentrons sur les normes qui sont données par des polytopes avec une symétrie cristallographique. Le problème peut alors être abordé avec les techniques développées dans cette thèse. Nous donnons plusieurs bornes à travers des calculs analytiques et numériques.