A stability theorem for bigraded persistence barcodes

Resumen Técnico: Un Teorema de Estabilidad para Barcodes de Persistencia Bigradada

Planteamiento del Problema
El artículo aborda dos limitaciones fundamentales en la aplicación de la homología persistente bigradada a la ciencia de datos, específicamente cuando se deriva de los complejos de ángulo-momento $Z_K$ asociados con la filtración de Vietoris–Ris de un espacio de pseudométrica finito $X$.

Primero, la homología bigradada estándar de los complejos de ángulo-momento, aunque teóricamente rica, es computacionalmente prohibitiva. Mediante la descomposición de Hochster, el cálculo de estos grupos requiere calcular la homología simplicial de todos los subcomplejos completos del complejo simplicial subyacente, una tarea que escala pobremente con el tamaño de los datos.

Segundo, y más críticamente para las aplicaciones de ciencia de datos, la homología persistente bigradada estándar carece de una propiedad de estabilidad. En el análisis de datos topológicos, la estabilidad asegura que las pequeñas perturbaciones en los datos de entrada (medidas por la distancia de Gromov–Hausdorff) resulten solo en cambios pequeños en los barcodes de persistencia resultantes (medidos por la distancia de bottleneck). Sin esta propiedad, los invariantes no son robustos al ruido, lo que limita su utilidad. Los autores señalan que, si bien la persistencia bigradada puede distinguir nubes de puntos indistinguibles por la persistencia ordinaria (como muestra el Ejemplo 3.4), su falta de estabilidad la hace impracticable para aplicaciones del mundo real.

Metodología
Para resolver estos problemas, los autores utilizan la homología doble bigradada de los complejos de ángulo-momento, un concepto introducido y estudiado en [LPSS].

1. Construcción de la Homología Doble: En lugar de utilizar la homología estándar $H_*(Z_K)$, los autores definen un complejo de cadenas $CH_*(Z_K) = (H_*(Z_K), \partial')$ dotando a los grupos de homología bigradada de un segundo diferencial $\partial'$. La homología de este nuevo complejo, denotada como $HH_*(Z_K)$, es la homología doble.
2. Homología Doble Persistente Bigradada: Los autores definen el módulo de homología doble persistente bigradada $PHHZ(X)$ aplicando el functor de homología doble a los complejos de ángulo-momento $Z_{R(X,t)}$ asociados con la filtración de Vietoris–Rips $\{R(X,t)\}_{t \geq 0}$.
3. La Operación de Doble (Doubling): Una herramienta técnica central en la prueba es la operación de "doble" sobre complejos simpliciales y espacios de pseudométrica. Doblar un vértice $i$ en un complejo $K$ (o un punto $x$ en un espacio $X$) crea un nuevo complejo $K'$ (o espacio $X'$) añadiendo un vértice duplicado $i'$ (o punto $x'$) con distancia cero al original.
   • Crucialmente, mientras que el doble altera la homología estándar del complejo de ángulo-momento (Ejemplo 4.18), preserva la homología doble (Proposición 4.19).
   • Además, cualquier correspondencia entre dos espacios de pseudométrica finitos puede realizarse como una biyección entre sus dobles iterados (Proposición 4.16).

Contribuciones Clave y Resultados

• Definición de la Homología Doble Persistente Bigradada: El artículo define formalmente los módulos de homología doble persistente bigradada $PHHZ(X)$ y sus correspondientes barcodes $BB(X)$. Se demuestra que estos módulos son computacionalmente más accesibles que sus contrapartes bigradadas estándar debido al menor tamaño de los grupos de homología doble.
• Estabilidad para la Persistencia Bigradada Ordinaria (Modificada): Los autores primero establecen un teorema de estabilidad para la homología persistente bigradada estándar $PHZ(X)$. Sin embargo, esta estabilidad solo se sostiene con respecto a una distancia de Gromov–Hausdorff modificada ($d'_{GH}$), que restringe el ínfimo en la definición de la distancia únicamente a correspondencias biyectivas (Teorema 4.21). El artículo demuestra que la distancia de Gromov–Hausdorff estándar ($d_{GH}$) es insuficiente para la estabilidad de $PHZ(X)$, ya que doblar un punto cambia el barcode mientras deja $d_{GH}$ sin cambios (Ejemplo 4.18).
• Teorema de Estabilidad para la Homología Doble: El resultado principal (Teorema 4.23) prueba que los módulos de homología doble persistente bigradada satisfacen un teorema de estabilidad con respecto a la distancia de Gromov–Hausdorff estándar. Específicamente, para cualesquiera dos espacios de pseudométrica finitos $X$ e $Y$:
  $$d_{IL}(PHHZ(X), PHHZ(Y)) \leq 2d_{GH}(X, Y)$$
  donde $d_{IL}$ es la distancia de entrelazamiento (interleaving distance).
• Aplicación del Teorema de Isometría: Al invocar el Teorema de Isometría (Teorema 4.12), los autores derivan un resultado de estabilidad correspondiente para los barcodes bigradados $BB(X)$y$BB(Y)$ en términos de la distancia $\infty$-Wasserstein (bottleneck) (Corolario 4.24):
  $$W_\infty(BB(X), BB(Y)) \leq 2d_{GH}(X, Y)$$

Significado y Reivindicaciones
El artículo afirma que la introducción de la homología doble persistente bigradada resuelve los dos inconvenientes primarios del enfoque bigradado original.

1. Eficiencia Computacional: Los módulos de homología doble son más pequeños que los módulos de homología bigradada estándar, lo que los hace más accesibles desde un punto de vista computacional.
2. Robustez: Lo más importante es que los módulos de homología doble poseen la propiedad de estabilidad esencial para las aplicaciones de ciencia de datos. Los autores afirman que esta propiedad "dice aproximadamente que el barcode bigradado es robusto a los cambios en los datos de entrada".

Los autores enfatizan que, si bien la persistencia bigrada ofrece estructuras algebraicas más ricas y la capacidad de distinguir conjuntos de datos que la persistencia ordinaria no puede (Ejemplo 3.4), era previamente impracticable en la práctica debido a su inestabilidad. El teorema de estabilidad para la homología doble "abre un camino para una aplicación más eficiente en el análisis de datos" al combinar el poder discriminatorio de los invariantes bigradados con la robustez requerida para los datos con ruido. El artículo no propone nuevas aplicaciones experimentales, sino que establece la base teórica necesaria para que tales aplicaciones sean viables.