On a conjecture on Romanoff type sumsets

Résumé technique de « On a conjecture on Romanoff type sumsets »

Énoncé du problème
L'article traite d'une conjecture de Y.-G. Chen concernant la structure des ensembles de sommes de type Romanoff. Soit $R$ l'ensemble des entiers impairs représentables comme la somme d'un nombre premier et d'une puissance de deux ($p + 2^m$). Le théorème de Romanoff (1934) a établi que $R$ possède une densité inférieure positive. Inversement, van der Corput et Erdős ont montré que le complément $N = \mathbb{N}_{odd} \setminus R$ est infini et contient des progressions arithmétiques.

Le problème spécifique concerne l'ensemble $R_A$, défini comme l'ensemble de sommes de nombres premiers et d'un ensemble $A$ généré par des puissances de deux avec des exposants généraux :
$$A = \left\{ 2^{\lfloor m_1 r_1 \rfloor} + \dots + 2^{\lfloor m_t r_t \rfloor} : m_i \in \mathbb{N} \right\}$$
$$R_A = P + A = \{ p + a : p \in P, a \in A \}$$
où $r_1, \dots, r_t \ge 1$ sont des nombres positifs satisfaisant $\sum_{i=1}^t r_i^{-1} \ge 1$.

La conjecture 1.1 de Chen postule que si les exposants sont des entiers positifs satisfaisant la condition de somme, l'intersection $R_A \cap (R_A + 2)$ (l'ensemble des nombres impairs $n$ tels que $n$ et $n+2$ sont tous deux dans $R_A$) possède une densité asymptotique inférieure positive. Bien qu'il soit connu de manière inconditionnelle que $R_A$ est un ensemble large, prouver qu'il contient infiniment de paires d'entiers de différence 2 (et spécifiquement que de telles paires ont une densité positive) reste difficile. Les auteurs notent que même prouver que l'ensemble contient infiniment de telles paires de manière inconditionnelle est actuellement hors de portée.

Méthodologie
Les auteurs emploient une approche conditionnelle, en supposant une « Conjecture faible et uniforme de Hardy-Littlewood » (Conjecture 1.2). Cette conjecture affirme une borne inférieure uniforme sur le nombre de paires de nombres premiers $(p, p+h)$ pour tout $h$ pair $\le x^\delta$.

La contribution technique centrale de l'article est la généralisation d'un résultat de 1950 d'Erdős concernant les $k$-ièmes moments des fonctions de représentation de type Romanoff.

1. Généralisation des moments : Les auteurs définissent $f_A(n)$ comme le nombre de représentations d'un entier impair $n$ sous la forme $p + a$ avec $a \in A$. Ils prouvent le Théorème 2.2, établissant une borne supérieure pour le $k$-ième moment :
   $$\sum_{n \le x} f_A(n)^k \ll x (\log x)^{k(\sum r_i^{-1} - 1)}$$
   Ceci généralise le résultat d'Erdős (qui couvrait le cas $A = \{2^m\}$ et $k$ fixé) au cas où $A$ est une somme de puissances généralisées de deux et où les exposants $r_i$ peuvent être des nombres réels.
2. Outils analytiques : La preuve de la borne de moment utilise :
   • L'induction sur $k$.
   • Des méthodes de crible (spécifiquement le Lemme 3.2) pour estimer le nombre de tuples de nombres premiers satisfaisant des contraintes linéaires.
   • Des estimations sur la distribution de $2^{\lfloor m r \rfloor}$ modulo $d$, utilisant des paires d'exposants et les propriétés de l'ordre de 2 modulo $d$ (noté $e_2(d)$).
   • Des lemmes étendant les résultats d'Erdős, Turán et Chen pour traiter les exposants non entiers et les distributions de congruence spécifiques.
3. Argument de Cauchy-Schwarz : Pour prouver le théorème principal, les auteurs appliquent l'inégalité de Cauchy-Schwarz deux fois à la somme $\sum f_A(n)f_A(n+2)$. Cela relie la taille de l'intersection $R_A \cap (R_A + 2)$ au quatrième moment de la fonction de représentation et à la corrélation entre les représentations de $n$ et $n+2$.

Résultats clés

• Théorème 1.1 : Sous l'hypothèse de la Conjecture faible et uniforme de Hardy-Littlewood, l'ensemble $R_A \cap (R_A + 2)$ possède une densité asymptotique inférieure positive. Ceci est valable pour des nombres réels positifs $r_i \ge 1$ satisfaisant $\sum r_i^{-1} \ge 1$, une condition plus large que la conjecture originale de Chen qui exigeait des exposants entiers.
• Théorème 2.2 : La borne supérieure généralisée pour le $k$-ième moment de la fonction de représentation $f_A(n)$, qui sert de moteur technique principal de la preuve.
• Lemme 2.1 : Une borne inférieure pour la fonction de comptage $A(x)$ permettant des exposants réels, montrant que $A(x) \gg (\log x)^{\sum r_i^{-1}}$.

Signification et affirmations
L'article prétend fournir une « preuve conditionnelle » de la conjecture de Chen. Les auteurs soulignent que leur résultat couvre un éventail de paramètres plus large que la conjecture originale en permettant aux exposants $r_i$ d'être des nombres réels plutôt que de simples entiers.

Les auteurs font preuve de modestie concernant le statut inconditionnel du problème. Ils déclarent explicitement qu'ils ne savent pas comment prouver de manière inconditionnelle que $R_A \cap (R_A + 2)$ contient infiniment de nombres impairs. Ils présentent leur travail comme une étape vers la résolution de la conjecture en démontrant que, sous les conjectures standards concernant les écarts de nombres premiers (Hardy-Littlewood), l'ensemble n'est pas seulement infini, mais possède une densité positive.

L'article conclut en soulignant la difficulté du cas inconditionnel, posant le Problème 1 : prouver de manière inconditionnelle que le nombre de telles paires croît plus vite que $x / \log x$. Les auteurs considèrent leur résultat conditionnel comme une étape nécessaire qui isole la difficulté sur la distribution des paires de nombres premiers plutôt que sur la structure additive des ensembles de sommes.