Matrices de moments, géométrie algébrique réelle et optimisation polynomiale

Le but de cette thèse est de calculer l'optimum d'un polynôme sur un ensemble semi-algébrique et les points où cet optimum est atteint. Pour atteindre cet objectif, nous combinons des méthodes de base de bord avec la hiérarchie de relaxation convexe de Lasserre afin de réduire la taille de...

Full description

Bibliographic Details
Main Author: Abril Bucero, Marta
Other Authors: Nice
Language:en
Published: 2014
Subjects:
Online Access:http://www.theses.fr/2014NICE4118/document
id ndltd-theses.fr-2014NICE4118
record_format oai_dc
spelling ndltd-theses.fr-2014NICE41182017-07-01T04:42:35Z Matrices de moments, géométrie algébrique réelle et optimisation polynomiale Moments matrices, real algebraic geometry and polynomial optimization Optimisation polynomiale Matrices de moments Méthode de relaxation Base de bord Extension plate Programmation semi-définie Variété de Fritz-John Polynomial optimization Moment matrices Relaxation method Border basis Flat extension Semi definite programming Fritz-John variety Le but de cette thèse est de calculer l'optimum d'un polynôme sur un ensemble semi-algébrique et les points où cet optimum est atteint. Pour atteindre cet objectif, nous combinons des méthodes de base de bord avec la hiérarchie de relaxation convexe de Lasserre afin de réduire la taille des matrices de moments dans les problèmes de programmation semi-définie positive (SDP). Afin de vérifier si le minimum est atteint, nous apportons un nouveau critère pour vérifier l'extension plate de Curto Fialkow utilisant des bases orthogonales. En combinant ces nouveaux résultats, nous fournissons un nouvel algorithme qui calcule l'optimum et les points minimiseurs. Nous décrivons plusieurs expérimentations et des applications dans différents domaines qui prouvent la performance de l'algorithme. Au niveau théorique nous prouvons aussi la convergence finie d'une hiérarchie SDP construite à partir d'un idéal de Karush-Kuhn-Tucker et ses conséquences dans des cas particuliers. Nous étudions aussi le cas particulier où les minimiseurs ne sont pas des points de KKT en utilisant la variété de Fritz-John. The objective of this thesis is to compute the optimum of a polynomial on a closed basic semialgebraic set and the points where this optimum is reached. To achieve this goal we combine border basis method with Lasserre's hierarchy in order to reduce the size of the moment matrices in the SemiDefinite Programming (SDP) problems. In order to verify if the minimum is reached we describe a new criterion to verify the flat extension condition using border basis. Combining these new results we provide a new algorithm which computes the optimum and the minimizers points. We show several experimentations and some applications in different domains which prove the perfomance of the algorithm. Theorethically we also prove the finite convergence of a SDP hierarchie contructed from a Karush-Kuhn-Tucker ideal and its consequences in particular cases. We also solve the particular case where the minimizers are not KKT points using Fritz-John Variety. Electronic Thesis or Dissertation Text en http://www.theses.fr/2014NICE4118/document Abril Bucero, Marta 2014-12-12 Nice Mourrain, Bernard
collection NDLTD
language en
sources NDLTD
topic Optimisation polynomiale
Matrices de moments
Méthode de relaxation
Base de bord
Extension plate
Programmation semi-définie
Variété de Fritz-John
Polynomial optimization
Moment matrices
Relaxation method
Border basis
Flat extension
Semi definite programming
Fritz-John variety

spellingShingle Optimisation polynomiale
Matrices de moments
Méthode de relaxation
Base de bord
Extension plate
Programmation semi-définie
Variété de Fritz-John
Polynomial optimization
Moment matrices
Relaxation method
Border basis
Flat extension
Semi definite programming
Fritz-John variety

Abril Bucero, Marta
Matrices de moments, géométrie algébrique réelle et optimisation polynomiale
description Le but de cette thèse est de calculer l'optimum d'un polynôme sur un ensemble semi-algébrique et les points où cet optimum est atteint. Pour atteindre cet objectif, nous combinons des méthodes de base de bord avec la hiérarchie de relaxation convexe de Lasserre afin de réduire la taille des matrices de moments dans les problèmes de programmation semi-définie positive (SDP). Afin de vérifier si le minimum est atteint, nous apportons un nouveau critère pour vérifier l'extension plate de Curto Fialkow utilisant des bases orthogonales. En combinant ces nouveaux résultats, nous fournissons un nouvel algorithme qui calcule l'optimum et les points minimiseurs. Nous décrivons plusieurs expérimentations et des applications dans différents domaines qui prouvent la performance de l'algorithme. Au niveau théorique nous prouvons aussi la convergence finie d'une hiérarchie SDP construite à partir d'un idéal de Karush-Kuhn-Tucker et ses conséquences dans des cas particuliers. Nous étudions aussi le cas particulier où les minimiseurs ne sont pas des points de KKT en utilisant la variété de Fritz-John. === The objective of this thesis is to compute the optimum of a polynomial on a closed basic semialgebraic set and the points where this optimum is reached. To achieve this goal we combine border basis method with Lasserre's hierarchy in order to reduce the size of the moment matrices in the SemiDefinite Programming (SDP) problems. In order to verify if the minimum is reached we describe a new criterion to verify the flat extension condition using border basis. Combining these new results we provide a new algorithm which computes the optimum and the minimizers points. We show several experimentations and some applications in different domains which prove the perfomance of the algorithm. Theorethically we also prove the finite convergence of a SDP hierarchie contructed from a Karush-Kuhn-Tucker ideal and its consequences in particular cases. We also solve the particular case where the minimizers are not KKT points using Fritz-John Variety.
author2 Nice
author_facet Nice
Abril Bucero, Marta
author Abril Bucero, Marta
author_sort Abril Bucero, Marta
title Matrices de moments, géométrie algébrique réelle et optimisation polynomiale
title_short Matrices de moments, géométrie algébrique réelle et optimisation polynomiale
title_full Matrices de moments, géométrie algébrique réelle et optimisation polynomiale
title_fullStr Matrices de moments, géométrie algébrique réelle et optimisation polynomiale
title_full_unstemmed Matrices de moments, géométrie algébrique réelle et optimisation polynomiale
title_sort matrices de moments, géométrie algébrique réelle et optimisation polynomiale
publishDate 2014
url http://www.theses.fr/2014NICE4118/document
work_keys_str_mv AT abrilbuceromarta matricesdemomentsgeometriealgebriquereelleetoptimisationpolynomiale
AT abrilbuceromarta momentsmatricesrealalgebraicgeometryandpolynomialoptimization
_version_ 1718489101201571840