Linear recurrences and rational Lambert series

1. Enunciado del Problema y Contexto

El artículo investiga las restricciones estructurales sobre las secuencias y sus funciones generadoras, centrándose específicamente en la interacción entre secuencias de recurrencia lineal, series de potencias racionales y series de Lambert.

• Objetos Centrales:
  • Series de Potencias Racionales: Una serie $F(z) = \sum a_n z^n$ es racional si y solo si sus coeficientes $(a_n)$ satisfacen una relación de recurrencia lineal con coeficientes constantes (eventualmente).
  • Series de Lambert: Dada una secuencia $\gamma = (\gamma_n)_{n \ge 1}$, la serie de Lambert se define como $L_\gamma(z) = \sum_{n \ge 1} \frac{\gamma_n z^n}{1-z^n}$. Los coeficientes de $L_\gamma(z)$ son las sumas de divisores de $\gamma$: $b_m = \sum_{d|m} \gamma_d$.
• La Pregunta Central: Si una secuencia $\gamma$ está "bien comportada" (específicamente, es eventualmente de recurrencia lineal) y su serie de Lambert asociada $L_\gamma(z)$ también está "bien comportada" (es racional), ¿qué implica esto sobre la estructura de $\gamma$?
• Motivación: El trabajo surge de problemas de rigidez en grupos libres y del comportamiento del operador $T_\gamma G(z) = \sum \gamma_n G(z^n)$.

2. Metodología

El artículo emplea una mezcla de teoría de números analítica clásica, geometría algebraica y análisis $p$-ádico. La metodología se divide en dos fases principales:

A. Análisis de Series de Potencias Racionales (Marco de Skolem-Mahler-Lech)

El autor utiliza el teorema de Skolem-Mahler-Lech (SML), que establece que el conjunto de ceros de una secuencia de recurrencia lineal es una unión finita de progresiones aritméticas más un conjunto finito.

• Anulación en Índices Primos: El artículo analiza el caso donde los coeficientes en índices primos se anulan ($a_p = 0$ para $p$ grande). Usando el teorema de Dirichlet sobre primos en progresiones aritméticas, se deduce que el soporte de la secuencia debe estar restringido a clases de residuo no coprimas con el periodo. Esto conduce a una descomposición de la función racional en sumas de funciones de potencias propias ($z^d$).
• Relaciones de Raíces de la Unidad: Se establece que si una serie de potencias racional tiene infinitos coeficientes nulos, los polos de módulo mínimo deben satisfacer una relación de raíz de la unidad (es decir, la razón de dos polos dominantes es una raíz de la unidad).

B. Reducción a Lugar Finito (La Prueba de Rigidez de Lambert)

La prueba del teorema principal sobre las series de Lambert evita la maquinaria pesada de interpolación $p$-ádica utilizada en el teorema SML completo. En su lugar, utiliza una estrategia de reducción a cuerpo finito:

1. Configuración Algebraica: Los coeficientes de la recurrencia y los valores de la secuencia están contenidos en un dominio finitamente generado $A$ sobre $\mathbb{Z}$.
2. Especialización Finita: Usando un lema sobre álgebras finitamente generadas, el autor construye un homomorfismo $\phi$ desde este dominio a un cuerpo finito $\mathbb{F}_q$. Esto preserva los elementos no nulos (específicamente una suma de divisores clave $S$) mientras mapea las relaciones de recurrencia al cuerpo finito.
3. Periodicidad en Cuerpos Finitos: Sobre un cuerpo finito, cualquier secuencia de recurrencia lineal es eventualmente periódica.
4. La Contradicción: La prueba compara los valores de la secuencia de suma de divisores $b_n$ en los índices $mq$y$mq^2$ (donde $q$ es un primo grande).
   • Debido a la periodicidad, $b_{mq^2} \equiv b_{mq} \pmod{\mathbb{F}_q}$.
   • Sin embargo, la manipulación algebraica de la definición de la suma de divisores muestra que $b_{mq^2} - b_{mq} = \sum_{e|m} \gamma_{eq^2}$.
   • Como $\gamma$ es periódica módulo $\mathbb{F}_q$, $\gamma_{eq^2} \equiv \gamma_e$.
   • Esto implica que la diferencia es igual a la suma original de divisores $S = \sum_{e|m} \gamma_e$.
   • Dado que $S$ fue elegido para ser no nulo e invertible en el cuerpo finito, esto produce una contradicción ($S \equiv 0$ vs $S \neq 0$).

3. Contribuciones y Resultados Clave

Teorema Principal (Teorema 1.1)

Enunciado: Sea $\gamma = (\gamma_n)$ una secuencia de números complejos. Si tanto $\gamma$ como su secuencia de suma de divisores $b_n = \sum_{d|n} \gamma_d$ son eventualmente de recurrencia lineal, entonces $\gamma$ tiene soporte finito (es decir, $\gamma_n = 0$ para todo $n$ suficientemente grande).

Corolario 1.2 (Forma de Función Generadora):
Si la función generadora ordinaria $\Gamma_\gamma(z)$ es racional y la serie de Lambert $L_\gamma(z)$ es racional, entonces $\Gamma_\gamma(z)$ debe ser un polinomio.

• Significado: Esto establece una "rigidez" para las series de Lambert. Entre las secuencias con funciones generadoras racionales, solo las triviales (de soporte finito) producen series de Lambert racionales.

Consecuencias Estructurales para Funciones Racionales

• Proposición 3.1: Si una función racional $F(z)$ tiene coeficientes nulos en todos los índices primos suficientemente grandes, entonces $F(z)$ puede descomponerse en un polinomio más una suma finita de funciones racionales en potencias propias $z^d$ (donde $d > 1$).
• Proposición 3.3: Si una serie de potencias racional tiene infinitos coeficientes nulos, los polos de módulo mínimo deben incluir al menos dos cuya razón es una raíz de la unidad.

Ejemplos Específicos y Aplicaciones

• Secuencia de Fibonacci: La serie de Lambert de los números de Fibonacci no es racional (Corolario 6.5).
• Coeficientes Periódicos: Si $\gamma$ es periódica y $L_\gamma(z)$ es racional, entonces $\gamma$ debe ser idénticamente cero (Corolario 6.4).
• Primo vs. Cuadrado de Primo: La Proposición 6.1 muestra que para tales secuencias, $\gamma_p = 0$ y $b_p = \gamma_1$ para todos los primos $p$ suficientemente grandes.

4. Significado y Novedad

1. Rigidez de las Series de Lambert: El artículo resuelve una pregunta fundamental sobre el operador $T_\gamma$. Demuestra que la "transformada de Lambert" destruye la racionalidad a menos que la secuencia de entrada sea trivial. Esto contrasta con la función generadora ordinaria, donde la racionalidad se preserva bajo muchas operaciones.
2. Simplificación de las Técnicas SML: Mientras que el teorema de Skolem-Mahler-Lech típicamente requiere interpolación analítica $p$-ádica (teorema de Strassmann) para probar que una subssecuencia se anula idénticamente, este artículo demuestra que para la estructura específica de las series de Lambert, una reducción a cuerpo finito es suficiente para generar una contradicción. La "identidad de suma de divisores" $b_{mq^2} - b_{mq} = S$ proporciona la cantidad no nula necesaria de inmediato, evitando la necesidad de análisis $p$-ádico.
3. Interacción entre Teoría de Números y Álgebra: El trabajo conecta elegantemente la distribución de los primos (teorema de Dirichlet), la estructura de las relaciones de recurrencia y la aritmética de las sumas de divisores. Destaca cómo la estructura multiplicativa de los enteros (a través de la suma de divisores) impone restricciones severas sobre las estructuras aditivas (recurrencias lineales).

Conclusión

El artículo de Igor Rivin establece un fuerte teorema de rigidez: las únicas secuencias que son tanto de recurrencia lineal como poseen una serie de Lambert racional son aquellas con soporte finito. La prueba innova al adaptar la técnica de reducción a lugar finito del teorema de Skolem-Mahler-Lech, pero aprovechando las propiedades algebraicas específicas de las sumas de divisores para lograr una contradicción sin maquinaria $p$-ádica profunda. Este resultado tiene implicaciones inmediatas para el estudio de funciones generadoras en combinatoria y teoría de números, descartando la racionalidad de las series de Lambert para muchas secuencias clásicas (como Fibonacci o secuencias periódicas).