🔢 mathematics

On the sequence $\mathrm{gcd}(a^n-1,b^n-1)$

Este artículo investiga la sucesión $g_n = \text{mcd}(a^n-1, b^n-1)$ al demostrar que satisface una recurrencia lineal si y solo si $a$ y $b$ son multiplicativamente dependientes, estableciendo la periodicidad de las sucesiones de divisibilidad común para bases independientes, derivando fórmulas exactas para su estructura local y proporcionando reducciones estructurales hacia la conjetura de Ailon–Rudnick para enteros.

Autores originales: Khai-Hoan Nguyen-Dang

Publicado 2026-06-09

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Khai-Hoan Nguyen-Dang

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que tienes dos máquinas gigantes y mágicas. Llamémoslas Máquina A y Máquina B.

La Máquina A toma un número $n$ y escupe un número gigante: $a^n - 1$ .
La Máquina B toma el mismo número $n$ y escupe otro número gigante: $b^n - 1$ .

Ahora, imagina que tienes un detector de "Máximo Común Divisor" (MCD). Este detector observa los dos números que acaban de producir las máquinas y encuentra el número más grande que divide a ambos perfectamente. Llamemos a este número compartido $g_n$ .

El artículo de Khai-Hoan Nguyen-Dang es una investigación profunda sobre el comportamiento de esta secuencia de números compartidos ( $g_1, g_2, g_3, \dots$ ). El autor se pregunta: ¿Existe un patrón simple y predecible para estos números compartidos?

Aquí está el desglose de los hallazgos del artículo utilizando analogías sencillas:

1. Los dos tipos de máquinas

El autor descubre que el comportamiento de estas máquinas depende enteramente de la relación entre sus configuraciones iniciales, $a$ y $b$ .

Las Máquinas "Dependientes" (Predecibles):
Si $a$ y $b$ son "multiplicativamente dependientes", esto significa que uno es simplemente una potencia del otro (como 4 y 8, donde $4=2^2$ y $8=2^3$ ).
- El Resultado: Cuando las máquinas son dependientes, la secuencia de números compartidos ( $g_n$ ) sigue una regla muy estricta y simple llamada recurrencia lineal.
- La Analogía: Piensa en esto como una banda de marcha tocando una canción. Si los tambores y los trompetas están perfectamente sincronizados (dependientes), su ritmo combinado sigue un compás simple y repetitivo que puedes predecir por siempre. El artículo demuestra que si la secuencia sigue este compás simple, las máquinas deben ser dependientes.
Las Máquinas "Independientes" (Caóticas):
Si $a$ y $b$ son "multiplicativamente independientes" (como 2 y 3, donde uno no es una potencia del otro), son como dos músicos tocando canciones completamente diferentes.
- El Resultado: En este caso, la secuencia de números compartidos ( $g_n$ ) no puede ser predicha por ninguna regla constante y simple. Es demasiado caótica.
- La Analogía: Si intentas obligar a la banda de marcha a seguir un ritmo simple mientras los músicos tocan canciones independientes, esto se rompe. El artículo demuestra que no importa cómo intentes ajustar una regla simple a estos números, eventualmente fallará.

2. Los "Patrones Fantasma"

El autor también hace una pregunta más profunda: Incluso si toda la secuencia es caótica, ¿hay una parte de ella que sea predecible? Específicamente, ¿existe una secuencia más pequeña que divida los resultados de ambas máquinas y que siga una regla simple?

El Hallazgo: Si las máquinas son independientes, la respuesta es no, a menos que esa secuencia más pequeña sea solo un bucle aburrido y repetitivo (periódico).
La Analogía: Imagina intentar encontrar un ritmo oculto dentro del ruido caótico de los dos músicos. El artículo demuestra que los únicos "ritmos" que puedes encontrar son simples bucles cortos que se repiten una y otra vez. No hay patrones complejos y de largo plazo ocultos por encontrar.

3. Mapeando los puntos "Malos"

El artículo luego hace un acercamiento para observar exactamente cuándo el número compartido $g_n$ es mayor que 1 (es decir, cuando las máquinas comparten un factor).

El "Conjunto Malo": El autor crea un mapa preciso de todos los números $n$ donde las máquinas comparten un factor.
La Analogía: Imagina un calendario. La mayoría de los días, las máquinas producen números que no tienen nada en común. Pero en ciertos días, comparten un secreto. El artículo proporciona una fórmula para dibujar "flechas" en el calendario apuntando exactamente a qué días ocurren estos secretos.
- Resulta que estos "días secretos" son simplemente una colección de horarios específicos y repetitivos (progresiones aritméticas).
- Si normalizamos las máquinas para que no compartan un secreto en el día 1, el artículo muestra que los "días malos" son exactamente los días que caen en los horarios de números primos específicos.

4. El misterio de "Ailon–Rudnick"

Finalmente, el artículo aborda un enigma famoso no resuelto llamado la Conjetura de Ailon–Rudnick.

El Acertijo: Si las máquinas son independientes y no comparten un secreto en el día 1, ¿producirán eventualmente números que no tengan ningún factor compartido en absoluto (es decir, $g_n = 1$ ) durante infinitos días?
La Contribución del Artículo: El autor no resuelve el acertijo completo, pero lo descompone en piezas más pequeñas y manejables. Demuestra que para resolver el acertijo, solo necesitas revisar tipos específicos de "días malos" (como los números primos) y buscar "huellas dactilares" algebraicas específicas (resultantes).
La Analogía: En lugar de intentar demostrar que todo el calendario está mayormente vacío de secretos, el autor dice: "Vamos a mirar solo los martes. Si podemos demostrar que no hay secretos los martes, hemos hecho un gran progreso". Proporciona una lista de verificación de condiciones que, si se cumplen, resolverían el misterio.

Resumen

En resumen, este es un estudio riguroso sobre el ritmo de los factores compartidos entre dos secuencias exponenciales.

Si las bases están relacionadas: El ritmo es simple y predecible.
Si las bases no están relacionadas: El ritmo es caótico, y no existen patrones simples ocultos (excepto bucles aburridos).
Los días "Malos": El autor mapea exactamente cuándo ocurren estos factores compartidos, convirtiendo un misterio vago en una lista precisa de horarios repetitivos.
La Gran Conjetura: El artículo proporciona un conjunto de herramientas nuevas y más precisas para ayudar a los matemáticos a finalmente demostrar si estas máquinas alguna vez dejan de compartir secretos.

Resumen Técnico: Sobre la sucesión $\gcd(a^n - 1, b^n - 1)$

Planteamiento del Problema

Este artículo investiga la estructura aritmética de la sucesión $(g_n)_{n \ge 1}$ definida por $g_n := \gcd(a^n - 1, b^n - 1)$ para enteros $a, b \ge 2$ . La sucesión se sitúa naturalmente en la intersección de dos áreas clásicas: los máximos comunes divisores de sucesiones exponenciales y la teoría de sucesiones de divisibilidad.

La motivación central surge de la conjetura de Ailon–Rudnick en el entorno de los enteros. Mientras que Ailon y Rudnick demostraron un fuerte teorema de cuerpos de funciones estableciendo que si $f, g \in \mathbb{C}[T]$ son multiplicativamente independientes, $\gcd(f^n - 1, g^n - 1)$ está acotado por un polinomio, el caso de los enteros permanece abierto. La conjetura postula que si $a$ y $b$ son multiplicativamente independientes y $\gcd(a-1, b-1)=1$ , entonces $\gcd(a^n - 1, b^n - 1) = 1$ para infinitos $n$ .

El objetivo del artículo es delinear exactamente qué se puede y qué no se puede explicar sobre $(g_n)$ utilizando los marcos de las recurrencias lineales de coeficientes constantes y las sucesiones de divisibilidad lineales (LDS).

Metodología

El autor emplea una combinación de teoría de números algebraicos, cotas analíticas y teoremas de clasificación estructural:

Rigidez de las recurrencias lineales: El artículo utiliza el principio clásico de que los enteros algebraicos con todos sus conjugados en el disco unidad cerrado son raíces de la unidad (Lema de Kronecker). Esto se aplica a las funciones generatrices de las recurrencias lineales para demostrar que las sucesiones con crecimiento subexponencial deben ser eventualmente polinómicas en progresiones aritméticas.
Cotas subexponenciales: El aporte cuantitativo fundamental es el teorema de Bugeaud, Corvaja y Zannier, que establece que para $a, b$ multiplicativamente independientes, $\log \gcd(a^n - 1, b^n - 1) \le \epsilon n + O_\epsilon(1)$ .
Clasificación de LDS: El trabajo se apoya fuertemente en la reciente clasificación de Granville de las sucesiones de divisibilidad lineal enteras, que descompone tales sucesiones en componentes periódicos, de potencia y generados polinómicamente.
Aritmética Local (LTE): El artículo utiliza el lema de la Elevación del Exponente (Lifting The Exponent, LTE) para derivar fórmulas exactas para las valuaciones $p$ -ádicas de $g_n$ .
Resultantes Cíclotómicas: Para abordar la conjetura de Ailon–Rudrick para índices primos, el artículo emplea propiedades de los polinomios cíclotómicos y resultantes para reducir el problema a certificados finitos y problemas de cobertura local.

Contribuciones Clave y Resultados

1. Clasificación de la Sucesión del MCD como una Recurrencia Lineal

El artículo establece un teorema de rigidez agudo sobre si $(g_n)$ satisface una recurrencia lineal de coeficientes constantes.

Teorema 1.1: La sucesión $(g_n)$ $(g_{n})$ satisface una recurrencia lineal de coeficientes constantes si y solo si $a$ $a$ y $b$ $b$ son multiplicativamente dependientes.
- Si son dependientes, existen enteros $c \ge 2$ y $r, s \ge 1$ tales que $a=c^r, b=c^s$ . En este caso, $g_n = c^{\gcd(r,s)n} - 1$ , la cual es una recurrencia lineal simple.
- Si son independientes, ninguna cola de la sucesión satisface una recurrencia lineal.
Corolario 3.4: Consecuentemente, $(g_n)$ es una sucesión de divisibilidad lineal (LDS) si y solo si $a$ y $b$ son multiplicativamente dependientes.

2. Rigidez de los Factores Comunes de LDS

El artículo aborda si cualquier sucesión de divisibilidad lineal no trivial puede dividir simultáneamente a $a^n - 1$ y $b^n - 1$ en el caso independiente.

Teorema 1.2 / Teorema 4.3: Si $a$ $a$ y $b$ $b$ son multiplicativamente independientes, entonces toda sucesión de divisibilidad lineal entera $(W_n)$ $(W_{n})$ que satisfaga $W_n \mid a^n - 1$ $W_{n} ∣ a^{n} - 1$ y $W_n \mid b^n - 1$ $W_{n} ∣ b^{n} - 1$ es periódica.
- Este resultado combina la cota de Bugeaud–Corvaja–Zannier (crecimiento subexponencial) con la clasificación de Granville de las LDS. Esto implica que el mecanismo de "recurrencia lineal" no puede explicar los factores comunes no triviales en el caso independiente; cualquier factor común de este tipo debe ser periódico.

3. Estructura Local y Fórmulas de Soporte

El artículo proporciona fórmulas exactas para el soporte y las valuaciones de $g_n$ , identificando el "conjunto malo" $\{n : g_n > 1\}$ .

Fórmula de Soporte (Proposición 5.1): Para un primo $p \nmid ab$ , sea $L_p = \text{mcm}(\text{ord}_p(a), \text{ord}_p(b))$ . Entonces $p \mid g_n \iff L_p \mid n$ .
Fórmula de Valuación (Proposición 5.2): Para primos impares $p \nmid ab$ , si $L_p \mid n$ , entonces $v_p(g_n) = c_p + v_p(n)$ , donde $c_p = \min(v_p(a^{L_p}-1), v_p(b^{L_p}-1))$ .
Caracterización del Conjunto Malo (Corolario 5.4): Bajo la normalización $\gcd(a-1, b-1)=1$ , el conjunto $\{n : g_n > 1\}$ es exactamente la unión de progresiones aritméticas:
$\{n \ge 1 : g_n > 1\} = \bigcup_{p \nmid ab} L_p \mathbb{N}$
La conjetura de Ailon–Rudrick es, por tanto, equivalente a la infinitud del complemento de esta unión.

4. Reducciones hacia la Conjetura de Ailon–Rudrick

El artículo deriva varias reducciones estructurales que aíslan la dificultad de la conjetura hacia problemas de cobertura local, eliminando los mecanismos de recurrencia lineal.

Criterio de Soporte Primitivo (Proposición 5.6): El conjunto malo puede comprimirse a una unión de progresiones generadas por un conjunto primitivo $B$ de periodos mínimos $L_p$ . Si $\sum_{d \in B} 1/d < \infty$ , el conjunto bueno tiene una densidad asintótica inferior positiva.
Reducción a Índices Primos (Teorema 6.2): Para un primo $\ell$ fuera de un conjunto excepcional finito $\Sigma(a,b)$ , $g_\ell > 1$ si y solo si $A_\ell = \frac{a^\ell-1}{a-1}$ y $B_\ell = \frac{b^\ell-1}{b-1}$ comparten un divisor primitivo común (es decir, existe un primo $p$ con $\text{ord}_p(a) = \text{ord}_p(b) = \ell$ ).
Certificado Finito (Teorema 6.4): Si $g_\ell > 1$ , existen enteros $1 \le u, v \le \lceil \sqrt{\ell} \rceil$ y un primo $p \equiv 1 \pmod \ell$ tal que $p \mid a^u - b^v$ o $p \mid a^u b^v - 1$ .
Compresión por Resultante (Corolario 6.6): La condición $g_\ell > 1$ implica la existencia de un primo $p \equiv 1 \pmod \ell$ que divide el resultante cíclotómico $R_\ell(b-a) = \text{Res}_X(\Phi_\ell(X), \Phi_\ell(X + b-a))$ .

Significado y Reivindicaciones

El artículo afirma proporcionar un análisis estructural definitivo de la sucesión $(g_n)$ dentro del contexto de las recurrencias lineales y las sucesiones de divisibilidad.

Eliminación de Mecanismos Lineales: El principal significado es la prueba de que la sucesión $(g_n)$ en sí misma no es una sucesión de divisibilidad lineal (a menos que $a, b$ sean dependientes), y que ninguna sucesión de divisibilidad lineal no periódica puede servir como factor común en el caso independiente. Esto sugiere que la conjetura de Ailon–Rudrick no puede resolverse modelando $(g_n)$ como una recurrencia lineal.
Localización de la Dificultad: Al establecer fórmulas locales exactas y reducciones, el artículo argumenta que la dificultad restante de la conjetura es un problema de cobertura local gobernado por órdenes multiplicativos y obstrucciones de índices primos, en lugar de un fenómeno de recurrencia lineal global.
Caracterización Exacta: El artículo proporciona las primeras fórmulas exactas de soporte y valuación para el caso general, identificando el conjunto malo como una unión explícita de progresiones aritméticas determinadas por los periodos locales $L_p$ .

El autor concluye que los "mecanismos de recurrencia lineal" están completamente comprendidos y eliminados; el problema se reduce ahora al análisis de la densidad y las propiedades de cobertura del conjunto de periodos locales $\{L_p\}$ .