Resumen Técnico: Arrays Automáticos Multivariables y Transcendencia

1. Planteamiento del Problema

El artículo aborda un problema fundamental en la teoría de la trascendencia y la teoría de números: determinar la naturaleza aritmética (racional o trascendente) de números reales definidos por series de potencias cuyas coeficientes provienen de estructuras combinatorias de baja complejidad, específicamente secuencias automáticas.

El contexto histórico se basa en resultados previos de Adamczewski y Bugeaud (2007), quienes demostraron que si $b \ge 2$ es un entero y $(a_n)_{n \ge 0}$ es una secuencia automática acotada de enteros, entonces el número real definido por la serie $\alpha = \sum_{n \ge 0} a_n b^{-n}$ es o bien racional, o bien trascendente. Además, $\alpha$ es racional si y solo si la secuencia es eventualmente periódica.

El problema central de este trabajo es extender este resultado al caso multidimensional. Los autores se preguntan si una propiedad análoga de rigidez se mantiene para números definidos por arrays (matrices) automáticos en $r$ dimensiones ($r \ge 2$), donde las bases de expansión son enteros multiplicativamente independientes.

2. Metodología y Marco Teórico

La demostración combina herramientas profundas de dos campos distintos:

1. Teoría de Secuencias Automáticas y Combinatoria de Palabras: Se utilizan propiedades estructurales de las secuencias automáticas, específicamente la condición de "titubeo" (stammering condition).
2. Aproximación Diofántica Multidimensional: Se emplea el Teorema del Subespacio de Schmidt (refinado por Schlickewei) para demostrar que ciertos números no pueden ser algebraicos irracionales.

Definiciones Clave

• Arrays Automáticos: Un array $r$-dimensional $c = (c_{n_1, \dots, n_r})$ se considera $[k_1, \dots, k_r]$-automático si sus valores pueden generarse por un autómata finito con salida (DFAO) que toma como entrada las expansiones en base $k_i$ de los índices $n_i$.
• Condiciones de Independencia: Las bases $a_1, \dots, a_r \ge 2$ deben ser multiplicativamente independientes, lo que equivale a que $\log a_1, \dots, \log a_r$ sean linealmente independientes sobre $\mathbb{Q}$.
• Condiciones de Titubeo (Stammering): Una secuencia automática satisface una condición donde prefijos arbitrariamente largos contienen bloques repetidos con una superposición controlada. Esto permite aproximar la secuencia original por secuencias eventualmente periódicas.

3. Contribuciones Clave y Desarrollo de la Prueba

A. Construcción de Aproximantes Racionales

Los autores construyen una secuencia de números racionales $\alpha_n$ que aproximan al número $\alpha$ dado.

1. Dado que las secuencias subyacentes $(p_n^{(i)})$ son automáticas, satisfacen la condición de titubeo. Esto permite descomponerlas en un prefijo finito $U_n$ y un bloque periódico $V_n$.
2. Se definen secuencias auxiliares $(p_k^{(n, i)})$ que coinciden con la secuencia original hasta cierto punto y luego se vuelven periódicas.
3. Se define $\alpha_n$ como la serie asociada a estos arrays periódicos. Gracias a la periodicidad, $\alpha_n$ puede expresarse explícitamente como una fracción racional (cociente de polinomios en $a_1, \dots, a_r$).
   $$\alpha_n = \frac{P_n(a_1, \dots, a_r)}{\prod_{i=1}^r a_i^{r_n(i)} (a_i^{s_n(i)} - 1)}$$
   Donde $P_n$ es un polinomio con coeficientes enteros acotados.

B. Aplicación del Teorema del Subespacio

El núcleo de la demostración es aplicar el Teorema del Subespacio de Schmidt para probar que si $\alpha$ fuera algebraico e irracional, se llegaría a una contradicción.

1. Construcción de Vectores y Formas Lineales: Se construyen vectores $x_n \in \mathbb{Q}^{2r+1}$ cuyas coordenadas dependen de los términos de la descomposición de $\alpha_n$ y del polinomio $P_n$. Se definen formas lineales $L_{v,i}$ sobre un cuerpo de números $K$ (usualmente $\mathbb{Q}$).
2. Estimación de la Altura: Se demuestra que la altura de los vectores $x_n$, denotada $H(x_n)$, crece de manera controlada en función de los parámetros de longitud de los bloques $r_n$ y $s_n$.
3. Aproximación: Se prueba que el producto de las formas lineales evaluadas en $x_n$ es extremadamente pequeño en relación con la altura $H(x_n)$. Específicamente, se cumple una desigualdad de la forma:
   $$\prod_{v \in S} \prod_{i=1}^{m} \frac{|L_{v,i}(x_n)|_v}{|x_n|_v} \ll H(x_n)^{-m-\epsilon}$$
4. Contradicción: Según el Teorema del Subespacio, si esta desigualdad se cumple para infinitos $n$, entonces los vectores $x_n$ deben caer en un número finito de subespacios propios.
   • Si $\alpha$ es algebraico e irracional, esto implica una relación lineal no trivial entre los componentes de $x_n$.
   • Al analizar el límite cuando $n \to \infty$, esta relación lineal fuerza a que $\alpha$ sea racional (si el coeficiente asociado a $\alpha$ es no nulo) o conduce a una relación lineal entre los logaritmos de las bases $a_i$ con coeficientes enteros no nulos.
   • Dado que $\log a_1, \dots, \log a_r$ son linealmente independientes sobre $\mathbb{Q}$, la segunda opción es imposible. Por lo tanto, la única posibilidad es que $\alpha$ sea racional.

4. Resultados Principales

Teorema A (Resultado Principal):
Sean $r \ge 2$, $a_1, \dots, a_r \ge 2$ enteros multiplicativamente independientes. Sean $(p_n^{(i)})_{n \ge 0}$ secuencias automáticas acotadas para $i=1, \dots, r$, y sea $f: \mathbb{Z}^r \to \mathbb{Z}$ una función. Definimos el número real:
$$\alpha = \sum_{n_1, \dots, n_r \ge 0} \frac{f(p_{n_1}^{(1)}, \dots, p_{n_r}^{(r)})}{a_1^{n_1} \cdots a_r^{n_r}}$$
Entonces, $\alpha$ es o bien un número racional, o bien un número trascendente.

Además, el artículo establece que $\alpha$ es racional si y solo si la secuencia generada por el array es eventualmente periódica (una extensión natural del resultado unidimensional).

5. Significado e Impacto

1. Generalización Multidimensional: Este trabajo cierra una brecha significativa al llevar los resultados de trascendencia de secuencias automáticas unidimensionales al contexto multidimensional, un área donde las técnicas combinatorias y diofánticas son mucho más complejas debido a la interacción entre múltiples bases.
2. Unificación de Métodos: El artículo demuestra la eficacia de combinar la teoría de autómatas (específicamente la estructura de repetición en secuencias automáticas) con el Teorema del Subespacio de Schmidt. Esta sinergia es ahora un paradigma estándar para probar la trascendencia de números definidos por secuencias de baja complejidad.
3. Respuesta a Preguntas Abiertas: Resuelve positivamente la pregunta sobre si la rigidez aritmética (la dicotomía racional/trascendente) se mantiene para arrays automáticos bajo bases multiplicativamente independientes, confirmando que la complejidad combinatoria baja de las secuencias automáticas impide que los números resultantes sean algebraicos irracionales.
4. Futuro de la Investigación: Los autores sugieren que sus métodos pueden aplicarse a problemas más generales en teoría de la trascendencia multidimensional, abriendo la puerta a investigar arrays automáticos con estructuras más complejas o bases no enteras.

En conclusión, el artículo establece una ley de rigidez fundamental en la intersección de la teoría de la computación (autómatas) y la teoría de números, demostrando que la "simplicidad" computacional de las secuencias automáticas en múltiples dimensiones impone restricciones severas sobre la naturaleza algebraica de los números que generan.