🔢 mathematics

Sárközy's theorem for shifted primes with restricted digits

Este artículo demuestra que cualquier subconjunto de los números naturales con densidad de Banach superior positiva contiene dos elementos que difieren por un primo desplazado con dígitos restringidos, estableciendo este resultado mediante la demostración de la propiedad de van der Corput para tales primos a través de aproximantes locales de sumas exponenciales.

Autores originales: Alex Burgin

Publicado 2026-08-07

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Alex Burgin

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

Los patrones ocultos en las prisiones numéricas

Imagina el mundo de los números como una ciudad gigante e infinita. La mayoría de la gente piensa que esta ciudad es un caos absoluto, pero los matemáticos han sospechado durante mucho tiempo que, en realidad, está construida sobre patrones rítmicos ocultos. Uno de los vecindarios más famosos en esta ciudad es el "Distrito de los Primos", un lugar donde viven números como el 2, 3, 5, 7 y 11. Estos números son especiales porque no pueden dividirse uniformemente por ningún otro número excepto el 1 y ellos mismos. Durante décadas, los matemáticos han intentado descubrir cómo están dispersos estos primos. ¿Siguen un horario estricto o simplemente deambulan sin rumbo?

Para dar sentido a esto, los matemáticos utilizan un concepto llamado "recurrencia". Piensa en ello como un juego de sillas musicales. Si tienes un grupo grande de personas (un conjunto de números) y empiezas a moverlas basándote en una regla específica (como sumar un número primo), ¿encontrarás eventualmente a dos personas sentadas en sillas que están exactamente a la distancia correcta? Un resultado famoso de la década de 1970 de un matemático llamado Sárközy demostró que si observas los "primos desplazados" (primos menos uno), siempre encontrarás estos pares coincidentes, sin importar cómo elijas tu grupo de personas, siempre que el grupo sea lo suficientemente grande. Esto es algo así como decir que, sin importar cómo organices una multitud, si le pides a todos que den un paso adelante mediante un número primo, dos personas aterrizarán inevitablemente en el mismo lugar.

Pero, ¿qué sucede si imponemos una regla estricta sobre qué primos se nos permite usar? Imagina una prisión donde solo se permite caminar por los pasillos a prisioneros con tatuajes específicos. En el mundo de los números, esto se llama "dígitos restringidos". Significa que solo observamos números que, al ser escritos en una base determinada (como nuestra base decimal habitual), solo utilizan un conjunto específico de dígitos. Por ejemplo, en base 10, podríamos permitir solo números formados por los dígitos 0, 1 y 2. Estos números son muy escasos; son como islas en un vasto océano. La gran pregunta es: ¿rompen las "reglas de la prisión" el ritmo? ¿Sigue funcionando el juego de las sillas musicales si solo dejamos que los primos tatuados jueguen?

El descubrimiento del artículo: Encontrando el compás en una multitud escasa

En este artículo, Alex Burgin aborda precisamente esa pregunta. El autor se pregunta: Si restringimos nuestros primos solo a aquellos con dígitos específicos (como usar solo los dígitos 0 y 1 en una base muy grande), ¿siguen formando un "conjunto de recurrencia"? En otras palabras, si tenemos una gran colección de números, ¿podemos siempre encontrar dos de ellos que difieran por uno de estos primos especiales restringidos menos uno?

La respuesta, según el artículo, es un rotundo sí. Burgin demuestra que, incluso con estas rígidas restricciones de dígitos, los primos desplazados siguen actuando como un "conjunto de recurrencia". Esto significa que si tienes un conjunto de números naturales que es lo suficientemente "denso" (es decir, que tiene una densidad de Banach superior positiva, que es una forma elegante de decir que no está demasiado disperso), tienes la garantía de encontrar dos números en ese conjunto, $a_1$ y $a_2$ , y un primo especial $p$ (con dígitos restringidos) tal que $a_1 + p - 1 = a_2$ .

Para llegar a esta conclusión, el artículo construye una máquina matemática sofisticada. El autor no solo supone; construye un "aproximante local", que es como construir un mapa detallado del vecindario local para entender el comportamiento de los primos. Utiliza herramientas del análisis de Fourier (una forma de descomponer ondas complejas en ondas sinusoidales simples) para estudiar las "sumas exponenciales" de estos primos. Piensa en estas sumas como el acto de escuchar la "música" de los primos. Si la música es caótica y aleatoria, los primos están dispersos. Si la música tiene un ritmo específico, los primos tienen estructura.

Burgin muestra que estos primos restringidos tienen una propiedad muy específica llamada "propiedad de van der Corput". Esta es una versión más fuerte de la recurrencia. Es como demostrar que no solo dos personas aterrizarán en la misma silla, sino que todo el grupo eventualmente se alineará en un patrón perfecto. El artículo demuestra que la "música" de estos primos restringidos se cancela de una manera muy específica en frecuencias irracionales (frecuencias que no se repiten en un ciclo simple). Esta cancelación es la llave que desbloquea la prueba.

El artículo descarta explícitamente la idea de que estos resultados sean solo un accidente afortunado o una simple extensión de trabajos previos. El autor señala que no puedes simplemente tomar las reglas antiguas para los primos normales y aplicarlas a estos restringidos, ni puedes tomar las reglas para números restringidos y aplicarlas a los primos. La combinación es única y requiere un nuevo enfoque. El artículo también aclara que, si bien otros matemáticos han investigado cómo se distribuyen estos primos en progresiones aritméticas específicas (como los primos que dejan un resto de 1 al dividirse por 3), este artículo va más allá al demostrar el comportamiento "puntual" en cada frecuencia irracional. Esta es una distinción crucial: no se trata solo de promedios; se trata del comportamiento en cada punto específico.

El nivel de confianza aquí es alto. El artículo presenta una prueba rigurosa, no una simulación o una sugerencia. Utiliza un "principio de transferencia", que es un método para tomar prestado un resultado conocido (que los primos normales forman un conjunto de recurrencia) y adaptarlo al nuevo entorno restringido. El autor construye cuidadosamente los puentes matemáticos necesarios para mostrar que las "restricciones de dígitos" no rompen el ritmo subyacente de los primos.

Un detalle interesante que destaca el artículo es la necesidad de las reglas. El autor señala que si no permites los dígitos 0 y 1 en tu conjunto restringido, todo el sistema se desmorona. Por ejemplo, si solo permites dígitos pares, es posible que nunca encuentres un primo que encaje en el patrón. El artículo demuestra que tener 0 y 1 disponibles es esencial para que el juego de las sillas musicales de la "prisión" siga funcionando.

En resumen, este artículo es un triunfo de la teoría de números. Toma un subconjunto complejo y escaso de los números primos —aquellos con dígitos restringidos— y demuestra que aún conservan los secretos rítmicos y profundos del mundo de los números. Demuestra que incluso cuando encierras a los primos en una jaula digital, siguen bailando al mismo compás que los primos libres, asegurando que los patrones y las conexiones permanezcan ocultos dentro del caos, esperando ser encontrados.

Resumen Técnico: El Teorema de Sárközy para Primos Desplazados con Dígitos Restringidos

Planteamiento del Problema
Este artículo investiga las propiedades de recurrencia aditiva del conjunto de los primos desplazados con dígitos restringidos, denotado como $P_C - 1$ , donde $P_C$ es el conjunto de primos cuyas expansiones en base- $b$ consisten únicamente en dígitos de un subconjunto específico $A \subset \{0, \dots, b-1\}$ . La cuestión central es si el fenómeno clásico de recurrencia establecido por Sárközy (que el conjunto de los primos desplazados $P-1$ es un conjunto de recurrencia) persiste cuando los primos son "adelgazados" mediante una restricción rígida de dígitos.

El autor aborda si, para cualquier subconjunto $A \subset \mathbb{N}$ con densidad de Banach superior positiva, existen elementos distintos $a_1, a_2 \in A$ y un primo de dígito restringido $p$ tales que $a_1 + p - 1 = a_2$ . Este problema es no trivial porque la recurrencia y la propiedad de van der Corput no se heredan generalmente en subconjuntos arbitrarios; la escasez y la estructura aditiva del conjunto de dígitos restringidos $C$ complican el análisis de las sumas exponenciales asociadas.

Metodología
La estrategia de la prueba se basa en establecer la propiedad de van der Corput para el conjunto $P_C - 1$ . Siguiendo el marco de Kamae y Mendès France, esto requiere la construcción de una secuencia de polinomios trigonométricos soportados en $P_C - 1$ que aproximen la función indicadora de los racionales $\mathbb{Q}/\mathbb{Z}$ en el límite.

El núcleo técnico del artículo consiste en un análisis detallado de las sumas exponenciales sobre el conjunto de dígitos restringidos $C$ y la función de von Mangoldt $\Lambda(n)$ . La metodología procede a través de varias etapas clave:

Aproximantes Locales y Arcos Mayores: El autor construye un aproximante local para las sumas exponenciales $\sum 1_C(n)\Lambda(n)e(n\theta)$ . Utiliza un teorema de tipo Dirichlet para módulos fijos para derivar una fórmula asintótica para el número de primos de dígitos restringidos en progresiones aritméticas. Esto implica separar la suma en "arcos mayores" (frecuencias racionales) y "arcos menores" (frecuencias irracionales).
Estimaciones de Fourier:
- Arcos Mayores: El autor demuestra una fórmula asintótica (Teorema 1.2.1) para el conteo de primos de dígitos restringidos en progresiones aritméticas $n \equiv t \pmod m$ . Esta fórmula separa explícitamente la obstrucción de congruencia estándar de primo-a- $b$ de una densidad de dígito $b$ -ádica finita.
- Arcos Menores: El artículo establece un teorema de equidistribución de tipo Vinogradov (Teorema 1.2.2), mostrando que para cualquier $\theta$ irracional, la suma exponencial $\sum_{n < b^N} 1_C(n)\Lambda(n)e(n\theta)$ es $o((b-s)^N)$ .
- Estimaciones Híbridas: Para controlar los términos de error, el autor adapta técnicas del trabajo de Maynard sobre primos con dígitos restringidos. Emplea estimaciones $L^1$ , de la Criba Grande (Large Sieve) e híbridas (Lemas 3.1.2, 3.1.6, 3.1.9) para acotar las sumas exponenciales sobre el conjunto de dígitos restringidos $C$ . Un componente crucial es la "Inversión con Pocas Frecuencias" (Proposición 3.3.1), que permite el control de la transformada de Fourier de $C$ utilizando un número pequeño de frecuencias.
Argumento Espectral: Utilizando el decaimiento de Fourier establecido en frecuencias irracionales y la precisa asintótica en frecuencias racionales, el autor construye los polinomios trigonométricos necesarios. Demuestran que el límite de estos polinomios es la función indicadora de los racionales, satisfaciendo así los criterios para la propiedad de van der Corput.

Resultos Clave
El artículo establece dos teoremas principales bajo ciertas "condiciones constantes" sobre el conjunto de dígitos $A$ (requiriendo que $A$ contenga $\{0, 1\}$ , sea una unión de intervalos y tenga suficiente densidad relativa a la base $b$ ):

Teorema 1.2.1 (Teorema de tipo Dirichlet): Para cualquier módulo fijo $m$ y residuo $t$ , el número de primos de dígitos restringidos $p < b^N$ con $p \equiv t \pmod m$ es asintóticamente $\kappa_{m,t}(b-s)^N$ , donde $\kappa_{m,t}$ es una constante explícita que da cuenta de las obstrucciones locales.
Teorema 1.2.2 (Decaimiento Irracional): Para cualquier $\theta$ irracional, la suma exponencial sobre primos de dígitos restringidos satisface $\sum_{n < b^N} 1_C(n)\Lambda(n)e(n\theta) = o((b-s)^N)$ .
Teorema 1.3.1 (Resultado de tipo Sárközy): Si $A \subset \mathbb{N}$ tiene densidad de Banach superior positiva, existe un primo $p \in P_C$ y elementos distintos $a_1, a_2 \in A$ tales que $a_1 + p - 1 = a_2$ .

Significancia y Reivindicaciones
El autor posiciona su trabajo como complementario a los resultados recientes de Nath y Leng–Sawhney. Mientras que Nath proporciona estimaciones de distribución más fuertes (tipo Bombieri–Vinogradov) para primos que omiten un solo dígito en bases grandes, y Leng–Sawhney demuestran un teorema aditivo ternario, ninguno de ellos deriva directamente el decaimiento de frecuencia irracional puntual requerido para establecer la propiedad de van der Corput para los primos desplazados de dígitos restringidos.

El artículo reivindica la novedad en:

Combinación de Teorías Locales y Globales: Integrar con éxito una teoría local explícita de módulo fijo con el decaimiento de Fourier irracional.
Generalidad: Extender estos resultados a una clase más amplia de conjuntos de dígitos (uniones de intervalos) en lugar de solo un solo dígito omitido.
Recurrencia: Demostrar que los primos desplazados de dígitos restringidos forman un conjunto de van der Corput, una noción de recurrencia estrictamente más fuerte que la simple intersectividad.

El autor señala explícitamente que sus métodos no se extienden actualmente para demostrar la existencia de conjuntos IP finitos de dimensión arbitraria dentro de $P_C - 1$ (lo cual requeriría estimaciones de norma de Gowers de orden superior, $U^k$ para $k \ge 3$ ), ni pretenden mejorar el nivel de distribución para los primos más allá de lo necesario para la aplicación de recurrencia. La contribución principal es el establecimiento de la propiedad de van der Corput para este conjunto disperso de primos.

Los patrones ocultos en las prisiones numéricas

El descubrimiento del artículo: Encontrando el compás en una multitud escasa

Más como este