Euclidean distance degree defect of singular projective varieties

Resumen Técnico: Defecto del Grado de Distancia Euclídea de Variedades Proyectivas Singulares

Enunciado del Problema
El grado de distancia euclídea (grado ED) es un invariante fundamental en geometría algebraica y matemáticas aplicadas, que mide la complejidad algebraica de los problemas de punto más cercano en una variedad algebraica. Específicamente, cuenta el número de puntos críticos complejos de la función de distancia euclídea al cuadrado desde un punto de datos genérico hasta la variedad. Se estudian dos variantes principales: el grado ED unitario ($uEDdeg$), correspondiente a la métrica euclídea estándar, y el grado ED genérico ($gEDdeg$), correspondiente a una métrica ponderada genérica.

Aunque $gEDdeg$ suele ser más manejable de calcular (ya que la cuádrica asociada interseca a la variedad transversalmente), $uEDdeg$ es frecuentemente más difícil de determinar debido a intersecciones no transversales con la cuádrica isotrópica. En muchas aplicaciones que abarcan optimización, ingeniería, estadística y ciencia de datos, existe una brecha significativa entre estos dos valores. Este artículo define el defecto del grado ED como la diferencia:
$$\text{EDdefect}(X) := gEDdeg(X) - uEDdeg(X)$$
El problema central abordado es el cálculo de este defecto para variedades proyectivas complejas arbitrarias, particularmente aquellas que son singulares. Resultados anteriores, como los de [15], se limitaban al contexto suave. Dado que muchos modelos en aplicaciones son singulares, se requiere una generalización de las fórmulas topológicas para el defecto al caso singular.

Metodología
Los autores extienden el marco de los haces de hipersuperficies cuádricas y ciclos evanescentes a variedades singulares. La metodología se basa en las siguientes construcciones:

1. Haz de Cuádricas: Para una variedad $X \subset \mathbb{P}^n$ y un peso genérico $w$, los autores consideran un haz de cuádricas $Q_\lambda$ que interpola entre la cuádrica isotrópica $Q$ (asociada a la métrica unitaria) y la cuádrica ponderada $Q_w$ (asociada a la métrica genérica). Esto induce un haz de hipersuperficies $X_\lambda = X \cap Q_\lambda$ sobre $X$.
2. Variedad de Incidencia y Función: Definen una variedad de incidencia $\tilde{X}$ y una función regular $f = f_0/f_\infty$ sobre $X \setminus X_\infty$, donde $f_0$ y $f_\infty$ definen las cuádricas $Q$ y $Q_w$ respectivamente.
3. Ciclos Evanescentes: El núcleo del enfoque utiliza el functor de ciclos evanescentes $\phi_f$ aplicado a la función construible de la obstrucción euleriana local, $Eu_X$. Este functor captura el cambio topológico en las fibras de $f$ cerca del lugar singular del haz.
4. Estratificación: Para manejar singularidades, los autores emplean estratificaciones de Whitney. Analizan el comportamiento de la función construible $\phi_f(Eu_{X \setminus Q_w})$ restringida al lugar singular de la función $f$ (que corresponde a la intersección de $X$ con la cuádrica isotrópica).
5. Expansión en Base: El defecto se expresa como una combinación lineal de grados ED genéricos de los estratos en el lugar singular, ponderados por coeficientes derivados de la topología de los enlaces complejos entre estratos.

Contribuciones y Resultados Clave

• Fórmula Topológica para el Defecto (Teorema 1.6): El artículo proporciona una mejora construible y una fórmula topológica para el defecto del grado ED de una variedad proyectiva compleja arbitraria $X$. El defecto viene dado por la característica de Euler del ciclo evanescente de la función de obstrucción euleriana local, restringida a la intersección de la variedad con la cuádrica isotrópica (menos un hiperplano genérico):
  $$\text{EDdefect}(X) = (-1)^{\dim(X)-1} \chi \left( (\phi_f(Eu_{X \setminus Q_w}))|_{X_0 \setminus (Q_w \cup H)} \right)$$
  Esto generaliza resultados anteriores de [15] que estaban restringidos a variedades suaves.

• Fórmula Estratificada (Teorema 1.7): Para variedades con singularidades, los autores derivan una fórmula que expresa el defecto como una suma sobre los estratos del lugar singular $Z = X_0 \cap \text{Sing}(f)$. El defecto es una suma ponderada de los grados ED genéricos de los estratos:
  $$\text{EDdefect}(X) = \sum_{V \in \mathcal{X}_0} (-1)^{\text{codim}_{\mathcal{X}_0}(V)} \alpha_V \cdot gEDdeg(V)$$
  Los coeficientes $\alpha_V$ están determinados por los valores de la función construible $\mu$ y la topología de los enlaces complejos entre estratos.

• Singularidades Aisladas (Corolario 1.8): En el caso donde las singularidades son aisladas, la fórmula se simplifica a una suma que involucra los valores de la función construible en los puntos singulares, relacionando directamente el defecto con los datos de la fibra de Milnor.

• Ejemplos Computacionales: El artículo valida estos resultados teóricos mediante ejemplos concretos:

  • Ejemplo 3.1 y 3.2: Cálculos para superficies singulares específicas en $\mathbb{P}^3$ con singularidades aisladas y singularidades de paraguas de Whitney, respectivamente. Los resultados ($EDdefect = 1$ en ambos casos) se verifican frente a cálculos simbólicos de los grados ED completos.
  • Matrices de Rango Bajo Estructuradas (Sección 4.1): Los autores aplican su marco a matrices con restricción de rango y patrones de dispersión (por ejemplo, $X_{3,3,2} \cap V(x_0)$). Reportan valores específicos de defecto (por ejemplo, 28) y destacan los desafíos computacionales para determinar la obstrucción euleriana local en los lugares singulares de estas intersecciones.
  • Hipersuperficies Tóricas (Sección 4.2): El artículo presenta una tabla de defectos calculados para hipersuperficies binomiales y sus intersecciones con la esfera, señalando que, aunque el defecto para la binomial en sí es cero, la intersección con la esfera introduce defectos no triviales.

Significado y Afirmaciones
El artículo afirma llenar un vacío crítico en la literatura al proporcionar las primeras fórmulas topológicas para el defecto del grado ED aplicables a variedades proyectivas singulares. Los autores declaran que su enfoque ofrece un nuevo método para calcular grados ED en una generalidad amplia, aprovechando el hecho de que el grado ED genérico es típicamente más manejable que el grado ED unitario.

El significado radica en permitir el análisis de modelos comunes en campos aplicados (como la aproximación de rango bajo estructurada y modelos tóricos) que son inherentemente singulares. Al expresar el defecto en términos de invariantes de las singularidades (fibras de Milnor, enlaces complejos y obstrucciones eulerianas locales), el artículo proporciona un puente teórico entre la teoría de singularidades y la complejidad de la optimización. Los autores señalan que estas herramientas son necesarias para abordar problemas abiertos, como la conjetura de dualidad en la aproximación de rango bajo estructurada y extender resultados de complejidad algebraica mínima a matrices de rango superior.

El artículo no afirma proporcionar una fórmula combinatoria de forma cerrada para todos los casos, sino más bien un marco topológico que reduce el cálculo del defecto al cálculo de invariantes locales y grados ED genéricos de estratos de dimensión inferior. Reconoce que calcular estos invariantes (particularmente la obstrucción euleriana local en lugares singulares complejos) sigue siendo un desafío computacional, motivando trabajos futuros en métodos simbólicos y numéricos.