Teorema de Sárközy para primos desplazados con dígitos restringidos

Información Básica

• ID del artículo: 2510.13076
• Título: Teorema de Sárközy para primos desplazados con dígitos restringidos
• Autor: Alex Burgin (Georgia Institute of Technology)
• Clasificación: math.NT (Teoría de Números)
• Fecha de publicación: 15 de octubre de 2025
• Enlace del artículo: https://arxiv.org/abs/2510.13076

Resumen

Este artículo estudia el teorema de Sárközy para primos desplazados con dígitos restringidos. Para una base $b\geq 2$ y un conjunto de dígitos $\mathcal{A}\subset \{0,...,b-1\}$, sea $\mathcal{P}$ el conjunto de números primos cuyos dígitos en base $b$ están restringidos a $\mathcal{A}$. El autor demuestra que si $A\subset \mathbb{N}$ tiene densidad de Banach superior positiva, entonces existen un primo $p\in \mathcal{P}$ y dos elementos $a_1,a_2\in A$ tales que $a_2=a_1+p-1$. Las herramientas técnicas principales son el principio de correspondencia de Furstenberg y el método del círculo de Hardy-Littlewood discretizado utilizado por Maynard. Como producto secundario, también se demuestra un teorema de tipo Dirichlet sobre la distribución de $\mathcal{P}$ en clases residuales y un teorema de tipo Vinogradov sobre la decadencia de sumas exponenciales relacionadas.

Antecedentes de investigación y motivación

Contexto del problema

1. Problemas de tipo Sárközy: Problema central de la combinatoria aritmética que estudia patrones de diferencias prohibidas en conjuntos de enteros. Para un conjunto $S$, ¿cuál es la estructura de $A \subset \mathbb{Z}$ si para todos $a_1, a_2 \in A$ se tiene $a_1 - a_2 \notin S$?
2. Conjuntos de intersección: Muchos conjuntos $S$ (como números cuadrados, primos desplazados $\{p \pm 1 : p \in P\}$, etc.) son de intersección, es decir, si $A$ prohíbe todas las diferencias en $S$, entonces $A$ es pequeño, satisfaciendo $\lim_{N\to\infty}\frac{\#(A \cap \{-N,...,N\})}{2N+1} = 0$.
3. Primos con dígitos restringidos: Inspirado por los resultados de Maynard sobre primos con dígitos restringidos, se estudian conjuntos con dos restricciones simultáneamente: ser tanto primos desplazados como números con dígitos restringidos.

Motivación de la investigación

Este artículo tiene como objetivo demostrar que el conjunto de primos desplazados con dígitos restringidos $P_C - 1$ (donde $C$ es el conjunto de números con dígitos restringidos) mantiene la propiedad de intersección, generalizando el resultado clásico de Sárközy a subconjuntos más escasos de primos.

Contribuciones principales

1. Teorema principal: Se demuestra que para un conjunto $A$ con densidad de Banach superior positiva, existe un primo $p$ con dígitos restringidos y $a_1, a_2 \in A$ tales que $a_2 = a_1 + p - 1$.
2. Teorema de tipo Dirichlet: Se establece una fórmula asintótica para la distribución de primos con dígitos restringidos en clases residuales, generalizando el resultado de Maynard.
3. Teorema de tipo Vinogradov: Se demuestra la propiedad de decadencia de sumas exponenciales sobre primos con dígitos restringidos.
4. Conjuntos de van der Corput: Se demuestra que $P_C - 1$ es un conjunto de van der Corput, lo cual es más fuerte que la propiedad de intersección.

Explicación detallada de métodos

Definición de la tarea

Sea $b \geq 2$ una base, $A := \{0,...,b-1\} \setminus \{d_1,...,d_s\}$ el conjunto de dígitos permitidos. Se define el conjunto con dígitos restringidos: $C := \left\{\sum_{i=0}^N n_i b^i : n_i \in A, N \in \mathbb{N}_0\right\}$

El objetivo es demostrar que si $A \subset \mathbb{N}$ tiene densidad de Banach superior positiva, entonces existen un primo $p \in P_C$ (primos en $C$) y $a_1, a_2 \in A$ tales que $a_1 + p - 1 = a_2$.

Marco técnico central

1. Principio de correspondencia de Furstenberg

Mediante la teoría de sistemas dinámicos, se transforma el problema combinatorio en un problema de teoría ergódica. La clave es demostrar:

Proposición 7: Para cualquier sistema que preserva medida $(X,\mathcal{B},\mu,T)$ y $f \in L^{\infty}(X,\mathcal{B},\mu)$ con $f \geq 0, f \not\equiv 0$, el conjunto $\{n > 0 : \int f \cdot T^n f d\mu > 0\}$ contiene elementos de $P_C - 1$.

2. Estimación de sumas exponenciales

Se establece la estimación precisa de la transformada de Fourier $\hat{C}_{b^N}(t)$ del conjunto con dígitos restringidos:

$\hat{C}_{b^N}(x) = \prod_{i=0}^{N-1}\left(\sum_{c \in A} e(b^i c x)\right)$

Las estimaciones clave incluyen:

• Cota $L^1$: $\sup_{x \in \mathbb{R}} \sum_{a \leq b^N} |\hat{C}_{b^N}(x + a/b^N)| \leq (C_0 b \log b)^N$
• Estimaciones de criba grande y estimaciones mixtas para controlar sumas en diferentes escalas
• Cota $L^{\infty}$: Para aproximaciones racionales deficientes, se proporciona decadencia exponencial

3. Descomposición del método del círculo

Se utiliza el método del círculo de Hardy-Littlewood discretizado:

Proposición 28: Para $\alpha < 1/5$, se tiene $\sum_{n<b^N} 1_C(n)\Lambda(n)e(n\theta) = \sum_{d<\log^{A'}(b^N)} \frac{\mu(d)}{\phi(d)} \sum_{\ell \in (Z/dZ)^*} \hat{C}_{b^N}\left(\theta + \frac{\ell}{d}\right) + O_A\left(\frac{(b-s)^N}{\log^A(b^N)}\right)$

Puntos de innovación técnica

1. Estructura de producto de Riesz: La transformada de Fourier del conjunto con dígitos restringidos posee una estructura de producto especial que permite control analítico preciso.
2. Método $b$-ádico: Se aprovecha la periodicidad de la expansión $b$-ádica para descomponer el problema en subproblemas en diferentes escalas.
3. Optimización de condiciones: Al requerir $b - s > (k+1)b^{4/5+\epsilon}$, se asegura que el término principal sea dominante.

Resultados principales

Teorema 3 (Teorema principal)

Sea $A \subset \mathbb{N}$ con densidad de Banach superior positiva, $C = C(b,\mathcal{A})$ satisfaciendo:

• (I) $1 \in \mathcal{A}$
• (II) El conjunto de dígitos prohibidos $\{d_1,...,d_s\} = \bigsqcup_{i=1}^k I_i$ (unión disjunta de intervalos)
• (III) $b - s > (k+1)b^{4/5+\epsilon}$, $b$ suficientemente grande

Entonces existen un primo $p \in C$ y $a_1, a_2 \in A$ tales que $a_1 + p - 1 = a_2$.

Teorema 4 (Teorema de tipo Dirichlet)

Para cualesquiera $m \geq 1$ y $t \in \mathbb{Z}/m\mathbb{Z}$, se tiene $\sum_{\substack{0 \leq n < b^N \\ n \equiv t \pmod{m}}} 1_C(n)\Lambda(n) = \kappa_{m,t}(b-s)^N + O_C\left(\frac{(b-s)^N}{\log^C(b^N)}\right)$

donde $\kappa_{m,t}$ es una constante explícita.

Teorema 6 (Teorema de tipo Vinogradov)

Para cualquier número irracional $\theta$, se tiene $\sum_{0 \leq n < b^N} 1_C(n)\Lambda(n)e(n\theta) = o((b-s)^N)$

Detalles técnicos

Lemas centrales de estimación de Fourier

Lema 12 (Cota $L^1$): Si $C_0 := k + 1 + \frac{2(b-s)}{b}\log b$, entonces $\sup_{x \in \mathbb{R}} \sum_{a \leq b^N} \left|\hat{C}_{b^N}\left(x + \frac{a}{b^N}\right)\right| \leq (C_0 b \log b)^N$

Lema 20 (Cota $L^{\infty}$): Sea $1 < d < b^{N/3}$, $\ell \in \mathbb{Z}$ tal que para todo $i \geq 1$ se tiene $b^i\ell/d \notin \mathbb{Z}$, y $|\epsilon| < (2b^{2N/3})^{-1}$, entonces $\left|\hat{C}_{b^N}\left(\frac{\ell}{d} + \epsilon\right)\right| \leq (b-s)^N \exp(-cN/\log d)$

Teorema de inversión

Proposición 24: Para $\theta, x \in \mathbb{T}$ y $B$ suficientemente grande, se tiene $\sum_{\substack{|\eta| < \log_B(b^N) \\ b^N x + \eta \in \mathbb{Z}}} \hat{C}_{b^N}\left(\theta + x + \frac{\eta}{b^N}\right) \sum_{k=0}^{b^N-1} e\left(-\frac{k\eta}{b^N}\right) = b^N \hat{C}_{b^N}(\theta + x) + O\left(\frac{b^N(b-s)^N}{\log^A(b^N)}\right)$

Estrategia de demostración

Primer paso: Establecer estimaciones de sumas exponenciales

Mediante el análisis de la estructura de producto de $\hat{C}_{b^N}(t)$, se establecen cotas precisas en diferentes regiones.

Segundo paso: Aplicación del método del círculo

Se descompone la suma exponencial en arco principal (cerca de números racionales con denominador pequeño) y arco secundario (otras regiones), el arco principal se trata con el teorema de inversión, el arco secundario se controla con estimaciones de Fourier.

Tercer paso: Correspondencia de Furstenberg

Mediante el teorema espectral y el teorema ergódico promediado, se reduce el problema de sistemas dinámicos al comportamiento asintótico de sumas exponenciales.

Trabajo relacionado

1. Sárközy (1978): Demostró la propiedad de intersección de primos desplazados, iniciando esta línea de investigación.
2. Green (2024): Logró un avance con ahorro de potencia en el problema de Sárközy para primos desplazados.
3. Maynard (2021): Estableció la fórmula asintótica para primos con dígitos restringidos, proporcionando la base técnica para este artículo.
4. Furstenberg (1977): Estableció la correspondencia entre combinatoria y teoría ergódica.

Conclusiones y discusión

Conclusiones principales

Este artículo generaliza exitosamente el teorema de Sárközy a primos desplazados con dígitos restringidos, demostrando que incluso bajo esta doble restricción, la propiedad de intersección se mantiene.

Limitaciones

1. La condición $b - s > (k+1)b^{4/5+\epsilon}$ es relativamente estricta, limitando el rango de aplicabilidad.
2. El exponente 4/5 proviene de los límites conocidos en sumas exponenciales sobre primos, posiblemente no sea óptimo.
3. Los resultados son cualitativos, sin proporcionar estimaciones cuantitativas con ahorro de potencia.

Direcciones futuras

1. Estimaciones cuantitativas: ¿Se pueden obtener límites cuantitativos con ahorro de potencia como Green lo hizo para primos desplazados?
2. Mejora de exponentes: ¿Se puede relajar la condición del exponente 4/5?
3. Patrones más generales: Generalizar a patrones de combinatoria aditiva más complejos.

Evaluación profunda

Fortalezas

1. Innovación técnica: Combina ingeniosamente la teoría analítica de números (método del círculo), teoría ergódica (correspondencia de Furstenberg) y análisis de Fourier.
2. Resultados profundos: Establece estructuras aditivas no triviales en subconjuntos de primos muy escasos.
3. Métodos generales: Las técnicas desarrolladas tienen valor potencial para estudiar otros problemas de teoría de números con dígitos restringidos.
4. Completitud: No solo demuestra el resultado principal, sino que también establece teoremas de distribución correspondientes y estimaciones de sumas exponenciales.

Deficiencias

1. Restricciones de condiciones: Las condiciones técnicas son relativamente estrictas, limitando el rango de aplicación práctica.
2. No constructivo: La demostración es de existencia, sin proporcionar algoritmos para encontrar ejemplos concretos.
3. Dependencia de constantes: Las relaciones de dependencia de varias constantes son complejas, dificultando estimaciones numéricas.

Impacto

Este artículo realiza una contribución importante en el campo de intersección de la teoría analítica de números y la combinatoria aditiva, abriendo nuevas vías técnicas para investigar problemas de distribución de primos bajo condiciones restringidas. Los métodos desarrollados tienen valor de referencia importante para problemas relacionados.

Escenarios aplicables

Este método es aplicable al estudio de propiedades aditivas de subconjuntos de primos bajo varias restricciones, particularmente en casos que involucran restricciones de dígitos, condiciones de congruencia y otras limitaciones.

Referencias

1. Sárközy, A. (1978). On difference sets of sequences of integers. III. Acta Math. Acad. Sci. Hungar.
2. Green, B. (2024). On Sárközy's theorem for shifted primes. J. Amer. Math. Soc.
3. Maynard, J. (2021). Primes and Polynomials with restricted digits. International Mathematics Research Notices.
4. Furstenberg, H. (1977). Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions. Anal. Math.

Este artículo posee considerable profundidad y originalidad técnica, generalizando exitosamente el teorema clásico de Sárközy a un contexto más refinado y difícil, realizando una contribución significativa al desarrollo de la teoría analítica de números y la combinatoria aditiva.