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

Resumen Técnico: Conjuntos Tangentes Parabólicos de Segundo Orden de Conjuntos Semialgebraicos y Aplicaciones a la Optimización Polinómica

Planteamiento del Problema
Los conos tangentes de primer orden, aunque fundamentales en el análisis variacional y la optimización con restricciones, no logran capturar la curvatura, la activación de segundo orden de las restricciones o los comportos de viabilidad por ramas. Estas características son críticas en problemas de optimización polinómica degenerados donde los modelos estándar de primer orden son insuficientes. El artículo aborda la necesidad de un marco riguroso y algebraicamente verificable para el análisis local de segundo orden de conjuntos semialgebraicos. Específicamente, investiga el conjunto tangente parabólico de segundo orden, el cual caracteriza las correcciones de segundo orden $w$ en expansiones factibles de la forma $x(t) = \bar{x} + tu + \frac{1}{2}t^2w + o(t^2)$, y busca determinar cuándo este objeto geométrico coincide con un modelo algebraico derivado de los gradientes y hessianos de las restricciones.

Metodología
El artículo opera dentro de la categoría de conjuntos semialgebraicos cerrados básicos $S = \{x \in \mathbb{R}^n : g_i(x) = 0, h_j(x) \leq 0\}$. La metodología procede a través de los siguientes pasos:

1. Definiciones: Los autores definen tres variantes del conjunto tangente de segundo orden en un punto $\bar{x}$ en una dirección $u$:

   • El conjunto tangente parabólico exterior ($T^{2,out}_S$), definido mediante límites secuenciales.
   • El conjunto tangente parabólico interior ($T^{2,in}_S$), definido mediante cuantificación universal sobre secuencias.
   • El conjunto tangente generado por arcos ($T^{2,arc}_S$), definido mediante la existencia de arcos semialgebraicos.
   • El conjunto linealizado algebraicamente de segundo orden ($L^2_S$), definido por las restricciones de igualdad y desigualdad sobre $w$ derivadas de las expansiones de Taylor de las restricciones activas.

2. Condiciones de Regularidad: El núcleo de la metodología introduce la regularidad parabólica algebraica. Esta condición requiere dos propiedades en $(\bar{x}, u)$:

   • Estabilidad de Rango Direccional: El rango de la matriz del gradiente de la familia activa de segundo orden permanece constante a lo largo de los arcos factibles que se aproximan a $\bar{x}$ en la dirección $u$.
   • Realizabilidad de Arcos Parabólicos: Toda corrección de segundo orden formalmente admisible $w \in L^2_S(\bar{x}; u)$ es realizada por un arco semialgebraico real.

3. Estratificación: Para conjuntos singulares, el artículo utiliza estratificaciones semialgebraicas $C^2$ finitas. Descompone el conjunto tangente de un conjunto singular en la unión de los conjuntos tangentes de los cierres de las estratas seleccionadas (ramas) que se aproximan al punto con la dirección dada.

Contribuciones Clave y Resultados

• Caracterización Algebraica: El artículo establece que, bajo la condición de regularidad parabólica algebraica, los conjuntos tangentes parabólicos exterior, interior y generado por arcos coinciden con el conjunto linealizado algebraicamente de segundo orden:
  $$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).$$
  Este resultado transforma un objeto geométrico abstracto en un sistema finito de ecuaciones/desigualdades lineales y cuadráticas que involucran gradientes y hessianos.

• Fórmulas Explícitas: Los autores derivan fórmulas exactas para clases específicas de conjuntos:

  • Hipersuperficies Suaves: El conjunto tangente está definido por una única ecuación lineal que involucra el hessiano de la función polinómica definitoria.
  • Intersecciones Completas Regulares: El conjunto tangente es el núcleo de un mapa lineal que involucra el jacobiano y la segunda derivada del mapeo.
  • Sistemas de Desigualdades Suaves: Bajo independencia lineal de los gradientes, el conjunto tangente es el conjunto poliédrico definido por las restricciones activas.
  • Conjuntos Estratificados: Se proporciona una fórmula donde el conjunto tangente de un conjunto singular es la unión de los conjuntos tangentes de los cierres de las estratas relevantes.

• Aplicaciones de Optimización:

  • Condiciones Necesarias de Segundo Orden: Si $\bar{x}$ es un minimizador local, entonces para cada dirección crítica $u$ y cada $w \in T^2_S(\bar{x}; u)$, la forma cuadrática $Q_f(\bar{x}; u, w) = \nabla f(\bar{x})w + u^T \nabla^2 f(\bar{x})u$ debe ser no negativa. Bajo regularidad parabólica algebraica, esta prueba se reduce a verificar $w \in L^2_S(\bar{x}; u)$.
  • Crecimiento Cuadrático: El artículo proporciona condiciones suficientes para el crecimiento cuadrático (es decir, $f(x) \geq f(\bar{x}) + c\|x-\bar{x}\|^2$). Si $Q_f$ es estrictamente positiva en el conjunto linealizado algebraico para todas las direcciones críticas unitarias, el crecimiento cuadrático se cumple.
  • Multiplicadores de Lagrange: Los resultados producen criterios que involucran multiplicadores de Lagrange donde el término de segundo orden de la función objetivo se compara contra el hessiano del Lagrangiano, ajustado por la curvatura de las restricciones de desigualdad activas.

Significancia y Reivindicaciones
El artículo afirma que hace que las construcciones de segundo orden sean algebraicamente verificables para conjuntos factibles semialgebraicos. Su significancia radica en cerrar la brecha entre el análisis variacional (que a menudo trata con objetos límite) y la geometría algebraica real (que ofrece estructuras finitas y computables).

Los autores enfatizan que su enfoque detecta características que los conos tangentes de primer orden omiten:

• Curvatura: Distinguir entre ramas factibles planas y curvas.
• Planitud: Identificar casos donde las restricciones son "planas" (por ejemplo, $y \geq x^4$) de tal manera que las condiciones de segundo orden son necesarias para la minimidad local pero insuficientes para el crecimiento cuadrático.
• Dependencia de la Rama: Manejar conjuntos singulares (como cúspides o tacnodes) donde diferentes ramas pueden tener comportos de segundo orden distintos, requiriendo un análisis por ramas en lugar de una única ecuación linealizada.
• Fallo de Escalamiento Cuadrático: Resaltar casos (como la cúspide $y^2 = x^3$) donde el escalamiento parabólico estándar $t^2$ es insuficiente para capturar la primera corrección no trivial, necesitando un análisis de orden superior o de orden fraccionario.

El trabajo se presenta como un complemento local a los métodos algebraicos globales (como la jerarquía Lasserre de momentos-SOS o los enfoques de ideales de gradiente), proporcionando pruebas de optimalidad local precisas que son computables mediante álgebra polinómica. El artículo concluye modestamente, señalando que, si bien resuelve el caso de segundo orden bajo regularidad, permanecen abiertas cuestiones relativas a análogos de orden superior o de orden fraccionario (por ejemplo, exponentes de Puiseux) y la conexión con certificados globales.