Euclidean distance degree defect of singular projective varieties

Technische Samenvatting: Euclidische Afstandsgraaddefect van Singuliere Projectieve Variëteiten

Probleemstelling
De Euclidische afstandsgraad (ED-graad) is een fundamentele invariant in de algebraïsche meetkunde en toegepaste wiskunde, die de algebraïsche complexiteit meet van dichtstbijzijnde-puntproblemen op een algebraïsche variëteit. Specifiek telt het het aantal complexe kritieke punten van de gekwadrateerde Euclidische afstandsfunctie van een generiek datapunt tot de variëteit. Twee primaire varianten worden bestudeerd: de unit ED-graad ($uEDdeg$), die overeenkomt met de standaard Euclidische metriek, en de generieke ED-graad ($gEDdeg$), die overeenkomt met een generieke gewogen metriek.

Hoewel $gEDdeg$ vaak makkelijker te berekenen is (aangezien de bijbehorende kwadriek de variëteit transversaal snijdt), is $uEDdeg$ vaak moeilijker te bepalen vanwege niet-transversale snijdingen met de isotrope kwadriek. In veel toepassingen die variëren van optimalisatie, techniek, statistiek tot datawetenschap, bestaat er een aanzienlijke kloof tussen deze twee waarden. Dit artikel definieert het ED-graaddefect als het verschil:
$$\text{EDdefect}(X) := gEDdeg(X) - uEDdeg(X)$$
Het centrale probleem dat wordt aangepakt, is de berekening van dit defect voor willekeurige complexe projectieve variëteiten, met name die welke singulier zijn. Eerdere resultaten, zoals die in [15], waren beperkt tot de gladde setting. Aangezien veel modellen in toepassingen singulier zijn, is een generalisatie van de topologische formules voor het defect naar het singuliere geval vereist.

Methodologie
De auteurs breiden het raamwerk van pennen van kwadriekhypervlakken en verdwijnende cycli uit tot singuliere variëteiten. De methodologie steunt op de volgende constructies:

1. Pen van Kwadrieken: Voor een variëteit $X \subset \mathbb{P}^n$ en een generiek gewicht $w$ overwegen de auteurs een pen van kwadrieken $Q_\lambda$ die interpoleert tussen de isotrope kwadriek $Q$ (geassocieerd met de unit-metriek) en de gewogen kwadriek $Q_w$ (geassocieerd met de generieke metriek). Dit induceert een pen van hypervlakken $X_\lambda = X \cap Q_\lambda$ op $X$.
2. Incidentievariëteit en Functie: Zij definiëren een incidentievariëteit $\tilde{X}$ en een reguliere functie $f = f_0/f_\infty$ op $X \setminus X_\infty$, waarbij $f_0$ en $f_\infty$ respectievelijk de kwadrieken $Q$ en $Q_w$ definiëren.
3. Verdwijnende Cycli: De kern van de aanpak maakt gebruik van de verdwenen cyclusfunctor $\phi_f$ toegepast op de construeerbare functie van de lokale Euler-obstructie, $Eu_X$. Deze functor vangt de topologische verandering in de vezels van $f$ in de buurt van het singuliere deel van de pen.
4. Stratificatie: Om met singulariteiten om te gaan, maken de auteurs gebruik van Whitney-stratificaties. Zij analyseren het gedrag van de construeerbare functie $\phi_f(Eu_{X \setminus Q_w})$ beperkt tot het singuliere deel van de functie $f$ (wat overeenkomt met de snijding van $X$ met de isotrope kwadriek).
5. Basisontwikkeling: Het defect wordt uitgedrukt als een lineaire combinatie van generieke ED-graden van de strata in het singuliere deel, gewogen door coëfficiënten die zijn afgeleid uit de topologie van complexe links tussen strata.

Belangrijkste Bijdragen en Resultaten

• Topologische Formule voor het Defect (Stelling 1.6): Het artikel biedt een construeerbare verbetering en een topologische formule voor het ED-graaddefect van een willekeurige complexe projectieve variëteit $X$. Het defect wordt gegeven door het Euler-karakteristiek van de verdwijnende cyclus van de lokale Euler-obstructiefunctie, beperkt tot de snijding van de variëteit met de isotrope kwadriek (min een generiek hypervlak):
  $$\text{EDdefect}(X) = (-1)^{\dim(X)-1} \chi \left( (\phi_f(Eu_{X \setminus Q_w}))|_{X_0 \setminus (Q_w \cup H)} \right)$$
  Dit generaliseert eerdere resultaten uit [15] die beperkt waren tot gladde variëteiten.

• Gestratificeerde Formule (Stelling 1.7): Voor variëteiten met singulariteiten leiden de auteurs een formule af die het defect uitdrukt als een som over de strata van het singuliere deel $Z = X_0 \cap \text{Sing}(f)$. Het defect is een gewogen som van de generieke ED-graden van de strata:
  $$\text{EDdefect}(X) = \sum_{V \in \mathcal{X}_0} (-1)^{\text{codim}_{\mathcal{X}_0}(V)} \alpha_V \cdot gEDdeg(V)$$
  De coëfficiënten $\alpha_V$ worden bepaald door de waarden van de construeerbare functie $\mu$ en de topologie van complexe links tussen strata.

• Geïsoleerde Singulariteiten (Corollarium 1.8): In het geval waarin de singulariteiten geïsoleerd zijn, vereenvoudigt de formule tot een som die de waarden van de construeerbare functie in de singuliere punten omvat, en het defect direct relateert aan Milnor-vezelgegevens.

• Berekeningsvoorbeelden: Het artikel valideert deze theoretische resultaten door concrete voorbeelden:

  • Voorbeeld 3.1 & 3.2: Berekeningen voor specifieke singuliere oppervlakken in $\mathbb{P}^3$ met respectievelijk geïsoleerde singulariteiten en Whitney-umbrella-singulariteiten. De resultaten ($EDdefect = 1$ in beide gevallen) worden geverifieerd tegen symbolische berekeningen van de volledige ED-graden.
  • Gestructureerde Laag-Rang Matrices (Sectie 4.1): De auteurs passen hun raamwerk toe op rang-beperkte matrices met sparsiteitspatronen (bijvoorbeeld $X_{3,3,2} \cap V(x_0)$). Zij rapporteren specifieke defectwaarden (bijvoorbeeld 28) en benadrukken de berekeningsuitdagingen bij het bepalen van de lokale Euler-obstructie op de singuliere delen van deze snijdingen.
  • Torische Hypervlakken (Sectie 4.2): Het artikel presenteert een tabel van berekende defects voor binomiale hypervlakken en hun snijdingen met de sfeer, waarbij wordt opgemerkt dat hoewel het defect voor het binomium zelf nul is, de snijding met de sfeer niet-triviale defects introduceert.

Betekenis en Claims
Het artikel claimt een kritieke leemte in de literatuur op te vullen door de eerste topologische formules voor het ED-graaddefect te bieden die toepasbaar zijn op singuliere projectieve variëteiten. De auteurs stellen dat hun aanpak een nieuwe methode biedt voor het berekenen van ED-graden in brede generaliteit, gebruikmakend van het feit dat de generieke ED-graad doorgaans makkelijker te berekenen is dan de unit ED-graad.

De betekenis ligt in het mogelijk maken van de analyse van modellen die gebruikelijk zijn in toegepaste velden (zoals gestructureerde laag-rang benadering en torische modellen) die inherent singulier zijn. Door het defect uit te drukken in termen van invarianten van de singulariteiten (Milnor-vezels, complexe links en lokale Euler-obstructies), biedt het artikel een theoretische brug tussen singulariteitstheorie en optimalisatiecomplexiteit. De auteurs merken op dat deze tools noodzakelijk zijn om open problemen aan te pakken, zoals de dualiteitsconjectuur in gestructureerde laag-rang benadering en het uitbreiden van resultaten over minimale algebraïsche complexiteit naar matrices met hogere rang.

Het artikel claimt niet een gesloten-formule combinatorische formule voor alle gevallen te bieden, maar eerder een topologisch raamwerk dat de berekening van het defect reduceert tot de berekening van lokale invarianten en generieke ED-graden van lager-dimensionale strata. Het erkent dat het berekenen van deze invarianten (met name de lokale Euler-obstructie op complexe singuliere delen) een berekeningsuitdaging blijft, wat verdere werk in symbolische en numerieke methoden motiveert.