A stability theorem for bigraded persistence barcodes

Sintesi Tecnica: Un Teorema di Stabilità per i Barcode di Persistenza Bigradata

Enunciato del Problema
Il documento affronta due limitazioni fondamentali nell'applicazione della persistenza omologica bigradata alla scienza dei dati, specificamente quando derivata dai complessi momento-angolo $Z_K$ associati alla filtrazione di Vietoris–Rip di uno spazio pseudo-metrico finito $X$.

In primo luogo, l'omologia bigradata standard dei complessi momento-angolo, sebbene teoricamente ricca, è computazionalmente proibitiva. Tramite la decomposizione di Hochster, il calcolo di questi gruppi richiede il calcolo dell'omologia simpliciale di tutti i sottocomplessi pieni del complesso simpliciale sottostante, un compito che scala negativamente rispetto alla dimensione dei dati.

In secondo luogo, e più criticamente per le applicazioni nella scienza dei dati, la persistenza omologica bigradata standard manca di una proprietà di stabilità. Nella teoria dei dati topologici (TDA), la stabilità assicura che piccole perturbazioni nei dati di input (misurate tramite la distanza di Gromov–Hausfeld) risultino in solo piccoli cambiamenti nei barcode di persistenza risultanti (misurati tramite la distanza di bottleneck). Senza questa proprietà, gli invarianti non sono robusti al rumore, limitandone l'utilità. Gli autori osservano che, sebbene la persistenza bigradata possa distinguere nuvole di punti indistinguibili dalla persistenza ordinaria (come mostrato nell'Esempio 3.4), la sua mancanza di stabilità la rende impraticabile per applicazioni del mondo reale.

Metodologia
Per risolvere questi problemi, gli autori utilizzano l'omologia doppia bigradata dei complessi momento-angolo, un concetto introdotto e studiato in [LPSS].

1. Costruzione dell'Omologia Doppia: Inveve di utilizzare l'omologia standard $H_*(Z_K)$, gli autori definiscono un complesso di catene $CH_*(Z_K) = (H_*(Z_K), \partial')$ dotando i gruppi di omologia bigradata di un secondo differenziale $\partial'$. L'omologia di questo nuovo complesso, denotata $HH_*(Z_K)$, è l'omologia doppia.
2. Persistenza dell'Omologia Doppia Bigradata: Gli autori definiscono il modulo di omologia doppia persistente bigradata $PHHZ(X)$ applicando il funtore dell'omologia doppia ai complessi momento-angolo $Z_{R(X,t)}$ associati alla filtrazione di Vietoris–Rips $\{R(X,t)\}_{t \geq 0}$.
3. L'Operazione di Raddoppio (Doubling): Uno strumento tecnico centrale nella dimostrazione è l'operazione di "raddoppio" sui complessi simpliciali e sugli spazi pseudo-metrici. Raddoppiare un vertice $i$ in un complesso $K$ (o un punto $x$ in uno spazio $X$) crea un nuovo complesso $K'$ (o spazio $X'$) aggiungendo un vertice duplicato $i'$ (o punto $x'$) con distanza zero dal punto originale.
   • Fondamentalmente, mentre il raddoppio altera l'omologia standard del complesso momento-angolo (Esempio 4.18), esso preserva l'omologia doppia (Proposizione 4.19).
   • Inoltre, qualsiasi corrispondenza tra due spazi pseudo-metrici finiti può essere realizzata come una bijezione tra i loro raddoppi iterati (Proposizione 4.16).

Contributi Chiave e Risultati

• Definizione dell'Omologia Doppia Persistente Bigradata: Il documento definisce formalmente i moduli di omologia doppia persistente bigradata $PHHZ(X)$ e i relativi barcode $BB(X)$. Questi moduli si dimostrano computazionalmente più accessibili rispetto ai loro controparti bigradati standard grazie alle dimensioni minori dei gruppi di omologia doppia.
• Stabilità per la Persistenza Bigradata Ordinaria (Modificata): Gli autori stabiliscono prima un teorema di stabilità per l'omologia persistente bigradata standard $PHZ(X)$. Tuttavia, tale stabilità è valida solo rispetto a una distanza di Gromov–Hausdorff modificata ($d'_{GH}$), che restringe l'infimo nella definizione della distanza alle sole corrispondenze bijective (Teorema 4.21). Il documento dimostra che la distanza di Gromov–Hausfeld standard ($d_{GH}$) è insufficiente per la stabilità di $PHZ(X)$, poiché il raddoppio di un punto cambia il barcode pur lasciando invariata la $d_{GH}$ (Esempio 4.18).
• Teorema di Stabilità per l'Omologia Doppia: Il risultato principale (Teorema 4.23) dimostra che i moduli di omologia doppia persistente bigradata soddisfano un teorema di stabilità rispetto alla distanza di Gromov–Hausdorff standard. Nello specifico, per ogni coppia di spazi pseudo-metrici finiti $X$ e $Y$:
  $$d_{IL}(PHHZ(X), PHHZ(Y)) \leq 2d_{GH}(X, Y)$$
  dove $d_{IL}$ è la distanza di interleaving.
• Applicazione del Teorema di Isometria: Invocando il Teorema di Isometria (Teorema 4.12), gli autori derivano un corrispondente risultato di stabilità per i barcode bigradati $BB(X)$e$BB(Y)$ in termini della distanza $\infty$-Wasserstein (bottleneck) (Corollario 4.24):
  $$W_\infty(BB(X), BB(Y)) \leq 2d_{GH}(X, Y)$$

Significato e Rivendicazioni
Il documento sostiene che l'introduzione dell'omologia doppia persistente bigradata risolva i due principali svantaggi dell'approccio bigradato originale.

1. Efficienza Computazionale: I moduli di omologia doppia sono più piccoli dei moduli di omologia bigradata standard, rendendoli più accessibili da un punto di vista computazionale.
2. Robustezza: Soprattutto, i moduli di omologia doppia possiedono la proprietà di stabilità essenziale per le applicazioni di scienza dei dati. Gli autori affermano che questa proprietà "dice approssimativamente che il barcode bigradato è robusto rispetto ai cambiamenti nei dati di input".

Gli autori sottolineano che, sebbene la persistenza bigradata offra strutture algebriche più ricche e la capacità di distinguere set di dati che la persistenza ordinaria non può distinguere (Esempio 3.4), essa era precedentemente inutilizzabile nella pratica a causa dell'instabilità. Il teorema di stabilità per l'omologia doppia "apre la strada a un'applicazione più efficiente nell'analisi dei dati" combinando il potere discriminante degli invarianti bigradati con la robustezza richiesta per i dati rumorosi. Il documento non propone nuove applicazioni sperimentali, ma stabilisce il fondamento teorico necessario affinché tali applicazioni siano fattibili.