Sidon sets with $\Delta$-separated sumsets in additive number theory

Résumé Technique : Ensembles de Sidon avec Sommes $\Delta$-Séparées en Théorie Additive des Nombres

1. Énoncé du Problème et Définitions
Cet article traite du problème de la construction et de la borne de la taille de sous-ensembles d'entiers possédant des propriétés de séparation spécifiques dans leurs sommes. Soit $A$ un ensemble non vide d'entiers et $\Delta$ un entier positif. L'ensemble $A$ est défini comme $\Delta$-séparé si $|a - a'| \ge \Delta$ pour tous $a, a'$ distincts de $A$.

L'article généralise le concept classique des ensembles $B_h$ (où chaque élément de la somme $h$-uple $hA$ possède une représentation unique). Un ensemble $A$ est un ensemble $B_h$ si $r_{A,h}(n) \le 1$ pour tout $n$, où $r_{A,h}(n)$ compte le nombre de $h$-uplets dont la somme est $n$. Un ensemble $B_{h,\Delta}$ est un ensemble $B_h$ dont l'ensemble de sommes $hA$ est $\Delta$-séparé. Plus précisément, pour un ensemble $B_{2,\Delta}$ (un ensemble de Sidon avec somme $\Delta$-séparée), la condition est que pour tous $a, b, c, d \in A$ avec $\{a, b\} \neq \{c, d\}$, on a $|(a+b) - (c+d)| \ge \Delta$.

L'objectif principal est de déterminer $F_{h,\Delta}(n)$, la cardinalité du plus grand ensemble $B_{h,\Delta}$ contenu dans l'intervalle d'entiers $\{1, 2, \dots, n\}$. L'article cherche à étendre les résultats connus pour les ensembles $B_h$ classiques (où $\Delta=1$) au cas $\Delta$-séparé et à calculer ou borner $F_{h,\Delta}(n)$.

2. Méthodologie
L'article emploie une combinaison de méthodes constructives et d'inégalités combinatoires :

• Construction par Dilatation : L'auteur utilise la $\Delta$-dilatation d'un ensemble, définie par $\Delta^* A = \{ \Delta a : a \in A \}$. Le Lemme 2 établit que $\Delta^* A$ est un ensemble $B_{h,\Delta}$ si et seulement si $A$ est un ensemble $B_h$. Cela permet de traduire les bornes inférieures des ensembles $B_h$ classiques vers les ensembles $B_{h,\Delta}$.
• Théorie des Nombres Premiers : Pour établir des bornes inférieures, l'article s'appuie sur les constructions d'ensembles $B_h$ par Bose, Bose-Chowla, Chowla et Singer, qui existent pour les puissances de nombres premiers $q$. Celles-ci sont combinées aux résultats de Runbo Li sur la distribution des nombres premiers dans les intervalles courts ($m - m^\theta < q < m$ avec $\theta = 0.52$) pour assurer l'existence d'ensembles appropriés dans l'intervalle $\{1, \dots, n\}$.
• Comptage Combinatoire et Inégalités : Pour les bornes supérieures, l'article adapte l'argument d'Erdős-Turán. Il utilise l'inégalité de Cauchy-Schwarz sur le comptage des paires au sein d'intervalles glissants $I_{u,m}$. Une étape clé est le Lemme 4, qui prouve qu'un ensemble $A$ est un ensemble $B_{2,\Delta}$ si et seulement si il possède un « ensemble de différences uniques $\Delta$-séparé ». Cette équivalence permet à l'auteur de borner le nombre de différences distinctes dans l'ensemble.

3. Contributions Clés et Résultats

• Borne Inférieure pour $F_{h,\Delta}(n)$ :
  Le Théorème 1 fournit une borne inférieure pour la taille du plus grand ensemble $B_{h,\Delta}$ dans $\{1, \dots, n\}$. Pour $h \ge 2$ et $\delta = 0.48$, pour tout $n$ suffisamment grand :
  $$F_{h,\Delta}(n) > \left(\frac{n}{\Delta}\right)^{1/h} + O\left(n^{(1/h) - \delta}\right) + O(1)$$
  Le Corollaire 1 spécialise ce résultat aux ensembles $B_{2,\Delta}$ (ensembles de Sidon), montrant que $|A'| > (n/\Delta)^{1/2} + O(n^{0.02})$.

• Borne Supérieure pour les ensembles $B_{2,\Delta}$ :
  Le Théorème 2 établit une borne supérieure pour la taille d'un ensemble $B_{2,\Delta}$ contenu dans $\{1, \dots, n\}$ (où $n \ge \Delta + 2$) :
  $$|A| < \left(\frac{2n}{\Delta}\right)^{1/2} + O(n^{1/4})$$
  Ce résultat étend la borne classique d'Erdős-Turán ($|A| \le n^{1/2} + O(n^{1/4})$) au cas $\Delta$-séparé, bien qu'avec une constante de tête de $\sqrt{2}$ plutôt que $1$.

• Limites Asymptotiques :
  Le Corollaire 2 dérive le comportement asymptotique du rapport entre la taille de l'ensemble et l'échelle de l'intervalle :
  $$1 \le \liminf_{n \to \infty} \frac{F_{2,\Delta}(n)}{\sqrt{n/\Delta}} \le \limsup_{n \to \infty} \frac{F_{2,\Delta}(n)}{\sqrt{n/\Delta}} \le \sqrt{2}$$
  L'article note que la limite est inconnue même dans le cas classique ($\Delta=1$).

• Raffinement de la Constante de la Borne Supérieure :
  Dans la section « Note », l'auteur reconnaît que, bien que la preuve de l'article produise une constante de $\sqrt{2}$, un argument ultérieur d'O'Bryant (adaptant Linström) prouve l'inégalité plus forte $|A| < (n/\Delta)^{1/2} + O(n^{1/4})$. Cela implique que la limite du rapport est effectivement 1 pour tout $\Delta \ge 1$.

4. Signification et Problèmes Ouverts
La signification de cet article réside dans la définition formelle et l'analyse des ensembles $B_{h,\Delta}$, jetant un pont entre la théorie additive classique des nombres et les ensembles avec contraintes de séparation. Il réussit à généraliser la construction des grands ensembles $B_h$ au contexte $\Delta$-séparé et fournit les premières bornes explicites pour ces ensembles.

L'auteur identifie plusieurs problèmes ouverts pour la recherche future :

1. Étendre les résultats connus pour les ensembles $B_h[g]$ aux ensembles $B_{h,\Delta}[g]$.
2. Calculer la valeur exacte de $F_{h,\Delta}[g](n)$ pour tout $h \ge 2, g \ge 1$.
3. Déterminer si la limite $\lim_{n \to \infty} F_{h,\Delta}[g](n) / (n/\Delta)^{1/h}$ existe.
4. Étudier le nombre et la classification structurelle des ensembles $B_{h,\Delta}$ de taille maximale au sein de $\{1, \dots, n\}$.

Le travail reste modeste dans ses prétentions, présentant des bornes et des lemmes structurels tout en différant la résolution de la limite asymptotique exacte et des problèmes de classification à des recherches ultérieures ou à la littérature suivante (comme l'indique la citation de l'amélioration de la constante par O'Bryant).