Cancellation of a critical pair in discrete Morse theory and its effect on (co)boundary operators

1. Planteamiento del Problema

La teoría de Morse discreta es una herramienta fundamental para calcular grupos de homología de complejos simpliciales de manera eficiente. El núcleo de este enfoque es el campo vectorial gradiente discreto, que permite reducir el número de símplices críticos necesarios para calcular la homología, simplificando el problema al trabajar con un complejo de cadenas más pequeño (el complejo de Morse).

Sin embargo, existen dos desafíos principales:

1. Encontrar un campo vectorial gradiente óptimo (que minimice el número de símplices críticos) es un problema NP-duro.
2. Una técnica común para mejorar un campo vectorial dado es la cancelación de pares críticos (un par de símplices adyacentes que pueden eliminarse manteniendo el tipo de homotopía). Aunque esta técnica reduce el número de símplices críticos, altera la estructura de las trayectorias del gradiente.

El problema central: Cuando se cancela un par crítico, las trayectorias del gradiente cambian. Para calcular la nueva homología de Morse, tradicionalmente se requería reenumerar todas las nuevas trayectorias del gradiente, lo cual es computacionalmente costoso y tedioso. El artículo aborda la necesidad de determinar exactamente cómo afectan estas cancelaciones a las trayectorias y, más importante aún, establecer una relación formal directa entre los operadores de frontera (y cofrontera) antes y después de la cancelación, sin necesidad de recalcular las trayectorias desde cero.

---

2. Metodología

Los autores emplean un enfoque puramente combinatorio basado en la estructura de los complejos de Morse y las propiedades de las trayectorias del gradiente.

• Definiciones Base: Se utilizan complejos simpliciales, campos vectoriales discretos (emparejamientos acíclicos), símplices críticos y trayectorias del gradiente (secuencias de símplices conectados por el campo).
• Proceso de Cancelación: Se considera un par crítico cancelable $(\sigma_0^{(k)}, \tau_0^{(k-1)})$ en un campo vectorial $V$. La cancelación genera un nuevo campo $W$ invirtiendo las flechas a lo largo de la única trayectoria $P_0$ que conecta $\sigma_0$ con $\tau_0$.
• Análisis de Trayectorias: Los autores analizan cómo las trayectorias en el nuevo campo $W$ se relacionan con las del campo original $V$. Identifican que las trayectorias que no involucran a los símplices de la trayectoria de cancelación $P_0$ permanecen inalteradas, mientras que aquellas que sí interactúan con $P_0$ sufren modificaciones específicas que pueden descomponerse algebraicamente.
• Derivación Algebraica: En lugar de contar trayectorias, los autores derivan fórmulas explícitas para los nuevos coeficientes de los operadores de frontera sumando los pesos de las trayectorias modificadas. Utilizan la propiedad de que el peso de una trayectoria es el producto de los números de incidencia a lo largo de la misma.

---

3. Contribuciones Clave

El artículo presenta resultados teóricos que eliminan la necesidad de reenumerar trayectorias tras una cancelación:

1. Fórmula Explícita para el Operador de Frontera Modificado: Se deriva una fórmula exacta para calcular el nuevo operador de frontera $\partial^W_k$ en función del operador original $\partial^V_k$ y los coeficientes asociados al par cancelado.
2. Interpretación como Operaciones de Fila/Columna: Se demuestra que la actualización del operador de frontera tras la cancelación es equivalente a realizar una secuencia de operaciones elementales de fila (o columna) sobre la matriz que representa el operador original.
3. Generalización a Operadores de Cofrontera: Se obtiene un resultado análogo para el complejo de co-Morse, proporcionando una fórmula explícita para los operadores de cofrontera modificados ($\delta^W$).
4. Eliminación de la Recuento de Trayectorias: La metodología permite actualizar la homología de Morse directamente a partir de las matrices de frontera existentes, sin necesidad de explorar el grafo de trayectorias del nuevo campo vectorial.

---

4. Resultados Principales (Teorema 1.1 y Proposición 3.1)

Sea $V$ un campo vectorial gradiente y $W$ el campo resultante tras cancelar el par crítico $(\sigma_0^{(k)}, \tau_0^{(k-1)})$.

• Invariancia Fuera del Rango Crítico: Para dimensiones $q > k+1$ o $q < k-1$, los operadores de frontera no cambian: $\partial^W_q = \partial^V_q$.
• Modificación en Dimensiones Adyacentes:
  • Para $q = k+1$: Si $\sigma_0$ es eliminado, los coeficientes que lo involucraban se eliminan de la suma.
  • Para $q = k-1$: El operador es simplemente la restricción del original al subgrupo de símplices críticos restantes.
  • Para $q = k$ (El resultado central): Si $\partial^V_k(\sigma_j) = \sum_{i=0}^m a_{ij} \tau_i$, entonces el nuevo operador actúa sobre los símplices restantes ($j \ge 1$) como:
    $$\partial^W_k(\sigma_j) = \sum_{i=1}^m (a_{ij} - a_{00} a_{0j} a_{i0}) \cdot \tau_i$$
    Donde $a_{00}$ es el coeficiente de la trayectoria única entre el par cancelado (que es $\pm 1$).
• Interpretación Matricial: Si $B$ es la matriz de $\partial^V_k$ con filas indexadas por $\tau_i$ y columnas por $\sigma_j$, la nueva matriz $B'$ (antes de eliminar la fila/columna 0) se obtiene mediante operaciones de fila:
  $$R_i \leftarrow R_i - a_{i0} \cdot a_{00} \cdot R_0 \quad \text{para cada } i \ge 1$$
  Finalmente, $\partial^W_k$ es la submatriz de $B'$ obtenida eliminando la fila 0 y la columna 0.

---

5. Significado e Impacto

• Eficiencia Computacional: Este trabajo transforma un problema combinatorio complejo (recontar trayectorias) en un problema algebraico lineal (operaciones de matriz). Esto permite actualizar dinámicamente los cálculos de homología en algoritmos que utilizan cancelaciones iterativas de pares críticos.
• Aplicabilidad en Topología Computacional: Facilita la implementación de algoritmos para calcular invariantes topológicos (como números de Betti) en grandes conjuntos de datos, donde la optimización del campo vectorial gradiente es crucial.
• Fundamento Teórico: Proporciona una comprensión más profunda de la relación entre la estructura combinatoria de las trayectorias del gradiente y la estructura algebraica de los complejos de cadenas, unificando la teoría de cancelación con el álgebra lineal elemental.

En resumen, el artículo ofrece una herramienta práctica y teóricamente sólida para optimizar el cálculo de la homología en teoría de Morse discreta, permitiendo la actualización eficiente de los operadores de frontera tras la simplificación del campo vectorial.