Cobham's theorem for the Gaussian integers

Resumen Técnico: El Teorema de Cobham para los Enteros de Gauss

Planteamiento del Problema
El Teorema de Cobham es un resultado fundamental en la teoría de autómatas y la teoría de números, el cual establece que una secuencia de números naturales es tanto $k$-automática como $\ell$-automática (donde $k$ y $\ell$ son enteros multiplicativamente independientes) si y solo si la secuencia es eventualmente periódica. Si bien este teorema ha sido generalizado a diversos contextos lógicos y dinámicos, persistía una brecha significativa en su extensión de los enteros $\mathbb{Z}$ a los dominios euclidianos, específicamente a los enteros de Gauss $\mathbb{Z}[i]$.

Trabajos previos de Hansel y Safer abordaron los sistemas de numeración con base $\alpha = -m + i$ (donde $m \ge 1$) y conjuntos de dígitos de enteros no negativos. Ellos demostraron que si un subconjunto $S \subset \mathbb{Z}[i]$ es reconocible por dos tales bases, el conjunto es síndético. Conjeturaron que tal conjunto debe ser eventualmente periódico (es decir, invariante ante la traslación por dos vectores $\mathbb{Z}$-linealmente independientes fuera de un conjunto finito). Sin embargo, su prueba dependía de la Conjetura de los Cuatro Exponenciales, una hipótesis profunda y no probada de la teoría analítica de números, lo que dejaba la conjetura sin resolver.

Metodología
Los autores proporcionan una prueba del teorema de Cobham para los enteros de Gauss que no depende de la Conjetura de los Cuatro Exponenciales. Su enfoque generaliza el teorema a la familia más amplia posible de numeraciones gaussianas (cualquier conjunto de dígitos finito generador) y elimina la dependencia de la profunda teoría analítica de números.

La metodología central involucra:

1. Aproximación de Dirichlet en $\mathbb{Z}[i]$: En lugar de depender de la densidad del grupo multiplicativo $\langle \alpha, \beta \rangle$ en $\mathbb{C}$ (lo cual requiere la Conjetura de los Cuatro Exponenciales), los autores utilizan un resultado más débil: que $1$ no es un punto aislado en el grupo multiplicativo generado por dos enteros de Gauss multiplicativamente independientes. Esto se establece mediante el Lema 3, que demuestra que si $1$ fuera aislado, el grupo sería discreto, lo que implicaría dependencia multiplicativa.
2. Lema de Bombeo (Pumping Lemma) y Números de Retorno: Los autores analizan la estructura de los autómatas finitos de estados deterministas (DFAOs) que actúan sobre las expansiones de enteros gaussianos. Definen "números de retorno" a estados específicos en el autómata. Al aplicar el teorema de van der Waerden a los estados de los autómatas, identifican progresiones aritméticas de índices correspondientes a los números de retorno.
3. Análisis de Colinealidad: Un paso crítico es el Lema 14, que demuestra que si una secuencia de números de retorno se encuentra en una línea (es colineal), la base debe ser la raíz de un entero. En consecuencia, si la base no es una raíz de un entero, los números de retorno deben ser no colineales. Esto permite la construcción de dos períodos $\mathbb{Z}$-linealmente independientes.
4. Propagación de la Periodicidad: Utilizando una versión del teorema de Fine y Wilf adaptada para los enteros de Gauss (Lemas 18 y 19), los autores muestran cómo la periodicidad local (periodicidad de paso) en bolas superpuestas puede propagarse a una periodicidad global. Construyen un recubrimiento de $\mathbb{Z}[i]$ mediante bolas donde la configuración exhibe períodos específicos derivados de los números de retorno no colineales.

Contribuciones Clave y Resultados
El resultado principal es el Teorema 1, que establece:

Sean $\alpha$ y $\beta$ dos enteros de Gauss multiplicativamente independientes con $|\alpha|, |\beta| > 1$. Si uno de $\alpha$ o $\beta$ no es la raíz de un entero, entonces una configuración $(a_z)_{z \in \mathbb{Z}[i]}$ es $\alpha$- y $\beta$-automática si y solo si es eventualmente periódica.

Hallazgos técnicos clave incluyen:

• Resolución de la Conjetura de Hansel y Safer: El artículo demuestra la conjetura de que los conjuntos reconocibles por bases de la forma $-m+i$ son eventualmente periódicos. Dado que $-m+i$ nunca es una raíz de un entero para $m > 1$ (por el Teorema de Niven), la condición del Teorema 1 se cumple.
• Necesidad de la Condición: Los autores muestran que la condición "una de las bases no es la raíz de un entero" es precisa. Si ambas bases son raíces de enteros, pueden existir configuraciones no eventualmente periódicas (por ejemplo, la función característica de $\mathbb{N}$ es $\alpha$-automática si $\alpha$ es una raíz de un entero).
• Generalización de los Sistemas de Numeración: La prueba se sostiene para cualquier conjunto de dígitos finito $D$ que genere un sistema de numeración, no solo para los "naturales" conjuntos de dígitos de enteros no negativos considerados por Hansel y Safer.
• Corolario sobre la Conjugación: El artículo establece que si un conjunto $U \subset \mathbb{Z}[i]$ es $\beta$-automático e igual a su conjugado complejo ($U = \bar{U}$), y no es eventualmente periódico, entonces $\beta$ debe ser una raíz de un entero.

Significado
El artículo afirma resolver la extensión del teorema de Cobham a los enteros de Gauss sin depender de conjeturas analíticas no probadas. Al demostrar que el resultado se sostiene basándose en propiedades elementales de los autómatas y la geometría de los enteros de Gauss (específicamente la no aislación de $1$ en el grupo multiplicativo), los autores "abren el camino hacia Cobham para anillos numéricos generales".

El trabajo generaliza el teorema de Cobham-Semenov a las numeraciones gaussianas. También se conecta con el trabajo de Cabezas y Petite sobre sustituciones de forma constante, lo que implica que las configuraciones no triviales generadas por bases gaussianas que no son raíces de un entero no pueden ser replicadas por configuraciones $(k, k)$-automáticas estándar. Los autores señalan que, si bien este es un primer paso, la extensión a otros anillos de enteros (como $\mathbb{Z}[\zeta]$ o anillos de enteros cuadráticos) sigue siendo una dirección natural para investigaciones futuras.