Resumen Técnico: Autopistas Periódicas de Soporte Finito de la Hormiga de Langton

Planteamiento del Problema

Este artículo investiga la clásica hormiga de Langton de dos colores en la red cuadrada $\mathbb{Z}^2$ bajo la condición de soporte finito, donde solo un número finito de celdas son inicialmente negras. El estudio se centra en el caso específico donde la trayectoria de la hormiga entra eventualmente en un régimen de traslación periódica (una "autopista").

El problema abierto central en este campo es la Conjetura de la Autopista (Conjetura 1.1), que postula que toda órbita de soporte finito converge eventualmente a la autopista estándar de periodo 104 (salvo traslación, rotación y cambio de fase). Este artículo no intenta probar la conjetura en sí misma. En su lugar, aborda una pregunta condicional: ¿Qué condiciones necesarias debe satisfacer una autopista periódica de soporte finito? El objetivo es caracterizar las restricciones aritméticas, topológicas y geométricas de tales autopistas, específicamente respecto a su crecimiento, deriva y anchura transversal.

Metodología

Los autores emplean una combinación de dinámica combinatoria, topología algebraica y verificación asistida por computadora. La metodología se estructura en torno a varios marcos distintos:

1. Criterio de Realizabilidad Constructiva: El artículo establece una prueba decidible (Teorema 3.1) para determinar si una palabra de giro finita $w$ puede ser realizada como la traza de una autopista de soporte finito. Esto implica analizar las secuencias de giro "estabilizadas" de las clases de traslación y construir una semilla negra finita explícita.
2. Reformulación Topológica (Grafos de Tait): La dinámica se reformula en un grafo medial (de Tait). Al tratar las celdas negras como aristas en un grafo de cinta, los autores utilizan la relación entre el movimiento de la hormiga y los componentes de frontera de un entorno regular del conjunto negro. Esto permite el uso de identidades de cirugía de rango de ciclos (Teorema 4.2) para rastrear cambios topológicos.
3. Conservación de Carga Algebraica: Los autores definen cargas aditivas utilizando polinomios de Laurent sobre $\mathbb{F}_2$ y $\mathbb{Z}/4\mathbb{Z}$. Mediante la construcción de cantidades conservadas (Proposición 5.2) y el análisis de la "descomposición de hebras" del patrón de alternancia (Proposición 5.4), derivan restricciones aritméticas sobre el crecimiento y la deriva.
4. Homología de Cilindro y Argumentos de Paridad: Para la prueba de "bobinado par", la trayectoria infinita se identifica mediante un cociente por el vector de deriva para formar un camino cerrado en un cilindro. Se utilizan identidades de paridad local que relacionan los conteos de giros con las multiplicidades de las aristas para derivar una contradicción para los trasladores de crecimiento cero.
5. Enumeración Exacta y Argumentos de Rango: Para las exclusiones geométricas (específicamente la anchura cuatro), el artículo utiliza un argumento asistido por computadora. Se enumeran todas las posibles secuencias de cruce a través de columnas "vacías" (no tocadas) de una anchura específica. Estas secuencias forman un grafo dirigido donde una función de "rango" específica disminuye estrictamente a lo largo de las aristas, probando la imposibilidad de caminos infinitos (y, por tanto, de autopistas infinitas) de esa anchura.

Contribuciones Clave y Resultados

1. Restricciones de Crecimiento y Deriva

• Teorema de Bobinado Par (Teorema 6.1): El artículo demuestra que no existe un "traslador limpio" (un estado que se traslada sin dejar una estela) de soporte finito con deriva no nula.
• Crecimiento Positivo: En consecuencia, toda autopista periódica de soporte finito debe tener un crecimiento neto $g$ (cambio en el número de celdas negras por periodo) que es un múltiplo estrictamente positivo de cuatro ($g \in 4\mathbb{Z}_{>0}$). Esto implica que toda tal autopista construye una estela no vacía.
• Identidad de Residuo y Límite de Densidad (Teorema 7.1, Corolario 7.3): Se deriva una identidad de residuo de estela modulo cuatro con signo, que vincula las posiciones de las "bases de las hebras" (generadores de la estela) al vector de deriva $d=(a,b)$. Esto produce un límite inferior para el crecimiento:
  $$g \ge 2 \max(|a|, |b|)$$
  Este límite es independiente de los supuestos de alineación con los ejes utilizados en la prueba de bobinado par.

2. Identidades de Teoría de Grafos

• Conjugación de Grafos de Tait (Teorema 4.1, 4.2): El artículo establece una conjugación entre la dinámica de la hormiga y la cirugía de los bucles de frontera en un grafo de Tait. Proporciona una identidad $E + \Delta C = 2\beta$ que relaciona el conteo de aristas, los cambios en el conteo de bucles y el rango de ciclo.
• No Monotonicidad (Proposición 4.4): Se demuestra que ninguna combinación afín no constante de las estadísticas del grafo (aristas $E$, vértices $V$, componentes $k$, rango de ciclo $\beta$) es monótona a lo largo de la órbita, descartando potenciales de Lyapunov simples basados en estas estadísticas.

3. Rigidez Transversal y Exclusiones de Anchura

Centrándose en la deriva diagonal ($d = (a, b)$ con $|a|=|b|$), el artículo demuestra una fuerte rigidez geométrica:

• Rigidez de Líneas de Nivel Extremas (Teorema 9.1): Las dos líneas de nivel extremas de una autopista diagonal son horizontales (en un marco rotado), portan solo giros de Derecha (R) y son visitadas exactamente una vez por la cola periódica. La anchura transversal $W$ es par.
• Exclusión de Anchura Dos (Teorema 9.3): Ninguna autopista diagonal puede tener una anchura transversal de 2. La prueba se basa en el hecho de que una franja de anchura 2 obliga a una clase de traslación a tener una palabra estabilizada de un solo 'L', violando la condición necesaria de que las palabras estabilizadas deben comenzar con 'R'.
• Exclusión de Anchura Cuatro (Teoremo 9.5): Ninguna autopista diagonal puede tener una anchura transversal de 4. Este resultado es asistido por computadora. Dos enumeradores independientes verifican que las secuencias de cruce a través de una columna de 5 celdas forman un grafo dirigido de 12 aristas. Se define una función de rango en este grafo que disminuye estrictamente a lo largo de cada arista. Dado que una autopista infinita requeriría un camino infinito en este grafo, y el grafo es acíclico con longitud de camino acotada, la anchura 4 es imposible.
• Conclusión sobre la Anchura: Toda autopista periódica diagonal debe tener una anchura transversal de al menos 6.

4. Exclusión de Periodos Pequeños

• Teorema 10.1: Una búsqueda exhaustiva, auditada por rango, excluye la existencia de cualquier autopista periódica de soporte finito con deriva no nula y un periodo de 48 o menos. Esto implica que, si tales autopistas existen, su periodo debe ser al menos de 50.

Significado y Alcance

El artículo declara explícitamente sus limitaciones y contribuciones con modestia:

• Sin Prueba de Convergencia: Los resultados son condiciones necesarias, no suficientes. El artículo no demuestra que toda órbita de soporte finito se vuelva eventualmente periódica, ni demuestra que la autopista estándar de periodo 104 sea la única solución.
• Restricción vs. Clasificación: El trabajo restringe el espacio de las posibles autopistas periódicas (por ejemplo, descartando anchuras 2 y 4, imponiendo $g \ge 2\|d\|_\infty$), pero no clasifica completamente todas las trazas de crecimiento positivo posibles.
• Verificación Formal: Ciertos núcleos algebraicos y el argumento de disminución de rango para la exclusión de anchura cuatro son verificados en Lean 4, lo que proporciona un alto grado de confianza en los componentes computacionales. Sin embargo, la extracción de los núcleos algebraicos a partir de las trazas de la hormiga no está formalizada de extremo a extremo.

En resumen, el artículo proporciona un análisis estructural riguroso de las autopistas de la hormiga de Langton, demostrando que deben crecer, poseer residuos aritméticos específicos y satisfacer una estricta rigidez geométrica, estrechando así el espacio de búsqueda para posibles contraejemplos a la Conjetura de la Autopista o estructuras de autopistas alternativas.