Euclidean distance degree defect of singular projective varieties

Resumo Técnico: Defeito do Grau de Distância Euclidiana de Variedades Projetivas Singulares

Enunciado do Problema
O grau de distância euclidiana (grau ED) é um invariante fundamental na geometria algébrica e na matemática aplicada, medindo a complexidade algébrica de problemas de ponto mais próximo em uma variedade algébrica. Especificamente, ele conta o número de pontos críticos complexos da função de distância euclidiana ao quadrado de um ponto de dados genérico até a variedade. Duas variantes principais são estudadas: o grau ED unitário ($uEDdeg$), correspondente à métrica euclidiana padrão, e o grau ED genérico ($gEDdeg$), correspondente a uma métrica ponderada genérica.

Enquanto o $gEDdeg$ é frequentemente mais tratável de calcular (pois a quádrica associada intersecta a variedade transversalmente), o $uEDdeg$ é frequentemente mais difícil de determinar devido a interseções não transversais com a quádrica isotrópica. Em muitas aplicações que abrangem otimização, engenharia, estatística e ciência de dados, existe uma lacuna significativa entre esses dois valores. Este artigo define o defeito do grau ED como a diferença:
$$\text{EDdefect}(X) := gEDdeg(X) - uEDdeg(X)$$
O problema central abordado é o cálculo deste defeito para variedades projetivas complexas arbitrárias, particularmente aquelas que são singulares. Resultados anteriores, como os de [15], limitavam-se ao contexto suave. Como muitos modelos em aplicações são singulares, é necessária uma generalização das fórmulas topológicas para o defeito para o caso singular.

Metodologia
Os autores estendem o arcabouço de feixes de hipersuperfícies quádricas e ciclos evanescentes para variedades singulares. A metodologia baseia-se nas seguintes construções:

1. Feixe de Quádricas: Para uma variedade $X \subset \mathbb{P}^n$ e um peso genérico $w$, os autores consideram um feixe de quádricas $Q_\lambda$ interpolando entre a quádrica isotrópica $Q$ (associada à métrica unitária) e a quádrica ponderada $Q_w$ (associada à métrica genérica). Isso induz um feixe de hipersuperfícies $X_\lambda = X \cap Q_\lambda$ em $X$.
2. Variedade de Incidência e Função: Eles definem uma variedade de incidência $\tilde{X}$ e uma função regular $f = f_0/f_\infty$ em $X \setminus X_\infty$, onde $f_0$ e $f_\infty$ definem as quádricas $Q$ e $Q_w$, respectivamente.
3. Ciclos Evanescentes: O núcleo da abordagem utiliza o functor de ciclos evanescentes $\phi_f$ aplicado à função construtível da obstrução euleriana local, $Eu_X$. Este functor captura a mudança topológica nas fibras de $f$ perto do lugar singular do feixe.
4. Estratificação: Para lidar com singularidades, os autores empregam estratificações de Whitney. Eles analisam o comportamento da função construtível $\phi_f(Eu_{X \setminus Q_w})$ restrita ao lugar singular da função $f$ (que corresponde à interseção de $X$ com a quádrica isotrópica).
5. Expansão em Base: O defeito é expresso como uma combinação linear dos graus ED genéricos dos estratos no lugar singular, ponderados por coeficientes derivados da topologia dos links complexos entre estratos.

Principais Contribuições e Resultados

• Fórmula Topológica para o Defeito (Teorema 1.6): O artigo fornece um aprimoramento construtível e uma fórmula topológica para o defeito do grau ED de uma variedade projetiva complexa arbitrária $X$. O defeito é dado pela característica de Euler do ciclo evanescente da função de obstrução euleriana local, restrita à interseção da variedade com a quádrica isotrópica (menos um 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)$$
  Isso generaliza resultados anteriores de [15] que eram restritos a variedades suaves.

• Fórmula Estratificada (Teorema 1.7): Para variedades com singularidades, os autores derivam uma fórmula expressando o defeito como uma soma sobre os estratos do lugar singular $Z = X_0 \cap \text{Sing}(f)$. O defeito é uma soma ponderada dos graus ED genéricos dos estratos:
  $$\text{EDdefect}(X) = \sum_{V \in \mathcal{X}_0} (-1)^{\text{codim}_{\mathcal{X}_0}(V)} \alpha_V \cdot gEDdeg(V)$$
  Os coeficientes $\alpha_V$ são determinados pelos valores da função construtível $\mu$ e pela topologia dos links complexos entre estratos.

• Singularidades Isoladas (Corolário 1.8): No caso em que as singularidades são isoladas, a fórmula simplifica-se para uma soma envolvendo os valores da função construtível nos pontos singulares, relacionando diretamente o defeito aos dados da fibra de Milnor.

• Exemplos Computacionais: O artigo valida esses resultados teóricos através de exemplos concretos:

  • Exemplo 3.1 & 3.2: Cálculos para superfícies singulares específicas em $\mathbb{P}^3$ com singularidades isoladas e singularidades de guarda-chuva de Whitney, respectivamente. Os resultados ($EDdefect = 1$ em ambos os casos) são verificados contra cálculos simbólicos dos graus ED completos.
  • Matrizes de Baixo Ranks Estruturadas (Seção 4.1): Os autores aplicam seu arcabouço a matrizes com restrição de rank e padrões de esparsidade (por exemplo, $X_{3,3,2} \cap V(x_0)$). Eles relatam valores específicos de defeito (por exemplo, 28) e destacam os desafios computacionais na determinação da obstrução euleriana local nos lugares singulares dessas interseções.
  • Hipersuperfícies Tóricas (Seção 4.2): O artigo apresenta uma tabela de defeitos computados para hipersuperfícies binomiais e suas interseções com a esfera, observando que, embora o defeito para o binômio em si seja zero, a interseção com a esfera introduz defeitos não triviais.

Significado e Alegações
O artigo afirma preencher uma lacuna crítica na literatura ao fornecer as primeiras fórmulas topológicas para o defeito do grau ED aplicáveis a variedades projetivas singulares. Os autores afirmam que sua abordagem oferece um novo método para calcular graus ED em ampla generalidade, aproveitando o fato de que o grau ED genérico é tipicamente mais tratável do que o grau ED unitário.

O significado reside em permitir a análise de modelos comuns em campos aplicados (como aproximação de baixo rank estruturado e modelos tóricos) que são inerentemente singulares. Ao expressar o defeito em termos de invariantes das singularidades (fibras de Milnor, links complexos e obstruções eulerianas locais), o artigo fornece uma ponte teórica entre a teoria das singularidades e a complexidade da otimização. Os autores notam que essas ferramentas são necessárias para abordar problemas em aberto, como a conjectura de dualidade na aproximação de baixo rank estruturado e a extensão de resultados de complexidade algébrica mínima para matrizes de rank superior.

O artigo não afirma fornecer uma fórmula combinatória de forma fechada para todos os casos, mas sim um arcabouço topológico que reduz o cálculo do defeito ao cálculo de invariantes locais e graus ED genéricos de estratos de dimensão inferior. Ele reconhece que calcular esses invariantes (particularmente a obstrução euleriana local em lugares singulares complexos) permanece um desafio computacional, motivando trabalhos futuros em métodos simbólicos e numéricos.