🔢 mathematics

Two dimensional covering systems and possible prime producing $a^m-b^n$

El artículo presenta una nueva aplicación de los sistemas de recubrimiento bidimensionales para exhibir pares de enteros $a$ y $b$ tales que $a^m-b^n$ siempre posee un divisor primo en un conjunto finito dado, lo que lleva a conjeturar cuáles son las únicas obstrucciones posibles para que $|a^m-b^n|$ tome infinitos valores primos distintos.

Autores originales: Andrew Granville, Francesco Pappalardi

Publicado 2026-04-14

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Andrew Granville, Francesco Pappalardi

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, la Máquina A y la Máquina B.

La Máquina A toma un número $m$ y produce un número gigante: $a^m$ (por ejemplo, si $a=41$ , produce 41, luego 41 al cuadrado, luego 41 al cubo, etc.).
La Máquina B hace lo mismo con un número $n$ : produce $b^n$ .

El problema de los autores de este artículo es muy sencillo pero profundo: Si restamos el resultado de la Máquina B del de la Máquina A ( $a^m - b^n$ ), ¿obtenemos un número primo?

Un número primo es como un "ladrillo indivisible" en el mundo de las matemáticas; solo se puede dividir por 1 y por sí mismo. Los números primos son los ingredientes básicos de todos los números.

El Gran Misterio: ¿Hay infinitos ladrillos?

La pregunta central es: ¿Existe una forma de elegir dos números ( $a$ y $b$ ) tal que, sin importar cuánto tiempo sigas operando las máquinas, nunca encuentres un número primo? O, por el contrario, ¿siempre hay infinitos primos escondidos en esa resta?

La mayoría de las veces, la respuesta es sí, hay infinitos primos. Pero los autores descubrieron que hay "trampas" o "bloqueos" que pueden hacer que la resta siempre sea un número compuesto (divisible por otros números).

La Trampa: El Sistema de Cobertura (La Red de Seguridad)

Aquí es donde entra la parte divertida y creativa del artículo. Imagina que quieres atrapar a todos los posibles resultados de tu resta ( $a^m - b^n$ ) para asegurarte de que ninguno sea primo.

Los autores usan algo llamado "Sistemas de Cobertura Bidimensionales".

Piensa en esto como una red de pesca o un mosaico de baldosas que cubre todo el suelo.

Cada "baldosa" en este mosaico representa una regla matemática (una congruencia).
Por ejemplo, una baldosa podría decir: "Si el número $m$ es par, el resultado será divisible por 3".
Otra baldosa podría decir: "Si el número $n$ es par, el resultado será divisible por 5".
Otra podría decir: "Si $m$ y $n$ tienen la misma paridad, el resultado será divisible por 7".

Si logras poner suficientes baldosas de tal manera que cubran absolutamente todas las posibilidades de $m$ y $n$ , entonces has creado una trampa perfecta. No importa qué números elijas para operar las máquinas, siempre caerás en alguna baldosa y el resultado será divisible por 3, 5 o 7. Por lo tanto, nunca será un número primo (a menos que el resultado sea exactamente 3, 5 o 7, pero eso solo pasa unas pocas veces).

El ejemplo del artículo:
Toman $a=41$ y $b=34$ .

Si $m$ es par, el resultado es divisible por 3.
Si $n$ es par, el resultado es divisible por 5.
Si $m$ y $n$ son ambos pares o ambos impares, el resultado es divisible por 7.

¡Bum! Han cubierto todo el tablero. No importa qué pares de números elijas, el resultado siempre tendrá un "guardián" (3, 5 o 7) que lo divide. Por eso, en este caso específico, nunca encontrarás infinitos primos.

La Conjetura (La Suposición Valiente)

Los autores proponen una regla de oro, una Conjetura:

"Si no existe una 'red de cobertura' (como la descrita arriba) que atrape todos los resultados, entonces debe haber infinitos números primos en la lista de resultados."

Es como decir: "Si no hay una red de pesca que atrape a todos los peces, entonces el océano debe tener peces infinitos".

¿Cómo lo comprobaron? (La Caza de Tesoros)

Como es muy difícil probar esto con matemáticas puras (es un problema muy difícil), los autores se pusieron a trabajar como detectives con computadoras.

Generaron miles de parejas de números ( $a$ y $b$ ).
Buscaron las trampas: Verificaron si existía alguna red de cobertura que atrapar todos los resultados.
Contaron los primos: Para las parejas que no tenían trampas, contaron cuántos primos aparecían.

El resultado:

Cuando encontraron una pareja con una "trampa" (como 41 y 34), los primos desaparecían rápidamente.
Cuando no había trampas, los primos seguían apareciendo, como si fuera un manantial que nunca se seca.

Además, crearon una fórmula mágica (una predicción estadística) para estimar cuántos primos deberían aparecer. Cuando compararon sus predicciones con los datos reales de la computadora, ¡casi siempre coincidían!

En resumen

Este artículo nos dice que el mundo de los números $a^m - b^n$ es como un jardín gigante:

A veces, alguien pone una valla invisible (el sistema de cobertura) que impide que crezcan ciertas flores (los números primos).
Pero si no hay valla, las flores siempre crecerán en cantidades infinitas.

Los autores no solo encontraron dónde están las vallas, sino que también aprendieron a predecir exactamente cuántas flores habrá en el jardín si no hay vallas. Es una pieza fundamental para entender cómo se comportan los números primos en estructuras complejas.

Resumen Técnico: Sistemas de Cobertura Bidimensionales y la Producción de Números Primos en $|a^m - b^n|$

1. El Problema

El artículo aborda una pregunta fundamental en la teoría de números: ¿Bajo qué condiciones la expresión $|a^m - b^n|$ (donde $a, b \ge 2$ son enteros fijos y $m, n \ge 1$ varían) toma infinitos valores primos distintos?

El problema se centra en identificar las obstrucciones que impiden que esta expresión genere infinitos primos. Los autores observan que, en ciertos casos, $|a^m - b^n|$ es siempre divisible por un número fijo $Q > 1$ (independientemente de $m$ y $n$ ), lo que implica que la expresión es compuesta para casi todos los pares $(m, n)$ . El objetivo es caracterizar completamente estas obstrucciones y formular una conjetura sobre cuándo se garantiza la existencia de infinitos primos.

2. Metodología

Los autores emplean una combinación de teoría algebraica de números, teoría de grupos y sistemas de congruencias para analizar el comportamiento de $a^m - b^n$ .

Sistemas de Cobertura Bidimensionales: La herramienta central es la introducción y aplicación de sistemas de cobertura bidimensionales. Un conjunto de ternas de enteros $\{(u_i, v_i, r_i)\}$ es un sistema de cobertura si para cada par de enteros $(m, n)$ existe al menos un $i$ tal que $m v_i \equiv n u_i \pmod{r_i}$ .
Relación con Primos: Demuestran que la condición de que $(a^m - b^n, Q) > 1$ para todo $m, n \ge 1$ es equivalente a que el conjunto de congruencias asociadas a los factores primos de $Q$ forme un sistema de cobertura bidimensional.
Teorema de Unidades S (Siegel): Utilizan este teorema para demostrar que si existe tal obstrucción $Q$ , entonces $|a^m - b^n|$ puede ser primo o una potencia de primo solo para un número finito de pares $(m, n)$ .
Heurística de Cramér y Probabilidades Locales: Para los casos donde no existe obstrucción, los autores desarrollan un modelo heurístico para estimar la densidad de primos. Ajustan la probabilidad clásica de Cramér ( $1/\log x$ $1/ lo g x$ ) considerando:
- La distribución de $a^m - b^n$ módulo primos pequeños.
- La condición de que $\gcd(m, n) = 1$ (ya que si $g = \gcd(m, n) > 1$ , entonces $a^{m/g} - b^{n/g}$ divide a $a^m - b^n$ , haciendo el número compuesto salvo casos triviales como la conjetura de Catalan).
- Factores locales definidos por constantes $\kappa_{a,b}$ .

3. Contribuciones Clave

A. Caracterización de Obstrucciones (Conjetura 1 y 2)
Los autores proponen que la única obstrucción conocida para la existencia de infinitos primos en $|a^m - b^n|$ es la existencia de un entero $Q \neq 0$ tal que $\gcd(a^m - b^n, Q) > 1$ para todo $m, n \ge 1$ .

Conjetura 1: Si $a, b \ge 2$ no son potencias perfectas de enteros y no existe tal $Q$ , entonces hay infinitos primos de la forma $|a^m - b^n|$ .
Conjetura 2: Generalización para el caso donde $a$ o $b$ son potencias perfectas ( $a=A^k, b=B^\ell$ ). La obstrucción solo aplica si la condición de divisibilidad por $Q$ se cumple para $m, n$ coprimos con los exponentes máximos $k, \ell$ .

B. Construcción de Triples $(a, b, Q)$
Desarrollan un algoritmo eficiente para construir todos los triples $(a, b, Q)$ que satisfacen la condición de obstrucción a partir de sistemas de cobertura bidimensionales reducidos.

Demuestran que cada sistema de cobertura genera un conjunto de primos $p_i$ y residuos que definen $a$ y $b$ módulo $Q$ mediante el Teorema Chino del Resto.
Proporcionan ejemplos explícitos (como el caso clásico $41^m - 34^n$ divisible por 3, 5 o 7) y nuevos ejemplos generados computacionalmente.

C. Estimación Asintótica de Primos
Definen una constante $c_{a,b}$ que predice la densidad de primos:
$\#\{ |a^m - b^n| \le x : |a^m - b^n| \text{ es primo} \} \sim c_{a,b} \log x$
donde $c_{a,b}$ depende de una constante límite $\kappa_{a,b}$ derivada de probabilidades locales y la estructura de los grupos multiplicativos módulo primos.

4. Resultados Principales

Equivalencia Estructural: Se establece una correspondencia biunívoca entre los triples $(a, b, Q)$ que generan obstrucciones y los sistemas de cobertura bidimensionales. Esto permite clasificar sistemáticamente cuándo $|a^m - b^n|$ tiene pocos primos.
Validación Computacional:
- Realizaron cálculos extensivos para pares $(a, b)$ con $b \le 100$ y $a+b \le 500$ .
- Identificaron pares donde la cantidad de primos encontrados ( $\Pi_{a,b}(100)$ ) era baja.
- Para aquellos casos con pocos primos, encontraron siempre un sistema de cobertura subyacente que explicaba la escasez (ej. divisibilidad por 3, 5, 7, etc., dependiendo de la paridad de $m$ y $n$ ).
- En los casos donde no había sistema de cobertura, la cantidad de primos crecía linealmente, confirmando la heurística.
Convergencia de la Constante: Presentan datos numéricos que sugieren que la secuencia de constantes locales $\kappa_{a,b}(k)$ converge a un valor no nulo, apoyando la validez de la fórmula asintótica propuesta, aunque la demostración rigurosa de la convergencia sigue siendo un problema abierto.
Casos Excepcionales: Analizan casos donde $a$ o $b$ son potencias (ej. $a=51, b=64$ ) y muestran cómo la obstrucción se modifica, pero la lógica de cobertura sigue siendo aplicable.

5. Significado e Impacto

Unificación de Problemas: El trabajo conecta problemas de primos en formas exponenciales con la teoría de sistemas de cobertura, un área clásica de la teoría de números combinatoria.
Marco Predictivo: Proporciona un marco robusto para predecir cuándo una secuencia exponencial binaria generará infinitos primos, yendo más allá de la simple conjetura de que "si no hay obstrucción obvia, hay infinitos primos".
Herramienta Computacional: La capacidad de construir explícitamente los pares $(a, b)$ que fallan en generar primos permite a los investigadores filtrar casos triviales y centrarse en aquellos donde la distribución de primos es genuinamente interesante.
Conjetura Sólida: La Conjetura 1 y 2 se presentan como la formulación definitiva del problema, sugiriendo que las obstrucciones de cobertura son las únicas barreras conocidas, un hallazgo que podría guiar futuras investigaciones en teoría de números analítica.

En conclusión, Granville y Pappalardi demuestran que la escasez de primos en $|a^m - b^n|$ no es aleatoria, sino que está estructurada por sistemas de cobertura bidimensionales. Cuando estas estructuras están ausentes, la evidencia computacional y heurística apunta fuertemente a la existencia de infinitos primos, con una densidad predecible.