Euclidean distance degree defect of singular projective varieties

Riepilogo Tecnico: Difetto del Grado di Distanza Euclidea per Varietà Proiettive Singolari

Enunciato del Problema
Il grado di distanza euclidea (grado ED) è un invariante fondamentale in geometria algebrica e matematica applicata, che misura la complessità algebrica dei problemi del punto più vicino su una varietà algebrica. Nello specifico, conta il numero di punti critici complessi della funzione distanza euclidea al quadrato da un punto dati generico alla varietà. Sono studiati due varianti principali: il grado ED unitario ($uEDdeg$), corrispondente alla metrica euclidea standard, e il grado ED generico ($gEDdeg$), corrispondente a una metrica pesata generica.

Mentre $gEDdeg$ è spesso più trattabile da calcolare (poiché la quadrica associata interseca la varietà trasversalmente), $uEDdeg$ è frequentemente più difficile da determinare a causa di intersezioni non trasversali con la quadrica isotropa. In molte applicazioni che spaziano dall'ottimizzazione, all'ingegneria, alla statistica e alla scienza dei dati, esiste un divario significativo tra questi due valori. Questo articolo definisce il difetto del grado ED come la differenza:
$$\text{EDdefect}(X) := gEDdeg(X) - uEDdeg(X)$$
Il problema centrale affrontato è il calcolo di tale difetto per varietà proiettive complesse arbitrarie, in particolare quelle che sono singolari. Risultati precedenti, come quelli in [15], erano limitati al contesto regolare. Poiché molti modelli nelle applicazioni sono singolari, è richiesta una generalizzazione delle formule topologiche per il difetto al caso singolare.

Metodologia
Gli autori estendono il quadro dei fasci di ipersuperfici quadriche e dei cicli evanescenti alle varietà singolari. La metodologia si basa sui seguenti costrutti:

1. Fascio di Quadriche: Per una varietà $X \subset \mathbb{P}^n$ e un peso generico $w$, gli autori considerano un fascio di quadriche $Q_\lambda$ che interpola tra la quadrica isotropa $Q$ (associata alla metrica unitaria) e la quadrica pesata $Q_w$ (associata alla metrica generica). Ciò induce un fascio di ipersuperfici $X_\lambda = X \cap Q_\lambda$ su $X$.
2. Varietà di Incidenza e Funzione: Definiscono una varietà di incidenza $\tilde{X}$ e una funzione regolare $f = f_0/f_\infty$ su $X \setminus X_\infty$, dove $f_0$ e $f_\infty$ definiscono rispettivamente le quadriche $Q$ e $Q_w$.
3. Cicli Evanescenti: Il nucleo dell'approccio utilizza il functore dei cicli evanescenti $\phi_f$ applicato alla funzione costruibile dell'ostacolo euleriano locale, $Eu_X$. Tale funtore cattura il cambiamento topologico nelle fibre di $f$ vicino al luogo singolare del fascio.
4. Stratificazione: Per gestire le singolarità, gli autori impiegano stratificazioni di Whitney. Analizzano il comportamento della funzione costruibile $\phi_f(Eu_{X \setminus Q_w})$ ristretta al luogo singolare della funzione $f$ (che corrisponde all'intersezione di $X$ con la quadrica isotropa).
5. Sviluppo in Base: Il difetto è espresso come combinazione lineare dei gradi ED generici delle strati nel luogo singolare, ponderati da coefficienti derivati dalla topologia dei collegamenti complessi tra gli strati.

Contributi e Risultati Chiave

• Formula Topologica per il Difetto (Teorema 1.6): L'articolo fornisce un potenziamento costruibile e una formula topologica per il difetto del grado ED di una varietà proiettiva complessa arbitraria $X$. Il difetto è dato dalla caratteristica euleriana del ciclo evanescente della funzione di ostacolo euleriano locale, ristretta all'intersezione della varietà con la quadrica isotropa (meno un iperpiano generico):
  $$\text{EDdefect}(X) = (-1)^{\dim(X)-1} \chi \left( (\phi_f(Eu_{X \setminus Q_w}))|_{X_0 \setminus (Q_w \cup H)} \right)$$
  Ciò generalizza i risultati precedenti di [15] che erano limitati alle varietà regolari.

• Formula Stratificata (Teorema 1.7): Per varietà con singolarità, gli autori derivano una formula che esprime il difetto come somma sugli strati del luogo singolare $Z = X_0 \cap \text{Sing}(f)$. Il difetto è una somma ponderata dei gradi ED generici degli strati:
  $$\text{EDdefect}(X) = \sum_{V \in \mathcal{X}_0} (-1)^{\text{codim}_{\mathcal{X}_0}(V)} \alpha_V \cdot gEDdeg(V)$$
  I coefficienti $\alpha_V$ sono determinati dai valori della funzione costruibile $\mu$ e dalla topologia dei collegamenti complessi tra gli strati.

• Singolarità Isolate (Corollario 1.8): Nel caso in cui le singolarità siano isolate, la formula si semplifica in una somma che coinvolge i valori della funzione costruibile nei punti singolari, collegando direttamente il difetto ai dati della fibra di Milnor.

• Esempi Computazionali: L'articolo convalida questi risultati teorici attraverso esempi concreti:

  • Esempio 3.1 e 3.2: Calcoli per superfici singolari specifiche in $\mathbb{P}^3$ con singolarità isolate e singolarità a ombrello di Whitney, rispettivamente. I risultati ($\text{EDdefect} = 1$ in entrambi i casi) sono verificati contro calcoli simbolici dei gradi ED completi.
  • Matrici a Basso Rango Strutturate (Sezione 4.1): Gli autori applicano il loro quadro a matrici vincolate per rango con pattern di sparsità (ad esempio, $X_{3,3,2} \cap V(x_0)$). Segnalano valori specifici del difetto (ad esempio, 28) e mettono in evidenza le sfide computazionali nel determinare l'ostacolo euleriano locale sui luoghi singolari di queste intersezioni.
  • Ipersuperfici Toriche (Sezione 4.2): L'articolo presenta una tabella di difetti calcolati per ipersuperfici binomiali e le loro intersezioni con la sfera, notando che mentre il difetto per il binomio stesso è zero, l'intersezione con la sfera introduce difetti non banali.

Significato e Affermazioni
L'articolo afferma di colmare un vuoto critico nella letteratura fornendo le prime formule topologiche per il difetto del grado ED applicabili a varietà proiettive singolari. Gli autori affermano che il loro approccio offre un nuovo metodo per calcolare i gradi ED in una generalità ampia, sfruttando il fatto che il grado ED generico è tipicamente più trattabile del grado ED unitario.

Il significato risiede nel consentire l'analisi di modelli comuni nei campi applicati (come l'approssimazione a basso rango strutturata e i modelli torici) che sono intrinsecamente singolari. Esprimendo il difetto in termini di invarianti delle singolarità (fibre di Milnor, collegamenti complessi e ostacoli euleriani locali), l'articolo fornisce un ponte teorico tra la teoria delle singolarità e la complessità dell'ottimizzazione. Gli autori notano che questi strumenti sono necessari per affrontare problemi aperti, come la congettura di dualità nell'approssimazione a basso rango strutturata e l'estensione dei risultati di complessità algebrica minima a matrici di rango superiore.

L'articolo non afferma di fornire una formula combinatoria in forma chiusa per tutti i casi, ma piuttosto un quadro topologico che riduce il calcolo del difetto al calcolo di invarianti locali e gradi ED generici di strati di dimensione inferiore. Riconosce che il calcolo di questi invarianti (in particolare l'ostacolo euleriano locale su luoghi singolari complessi) rimane una sfida computazionale, motivando ulteriori lavori su metodi simbolici e numerici.