Bohr sets in sumsets III: expanding difference sets and almost Bohr sets

Cet article étudie les ensembles $S$ dans un groupe abélien discret tels que $A - A + S$ contienne un ensemble de Bohr pour tout $A$ de densité supérieure de Banach positive, démontrant que des ensembles comme les carrés ou les nombres premiers moins un possèdent cette propriété, et en déduisant des résultats sur les ensembles centraux et les ensembles de récurrence.

L'essentiel

Imaginez que vous êtes un architecte travaillant dans un monde infini fait de nombres entiers (1, 2, 3...). Dans ce monde, il y a des règles secrètes sur la façon dont les nombres peuvent s'assembler pour former des structures solides et prévisibles.

Ce papier de recherche, écrit par quatre mathématiciens, explore comment des groupes de nombres apparemment désordonnés peuvent, lorsqu'on les mélange, révéler des motifs cachés très réguliers, appelés ensembles de Bohr.

Voici une explication simple de leurs découvertes, utilisant des analogies du quotidien.

1. Le problème de base : Le chaos vs l'ordre

Imaginons que vous ayez une immense foule de personnes (un ensemble de nombres $A$) dans une ville infinie. Si cette foule est assez dense (elle occupe une part significative de la ville), que se passe-t-il si vous demandez à chaque personne de se tenir à côté de quelqu'un d'autre et de calculer la différence entre leurs numéros de badge ?

• La découverte ancienne (Følner) : Les mathématiciens savaient déjà que si la foule est assez dense, les différences entre les badges contiennent presque toujours un motif très régulier, comme un cercle parfait ou une grille. C'est ce qu'ils appellent un "ensemble de Bohr".
• Le problème : Parfois, il manque quelques petites pièces de ce motif (comme un trou dans la grille). Les mathématiciens se demandaient : "Est-ce qu'on peut combler ces trous ?"

2. La solution : L'ajout d'un "catalyseur" (L'ensemble $S$)

Les auteurs se posent une question nouvelle : Si le motif n'est pas parfait tout seul, pouvons-nous ajouter un petit groupe spécial de nombres (appelé $S$) pour forcer la structure à devenir parfaite ?

Ils appellent ces groupes spéciaux des ensembles "expansifs".

• L'analogie : Imaginez que vous essayez de construire un mur de briques, mais qu'il y a des trous. Vous avez un sac de mortier spécial (l'ensemble $S$). Si vous ajoutez ce mortier aux briques, le mur devient solide et sans trou, peu importe comment les briques étaient initialement empilées (tant qu'il y en avait assez).

Le papier montre que certains types de nombres sont d'excellents "mortiers" :

• Les carrés parfaits ($1, 4, 9, 16...$).
• Les nombres premiers moins un ($1, 2, 4, 6, 10...$).
• Des nombres qui grandissent très vite selon une courbe précise.

3. Deux types de "Super-Ensembles"

Les chercheurs distinguent deux niveaux de puissance pour ces ensembles $S$ :

A. Les "Expansifs Différence" (D, B)

Ces ensembles fonctionnent si vous partez d'une foule dense ($A$).

• Analogie : Si vous avez une foule dense, ajouter $S$ garantit que vous trouverez un motif parfait.
• Exemple : Les carrés ($n^2$) fonctionnent ici.

B. Les "Expansifs Presque-Bohr" (A, B)

C'est le niveau supérieur. Ces ensembles fonctionnent même si vous partez d'un motif qui est déjà presque parfait, mais avec quelques petits trous (ce qu'ils appellent un "presque ensemble de Bohr").

• Analogie : C'est comme si vous aviez un puzzle presque terminé, mais avec quelques pièces manquantes. Un ensemble "A, B-expansif" est si puissant qu'il peut combler ces trous et révéler le motif complet, même si le puzzle de départ était un peu abîmé.
• Qui sont les champions ? Les "ensembles centraux" (des groupes de nombres très spéciaux qui apparaissent souvent en théorie des nombres) et les "ensembles de récurrence ponctuelle" (des nombres qui reviennent toujours au bon moment dans un système dynamique).

4. Les applications magiques

Pourquoi s'intéresser à cela ? Parce que cela résout des énigmes mathématiques de longue date :

1. La question des homomorphismes : En mathématiques, on transforme souvent les nombres (comme les multiplier par 2 ou les élever au carré). Les auteurs prouvent que si vous prenez un ensemble "central" (très riche en structure) et que vous le transformez de deux façons différentes, puis que vous faites la différence et la somme, vous obtiendrez toujours un motif parfait. C'est comme dire : "Peu importe comment vous mélangez ces ingrédients spéciaux, le gâteau final aura toujours une forme parfaite."
2. La récurrence (Le retour au point de départ) : En dynamique (l'étude du mouvement), on cherche à savoir si un système revient à son état initial. Le papier montre que les ensembles qui font revenir un système à chaque instant (récurrence ponctuelle) sont des "super-ensembles" capables de révéler des structures cachées partout.

5. Les limites et les surprises

Les auteurs montrent aussi que ce n'est pas magique pour tout le monde :

• Le contre-exemple : Ils ont construit un ensemble infini qui semble très dense, mais qui, une fois mélangé, ne produit jamais de motif parfait. C'est comme un mortier qui a l'air solide mais qui s'effondre dès qu'on l'utilise. Cela prouve qu'il faut être très sélectif sur le type de nombres que l'on choisit comme "catalyseur".
• La hiérarchie : Ils ont dessiné une carte (un diagramme) montrant qui est plus fort que qui. Par exemple, un ensemble "A, B-expansif" est plus fort qu'un simple "ensemble de récurrence". C'est comme comparer un super-héros (A, B) à un humain normal (récurrence simple) : le super-héros peut faire des choses que l'autre ne peut pas.

En résumé

Ce papier est une exploration de la structure cachée dans le chaos. Il nous dit que :

1. Si vous avez assez de nombres, vous avez de l'ordre.
2. Si vous avez un peu d'ordre, vous pouvez le rendre parfait avec le bon "ingrédient" (l'ensemble $S$).
3. Certains ingrédients (comme les carrés ou les nombres premiers) sont des "super-catalyseurs" qui fonctionnent dans presque toutes les situations.
4. Cela aide à comprendre comment les systèmes complexes (comme le mouvement des planètes ou les flux de données) reviennent à des états prévisibles.

C'est un travail qui relie l'algèbre, la théorie des nombres et la dynamique, prouvant que même dans l'infini et le désordre, des motifs parfaits attendent d'être découverts si l'on sait où chercher et quoi ajouter.

Résumé technique

Voici un résumé technique détaillé de l'article « BOHR SETS IN SUMSETS III: EXPANDING DIFFERENCE SETS AND ALMOST BOHR SETS » par Pierre-Yves Bienvenu, John T. Griesmer, Anh N. Le et Thái Hoàng Lê.

1. Contexte et Problématique

L'article s'inscrit dans le domaine de la combinatoire additive et de la théorie ergodique, en étudiant la structure de Bohr dans les sommes d'ensembles. Le point de départ est le théorème classique de Bogolyubov (1939) et son extension par Følner (1970) : si un ensemble $A \subseteq G$ (où $G$ est un groupe abélien discret) a une densité de Banach supérieure positive ($d^*(A) > 0$), alors l'ensemble des différences $A - A$ contient « presque » un ensemble de Bohr (c'est-à-dire un ensemble de la forme $B \setminus E$ où $B$ est un ensemble de Bohr et $d^*(E)=0$).

Cependant, il est connu que $A - A$ ne contient pas nécessairement un ensemble de Bohr complet (contre-exemples de Kriz et Griesmer). La question centrale de cet article est de déterminer quelles ensembles $S \subseteq G$ permettent de « compléter » cette structure. Plus précisément, les auteurs étudient deux classes d'ensembles :

1. Ensembles $(D, B)$-expansifs : Un ensemble $S$ est $(D, B)$-expansif si pour tout $A$ de densité positive, la somme $A - A + S$ contient un ensemble de Bohr.
2. Ensembles $(A, B)$-expansifs : Un ensemble $S$ est $(A, B)$-expansif si pour tout ensemble « presque Bohr » $A$ (c'est-à-dire $A = B' \setminus E$), la somme $A + S$ contient un ensemble de Bohr.

L'objectif est de classifier ces ensembles, de les relier à d'autres notions de récurrence dynamique (ensembles de récurrence, ensembles de van der Corput, ensembles centraux) et d'appliquer ces résultats à des problèmes ouverts sur les partitions et la récurrence ponctuelle.

2. Méthodologie

Les auteurs utilisent une approche combinant l'analyse harmonique, la théorie ergodique et la dynamique topologique. Les outils principaux incluent :

• Les moyennes KMF (Kamae-Mendès France) : Une notion clé introduite dans cet article. Une moyenne $m$ sur $\ell^\infty(G)$ est dite KMF si elle :
  1. Annule les mesures continues sur le compactifié de Bohr $\hat{G}$ (c'est-à-dire $m(|\hat{\sigma}|^2) = 0$ pour toute mesure continue $\sigma$).
  2. S'accumule massivement en 0 dans $\hat{G}$ (c'est-à-dire $m(1_B) > 0$ pour tout ensemble de Bohr $B$).
• Théorème de Bochner-Herglotz : Utilisé pour relier les suites de corrélation positives définies à des mesures sur le dual de Bohr.
• Théorèmes d'équirépartition : Notamment pour les suites de Hardy (comme $\lfloor n^c \rfloor$) et les polynômes sur les nombres premiers (en utilisant le théorème de Rhin).
• Théorie des ensembles centraux et IP : Utilisation de la compacité de Stone-Čech ($\beta G$) et des ultrafiltres idempotents pour caractériser les ensembles centraux.
• Constructions contre-exemples : Utilisation de boules de Bohr-Hamming et de systèmes nilpotents pour construire des ensembles qui satisfont certaines propriétés de récurrence mais pas d'autres.

3. Contributions et Résultats Clés

A. Caractérisation des ensembles $(A, B)$-expansifs

Le Théorème D établit une équivalence fondamentale pour les ensembles $(A, B)$-expansifs :
Un ensemble $S$ est $(A, B)$-expansif si et seulement si son intersection avec tout ensemble de Bohr a une densité de Banach supérieure strictement positive ($d^*(S \cap B) > 0$).

• Conséquence : Cela implique que tout ensemble $(A, B)$-expansif est un ensemble de récurrence, un ensemble de van der Corput et un ensemble de récurrence « nice » (Théorème F).
• Contre-exemple : Le Théorème C montre qu'il existe des ensembles infinis $E$ tels que $E-E$ n'est pas $(D, B)$-expansif, prouvant que la récurrence seule ne suffit pas.

B. Support de moyennes KMF et Théorème A

Le Théorème A affirme que si un ensemble $S$ supporte une moyenne KMF, alors $S$ est $(D, B)$-expansif.

• Applications concrètes (Théorème B) : Les auteurs démontrent que les ensembles suivants sont $(D, B)$-expansifs (et même plus forts, contenant un sous-groupe d'indice fini ou tout $\mathbb{Z}$) :
  • $\{n^2 : n \in \mathbb{N}\}$ (polynômes intersectifs).
  • $\{p-1 : p \text{ premier}\}$ (polynômes intersectifs de deuxième espèce).
  • $\{\lfloor n^c \rfloor : n \in \mathbb{N}\}$ pour $c > 0$ non entier.
• Généralisation : Le Théorème 4.6 et 4.9 généralisent ces résultats à des familles de polynômes intersectifs et à des suites de Hardy, en montrant que $A - A + S$ contient un sous-groupe d'indice fini si les polynômes sont linéairement indépendants sur $\mathbb{Q}$.

C. Ensembles Centraux et Partitions

En utilisant la propriété que les ensembles centraux sont $(A, B)$-expansifs, les auteurs répondent positivement à une question ouverte (Question 1.11) concernant les partitions :

• Théorème E : Si $C$ est un ensemble central, alors pour tout partition $G = \bigcup A_i$, il existe un $i$ tel que $\phi_1(A_i) - \phi_1(A_i) + \phi_2(A_i)$ contient un ensemble de Bohr, sans hypothèse de commutativité entre les homomorphismes $\phi_1, \phi_2$. Cela généralise des résultats antérieurs qui nécessitaient la commutativité.

D. Récurrence Ponctuelle et Hiérarchie

Le Théorème G établit une relation forte entre la récurrence ponctuelle et les ensembles $(A, B)$-expansifs :

• Tout ensemble de récurrence ponctuelle dans $\mathbb{Z}$ est un ensemble $(A, B)$-expansif.
• Cela implique que les ensembles de récurrence ponctuelle sont des ensembles de van der Corput et de récurrence « nice » (Théorème H), étendant les connaissances sur ces ensembles dynamiques.

E. Contre-exemples et Limites

L'article fournit des contre-exemples importants pour affiner la hiérarchie des propriétés :

• Théorème I : Il existe un ensemble $S \subseteq \mathbb{Z}$ qui est $(A, B)$-expansif (et même $A+S=\mathbb{Z}$ pour tout presque Bohr $A$) mais qui n'est ni un ensemble de récurrence multiple (2-récurrence), ni un ensemble IP$_0$, ni un ensemble piecewise syndetic. Cela montre que la propriété $(A, B)$-expansive est très forte mais ne nécessite pas certaines propriétés algébriques usuelles.
• Proposition 5.8 : Il existe des ensembles $(D, B)$-expansifs qui ne supportent aucune moyenne annulant les mesures continues, montrant que la condition de support de moyenne KMF du Théorème A est suffisante mais non nécessaire.

4. Signification et Impact

Cet article représente une avancée majeure dans la compréhension de la structure de Bohr dans les sommes d'ensembles :

1. Unification : Il unifie des résultats dispersés sur les polynômes, les nombres premiers et les suites de Hardy sous un cadre commun basé sur les moyennes KMF et les ensembles $(A, B)$-expansifs.
2. Réponse aux questions ouvertes : Il résout des problèmes ouverts concernant la nécessité de la commutativité dans les théorèmes de type Bogolyubov pour les partitions et établit de nouvelles propriétés pour les ensembles de récurrence ponctuelle.
3. Hiérarchie fine : Il affine la hiérarchie des notions de récurrence (récurrence, forte récurrence, nice récurrence, van der Corput, récurrence ponctuelle, $(D, B)$ et $(A, B)$-expansif), en démontrant des implications strictes et en fournissant des contre-exemples précis pour les implications inverses.
4. Nouveaux outils : L'introduction et l'étude systématique des moyennes KMF offrent un nouvel outil puissant pour l'analyse combinatoire additive, permettant de traiter des ensembles qui échappent aux méthodes classiques de densité.

En résumé, l'article démontre que la propriété d'être « $(A, B)$-expansif » est une condition très forte qui englobe les ensembles centraux et les ensembles de récurrence ponctuelle, tout en étant plus faible que la propriété de supporter une moyenne KMF (bien que les auteurs conjecturent l'équivalence). Ces résultats ouvrent la voie à de nouvelles recherches sur les bornes quantitatives (rang et rayon des ensembles de Bohr) et sur la régularité partitionnelle des ensembles $(D, B)$-expansifs.