Le théorème de Sárközy pour les nombres premiers décalés à chiffres restreints

Informations fondamentales

• ID de l'article : 2510.13076
• Titre : Le théorème de Sárközy pour les nombres premiers décalés à chiffres restreints
• Auteur : Alex Burgin (Georgia Institute of Technology)
• Classification : math.NT (Théorie des nombres)
• Date de publication : 15 octobre 2025
• Lien de l'article : https://arxiv.org/abs/2510.13076

Résumé

Cet article étudie le théorème de Sárközy pour les nombres premiers décalés à chiffres restreints. Pour une base $b\geq 2$ et un ensemble de chiffres $\mathcal{A}\subset \{0,...,b-1\}$, soit $\mathcal{P}$ l'ensemble des nombres premiers dont les chiffres en base $b$ sont restreints à $\mathcal{A}$. L'auteur démontre que si $A\subset \mathbb{N}$ possède une densité de Banach supérieure positive, alors il existe un nombre premier $p\in \mathcal{P}$ et deux éléments $a_1,a_2\in A$ tels que $a_2=a_1+p-1$. Les outils techniques principaux sont le principe de correspondance de Furstenberg et la méthode du cercle de Hardy-Littlewood discrétisée utilisée par Maynard. En tant que sous-produit, on démontre également un théorème de type Dirichlet sur la distribution de $\mathcal{P}$ dans les classes de résidus et un théorème de type Vinogradov sur la décroissance des sommes exponentielles associées.

Contexte et motivation de la recherche

Contexte du problème

1. Problèmes de type Sárközy : Problèmes centraux de la combinatoire arithmétique étudiant les motifs de différences interdites dans les ensembles d'entiers. Pour un ensemble $S$, si $A \subset \mathbb{Z}$ satisfait $a_1 - a_2 \notin S$ pour tous $a_1, a_2 \in A$, quelle est la structure de $A$ ?
2. Ensembles d'intersection : De nombreux ensembles $S$ (tels que les carrés, les nombres premiers décalés $\{p \pm 1 : p \in P\}$, etc.) sont d'intersection, c'est-à-dire que si $A$ interdit toutes les différences dans $S$, alors $A$ est petit, satisfaisant $\lim_{N\to\infty}\frac{\#(A \cap \{-N,...,N\})}{2N+1} = 0$.
3. Nombres premiers à chiffres restreints : Inspiré par les résultats de Maynard sur les nombres premiers à chiffres restreints, on étudie les ensembles soumis à deux contraintes simultanément : être à la fois des nombres premiers décalés et avoir des chiffres restreints.

Motivation de la recherche

Cet article vise à démontrer que l'ensemble des nombres premiers décalés à chiffres restreints $P_C - 1$ (où $C$ est l'ensemble des nombres à chiffres restreints) conserve toujours la propriété d'intersection, généralisant ainsi le résultat classique de Sárközy à des sous-ensembles plus clairsemés de nombres premiers.

Contributions principales

1. Théorème principal : Démonstration que pour un ensemble $A$ ayant une densité de Banach supérieure positive, il existe un nombre premier $p$ à chiffres restreints et $a_1, a_2 \in A$ tels que $a_2 = a_1 + p - 1$.
2. Théorème de type Dirichlet : Établissement d'une formule asymptotique pour la distribution des nombres premiers à chiffres restreints dans les classes de résidus, généralisant les résultats de Maynard.
3. Théorème de type Vinogradov : Démonstration de la propriété de décroissance des sommes exponentielles sur les nombres premiers à chiffres restreints.
4. Ensembles de van der Corput : Démonstration que $P_C - 1$ est un ensemble de van der Corput, propriété plus forte que l'intersection.

Explication détaillée des méthodes

Définition du problème

Soit $b \geq 2$ une base et $A := \{0,...,b-1\} \setminus \{d_1,...,d_s\}$ l'ensemble des chiffres autorisés. Définir l'ensemble à chiffres restreints : $C := \left\{\sum_{i=0}^N n_i b^i : n_i \in A, N \in \mathbb{N}_0\right\}$

L'objectif est de démontrer que si $A \subset \mathbb{N}$ a une densité de Banach supérieure positive, alors il existe un nombre premier $p \in P_C$ (nombres premiers dans $C$) et $a_1, a_2 \in A$ tels que $a_1 + p - 1 = a_2$.

Cadre technique principal

1. Principe de correspondance de Furstenberg

Par la théorie des systèmes dynamiques, on transforme le problème combinatoire en problème de théorie ergodique. La clé est de démontrer :

Proposition 7 : Pour tout système préservant la mesure $(X,\mathcal{B},\mu,T)$ et $f \in L^{\infty}(X,\mathcal{B},\mu)$ satisfaisant $f \geq 0, f \not\equiv 0$, l'ensemble $\{n > 0 : \int f \cdot T^n f d\mu > 0\}$ contient des éléments de $P_C - 1$.

2. Estimations de sommes exponentielles

Établissement d'estimations précises de la transformée de Fourier $\hat{C}_{b^N}(t)$ de l'ensemble à chiffres restreints :

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

Les estimations clés incluent :

• Borne $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$
• Estimations du grand crible et estimations mixtes pour contrôler les sommes à différentes échelles
• Borne $L^{\infty}$ : Pour les mauvaises approximations rationnelles, décroissance exponentielle

3. Décomposition par la méthode du cercle

Utilisation de la méthode du cercle de Hardy-Littlewood discrétisée :

Proposition 28 : Pour $\alpha < 1/5$, $\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)$

Points d'innovation technique

1. Structure des produits de Riesz : La transformée de Fourier de l'ensemble à chiffres restreints possède une structure de produit particulière permettant un contrôle analytique précis.
2. Méthode $b$-adique : Utilisation de la périodicité du développement $b$-adique pour décomposer le problème en sous-problèmes à différentes échelles.
3. Optimisation des conditions : En exigeant $b - s > (k+1)b^{4/5+\epsilon}$, on assure que le terme principal domine.

Résultats principaux

Théorème 3 (Théorème principal)

Soit $A \subset \mathbb{N}$ ayant une densité de Banach supérieure positive, $C = C(b,\mathcal{A})$ satisfaisant :

• (I) $1 \in \mathcal{A}$
• (II) L'ensemble des chiffres interdits $\{d_1,...,d_s\} = \bigsqcup_{i=1}^k I_i$ (union disjointe d'intervalles)
• (III) $b - s > (k+1)b^{4/5+\epsilon}$, $b$ suffisamment grand

Alors il existe un nombre premier $p \in C$ et $a_1, a_2 \in A$ tels que $a_1 + p - 1 = a_2$.

Théorème 4 (Théorème de type Dirichlet)

Pour tous $m \geq 1$ et $t \in \mathbb{Z}/m\mathbb{Z}$, $\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)$

où $\kappa_{m,t}$ est une constante explicite.

Théorème 6 (Théorème de type Vinogradov)

Pour tout nombre irrationnel $\theta$, $\sum_{0 \leq n < b^N} 1_C(n)\Lambda(n)e(n\theta) = o((b-s)^N)$

Détails techniques

Lemmes fondamentaux des estimations de Fourier

Lemme 12 (Borne $L^1$) : Si $C_0 := k + 1 + \frac{2(b-s)}{b}\log b$, alors $\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$

Lemme 20 (Borne $L^{\infty}$) : Soit $1 < d < b^{N/3}$, $\ell \in \mathbb{Z}$ tel que pour tous $i \geq 1$ on ait $b^i\ell/d \notin \mathbb{Z}$, et $|\epsilon| < (2b^{2N/3})^{-1}$, alors $\left|\hat{C}_{b^N}\left(\frac{\ell}{d} + \epsilon\right)\right| \leq (b-s)^N \exp(-cN/\log d)$

Théorème d'inversion

Proposition 24 : Pour $\theta, x \in \mathbb{T}$ et $B$ suffisamment grand, $\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)$

Stratégie de preuve

Première étape : Établissement des estimations de sommes exponentielles

Par l'analyse de la structure de produit de $\hat{C}_{b^N}(t)$, on établit des estimations précises dans différentes régions.

Deuxième étape : Application de la méthode du cercle

Décomposition de la somme exponentielle en arc principal (voisinage des rationnels à petit dénominateur) et arc secondaire (autres régions), traitement de l'arc principal par le théorème d'inversion, contrôle de l'arc secondaire par les estimations de Fourier.

Troisième étape : Correspondance de Furstenberg

Par le théorème spectral et le théorème ergodique en moyenne, réduction du problème de système dynamique au comportement asymptotique des sommes exponentielles.

Travaux connexes

1. Sárközy (1978) : Démonstration de l'intersection des nombres premiers décalés, ouvrant cette direction de recherche.
2. Green (2024) : Percée majeure sur le problème de Sárközy pour les nombres premiers décalés avec économies de puissance.
3. Maynard (2021) : Établissement de formules asymptotiques pour les nombres premiers à chiffres restreints, fournissant la base technique de cet article.
4. Furstenberg (1977) : Établissement de la correspondance entre la combinatoire et la théorie ergodique.

Conclusion et discussion

Conclusions principales

Cet article généralise avec succès le théorème de Sárközy aux nombres premiers décalés à chiffres restreints, démontrant que même sous cette double contrainte, la propriété d'intersection se conserve.

Limitations

1. La condition $b - s > (k+1)b^{4/5+\epsilon}$ est relativement stricte, limitant le domaine d'application.
2. L'exposant 4/5 provient des bornes connues sur les sommes exponentielles pour les nombres premiers, et n'est probablement pas optimal.
3. Les résultats sont qualitatifs, sans estimations quantifiées avec économies de puissance.

Directions futures

1. Estimations quantifiées : Peut-on obtenir des bornes quantifiées avec économies de puissance, comme Green l'a fait pour les nombres premiers décalés ?
2. Amélioration des exposants : Peut-on relâcher la condition d'exposant 4/5 ?
3. Motifs plus généraux : Généralisation à des motifs additifs plus complexes.

Évaluation approfondie

Points forts

1. Innovation technique : Combinaison ingénieuse de la théorie analytique des nombres (méthode du cercle), de la théorie ergodique (correspondance de Furstenberg) et de l'analyse de Fourier.
2. Résultats profonds : Établissement de structures additives non triviales sur des sous-ensembles très clairsemés de nombres premiers.
3. Méthodes génériques : Les techniques développées ont une valeur potentielle pour l'étude d'autres problèmes de théorie des nombres impliquant des chiffres restreints.
4. Complétude : Non seulement le résultat principal est démontré, mais aussi les théorèmes de distribution correspondants et les estimations de sommes exponentielles.

Insuffisances

1. Restrictions de conditions : Les conditions techniques sont relativement strictes, limitant l'étendue des applications pratiques.
2. Non-constructivité : La preuve est existentielle, sans algorithme pour trouver des exemples concrets.
3. Dépendance des constantes : Les relations de dépendance des diverses constantes sont complexes, rendant les estimations numériques difficiles.

Impact

Cet article apporte une contribution importante au domaine d'intersection entre la théorie analytique des nombres et la combinatoire additive, ouvrant de nouveaux chemins techniques pour l'étude de la distribution des nombres premiers sous conditions restreintes. Les méthodes développées ont une valeur de référence importante pour les problèmes connexes.

Domaines d'application

Cette méthode s'applique à l'étude des propriétés additives de divers sous-ensembles de nombres premiers sous conditions restreintes, en particulier ceux impliquant des restrictions de chiffres, des conditions de congruence et autres contraintes.

Références

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.

Cet article possède une profondeur et une innovativité techniques considérables, généralisant avec succès le théorème classique de Sárközy à un cadre plus fin et plus difficile, apportant une contribution significative au développement de la théorie analytique des nombres et de la combinatoire additive.