Parabolic second-order tangent sets of semialgebraic sets and applications to polynomial optimization

Résumé Technique : Ensembles Tangents Paraboliques de Second Ordre des Ensembles Semi-algébriques et Applications à l'Optimisation Polynomiale

Énoncé du Problème
Les cônes tangents de premier ordre, bien que fondamentaux en analyse variationnelle et en optimisation sous contraintes, ne parviennent pas à capturer la courbure, l'activation de second ordre des contraintes ou les comportements de faisabilité par branche. Ces caractéristiques sont critiques dans les problèmes d'optimisation polynomiale dégénérés où les modèles standards de premier ordre sont insuffisants. Cet article répond au besoin d'un cadre rigoureux et algébriquement vérifiable pour l'analyse locale de second ordre des ensembles semi-algébriques. Plus précisément, il étudie l'ensemble tangent parabolique de second ordre, qui caractérise les corrections de second ordre $w$ dans les expansions réalisables de la forme $x(t) = \bar{x} + tu + \frac{1}{2}t^2w + o(t^2)$, et cherche à déterminer quand cet objet géométrique coïncide avec un modèle algébrique dérivé des gradients et des Hessiennes des contraintes définissantes.

Méthodologie
L'article opère dans la catégorie des ensembles semi-algébriques fermés de base $S = \{x \in \mathbb{R}^n : g_i(x) = 0, h_j(x) \leq 0\}$. La méthodologie procède selon les étapes suivantes :

1. Définitions : Les auteurs définissent trois variantes de l'ensemble tangent de second ordre en un point $\bar{x}$ dans une direction $u$ :

   • L'ensemble tangent parabolique extérieur ($T^{2,out}_S$), défini via des limites séquentielles.
   • L'ensemble tangent parabolique intérieur ($T^{2,in}_S$), défini via une quantification universelle sur les séquences.
   • L'ensemble tangent généré par des arcs ($T^{2,arc}_S$), défini via l'existence d'arcs semi-algébriques.
   • L'ensemble linéarisé algébrique de second ordre ($L^2_S$), défini par les égalités et inégalités de contraintes sur $w$ dérivées des développements de Taylor des contraintes actives.

2. Conditions de Régularité : Le cœur de la méthodologie introduit la régularité parabolique algébrique. Cette condition requiert deux propriétés en $(\bar{x}, u)$ :

   • Stabilité du Rang Directionnel : Le rang de la matrice jacobienne de la famille active de second ordre reste constant le long des arcs réalisables approchant $\bar{x}$ dans la direction $u$.
   • Réalisabilité par Arc Parabolique : Toute correction de second ordre formellement admissible $w \in L^2_S(\bar{x}; u)$ est réalisée par un arc semi-algébrique réel.

3. Stratification : Pour les ensembles singuliers, l'article utilise des stratifications semi-algébriques $C^2$ finies. Il décompose l'ensemble tangent d'un ensemble singulier en l'union des ensembles tangents des fermures des strates sélectionnées (branches) qui approchent le point avec la direction donnée.

Contributions Clés et Résultats

• Caractérisation Algébrique : L'article établit que sous la condition de régularité parabolique algébrique, les ensembles tangents paraboliques extérieur, intérieur et généré par arcs coïncident avec l'ensemble linéarisé algébrique de second ordre :
  $$T^{2,out}_S(\bar{x}; u) = T^{2,in}_S(\bar{x}; u) = T^{2,arc}_S(\bar{x}; u) = L^2_S(\bar{x}; u).$$
  Ce résultat transforme un objet géométrique abstrait en un système fini d'équations et d'inégalités linéaires et quadratiques impliquant les gradients et les Hessiennes.

• Formules Explicites : Les auteurs dérivent des formules exactes pour des classes spécifiques d'ensembles :

  • Hypersurfaces Lisses : L'ensemble tangent est défini par une équation linéaire unique impliquant la Hessienne du polynôme définissant.
  • Intersections Complètes Régulières : L'ensemble tangent est le noyau d'une application linéaire impliquant la Jacobienne et la dérivée seconde de l'application.
  • Systèmes d'Inégalités Lisses : Sous l'indépendance linéaire des gradients, l'ensemble tangent est l'ensemble polyédrique défini par les contraintes actives.
  • Ensembles Stratifiés : Une formule est fournie où l'ensemble tangent d'un ensemble singulier est l'union des ensembles tangents des fermures des strates pertinentes.

• Applications à l'Optimisation :

  • Conditions Nécessaires de Second Ordre : Si $\bar{x}$ est un minimum local, alors pour toute direction critique $u$ et tout $w \in T^2_S(\bar{x}; u)$, la forme quadratique $Q_f(\bar{x}; u, w) = \nabla f(\bar{x})w + u^T \nabla^2 f(\bar{x})u$ doit être non négative. Sous la régularité parabolique algébrique, ce test se réduit à vérifier $w \in L^2_S(\bar{x}; u)$.
  • Croissance Quadratique : L'article fournit des conditions suffisantes pour la croissance quadratique (c'est-à-dire $f(x) \geq f(\bar{x}) + c\|x-\bar{x}\|^2$). Si $Q_f$ est strictement positive sur l'ensemble linéarisé algébrique pour toutes les directions critiques unitaires, la croissance quadratique est assurée.
  • Multiplicateurs de Lagrange : Les résultats produisent des critères impliquant les multiplicateurs de Lagrange où le terme de second ordre de la fonction objectif est comparé à la Hessienne du Lagrangien, ajustée pour la courbure des contraintes d'inégalité actives.

Signification et Revendications
L'article affirme rendre les constructions de second ordre algébriquement vérifiables pour les ensembles réalisables semi-algébriques. Sa signification réside dans le fait de combler le fossé entre l'analyse variationnelle (qui traite souvent d'objets limites) et la géométrie algébrique réelle (qui offre des structures finies et calculables).

Les auteurs soulignent que leur approche détecte des caractéristiques que les cônes tangents de premier ordre ignorent :

• Courbure : Distinguer les branches réalisables plates et courbes.
• Platitude : Identifier les cas où les contraintes sont "plates" (par exemple, $y \geq x^4$) de telle sorte que les conditions de second ordre sont nécessaires pour la minimalité locale mais insuffisantes pour la croissance quadratique.
• Dépendance aux Branches : Gérer les ensembles singuliers (comme les cuspides ou les tacnodes) où différentes branches peuvent avoir des comportements de second ordre différents, nécessitant une analyse par branche plutôt qu'une équation linéarisée unique.
• Échec de l'Échelle Quadratique : Mettre en évidence les cas (comme les cuspides $y^2 = x^3$) où l'échelle parabolique standard $t^2$ est insuffisante pour capturer la première correction non triviale, nécessissant une analyse d'ordre supérieur ou d'ordre fractionnaire.

Le travail est présenté comme un complément local aux méthodes algébriques globales (telles que la hiérarchie moment-SOS de Lasserre ou les approches d'idéaux de gradient), fournissant des tests d'optimalité locale précis qui sont calculables via l'algèbre polynomiale. L'article conclut modestement, notant que bien qu'il résolve le cas de second ordre sous condition de régularité, les questions concernant les analogues d'ordre supérieur ou d'ordre fractionnaire (par exemple, les exposants de Puiseux) et la connexion avec les certificats globaux restent ouvertes.