Espacios bitopológicos: escuchar la dirección del tiempo cuando importa

Cómo dos topologías —construidas a partir de los mismos datos— pueden percibir la diferencia entre pasado y futuro

Junio de 2026 · 15 min de lectura

La mayoría de las herramientas que utilizamos para analizar secuencias de datos —promedios, correlaciones, análisis espectrales— tratan el tiempo como una etiqueta que podría transcurrir en cualquiera de las dos direcciones sin alterar la respuesta. Invertí el orden de tus datos y muchos métodos estándar te darán exactamente los mismos resultados. Pero en el mundo real, la dirección del tiempo importa profundamente. Las economías se expanden lentamente y colapsan de forma repentina. Los latidos del corazón aumentan suavemente y descienden con brusquedad. Un método ciego a la dirección es un método ciego a una de las características más fundamentales de cómo cambian los sistemas.

Un artículo reciente del investigador independiente José Mauricio Gómez Julián introduce una construcción que aborda esta limitación. Partiendo de un método conocido de la teoría de grafos y extendiéndolo a grafos dirigidos, el artículo produce un par de topologías —marcos matemáticos para comprender la estructura y la conectividad— cuya divergencia constituye una huella topológica de la irreversibilidad temporal. Aplicado a tres décadas de datos económicos estadounidenses, el método recupera una imagen que es a la vez matemáticamente precisa y económicamente interpretable. Veamos las ideas principales.

Ver y ser visto

El punto de partida es una idea de hermosa simplicidad introducida por Lucas Lacasa y sus colaboradores en 2008. Imaginá representar una serie temporal —por ejemplo, 129 tasas trimestrales consecutivas de crecimiento del PIB de EE. UU.— como puntos sobre una línea temporal. Ahora conectá dos puntos mediante una línea si pueden «verse» entre sí: el segmento recto que los une pasa por encima de todos los puntos intermedios, como si estuvieras situado en uno de ellos y alumbraras con una linterna hacia el otro sin que hubiera obstáculos en el camino.

El resultado es un grafo de visibilidad: una red cuyos nodos son puntos temporales y cuyas aristas codifican una relación geométrica. Los grafos de visibilidad se han utilizado para clasificar sistemas caóticos, detectar anomalías en los latidos cardíacos y distinguir entre distintos tipos de regímenes económicos. Traducen la forma de una serie temporal en la estructura de un grafo, abriendo la puerta al vasto conjunto de herramientas de la ciencia de redes.

Pero los grafos de visibilidad estándar son no dirigidos: una arista entre dos puntos no registra cuál ocurrió primero. Si orientás cada arista desde el punto temporal anterior hacia el posterior, obtenés un grafo de visibilidad dirigido: un grafo dirigido acíclico en el que las flechas siempre apuntan hacia adelante en el tiempo. Esta orientación conserva información sobre la asimetría temporal que el grafo no dirigido descarta por completo.

De las redes a la estructura

Aquí es donde comienza la contribución del artículo.

En 2018, Huda Nada y sus colaboradores introdujeron un procedimiento para transformar cualquier grafo no dirigido en un espacio topológico. Para quienes no estén familiarizados con el término, una topología es un marco matemático que define qué significa que grupos de puntos sean «abiertos», que conjuntos estén «conectados» y que los espacios posean «estructura». Opera en un nivel más abstracto que las distancias o las coordenadas: captura el patrón mediante el cual los conjuntos se superponen y se separan.

La construcción de Nada funciona de la siguiente manera. Para cada vértice del grafo, se calcula su vecindad cerrada: el propio vértice más todos sus vecinos inmediatos. Se toma esta familia de vecindades y se genera una topología cerrándola bajo dos operaciones: intersecciones finitas (combinar vecindades mediante su superposición) y uniones arbitrarias (combinar vecindades reuniéndolas). El resultado es una topología sobre el conjunto de vértices, y sus invariantes —componentes conexas, propiedades de separación, número de componentes— capturan características estructurales del grafo.

Este procedimiento es universal: funciona para cualquier familia de subconjuntos de cualquier conjunto. El contenido matemático reside en identificar cuál es la familia adecuada que debe utilizarse.

La observación fundamental de Gómez Julián es que, para un grafo dirigido, no se obtiene una única familia de vecindades, sino dos. Para cada vértice:

La vecindad cerrada hacia adelante incluye el propio vértice y todos los vértices hacia los que este apunta: los puntos temporales posteriores que puede ver. La vecindad cerrada hacia atrás incluye el propio vértice y todos los vértices que apuntan hacia él: los puntos temporales anteriores desde los cuales es visible.

Aplicá el procedimiento de Nada a las vecindades hacia adelante y obtenés una topología τ⁺. Aplicalo a las vecindades hacia atrás y obtenés una topología τ⁻. La terna resultante (V, τ⁺, τ⁻) es lo que los matemáticos denominan un espacio bitopológico: un conjunto equipado simultáneamente con dos topologías, concepto introducido por John Kelly en 1963.

La extensión es, en un sentido matemático preciso, trivial: a los axiomas de la topología no les importa de dónde provenga la familia generadora. Pero reconocer que esta extensión trivial es precisamente lo que debe hacerse, y demostrar que la estructura bitopológica resultante captura algo real acerca de la asimetría temporal, constituye la idea central del artículo.

Cuando dos topologías discrepan

Si el proceso que genera tus datos es simétrico —con la misma probabilidad de subir que de bajar y a la misma velocidad—, entonces las vecindades hacia adelante y hacia atrás son estadísticamente intercambiables. Las dos topologías τ⁺ y τ⁻ tienen el mismo aspecto, y la estructura bitopológica no añade nada respecto de la construcción no dirigida.

Pero si el proceso es asimétrico, las dos topologías divergen. Consideremos la asimetría prototípica de los sistemas económicos y físicos: una expansión gradual seguida de una contracción repentina. La visibilidad hacia adelante a través de un ascenso gradual conecta muchos puntos: cada punto puede ver muy lejos hacia adelante gracias a la suave pendiente. La visibilidad hacia atrás a través de una caída abrupta conecta pocos: el pronunciado descenso bloquea la línea de visión. La topología hacia adelante termina estando más conectada —con menos componentes separadas— que la topología hacia atrás.

Esta divergencia es la huella topológica de la irreversibilidad temporal. El artículo define tres medidas cuantitativas de ella:

La dirección de la asimetría Δ = C⁻ − C⁺, donde C⁺ y C⁻ son los números de componentes conexas de las topologías hacia adelante y hacia atrás. Un Δ positivo significa que la topología hacia adelante está más conectada. El índice de irreversibilidad por número de componentes I_C, que normaliza la diferencia para que se sitúe entre 0 y 1. Y el índice de irreversibilidad por tamaño de la base I_B, que mide la diferencia análoga entre los tamaños de las bases generadoras.

Se trata de números puros: sin calibración, sin parámetros libres y sin datos de entrenamiento. Emergen de la propia estructura de los datos y de la construcción.

Pelando la cebolla: tres capas de estructura

Una de las contribuciones más esclarecedoras del artículo es la identificación de tres capas anidadas de estructura topológica sobre una misma serie temporal, cada una de las cuales revela información distinta.

Capa 1 — La topología de Alexandrov (alcanzabilidad). Para un grafo dirigido acíclico, la topología más básica considera «abierto» cualquier conjunto cerrado bajo alcanzabilidad hacia adelante: si un nodo pertenece al conjunto, todos sus descendientes también pertenecen a él. Esta topología tiene exactamente una componente conexa para cualquier grafo débilmente conexo, porque cada nodo puede alcanzar a todo nodo posterior mediante algún camino dirigido. En este nivel, el sistema es globalmente indescomponible. Nos dice lo que ya sabemos: la economía es un único proceso conectado en el que cada trimestre influye sobre todos los trimestres posteriores mediante cadenas de causalidad.

Capa 2 — La topología de Nada no dirigida (fragmentación local). Cuando aplicás la construcción de Nada a la versión no dirigida del grafo de visibilidad, la topología se fragmenta drásticamente. El cierre por intersecciones de las vecindades revela grupos de puntos temporales que comparten similitud estructural local —grupos de observaciones vinculados mediante vecindades de visibilidad superpuestas— y que van más allá de la mera alcanzabilidad. Esta capa descubre una estructura genuina que la topología de alcanzabilidad oculta por completo.

Capa 3 — La capa bitopológica (asimetría temporal). Cuando dividís la construcción en una parte hacia adelante y otra hacia atrás, emerge una distinción adicional. Las topologías hacia adelante y hacia atrás poseen diferentes números de componentes, y esa diferencia es invisible tanto para la construcción no dirigida como para la construcción de Alexandrov. Solo existe en la brecha entre las dos topologías dirigidas.

Cada capa está contenida en la siguiente: la topología de Alexandrov es una subtopología de la topología de Nada —un teorema demostrado en el artículo—, que a su vez subyace a la estructura bitopológica. Pero cada capa más gruesa oculta información que la capa más fina revela.

Cómo se ve la economía estadounidense a través de una lente topológica

El artículo aplica el procedimiento completo a la tasa trimestral de crecimiento del PIB real de EE. UU. desde el T1 de 1992 hasta el T1 de 2024: 129 observaciones que abarcan el colapso de las puntocom, la Crisis Financiera Global y el impacto de la COVID-19. Se utilizan dos construcciones de grafos: el Grafo de Visibilidad Horizontal (HVG) y el Grafo de Visibilidad Natural (NVG), ambos en sus formas dirigidas.

El principal resultado es que Δ = +4 en ambas construcciones. La topología hacia adelante posee 4 componentes conexas menos que la topología hacia atrás, independientemente de qué variante del grafo de visibilidad se utilice. Este valor positivo es coherente con la bien documentada asimetría del ciclo económico estadounidense durante este período: las expansiones son graduales y sostenidas (1992–2000, 2001–2007, 2009–2020), mientras que las contracciones son bruscas y de corta duración (2001, 2008–2009, 2020). La visibilidad hacia adelante a través de una expansión gradual permanece despejada; la visibilidad hacia atrás a través de una contracción abrupta es fragmentaria.

Lo que hace especialmente convincente este resultado es su invariancia. El HVG y el NVG producen grafos muy diferentes —248 frente a 406 aristas, distintos tamaños de base y distintos números absolutos de componentes— y, sin embargo, coinciden tanto en el signo como en la magnitud de Δ. La señal parece robusta: una característica de los datos subyacentes, no un artefacto de la forma elegida para construir el grafo.

Otro detalle digno de atención: el índice de irreversibilidad por tamaño de la base I_B es exactamente cero en ambas construcciones. Las topologías hacia adelante y hacia atrás son generadas por bases de igual tamaño (250 y 250 para el HVG; 239 y 239 para el NVG). La asimetría reside por completo en la estructura de esos elementos de la base y en la forma en que se distribuyen sus intersecciones, no en cuántos elementos existen. Las dos topologías están construidas con el mismo número de bloques fundamentales, pero esos bloques encajan de manera diferente dependiendo de si se observa hacia adelante o hacia atrás en el tiempo.

Un único impacto

Quizá el resultado empírico más llamativo sea lo que la topología nos dice acerca del impacto de la COVID-19.

El segundo trimestre de 2020 registró la contracción más pronunciada del PIB de EE. UU. de toda la serie: una tasa anualizada de aproximadamente −31 %. El tercer trimestre registró el rebote más pronunciado: aproximadamente +33 %. Son las dos observaciones más extremas de toda la serie de 129 trimestres, opuestas tanto en signo como en interpretación económica.

Un análisis ingenuo las separaría naturalmente: una es el peor colapso y la otra, la mejor recuperación. Se encuentran en extremos opuestos del espectro de valores.

Pero la topología de Nada las clasifica juntas. Tanto bajo las topologías no dirigidas como bajo las dirigidas, y tanto con el HVG como con el NVG, estas dos observaciones pertenecen a la misma componente conexa.

¿Por qué? Porque la topología no es una medida de proximidad. No agrupa los puntos según lo cercanos que sean sus valores. Los agrupa según la estructura de sus vecindades de visibilidad: qué otros puntos pueden ver y cómo se intersectan esos patrones de visibilidad. A pesar de poseer valores extremos y opuestos, ambos trimestres comparten vecindades que se superponen sustancialmente. El cierre por intersecciones, que impulsa la construcción de Nada, los sitúa en el mismo grupo.

Esto coincide con la interpretación que la mayoría de los economistas da al acontecimiento: la contracción y el rebote son dos fases de un único impacto exógeno, impulsadas por la misma causa subyacente —la pandemia y la respuesta de política económica ante ella—. La topología recupera esta interpretación únicamente a partir de la geometría de los datos, sin incorporar a priori ningún supuesto económico.

Certificando la construcción

El artículo se toma en serio la fiabilidad en tres niveles.

Demostraciones verificadas por máquina. El teorema central y otros resultados fundamentales relacionados han sido formalizados en Lean 4, un asistente de demostración, utilizando la biblioteca matemática Mathlib. Una computadora ha verificado que las demostraciones son lógicamente correctas, sin lagunas ni supuestos ocultos. La formalización está archivada junto con el artículo como parte de un paquete de reproducibilidad en Zenodo.

Algoritmos de tiempo polinómico. Cada paso de la construcción posee un algoritmo explícito con cotas de complejidad demostradas. Las componentes conexas de cada topología pueden calcularse en tiempo polinómico sin enumerar la topología completa, que puede alcanzar un tamaño exponencial. El truco fundamental consiste en trabajar mediante un sustituto combinatorio de la topología denominado preorden de especialización, utilizando operaciones sobre conjuntos de bits que resultan altamente eficientes en la práctica.

Incertidumbre honesta. Un procedimiento de decisión trivaluado para la conexidad por pares devuelve «conectados por pares», «desconectados por pares» o «indeterminado»; esta última respuesta aparece cuando el cálculo agota su presupuesto de recursos. En lugar de adivinar, el algoritmo informa honestamente que no ha terminado el trabajo. Esto constituye tanto un compromiso metodológico como técnico: una afirmación topológica solo se considera establecida cuando el cálculo ha completado el trabajo necesario para establecerla.

Sin parámetros libres. La construcción no posee parámetros de ajuste. Los invariantes topológicos —número de componentes, tamaños de las bases e índices de irreversibilidad— quedan determinados por completo por los datos y las definiciones. No hay nada que calibrar ni nada que sobreajustar.

Una nueva lente

El artículo no propone sustituir los métodos existentes de análisis de series temporales. La correlación, el análisis espectral, los modelos de cambio de régimen y las muchas otras herramientas de la econometría y la estadística capturan información que la topología no puede ver: amplitud, frecuencia y forma distribucional. El artículo es explícito respecto de esta complementariedad.

Lo que ofrece la construcción topológica es una nueva lente: una que responde a la estructura relacional de una serie temporal en lugar de a su estructura métrica. No pregunta «¿qué tan grande es este cambio?», sino «¿con qué conecta este cambio?, ¿de qué se desconecta?, ¿y cambia la respuesta dependiendo de la dirección temporal desde la cual lo observamos?».

En sistemas en los que la asimetría temporal constituye una característica definitoria —ciclos económicos, dinámica climática, señales fisiológicas, secuencias causales de acontecimientos—, esta lente puede revelar estructuras que las herramientas tradicionales, por su propia construcción, son incapaces de ver.

La aplicación al PIB de EE. UU. es una prueba de concepto. La construcción es general: se aplica a cualquier serie temporal que pueda transformarse en un grafo de visibilidad dirigido, es decir, a cualquier serie temporal. Determinar si los invariantes que produce constituyen características útiles para la clasificación, la predicción o la interpretación en contextos más amplios es una cuestión empírica que el artículo abre, pero no resuelve.

Lo que sí establece es lo siguiente: existe una construcción que toma una serie temporal, produce dos topologías a partir de ella y cuantifica la brecha entre ambas como una medida de irreversibilidad temporal. La construcción es matemáticamente sólida, está verificada mecánicamente, es tratable algorítmicamente, carece de parámetros libres y —cuando se aplica a la economía estadounidense a lo largo de tres décadas turbulentas— produce resultados que tienen sentido económico.

Esa es una base sobre la que vale la pena seguir construyendo.